| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà: Closure Operators Associated to Partially Ordered Sets. NCMA 2009: 47-60 |
| 2008 | ||
| 3 |  | Simone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225 |
| 2007 | ||
| 2 | | Carlo Ferigato, Marcelo Masera: Design of a Platform for Information Exchange on Protection of Critical Infrastructures. CRITIS 2007: 337-348 |
| 2003 | ||
| 1 | | Luca Bernardinello, Carlo Ferigato, Lucia Pomello: An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1): 637-668 (2003) |
| 1 | Luca Bernardinello | [1] [4] |
| 2 | Simone Frau | [3] |
| 3 | Roberto Gorrieri | [3] |
| 4 | Marcelo Masera | [2] |
| 5 | Lucia Pomello | [1] [4] |
| 6 | Stefania Rombolà | [4] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page