DI BERARDINI, Maria Rita

DI BERARDINI, Maria Rita  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
A Shape Calculus for Biological Processes 1-gen-2009 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su volume
Automated Analysis of MUTEX Algorithms with FASE 1-gen-2011 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, Walter Contributo in atto di convegno su rivista
Checking a Mutex Algorithm in a Process Algebra with Fairness 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, V. Contributo in atto di convegno su volume
Code Mobility for Pervasive Computing 1-gen-2004 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita Contributo in atto di convegno su volume
Fairness of Actions in System Computations 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Fairness of components in system computations 1-gen-2006 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Fairness of Components in System Computations 1-gen-2005 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Integrating Ontologies in Mobile Agents 1-gen-2005 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita; Merelli, Emanuela Contributo in atto di convegno su volume
Liveness of a Mutex Algorithm in a Fair Process Algebra 1-gen-2009 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 1-gen-2009 Bartocci, E.; Corradini, Flavio; DI BERARDINI, Maria Rita; Encheva, E.; Smolka, S. A.; Grosu, R. :. Articolo
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 1-gen-2001 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Read Operators and their Expressiveness in Process Algebras 1-gen-2011 Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler Contributo in atto di convegno su rivista
Relating Fairness and Timing in Process Algebras 1-gen-2003 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes 1-gen-2010 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
Shape Calculus: A spatial calculus for 3D colliding shapes 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
Shape Calculus: Timed Operational Semantics and Well-Formedness 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Altro
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue 1-gen-2008 Bartocci, E; Corradini, Flavio; DI BERARDINI, Maria Rita; Entcheva, E; Grosu, R; Smolka, A. S. Contributo in atto di convegno su rivista
Time and Fairness in a Process Algebra with Non-blocking Reading 1-gen-2009 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Timed Operational Semantics and Well-Formedness of Shape Calculus 1-gen-2010 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Articolo
Towards Abstraction-Based Verification of Shape Calculus 1-gen-2012 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista