| Representing and reasoning about temporal granularities C Combi, M Franceschet, A Peron Journal of Logic and Computation 14 (1), 51-77, 2004 | 102 | 2004 |
| Equivalences of statecharts A Maggiolo-Schettini, A Peron, S Tini CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996 | 88 | 1996 |
| Differential network analysis for the identification of condition-specific pathway activity and regulation G Gambardella, MN Moretti, R De Cegli, L Cardone, A Peron, ... Bioinformatics 29 (14), 1776-1785, 2013 | 78 | 2013 |
| Industrial internet of things: persistence for time series with NoSQL databases S Di Martino, L Fiadone, A Peron, A Riccabone, VN Vitale 2019 IEEE 28th International Conference on Enabling Technologies …, 2019 | 54 | 2019 |
| On the undecidability of logics with converse, nominals, recursion and counting PA Bonatti, A Peron Artificial Intelligence 158 (1), 75-96, 2004 | 52 | 2004 |
| Checking interval properties of computations A Molinari, A Montanari, A Murano, G Perelli, A Peron Acta Informatica 53, 587-619, 2016 | 51 | 2016 |
| Theories of ω-layered metric temporal structures: Expressiveness and decidability A Montanari, A Peron, A Policriti Logic Journal of the IGPL 7 (1), 79-102, 1999 | 50* | 1999 |
| A graph rewriting framework for statecharts semantics A Maggiolo-Schettini, A Peron International Workshop on Graph Grammars and Their Application to Computer …, 1994 | 45 | 1994 |
| Pushdown module checking L Bozzelli, A Murano, A Peron Formal Methods in System Design 36, 65-95, 2010 | 43 | 2010 |
| Analysis of timed recursive state machines M Benerecetti, S Minopoli, A Peron 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 38 | 2010 |
| Semantics of full statecharts based on graph rewriting A Maggiolo-Schettini, A Peron Graph Transformations in Computer Science: International Workshop Dagstuhl …, 2005 | 38 | 2005 |
| A comparison of statecharts step semantics A Maggiolo-Schettini, A Peron, S Tini Theoretical Computer Science 290 (1), 465-498, 2003 | 37 | 2003 |
| 2-visibly pushdown automata D Carotenuto, A Murano, A Peron International Conference on Developments in Language Theory, 132-144, 2007 | 33 | 2007 |
| Interval vs. point temporal logic model checking: An expressiveness comparison L Bozzelli, A Molinari, A Montanari, A Peron, P Sala ACM Transactions on Computational Logic (TOCL) 20 (1), 1-31, 2018 | 26 | 2018 |
| Timed cooperating automata R Lanotte, A Maggiolo-Schettini, A Peron Fundamenta Informaticae 43 (1-4), 153-173, 2000 | 26 | 2000 |
| Transitions as interrupts: A new semantics for timed statecharts A Peron, A Maggiolo-Schettini International Symposium on Theoretical Aspects of Computer Software, 806-821, 1994 | 26 | 1994 |
| Asynchronous extensions of HyperLTL L Bozzelli, A Peron, C Sánchez 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 24 | 2021 |
| Interval temporal logic model checking: The border between good and bad HS fragments L Bozzelli, A Molinari, A Montanari, A Peron, P Sala International Joint Conference on Automated Reasoning, 389-405, 2016 | 24 | 2016 |
| A model checking procedure for interval temporal logics based on track representatives A Molinari, A Montanari, A Peron 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015 | 23 | 2015 |
| Extending Kamp's theorem to model time granularity A Montanari, A Peron, A Policriti Journal of Logic and Computation 12 (4), 641-677, 2002 | 23 | 2002 |
