- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Retiming Techniques for Statecharts ? Andrea MaggioloSchettini 1 and Adriano Peron 2
- Systolic Tree !Languages Angelo Monti 1 and Adriano Peron 2
- Statecharts, Transition Structures and Transformations ?
- Basi di Dati e Sistemi Informativi I, Prove scritte AA. 2002-03
- The Taming (Timing) of the States ANGELO MONTANARI , Dipartimento di Matematica e Informatica,
- Basi di Dati e Sistemi Informativi II, Prove scritte Adriano Peron
- Theories of !Layered Metric Temporal Structures
- Progetti di Basi di Dati AA 2008/09 Prof. A. Peron
- A Logical Characterization of Systolic Languages Angelo Monti 1 and Adriano Peron 2
- Systolic Tree !Languages: The Operational and the Logical View
- Logical definability of Ytree and trellis systolic !languages ?
- Transitions as Interrupts: A New Semantics for Timed Statecharts ?
- Basi di Dati e Sistemi Informativi II, Prove scritte A.A. 2005/06
- Transformations of Timed Cooperating Ruggero Lanotte 1 , Andrea MaggioloSchettini 1 , Adriano Peron 2 , Simone Tini 1
- Decidable Theories of !Layered Metric Temporal Structures
- The Taming (Timing) of the States ANGELO MONTANARI , Dipartimento di Matematica e Informatica,
- A Graph Rewriting Framework for Statecharts Semantics ?
- Fundamenta Informaticae 34 (2000) 1--21 1 Timed Cooperating Automata \Lambda
- EXTENDING KAMP THEOREM WITH BINARY OPERATORS TO MODEL TIME GRANULARITY
- Esercizi di Basi di Dati e Sistemi informativi I Adriano Peron
- Esempi di Progetti per Basi di Dati A.A. 2007-08 Adriano Peron
- A comparison of Statecharts step semantics 1 Andrea MaggioloSchettini a , Adriano Peron b , Simone Tini c
- Esercizi Basi di Dati II 1 Data Base a Oggetti
- The Way to Go: MultiLevel Temporal Logics Angelo Montanari, Adriano Peron and Alberto Policriti
- The Way to Go: MultiLevel Temporal Logics Angelo Montanari, Adriano Peron, and Alberto Policriti
- Testi dei Progetti per Basi di Dati A.A. 2010-11 Adriano Peron
- Testi dei Progetti per Basi di Dati A.A. 2009-10 Adriano Peron
- Timed Cooperating Automata ? Ruggero Lanotte 1 , Andrea MaggioloSchettini 1 and Adriano Peron 2
- Equivalences of Statecharts ? Andrea MaggioloSchettini 1 , Adriano Peron 2 and Simone Tini 1
- Fundamenta Informaticae 46 (2001) 1--15 1 Transformations of Timed Cooperating Automata
- Basi di Dati e Sistemi Informativi II, Prove scritte A.A. 2004/05
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Basi di Dati e Sistemi Informativi II, Prove scritte A.A. 2006/07
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
- Basi di Dati e Sistemi Informativi I, Prove scritte Adriano Peron
