Sfoglia per Autore
Timed Automata with Urgent Transitions
2001-01-01 Barbuti, R.; Tesei, Luca
Timed Automata with non-Instantaneous Actions
2001-01-01 Barbuti, Roberto; De Francesco, Nicoletta; Tesei, Luca
A Notion of Non-Interference for Timed Automata
2002-01-01 Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca
Fixing the Java bytecode verifier by a suitable type domain
2002-01-01 Barbuti, R.; Bernardeschi, C.; De Francesco, N.; Tesei, Luca
A Decidable Notion of Timed Non-Interference
2002-01-01 Barbuti, Roberto; Tesei, Luca
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
2003-01-01 De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca
A Decidable Notion of Timed Non-Interference
2003-01-01 Barbuti, Roberto; Tesei, Luca
Abstract Interpretation Against Races
2004-01-01 Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca
Timed automata with urgent transitions
2004-01-01 Barbuti, Roberto; Tesei, Luca
A Spatial Simulator for Metabolic Pathways
2008-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Using SKOS to formalize parameter estimation in systems biology
2008-01-01 Alfieri, R.; Cannata, Nicola; Merelli, Emanuela; Milanesi, L.; Tesei, Luca
A spatial model and simulator for metabolic pathways
2008-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A model-prover for constrained dynamic conversations
2008-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
Quality of service in e-Government underlines the role of information usability
2008-01-01 Corradini, Flavio; Polzonetti, Alberto; Re, Barbara; Tesei, Luca
Shape Calculus: A spatial calculus for 3D colliding shapes
2009-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Model Checking Biological Oscillators
2009-01-01 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Timed P Automata
2009-01-01 Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
A Shape Calculus for Biological Processes
2009-01-01 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Timed P Automata
2009-01-01 Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
An Individual-based Probabilistic Model for Fish Stock Simulation
2010-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Timed Automata with Urgent Transitions | 1-gen-2001 | Barbuti, R.; Tesei, Luca | Contributo in atto di convegno su volume | |
Timed Automata with non-Instantaneous Actions | 1-gen-2001 | Barbuti, Roberto; De Francesco, Nicoletta; Tesei, Luca | Articolo | |
A Notion of Non-Interference for Timed Automata | 1-gen-2002 | Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca | Articolo | |
Fixing the Java bytecode verifier by a suitable type domain | 1-gen-2002 | Barbuti, R.; Bernardeschi, C.; De Francesco, N.; Tesei, Luca | Contributo in atto di convegno su volume | |
A Decidable Notion of Timed Non-Interference | 1-gen-2002 | Barbuti, Roberto; Tesei, Luca | Contributo in atto di convegno su volume | |
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems | 1-gen-2003 | De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca | Articolo | |
A Decidable Notion of Timed Non-Interference | 1-gen-2003 | Barbuti, Roberto; Tesei, Luca | Articolo | |
Abstract Interpretation Against Races | 1-gen-2004 | Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca | Articolo | |
Timed automata with urgent transitions | 1-gen-2004 | Barbuti, Roberto; Tesei, Luca | Articolo | |
A Spatial Simulator for Metabolic Pathways | 1-gen-2008 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Altro | |
Using SKOS to formalize parameter estimation in systems biology | 1-gen-2008 | Alfieri, R.; Cannata, Nicola; Merelli, Emanuela; Milanesi, L.; Tesei, Luca | Altro | |
A spatial model and simulator for metabolic pathways | 1-gen-2008 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Altro | |
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 | |
Quality of service in e-Government underlines the role of information usability | 1-gen-2008 | Corradini, Flavio; Polzonetti, Alberto; Re, Barbara; 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 | |
Model Checking Biological Oscillators | 1-gen-2009 | Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
Timed P Automata | 1-gen-2009 | Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca | Contributo in atto di convegno su rivista | |
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 | |
Timed P Automata | 1-gen-2009 | Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca | Articolo | |
An Individual-based Probabilistic Model for Fish Stock Simulation | 1-gen-2010 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca | Contributo in atto di convegno su rivista |
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