Sfoglia per Autore
An Equational Axiomatization of Bisimulation over Regular Expressions
2002-01-01 Corradini, Flavio; DE NICOLA, R.; Labella, A.
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
2002-01-01 Corradini, Flavio; Vogler, W.; Jenner, L.
Static Analysis of Real-Time Component-based System Configurations
2003-01-01 Corradini, Flavio; Inverardi, P.; Attanasio, C.
A Programming Environment for Global Activity-based Application
2003-01-01 Corradini, Flavio; Mariani, ; Merelli, Emanuela
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes
2003-01-01 Corradini, Flavio; DI COLA, D.
Relating Fairness and Timing in Process Algebras
2003-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Service Discovery for Biological Distributed Applications: an Overview
2004-01-01 Corradini, Flavio; Merelli, Emanuela; Bartocci, E.
An agent-based matchmaker
2004-01-01 Corradini, Flavio; Ercoli, C.; Merelli, Emanuela; Re, Barbara
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency
2004-01-01 Corradini, Flavio; U., Nestmann
A Process Algebra View of Coordination Models with a Case Study in Computational System Biology.
2004-01-01 Roberta, Amici; Corradini, Flavio; Merelli, Emanuela
"An agent-oriented conceptual framework for biological systems modelling"
2004-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, A.; Ricci, A.
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004
2004-01-01 M., Bernardo; Corradini, Flavio
FarMAS: A MAS for Extended Quality Workflow
2004-01-01 Bonura, D.; Corradini, Flavio; Merelli, Emanuela; Romiti, G.
Workflow as Composition of Domain-Specific Languages
2004-01-01 Corradini, Flavio; Merelli, Emanuela; Pirantonio, A.
Code Mobility for Pervasive Computing
2004-01-01 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita
Expressiveness of Timed Events and Timed Languages
2004-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio
An agent-based approach to tool integration
2004-01-01 Corradini, Flavio; Mariani, L.; Merelli, Emanuela
Small Administrations: eGovernment in disadvantaged environments
2005-01-01 Corradini, Flavio; Polzonetti, Alberto; Riganelli, Oliviero
Dynamic services modeling for E-Government applications
2005-01-01 Corradini, Flavio; Polzonetti, Alberto; DE ANGELIS, Francesco; Nepi, Sandro
Fairness of Components in System Computations
2005-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
An Equational Axiomatization of Bisimulation over Regular Expressions | 1-gen-2002 | Corradini, Flavio; DE NICOLA, R.; Labella, A. | Articolo | |
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS | 1-gen-2002 | Corradini, Flavio; Vogler, W.; Jenner, L. | Articolo | |
Static Analysis of Real-Time Component-based System Configurations | 1-gen-2003 | Corradini, Flavio; Inverardi, P.; Attanasio, C. | Articolo | |
A Programming Environment for Global Activity-based Application | 1-gen-2003 | Corradini, Flavio; Mariani, ; Merelli, Emanuela | Contributo in atto di convegno su volume | |
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes | 1-gen-2003 | Corradini, Flavio; DI COLA, D. | Articolo | |
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 | |
Service Discovery for Biological Distributed Applications: an Overview | 1-gen-2004 | Corradini, Flavio; Merelli, Emanuela; Bartocci, E. | Altro | |
An agent-based matchmaker | 1-gen-2004 | Corradini, Flavio; Ercoli, C.; Merelli, Emanuela; Re, Barbara | Contributo in atto di convegno su volume | |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency | 1-gen-2004 | Corradini, Flavio; U., Nestmann | Abstract atto convegno su rivista | |
A Process Algebra View of Coordination Models with a Case Study in Computational System Biology. | 1-gen-2004 | Roberta, Amici; Corradini, Flavio; Merelli, Emanuela | Altro | |
"An agent-oriented conceptual framework for biological systems modelling" | 1-gen-2004 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, A.; Ricci, A. | Altro | |
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004 | 1-gen-2004 | M., Bernardo; Corradini, Flavio | Cura di atti, volumi e cataloghi | |
FarMAS: A MAS for Extended Quality Workflow | 1-gen-2004 | Bonura, D.; Corradini, Flavio; Merelli, Emanuela; Romiti, G. | Contributo in atto di convegno su volume | |
Workflow as Composition of Domain-Specific Languages | 1-gen-2004 | Corradini, Flavio; Merelli, Emanuela; Pirantonio, A. | Altro | |
Code Mobility for Pervasive Computing | 1-gen-2004 | Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita | Contributo in atto di convegno su volume | |
Expressiveness of Timed Events and Timed Languages | 1-gen-2004 | Cacciagrano, Diletta Romana; Corradini, Flavio | Capitolo di libro o voce di enciclopedia | |
An agent-based approach to tool integration | 1-gen-2004 | Corradini, Flavio; Mariani, L.; Merelli, Emanuela | Articolo | |
Small Administrations: eGovernment in disadvantaged environments | 1-gen-2005 | Corradini, Flavio; Polzonetti, Alberto; Riganelli, Oliviero | Contributo in atto di convegno su volume | |
Dynamic services modeling for E-Government applications | 1-gen-2005 | Corradini, Flavio; Polzonetti, Alberto; DE ANGELIS, Francesco; Nepi, Sandro | Contributo in atto di convegno su volume | |
Fairness of Components in System Computations | 1-gen-2005 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile