×

zbMATH — the first resource for mathematics

Vieira, Hugo Torres

Compute Distance To:
Author ID: vieira.hugo-torres Recent zbMATH articles by "Vieira, Hugo Torres"
Published as: Torres Vieira, Hugo; Vieira, Hugo T.; Vieira, Hugo Torres
External Links: ORCID
Documents Indexed: 17 Publications since 2007, including 3 Books

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 48 times in 41 Documents Cited by Year
The conversation calculus: A model of service-oriented computation. Zbl 1133.68388
Vieira, Hugo T.; Caires, Luís; Seco, João C.
19
2008
Conversation types. Zbl 1207.68222
Caires, Luís; Vieira, Hugo Torres
13
2010
Conversation types. Zbl 1234.68291
Caires, Luís; Vieira, Hugo Torres
7
2009
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
4
2015
Dynamic role authorization in multiparty conversations. Zbl 1345.68235
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge A.; Torres Vieira, Hugo
2
2016
A calculus for modeling floating authorizations. Zbl 1431.68080
Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres
1
2019
Type-based access control in data-centric systems. Zbl 1326.68082
Caires, Luís; Pérez, Jorge A.; Seco, João Costa; Vieira, Hugo Torres; Ferrão, Lúcio
1
2011
Extensionality of spatial observations in distributed systems. Zbl 1277.68169
Caires, Luís; Vieira, Hugo Torres
1
2007
A calculus for modeling floating authorizations. Zbl 1431.68080
Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres
1
2019
Dynamic role authorization in multiparty conversations. Zbl 1345.68235
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge A.; Torres Vieira, Hugo
2
2016
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
4
2015
Type-based access control in data-centric systems. Zbl 1326.68082
Caires, Luís; Pérez, Jorge A.; Seco, João Costa; Vieira, Hugo Torres; Ferrão, Lúcio
1
2011
Conversation types. Zbl 1207.68222
Caires, Luís; Vieira, Hugo Torres
13
2010
Conversation types. Zbl 1234.68291
Caires, Luís; Vieira, Hugo Torres
7
2009
The conversation calculus: A model of service-oriented computation. Zbl 1133.68388
Vieira, Hugo T.; Caires, Luís; Seco, João C.
19
2008
Extensionality of spatial observations in distributed systems. Zbl 1277.68169
Caires, Luís; Vieira, Hugo Torres
1
2007
all top 5

Cited by 79 Authors

7 Vieira, Hugo Torres
6 Yoshida, Nobuko
5 Vasconcelos, Vasco Thudichum
4 Dezani-Ciancaglini, Mariangiola
4 Padovani, Luca
4 Pérez, Jorge A.
3 Bruni, Roberto
3 Caires, Luís
3 Tiezzi, Francesco
2 Castellani, Ilaria
2 Chen, Tzu-Chun
2 Coppo, Mario
2 De Nicola, Rocco
2 Honda, Kohei
2 Hu, Raymond
2 Lanese, Ivan
2 Loreti, Michele
2 Pantović, Jovanka
2 Prokić, Ivan
2 Pugliese, Rosario
2 Ravara, António
1 Abreu Júnior, João Carlos
1 Al-Humaimeedy, Abeer S.
1 Alrahman, Yehia Abd
1 Banti, Federico
1 Bartoletti, Massimo
1 Bejleri, Andi
1 Bocchi, Laura
1 Bodei, Chiara
1 Boreale, Michele
1 Bravetti, Mario
1 Brodo, Linda
1 Brzeziński, Jerzy
1 Capecchi, Sara
1 Carbone, Marco
1 Castagna, Giuseppe
1 Costa Seco, João
1 Cruz-Filipe, Luís
1 Demangeon, Romain
1 Diaz, Gregorio
1 Dwornikowski, Dariusz
1 Eugster, Patrick Th.
1 Fernández, Maribel
1 Ferrão, Lúcio
1 Fiadeiro, José Luiz
1 Ghilezan, Silvia
1 Giachino, Elena
1 Giannini, Paola
1 Giunti, Marco
1 Jakšić, Svetlana
1 Kersten, Anne
1 Kobayashi, Naoki
1 Kouzapas, Dimitrios
1 Laneve, Cosimo
1 Lapadula, Alessandro
1 Latella, Diego
1 Lopes, Antónia
1 Martins, Francisco
1 Massink, Mieke
1 Mateo, Jose Antonio
1 Melgratti, Hernán
1 Mezzina, Claudio Antares
1 Montesi, Fabrizio
1 Mostrous, Dimitris
1 Murgia, Maurizio
1 Neykova, Rumyana
1 Rabanal, Pablo
1 Reisig, Wolfgang
1 Resende, Pedro
1 Rodríguez, Ismael
1 Scalas, Alceste
1 Schürmann, Carsten
1 Spagnolo, Giorgio
1 Stroiński, Andrzej
1 Tuosto, Emilio
1 Viering, Malte
1 Zavattaro, Gianluigi
1 Ziarek, Lukasz
1 Zunino, Roberto

Citations by Year