| 2011 | ||
|---|---|---|
| 7 | Hugo A. López, Jorge A. Pérez: Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM 2011: 48-63 | |
| 2010 | ||
| 6 | Hugo A. López: Models for Trustworthy Service and Process Oriented Systems. ICLP (Technical Communications) 2010: 270-276 | |
| 5 | Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies PLACES 2010: 29-43 | |
| 2009 | ||
| 4 | Thomas Hildebrandt, Hugo A. López: Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP 2009: 417-431 | |
| 3 | Hugo A. López, Carlos Olarte, Jorge A. Pérez: Towards a Unified Framework for Declarative Structured Communications PLACES 2009: 1-15 | |
| 2007 | ||
| 2 | Hugo A. López, Fabio Massacci, Nicola Zannone: Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops 2007: 212-223 | |
| 2006 | ||
| 1 | Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia: A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450 | |
| 1 | Marco Carbone | [5] |
| 2 | Davide Grohmann | [5] |
| 3 | Thomas Hildebrandt | [4] |
| 4 | Thomas T. Hildebrandt | [5] |
| 5 | Fabio Massacci | [2] |
| 6 | Carlos Olarte (Carlos Alberto Olarte) | [3] |
| 7 | Catuscia Palamidessi | [1] |
| 8 | Jorge A. Pérez (Jorge Andrés Pérez) | [1] [3] [7] |
| 9 | Camilo Rueda | [1] |
| 10 | Frank D. Valencia (Frank Valencia) | [1] |
| 11 | Nicola Zannone | [2] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page