Andrea Maggiolo-Schettini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
8
Active years
1973–2013
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CiE | A Compositional Semantics of Reaction Systems with Restriction. | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2013 | SEFM | A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. | Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
| 2012 | SEFM | Modelling Population Dynamics Using Grid Systems. | Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan |
| 2006 | ICTAC | Bisimulation Congruences in the Calculus of Looping Sequences. | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
| 2005 | SEFM | Timed Automata with Data Structures for Distributed Systems Design and Analysis. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2004 | ICICS | Automatic Covert Channel Analysis of a Multilevel Secure Component. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
| 2004 | MFCS | Structural Model Checking for Communicating Hierarchical Machines. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron |
| 2004 | SEFM | Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2003 | SEFM | Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2001 | FCT | Concurrency in Timed Automata. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
| 2000 | MFCS | Timed Automata with Monotonic Activities. | Ruggero Lanotte, Andrea Maggiolo-Schettini |
| 1996 | CONCUR | Equivalences of Statecharts. | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
| 1996 | MFCS | Dynamic Graphs. | Andrea Maggiolo-Schettini, Jzef Winkowski |
| 1990 | MFCS | Comparisons Among Classes of Y-Tree Systolic Automata. | Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi |
| 1978 | MFCS | Deriving Structures from Structures. | Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski |
| 1976 | MFCS | Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. | Giorgio Germano, Andrea Maggiolo-Schettini |
| 1973 | POPL | Procedure Linkage Optimization. | Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong |