MENDES TORRES VIEIRA, HUGO FILIPE
MENDES TORRES VIEIRA, HUGO FILIPE
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A process calculus analysis of compensations
2009-01-01 Luís, Caires; Carla, Ferreira; MENDES TORRES VIEIRA, H
A type system for flexible role assignment in multiparty communicating systems
2013-01-01 Pedro, Baltazar; Luís, Caires; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
A typed model for dynamic authorizations
2016-01-01 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Advanced mechanisms for service combination and transactions
2011-01-01 Carla, Ferreira; Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
An observational model for spatial logics
2006-01-01 Emilio, Tuosto; MENDES TORRES VIEIRA, H
Analysis of service oriented software systems with the Conversation Calculus
2012-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Behavioral theory for session-oriented calculi
2011-01-01 Ivan, Lanese; António, Ravara; MENDES TORRES VIEIRA, H
Combining behavioural types with security analysis
2015-01-01 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
2010-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Conversation types
2009-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations
2016-01-01 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Dynamic role authorization in multiparty conversations
2014-01-01 Silvia, Ghilezan; Svetlana, Jaksic; Jovanka, Pantovic; Jorge A., Pérez; MENDES TORRES VIEIRA, H
Extensionality of spatial observations in distributed systems
2007-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Foundations of session types and behavioural contracts
2016-01-01 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
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications
2012-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Static analysis techniques for session-oriented calculi
2011-01-01 Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H
The conversation calculus: a model of service-oriented computation
2008-01-01 Luís, Caires; João Costa, Seco; MENDES TORRES VIEIRA, H
Tools and verification
2011-01-01 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
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
| 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 |