Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 80
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 Decidable Notion of Timed Non-Interference 1-gen-2002 Barbuti, Roberto; Tesei, Luca Contributo in atto di convegno su volume
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 Notion of Non-Interference for Timed Automata 1-gen-2002 Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca Articolo
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
Timed automata with urgent transitions 1-gen-2004 Barbuti, Roberto; Tesei, Luca Articolo
Abstract Interpretation Against Races 1-gen-2004 Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca Articolo
A Spatial Simulator for Metabolic Pathways 1-gen-2008 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Altro
A spatial model and simulator for metabolic pathways 1-gen-2008 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Altro
Quality of service in e-Government underlines the role of information usability 1-gen-2008 Corradini, Flavio; Polzonetti, Alberto; Re, Barbara; Tesei, Luca 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
Using SKOS to formalize parameter estimation in systems biology 1-gen-2008 Alfieri, R.; Cannata, Nicola; Merelli, Emanuela; Milanesi, L.; Tesei, Luca Altro
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
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
Timed P Automata 1-gen-2009 Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca Articolo
Timed P Automata 1-gen-2009 Barbuti, Roberto; Maggiolo Schettini, Andrea; Milazzo, Paolo; Tesei, Luca Contributo in atto di convegno su rivista
Model Checking Biological Oscillators 1-gen-2009 Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su rivista
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
Mostrati risultati da 1 a 20 di 80
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