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) |