Follow
Adriano Peron
Title
Cited by
Cited by
Year
Representing and reasoning about temporal granularities
C Combi, M Franceschet, A Peron
Journal of Logic and Computation 14 (1), 51-77, 2004
1022004
Equivalences of statecharts
A Maggiolo-Schettini, A Peron, S Tini
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
911996
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
762013
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
592019
On the undecidability of logics with converse, nominals, recursion and counting
PA Bonatti, A Peron
Artificial Intelligence 158 (1), 75-96, 2004
522004
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53, 587-619, 2016
512016
Pushdown module checking
L Bozzelli, A Murano, A Peron
Formal Methods in System Design 36, 65-95, 2010
452010
A graph rewriting framework for statecharts semantics
A Maggiolo-Schettini, A Peron
International Workshop on Graph Grammars and Their Application to Computer …, 1994
451994
Analysis of timed recursive state machines
M Benerecetti, S Minopoli, A Peron
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
392010
Semantics of full statecharts based on graph rewriting
A Maggiolo-Schettini, A Peron
Graph Transformations in Computer Science: International Workshop Dagstuhl …, 2005
382005
A comparison of statecharts step semantics
A Maggiolo-Schettini, A Peron, S Tini
Theoretical Computer Science 290 (1), 465-498, 2003
372003
2-visibly pushdown automata
D Carotenuto, A Murano, A Peron
International Conference on Developments in Language Theory, 132-144, 2007
332007
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
262018
Decidable Theories of ω-Layered Metric Temporal Structures
A Montanari, A Peron, A Policriti
Advances in Temporal Logic, 91-108, 2000
262000
Timed cooperating automata
R Lanotte, A Maggiolo-Schettini, A Peron
Fundamenta Informaticae 43 (1-4), 153-173, 2000
262000
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
261999
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
252021
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
251994
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
242016
A model checking procedure for interval temporal logics based on track representatives
A Molinari, A Montanari, A Peron
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 41, 193-210, 2015
232015
The system can't perform the operation now. Try again later.
Articles 1–20