Angelo Troina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2003–2011
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | EuroPar | On Parallelizing On-Line Statistics for Stochastic Biological Simulations. | Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina |
| 2011 | PDP | On Designing Multicore-Aware Simulators for Biological Systems. | Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina |
| 2007 | APLAS | A Probabilistic Applied Pi-Calculus. | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
| 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 | 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 |