| Equivalences of statecharts A Maggiolo-Schettini, A Peron, S Tini CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996 | 88 | 1996 |
| Compositional bisimulation metric reasoning with probabilistic process calculi D Gebler, KG Larsen, S Tini Logical Methods in Computer Science 12, 2017 | 49 | 2017 |
| A comparison of statecharts step semantics A Maggiolo-Schettini, A Peron, S Tini Theoretical Computer Science 290 (1), 465-498, 2003 | 38 | 2003 |
| Probabilistic bisimulation as a congruence R Lanotte, S Tini ACM Transactions on Computational Logic (TOCL) 10 (2), 1-48, 2009 | 35 | 2009 |
| Compositional semantics and behavioral equivalences for P Systems R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini Theoretical Computer Science 395 (1), 77-100, 2008 | 34 | 2008 |
| A probabilistic calculus of cyber-physical systems R Lanotte, M Merro, S Tini Information and Computation 279, 104618, 2021 | 30 | 2021 |
| Logical characterization of bisimulation metrics V Castiglioni, D Gebler, S Tini arXiv preprint arXiv:1610.08169, 2016 | 28 | 2016 |
| Non-expansive ϵ-bisimulations for probabilistic processes S Tini Theoretical Computer Science 411 (22-24), 2202-2222, 2010 | 28 | 2010 |
| Taylor approximation for hybrid systems R Lanotte, S Tini Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005 | 27 | 2005 |
| On the expressiveness of timed concurrent constraint programming S Tini Electronic Notes in Theoretical Computer Science 27, 3-17, 1999 | 27 | 1999 |
| Formal models of timing attacks on web privacy R Focardi, R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, ... Electronic Notes in Theoretical Computer Science 62, 229-243, 2002 | 26 | 2002 |
| AP systems flat form preserving step-by-step behaviour R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini Fundamenta Informaticae 87 (1), 1, 2008 | 25 | 2008 |
| Towards a formal notion of impact metric for cyber-physical attacks R Lanotte, M Merro, S Tini Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 23 | 2018 |
| Rule formats for compositional non-interference properties S Tini The Journal of Logic and Algebraic Programming 60, 353-400, 2004 | 23 | 2004 |
| Compositionality of approximate bisimulation for probabilistic systems D Gebler, S Tini arXiv preprint arXiv:1307.7442, 2013 | 21 | 2013 |
| SOS specifications for uniformly continuous operators D Gebler, S Tini Journal of Computer and System Sciences 92, 113-151, 2018 | 19 | 2018 |
| Fixed-point characterization of compositionality properties of probabilistic processes combinators D Gebler, S Tini arXiv preprint arXiv:1408.1457, 2014 | 18 | 2014 |
| Compositional semantics of spiking neural P systems R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini The Journal of Logic and Algebraic Programming 79 (6), 304-316, 2010 | 18 | 2010 |
| Probabilistic congruence for semistochastic generative processes R Lanotte, S Tini International Conference on Foundations of Software Science and Computation …, 2005 | 18 | 2005 |
| Automated analysis of timed security: a case study on web privacy R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, E Tronci International Journal of Information Security 2, 168-186, 2004 | 18 | 2004 |
