IRIS

MENDES TORRES VIEIRA, HUGO FILIPE

MENDES TORRES VIEIRA, HUGO FILIPE  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A process calculus analysis of compensations 1-gen-2009 Luís, Caires; Carla, Ferreira; MENDES TORRES VIEIRA, H
A type system for flexible role assignment in multiparty communicating systems 1-gen-2013 Pedro, Baltazar; Luís, Caires; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
A typed model for dynamic authorizations 1-gen-2016 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Advanced mechanisms for service combination and transactions 1-gen-2011 Carla, Ferreira; Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
An observational model for spatial logics 1-gen-2006 Emilio, Tuosto; MENDES TORRES VIEIRA, H
Analysis of service oriented software systems with the Conversation Calculus 1-gen-2012 Luís, Caires; MENDES TORRES VIEIRA, H
Behavioral theory for session-oriented calculi 1-gen-2011 Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H
Combining behavioural types with security analysis 1-gen-2015 Massimo, Bartoletti; Ilaria, Castellani; Pierre-Malo, Deniélou; Mariangiola, Dezani-Ciancaglini; Silvia, Ghilezan; Jovanka, Pantovic; Jorge A., Pérez; Peter, Thiemann; Bernardo, Toninho; MENDES TORRES VIEIRA, H
Conversation types 1-gen-2010 Luís, Caires; MENDES TORRES VIEIRA, H
Conversation types 1-gen-2009 Luís, Caires; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations 1-gen-2016 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations 1-gen-2014 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Extensionality of spatial observations in distributed systems 1-gen-2007 Luís, Caires; MENDES TORRES VIEIRA, H
Foundations of session types and behavioural contracts 1-gen-2016 Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
Global protocol implementations via attribute-based communication 1-gen-2015 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 1-gen-2012 Luís, Caires; MENDES TORRES VIEIRA, H
Static analysis techniques for session-oriented calculi 1-gen-2011 Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H
The conversation calculus: a model of service-oriented computation 1-gen-2008 Luís, Caires; João Costa, Seco; MENDES TORRES VIEIRA, H
Tools and verification 1-gen-2011 Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino
Type-based access control in data-centric systems 1-gen-2011 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão