TESEI, Luca

TESEI, Luca  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 80 (tempo di esecuzione: 0.041 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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
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
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 1-gen-2010 Barbuti, Roberto; De Francesco, Nicoletta; 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
Adaptability checking in complex systems 1-gen-2016 Merelli, Emanuela; Paoletti, Nicola; Tesei, Luca Articolo
Adaptability Checking in Multi-Level Complex Systems 1-gen-2014 Merelli, Emanuela; Paoletti, Nicola; Tesei, Luca Altro
Advanced methods for data reconstruction: interpolation methods applied to a set of radiation data 1-gen-2012 M., Gianfreda; Merelli, Emanuela; M., Rucco; A., Salvucci; Tesei, Luca Abstract atto convegno su volume
Agent-Based Models of Cellular Systems 1-gen-2013 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Capitolo di libro o voce di enciclopedia
An algebraic language for RNA pseudoknots comparison 1-gen-2019 Quadrini, Michela; Tesei, Luca; Merelli, Emanuela Articolo
An algebraic representation for tree alignment of RNA pseudoknotted structures. 1-gen-2017 Quadrini, Michela; Tesei, Luca; Merelli, Emanuela Contributo in atto di convegno su rivista
Alignment tree for RNA pseudoknots 1-gen-2018 Quadrini, Michela; Merelli, Emanuela; Tesei, Luca Abstract atto convegno su volume
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
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 volume
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots 1-gen-2020 Quadrini, Michela; Tesei, Luca; Merelli, Emanuela Articolo
Associate Editor 1-gen-2020 Tesei, Luca COMPONENTE DI COMITATO DI REDAZIONE
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium) 1-gen-2018 Johnson, Jeffrey; Tesei, Luca; Piangerelli, Marco; Merelli, Emanuela; Paci, Riccardo; Stojanovic, Nenad; Leitão, Paulo; Barbosa, José; Amador, Marco Articolo