| 2008 |
|---|
| 25 | EE | Tommaso Flaminio,
G. Michele Pinna,
Elisa B. P. Tiezzi:
A complete fuzzy logical system to deal with trust management systems.
Fuzzy Sets and Systems 159(10): 1191-1207 (2008) |
| 24 | EE | Mario Coppo,
Elena Lodi,
G. Michele Pinna:
Foreword.
Theory Comput. Syst. 42(3): 287-288 (2008) |
| 2006 |
|---|
| 23 | EE | Nadia Busi,
G. Michele Pinna:
Characterizing Workflow Nets Using Regions.
SYNASC 2006: 399-406 |
| 22 | EE | G. Michele Pinna:
Event Structures with Disabling/Enabling Relation and Event Automata.
Fundam. Inform. 73(3): 409-430 (2006) |
| 2005 |
|---|
| 21 | | Mario Coppo,
Elena Lodi,
G. Michele Pinna:
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
Springer 2005 |
| 20 | EE | G. Michele Pinna:
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets.
MFCS 2005: 720-732 |
| 2004 |
|---|
| 19 | EE | Paolo Baldan,
Nadia Busi,
Andrea Corradini,
G. Michele Pinna:
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Theor. Comput. Sci. 323(1-3): 129-189 (2004) |
| 2003 |
|---|
| 18 | EE | Franco Montagna,
G. Michele Pinna,
Elisa B. P. Tiezzi:
A Tableau Calculus for Hájek's Logic BL.
J. Log. Comput. 13(2): 241-259 (2003) |
| 2002 |
|---|
| 17 | EE | Franco Montagna,
G. Michele Pinna,
Elisa B. P. Tiezzi:
Investigations on Fragments of First Order Branching Temporal Logic.
Math. Log. Q. 48(1): 51-62 (2002) |
| 2001 |
|---|
| 16 | EE | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 15 | | Agathe Merceron,
G. Michele Pinna:
Component-based Verification in a Synchronous Setting.
International Journal of Software Engineering and Knowledge Engineering 11(2): 181-203 (2001) |
| 2000 |
|---|
| 14 | EE | Agathe Merceron,
G. Michele Pinna:
Refinement and Modular Verification with Observers.
APAQS 2000: 216-225 |
| 13 | EE | Paolo Baldan,
Nadia Busi,
Andrea Corradini,
G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.
CONCUR 2000: 442-457 |
| 12 | | Nadia Busi,
G. Michele Pinna:
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform. 44(3): 209-244 (2000) |
| 11 | EE | Franco Montagna,
G. Michele Pinna,
Elisa B. P. Tiezzi:
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.
Math. Log. Q. 46(2): 171-182 (2000) |
| 1999 |
|---|
| 10 | EE | Reinhard Budde,
G. Michele Pinna,
Axel Poigné:
Coordination of Synchronous Programs.
COORDINATION 1999: 103-117 |
| 9 | | Nadia Busi,
G. Michele Pinna:
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Inform. 40(2-3): 165-197 (1999) |
| 1998 |
|---|
| 8 | EE | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP 1998: 185-195 |
| 1997 |
|---|
| 7 | | Nadia Busi,
G. Michele Pinna:
Synthesis of Nets with Inhibitor Arcs.
CONCUR 1997: 151-165 |
| 1996 |
|---|
| 6 | | Nadia Busi,
G. Michele Pinna:
Non Sequential Semantics for Contextual P/T Nets.
Application and Theory of Petri Nets 1996: 113-132 |
| 1995 |
|---|
| 5 | | G. Michele Pinna,
Axel Poigné:
Event Automata as a Generic Model of Reactive Systems.
KORSO Book 1995: 74-91 |
| 4 | EE | G. Michele Pinna,
Axel Poigné:
On the Nature of Events: Another Perspective in Concurrency.
Theor. Comput. Sci. 138(2): 425-454 (1995) |
| 1993 |
|---|
| 3 | | G. Michele Pinna,
Axel Poigné:
On the Specification of Elementary Reactive Behaviour.
MFPS 1993: 271-292 |
| 1992 |
|---|
| 2 | | G. Michele Pinna,
Axel Poigné:
On the Nature of Events.
MFCS 1992: 430-441 |
| 1991 |
|---|
| 1 | | Andrea Maggiolo-Schettini,
G. Michele Pinna,
Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets.
Fundam. Inform. 14(1): 109-128 (1991) |
