Search the dblp DataBase
Adriano Peron: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Equivalences of Statecharts. [Citation Graph (0, 0)][DBLP]
CONCUR, 1996, pp:687-702 [Conf] - Andrea Maggiolo-Schettini, Adriano Peron
Semantics of Full Statecharts Based on Graph Rewriting. [Citation Graph (0, 0)][DBLP]
Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:265-279 [Conf] - Andrea Maggiolo-Schettini, Adriano Peron
Retiming Techniques for Statecharts. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1996, pp:55-71 [Conf] - Laura Bozzelli, Aniello Murano, Adriano Peron
Pushdown Module Checking. [Citation Graph (0, 0)][DBLP]
LPAR, 2005, pp:504-518 [Conf] - Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
Structural Model Checking for Communicating Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
MFCS, 2004, pp:525-536 [Conf] - Angelo Monti, Adriano Peron
Systolic Tree Omega-Languages. [Citation Graph (0, 0)][DBLP]
STACS, 1995, pp:131-142 [Conf] - Angelo Monti, Adriano Peron
A Logical Characterization of Systolic Languages. [Citation Graph (0, 0)][DBLP]
STACS, 1998, pp:466-476 [Conf] - Adriano Peron, Andrea Maggiolo-Schettini
Transitions as Interrupts: A New Semantics for Timed Statecharts. [Citation Graph (0, 0)][DBLP]
TACS, 1994, pp:806-821 [Conf] - Andrea Maggiolo-Schettini, Adriano Peron
A Graph Rewriting Framework for Statecharts Semantics. [Citation Graph (0, 0)][DBLP]
TAGT, 1994, pp:107-121 [Conf] - Adriano Peron
Statecharts, Transition Structures and Transformations. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1995, pp:454-468 [Conf] - Carlo Combi, Massimo Franceschet, Adriano Peron
A Logical Approach to Represent and Reason about Calendars. [Citation Graph (0, 0)][DBLP]
TIME, 2002, pp:134-140 [Conf] - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
TIME, 2003, pp:192-202 [Conf] - Laura Bozzelli, Salvatore La Torre, Adriano Peron
Verification of Well-Formed Communicating Recursive State Machines. [Citation Graph (0, 0)][DBLP]
VMCAI, 2006, pp:412-426 [Conf] - Angelo Monti, Adriano Peron
Logical definability of Y-tree and trellis systolic omega-languages. [Citation Graph (0, 0)][DBLP]
Acta Cybern., 2001, v:15, n:1, pp:75-100 [Journal] - Piero A. Bonatti, Adriano Peron
On the undecidability of logics with converse, nominals, recursion and counting. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 2004, v:158, n:1, pp:75-96 [Journal] - Laura Bozzelli, Massimo Benerecetti, Adriano Peron
Verification of recursive parallel systems [Citation Graph (0, 0)][DBLP]
CoRR, 2003, v:0, n:, pp:- [Journal] - Margherita Napoli, Mimmo Parente, Adriano Peron
Specification and Verification of Protocols With Time Constraints. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:205-227 [Journal] - Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2000, v:43, n:1-4, pp:153-173 [Journal] - Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Dynamic Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2003, v:54, n:2-3, pp:237-252 [Journal] - Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
Transformations of Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2001, v:47, n:3-4, pp:271-282 [Journal] - Angelo Montanari, Adriano Peron, Alberto Policriti
The Taming (Timing) of the States. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal] - Angelo Montanari, Adriano Peron, Alberto Policriti
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 1999, v:7, n:1, pp:79-102 [Journal] - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal] - Carlo Combi, Massimo Franceschet, Adriano Peron
Representing and Reasoning about Temporal Granularities. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2004, v:14, n:1, pp:51-77 [Journal] - Angelo Montanari, Adriano Peron, Alberto Policriti
Extending Kamp's Theorem to Model Time Granularity. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2002, v:12, n:4, pp:641-677 [Journal] - V. Roberto, Adriano Peron, P. L. Fumis
Low-level processing techniques in geophysical image interpretation. [Citation Graph (0, 0)][DBLP]
Pattern Recognition Letters, 1989, v:10, n:2, pp:111-122 [Journal] - Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
A comparison of Statecharts step semantics. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2003, v:290, n:1, pp:465-498 [Journal] - Angelo Monti, Adriano Peron
Systolic tree omega-Languages: the operational and the logical view. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:233, n:1-2, pp:1-18 [Journal] - Dario Carotenuto, Aniello Murano, Adriano Peron
2-Visibly Pushdown Automata. [Citation Graph (0, 0)][DBLP]
Developments in Language Theory, 2007, pp:132-144 [Conf]
Timed protocols insecurity problem is NP-complete. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.304secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002