 | 2009 |
|---|
| 12 |       | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Time and Fairness in a Process Algebra with Non-blocking Reading.
SOFSEM 2009: 193-204 |
| 11 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Liveness of a mutex algorithm in a fair process algebra.
Acta Inf. 46(3): 209-235 (2009) |
| 10 | | Ezio Bartocci,
Flavio Corradini,
Maria Rita Di Berardini,
Emilia Entcheva,
Scott A. Smolka,
Radu Grosu:
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) |
| 2008 |
|---|
| 9 | | Ezio Bartocci,
Flavio Corradini,
Maria Rita Di Berardini,
Emilia Entcheva,
Radu Grosu,
Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008) |
| 2006 |
|---|
| 8 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Checking a Mutex Algorithm in a Process Algebra with Fairness.
CONCUR 2006: 142-157 |
| 7 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Fairness of Actions in System Computations.
Acta Inf. 43(2): 73-130 (2006) |
| 6 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Fairness of components in system computations.
Theor. Comput. Sci. 356(3): 291-324 (2006) |
| 2005 |
|---|
| 5 | | Flavio Corradini,
Rosario Culmone,
Maria Rita Di Berardini,
Emanuela Merelli:
Integrating Ontologies in Mobile Agents.
WOA 2005: 37-45 |
| 4 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Fairness of Components in System Computations.
Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005) |
| 2004 |
|---|
| 3 | | Flavio Corradini,
Rosario Culmone,
Maria Rita Di Berardini:
Code Mobility for Pervasive Computing.
WETICE 2004: 431-432 |
| 2003 |
|---|
| 2 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Relating Fairness and Timing in Process Algebras.
CONCUR 2003: 438-452 |
| 2001 |
|---|
| 1 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
APAQS 2001: 231-240 |
