| 2008 |
|---|
| 30 | EE | Laura Bozzelli,
Salvatore La Torre,
Adriano Peron:
Verification of well-formed communicating recursive state machines.
Theor. Comput. Sci. 403(2-3): 382-405 (2008) |
| 2007 |
|---|
| 29 | EE | Dario Carotenuto,
Aniello Murano,
Adriano Peron:
2-Visibly Pushdown Automata.
Developments in Language Theory 2007: 132-144 |
| 2006 |
|---|
| 28 | EE | Laura Bozzelli,
Salvatore La Torre,
Adriano Peron:
Verification of Well-Formed Communicating Recursive State Machines.
VMCAI 2006: 412-426 |
| 27 | EE | Massimo Franceschet,
Angelo Montanari,
Adriano Peron,
Guido Sciavicco:
Definability and decidability of binary predicates for time granularity.
J. Applied Logic 4(2): 168-191 (2006) |
| 2005 |
|---|
| 26 | EE | Laura Bozzelli,
Aniello Murano,
Adriano Peron:
Pushdown Module Checking.
LPAR 2005: 504-518 |
| 2004 |
|---|
| 25 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Adriano Peron:
Structural Model Checking for Communicating Hierarchical Machines.
MFCS 2004: 525-536 |
| 24 | EE | Piero A. Bonatti,
Adriano Peron:
On the undecidability of logics with converse, nominals, recursion and counting.
Artif. Intell. 158(1): 75-96 (2004) |
| 23 | EE | Margherita Napoli,
Mimmo Parente,
Adriano Peron:
Specification and Verification of Protocols With Time Constraints.
Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004) |
| 22 | EE | Carlo Combi,
Massimo Franceschet,
Adriano Peron:
Representing and Reasoning about Temporal Granularities.
J. Log. Comput. 14(1): 51-77 (2004) |
| 2003 |
|---|
| 21 | EE | Massimo Franceschet,
Angelo Montanari,
Adriano Peron,
Guido Sciavicco:
Definability and decidability of binary predicates for time granularity.
TIME 2003: 192-202 |
| 20 | EE | Laura Bozzelli,
Massimo Benerecetti,
Adriano Peron:
Verification of recursive parallel systems
CoRR cs.OH/0312019: (2003) |
| 19 | EE | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
Dynamic Hierarchical Machines.
Fundam. Inform. 54(2-3): 237-252 (2003) |
| 18 | | Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
A comparison of Statecharts step semantics.
Theor. Comput. Sci. 290(1): 465-498 (2003) |
| 2002 |
|---|
| 17 | EE | Carlo Combi,
Massimo Franceschet,
Adriano Peron:
A Logical Approach to Represent and Reason about Calendars.
TIME 2002: 134-140 |
| 16 | EE | Angelo Montanari,
Adriano Peron,
Alberto Policriti:
Extending Kamp's Theorem to Model Time Granularity.
J. Log. Comput. 12(4): 641-677 (2002) |
| 2001 |
|---|
| 15 | EE | Angelo Monti,
Adriano Peron:
Logical definability of Y-tree and trellis systolic omega-languages.
Acta Cybern. 15(1): 75-100 (2001) |
| 14 | | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Simone Tini,
Adriano Peron:
Transformations of Timed Cooperating Automata.
Fundam. Inform. 47(3-4): 271-282 (2001) |
| 2000 |
|---|
| 13 | | Ruggero Lanotte,
Andrea Maggiolo-Schettini,
Adriano Peron:
Timed Cooperating Automata.
Fundam. Inform. 43(1-4): 153-173 (2000) |
| 12 | EE | Angelo Montanari,
Adriano Peron,
Alberto Policriti:
The Taming (Timing) of the States.
Logic Journal of the IGPL 8(5): (2000) |
| 11 | EE | Angelo Monti,
Adriano Peron:
Systolic tree omega-Languages: the operational and the logical view.
Theor. Comput. Sci. 233(1-2): 1-18 (2000) |
| 1999 |
|---|
| 10 | EE | Angelo Montanari,
Adriano Peron,
Alberto Policriti:
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability.
Logic Journal of the IGPL 7(1): 79-102 (1999) |
| 1998 |
|---|
| 9 | | Angelo Monti,
Adriano Peron:
A Logical Characterization of Systolic Languages.
STACS 1998: 466-476 |
| 1996 |
|---|
| 8 | | Andrea Maggiolo-Schettini,
Adriano Peron,
Simone Tini:
Equivalences of Statecharts.
CONCUR 1996: 687-702 |
| 7 | | Andrea Maggiolo-Schettini,
Adriano Peron:
Retiming Techniques for Statecharts.
FTRTFT 1996: 55-71 |
| 1995 |
|---|
| 6 | | Angelo Monti,
Adriano Peron:
Systolic Tree Omega-Languages.
STACS 1995: 131-142 |
| 5 | | Adriano Peron:
Statecharts, Transition Structures and Transformations.
TAPSOFT 1995: 454-468 |
| 1994 |
|---|
| 4 | | Adriano Peron,
Andrea Maggiolo-Schettini:
Transitions as Interrupts: A New Semantics for Timed Statecharts.
TACS 1994: 806-821 |
| 3 | | Andrea Maggiolo-Schettini,
Adriano Peron:
A Graph Rewriting Framework for Statecharts Semantics.
TAGT 1994: 107-121 |
| 1993 |
|---|
| 2 | | Andrea Maggiolo-Schettini,
Adriano Peron:
Semantics of Full Statecharts Based on Graph Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 265-279 |
| 1989 |
|---|
| 1 | EE | V. Roberto,
Adriano Peron,
P. L. Fumis:
Low-level processing techniques in geophysical image interpretation.
Pattern Recognition Letters 10(2): 111-122 (1989) |
