Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 50
Titolo Data di pubblicazione Autore(i) Tipo File
On Synchronous and Asynchronous Communication Paradigms 1-gen-2001 Cacciagrano, Diletta Romana; Corradini, Flavio 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
A GRID-based multilayer architecture for bioinformatics 1-gen-2006 Bartocci, Ezio; Cacciagrano, Diletta Romana; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; L., Milanesi; P., Romano Altro
Separation of synchronous and asynchronous communication via testing 1-gen-2006 Cacciagrano, Diletta Romana; Corradini, Flavio; Palamidessi, C. Contributo in atto di convegno su rivista
Dynamic Constraint-based Invocation of Web Services 1-gen-2006 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Vito, Leonardo Contributo in atto di convegno su volume
Fair Pi 1-gen-2007 Cacciagrano, Diletta Romana; Corradini, Flavio; Palamidessi, C. Contributo in atto di convegno su rivista
An Agent-based Multilayer Architecture for Bioinformatics Grids. 1-gen-2007 Bartocci, E; Cacciagrano, Diletta Romana; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Milanesi, L; Romano, P. Articolo
Separation of Synchronous and Asynchronous Communication via Testing 1-gen-2007 Cacciagrano, Diletta Romana; Corradini, Flavio; Palamidessi, C. Articolo
A model-prover for constrained dynamic conversations 1-gen-2008 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo Contributo in atto di convegno su volume
Persistence and Testing Semantics in the Asynchronous Pi-Calculus 1-gen-2008 Cacciagrano, Diletta Romana; Corradini, Flavio; Aranda, J; Valencia, F. Contributo in atto di convegno su rivista
Explicit fairness in testing semantics 1-gen-2009 Cacciagrano, Diletta Romana; Corradini, Flavio; Palamidessi, C. Articolo
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 1-gen-2009 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; G., Romiti; Vito, Leonardo Contributo in atto di convegno su volume
Constraint-based Dynamic Conversations 1-gen-2009 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Vito, Leonardo Contributo in atto di convegno su volume
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
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 1-gen-2010 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela Contributo in atto di convegno su volume
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 1-gen-2010 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario Contributo in atto di convegno su volume
Multiscale Bone Remodelling with Spatial P Systems 1-gen-2010 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su volume
A Resourceome for the automation of in-silico biological experiments 1-gen-2010 E., BARTOCCI E; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Vito, Leonardo Contributo in atto di convegno su volume
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 1-gen-2010 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
Multiscale Bone Remodelling with Spatial P Systems 1-gen-2010 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
Mostrati risultati da 1 a 20 di 50
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