TESEI, Luca
TESEI, Luca
Scuola di Scienze e Tecnologie
A Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi
A Decidable Notion of Timed Non-Interference
2003-01-01 Barbuti, Roberto; Tesei, Luca
A Decidable Notion of Timed Non-Interference
2002-01-01 Barbuti, Roberto; Tesei, Luca
A formal language for classifying RNA secondary structures
2016-01-01 Quadrini, Michela; Merelli, Emanuela; Tesei, Luca
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Graph Grammar for Modelling RNA Folding
2016-01-01 Mamuye, ADANE LETTA; 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
A multi-level model for self-adaptive systems
2012-01-01 Merelli, Emanuela; Paoletti, Nicola; Tesei, Luca
A Notion of Non-Interference for Timed Automata
2002-01-01 Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca
A Persistent Entropy Automaton for the Dow Jones Stock Market
2019-01-01 Piangerelli, M.; Tesei, L.; Merelli, E.
A Shape Calculus for Biological Processes
2009-01-01 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A spatial model and simulator for metabolic pathways
2008-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Spatial Simulator for Metabolic Pathways
2008-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems
2013-01-01 Taffi, Marianna; Paoletti, Nicola; Liò, P.; Tesei, Luca; Merelli, Emanuela; Marini, M.
A Uniform Multiscale Meta-model of BioShape
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Abstract Interpretation Against Races
2004-01-01 Barbuti, Roberto; Cataudella, Stefano; 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
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People
2011-01-01 Corradini, Flavio; Merelli, Emanuela; Cacciagrano, Diletta Romana; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people
2012-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Merelli, Emanuela; Tesei, Luca; Vito, Leonardo
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Constrained ECA Language Supporting Formal Verification of WSNs | 1-gen-2015 | Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi | Contributo in atto di convegno su volume | |
A Decidable Notion of Timed Non-Interference | 1-gen-2003 | Barbuti, Roberto; Tesei, Luca | Articolo | |
A Decidable Notion of Timed Non-Interference | 1-gen-2002 | Barbuti, Roberto; Tesei, Luca | Contributo in atto di convegno su volume | |
A formal language for classifying RNA secondary structures | 1-gen-2016 | Quadrini, Michela; Merelli, Emanuela; Tesei, Luca | Abstract atto convegno su volume | |
A Formal Model for Event-Condition-Action Rules in Intelligent Environments | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca | Contributo in atto di convegno su volume | |
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation | 1-gen-2012 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
A Graph Grammar for Modelling RNA Folding | 1-gen-2016 | Mamuye, ADANE LETTA; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
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 | |
A multi-level model for self-adaptive systems | 1-gen-2012 | Merelli, Emanuela; Paoletti, Nicola; Tesei, Luca | Contributo in atto di convegno su rivista | |
A Notion of Non-Interference for Timed Automata | 1-gen-2002 | Barbuti, Roberto; De Francesco, Nicoletta; Santone, Antonella; Tesei, Luca | Articolo | |
A Persistent Entropy Automaton for the Dow Jones Stock Market | 1-gen-2019 | Piangerelli, M.; Tesei, L.; Merelli, E. | Contributo in atto di convegno su volume | |
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 | |
A spatial model and simulator for metabolic pathways | 1-gen-2008 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Altro | |
A Spatial Simulator for Metabolic Pathways | 1-gen-2008 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Altro | |
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems | 1-gen-2013 | Taffi, Marianna; Paoletti, Nicola; Liò, P.; Tesei, Luca; Merelli, Emanuela; Marini, M. | Poster atto convegno su volume | |
A Uniform Multiscale Meta-model of BioShape | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
Abstract Interpretation Against Races | 1-gen-2004 | Barbuti, Roberto; Cataudella, Stefano; 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 | |
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People | 1-gen-2011 | Corradini, Flavio; Merelli, Emanuela; Cacciagrano, Diletta Romana; Culmone, Rosario; Tesei, Luca; Vito, Leonardo | Articolo | |
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people | 1-gen-2012 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Merelli, Emanuela; Tesei, Luca; Vito, Leonardo | Contributo in atto di convegno su volume |