- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c18 |      | Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino: A Theory of Agreements and Protection. POST 2013: 186-205 |
| 2012 | ||
| j9 | | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: Contract-Oriented Computing in CO2. Sci. Ann. Comp. Sci. 22(1): 5-60 (2012) |
| j8 | | Roberto Zunino: On computation and synchronization costs in spatial distributed simulation. J. Simulation 6(3): 193-204 (2012) |
| c17 | | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: On the Realizability of Contracts in Dishonest Systems. COORDINATION 2012: 245-260 |
| c16 | | Vo Hong Thanh, Roberto Zunino: Tree-based search for stochastic simulation algorithm. SAC 2012: 1415-1416 |
| c15 | | Corrado Priami, Paola Quaglia, Roberto Zunino: An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909 |
| c14 | | Durica Nikolic, Corrado Priami, Roberto Zunino: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM 2012: 16-32 |
| c13 | | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino: An event-based model for contracts. PLACES 2012: 13-20 |
| i2 | | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: On the realizability of contracts in dishonest systems. CoRR abs/1201.6188 (2012) |
| i1 | | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino: Honesty by Typing. CoRR abs/1211.2609 (2012) |
| 2011 | ||
| p2 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261 |
| p1 | | Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino: Tools and Verification. Results of the SENSORIA Project 2011: 408-427 |
| c12 | | Roberto Zunino: Trading Computation Time for Synchronization Time in Spatial Distributed Simulation. PADS 2011: 1-8 |
| c11 | | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino: Contracts in distributed systems. ICE 2011: 130-147 |
| 2010 | ||
| c10 | | |
| c9 | | |
| c8 | | |
| 2009 | ||
| j7 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009) |
| j6 | | Massimo Bartoletti, Gabriele Costa, Roberto Zunino: Jalapa: Securing Java with Local Policies: Tool Demonstration. Electr. Notes Theor. Comput. Sci. 253(5): 145-151 (2009) |
| j5 | | Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. Journal of Object Technology 8(4): 5-32 (2009) |
| j4 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6) (2009) |
| c7 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95 |
| c6 |  | |
| 2008 | ||
| j3 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008) |
| c5 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35 |
| 2007 | ||
| c4 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74 |
| c3 | | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47 |
| 2006 | ||
| c2 | | Roberto Zunino, Pierpaolo Degano: Handling exp, × (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 413-427 |
| 2005 | ||
| j2 | | Roberto Zunino, Pierpaolo Degano: Weakening the perfect encryption assumption in Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 154-178 (2005) |
| 2004 | ||
| j1 | | Roberto Zunino: Control Flow Analysis for the Applied Pi-calculus. Electr. Notes Theor. Comput. Sci. 99: 87-110 (2004) |
| c1 | | Roberto Zunino, Pierpaolo Degano: A Note on the Perfect Encryption Assumption in a Process Calculus. FoSSaCS 2004: 514-528 |
Data released under the ODC-BY 1.0 license — See also our legal information page