TESEI, Luca

TESEI, Luca  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.03 secondi).
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-2002 Barbuti, Roberto; Tesei, Luca Contributo in atto di convegno su volume
A Decidable Notion of Timed Non-Interference 1-gen-2003 Barbuti, Roberto; Tesei, Luca Articolo
A Formal Approach to Identify Structural Patterns in RNA 1-gen-2025 Loreti, Michele; Quadrini, Michela; Scoccia, Matteo; Tesei, Luca Capitolo di libro o voce di enciclopedia
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