Luca Tesei

57 papers B 1C 3Misc 1Journal 30Unranked 22
YearRankTypeTitle / Venue / Authors
2025 — conf
A Formal Approach to Identify Structural Patterns in RNA.
CMSB
Michele Loreti, Michela Quadrini, Matteo Scoccia, Luca Tesei
2024 — conf
TARNAS, a TrAnslator for RNA Secondary Structure Formats.
CIBB
Michela Quadrini, Piero Hierro Canchari, Piermichele Rosati, Luca Tesei
2022 J jnl
Automatic generation of pseudoknotted RNAs taxonomy.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2020 J jnl
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.
Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2019 — conf
A Persistent Entropy Automaton for the Dow Jones Stock Market.
FSEN
Marco Piangerelli, Luca Tesei, Emanuela Merelli
2019 J jnl
An algebraic language for RNA pseudoknots comparison.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2019 J jnl
Computational modelling and data-driven techniques for systems analysis.
J. Intell. Inf. Syst.
Stan Matwin, Luca Tesei, Roberto Trasarti
2019 J jnl
Topological Run-time Monitoring for Complex Systems.
CoRR
Matteo Rucco, Luca Tesei, Emanuela Merelli
2018 J jnl
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium).
Ubiquity
Jeffrey H. Johnson, Luca Tesei, Marco Piangerelli, Emanuela Merelli, Riccardo Paci, Nenad Stojanovic, Paulo Leitão, José Barbosa, Marco Amador
2017 J jnl
An algebraic representation for tree alignment of RNA pseudoknotted structures.
PeerJ Prepr.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2017 J jnl
Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cell. Autom.
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2016 B conf
A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
Intelligent Environments (Workshops)
Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei
2016 — conf
A Graph Grammar for Modelling RNA Folding.
GaM
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
2016 J jnl
Adaptability checking in complex systems.
Sci. Comput. Program.
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2016 — conf
Survey of TOPDRIM Applications of Topological Data Analysis.
KDWeb
Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini
2016 J jnl
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
Theor. Comput. Sci.
Marco Bernardo, Flavio Corradini, Luca Tesei
2015 — conf
A Constrained ECA Language Supporting Formal Verification of WSNs.
AINA Workshops
Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi
2015 — conf
Probabilistic Modelling and Analysis of a Fish Population.
SEFM Workshops
Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli
2015 J jnl
Topological Characterization of Complex Systems: Using Persistent Entropy.
Entropy
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
2015 J jnl
Topological characterization of S[B] systems: From data to models of complexity.
CoRR
Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei
2015 — conf
Towards a Shape Language for Interpreting RNA Folding.
BICT
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
2014 J jnl
Adaptability Checking in Multi-Level Complex Systems.
CoRR
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2014 — conf
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.
SEFM Workshops
Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli
2014 — conf
Timed process calculi: from durationless actions to durational ones.
ICTCS
Marco Bernardo, Flavio Corradini, Luca Tesei
2013 — conf
DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
SEFM Workshops
Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
2013 — conf
Encoding Timed Models as Uniform Labeled Transition Systems.
EPEW
Marco Bernardo, Luca Tesei
2012 C conf
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
SIMULTECH
Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei
2012 — conf
A multi-level model for self-adaptive systems
FOCLASA
Emanuela Merelli, Nicola Paoletti, Luca Tesei
2011 J jnl
A Testing Framework for P Systems
CoRR
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2011 — conf
A Uniform Multiscale Meta-model of BioShape.
CS2Bio@DisCoTec
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito
2011 — conf
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
IS-EUD
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
Multiscale Modelling: A Mobile Membrane Approach
CoRR
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei
2011 J jnl
Spatial P systems.
Nat. Comput.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
2011 — conf
Towards Abstraction-Based Verification of Shape Calculus.
SASB
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Comput. J.
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
2010 — conf
An Individual-based Probabilistic Model for Fish Stock Simulation
AMCA-POP
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
2010 Misc conf
BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
ICCS
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 — conf
Bone Remodelling in BioShape.
CS2Bio
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani
2010 J jnl
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 — conf
Multiscale Bone Remodelling with Spatial P Systems
MeCBIC
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 — conf
A Shape Calculus for Biological Processes.
ICTCS
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 J jnl
Timed P Automata.
Fundam. Informaticae
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2008 C conf
A model-prover for constrained dynamic conversations.
iiWAS
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito
2008 — conf
Model Checking Biological Oscillators.
FBTC@ICALP
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
2008 J jnl
Quality of service in e-government underlines the role of information usability.
Int. J. Inf. Qual.
Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei
2008 — conf
Timed P Automata.
MeCBIC
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2004 J jnl
Abstract Interpretation Against Races.
Fundam. Informaticae
Roberto Barbuti, Stefano Cataudella, Luca Tesei
2004 J jnl
Timed automata with urgent transitions.
Acta Informatica
Roberto Barbuti, Luca Tesei
2003 J jnl
A Decidable Notion of Timed Non-Interference.
Fundam. Informaticae
Roberto Barbuti, Luca Tesei
2003 J jnl
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Informaticae
Nicoletta De Francesco, Antonella Santone, Luca Tesei
2002 J jnl
A Notion of Non-Interference for Timed Automata.
Fundam. Informaticae
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
2002 C conf
Fixing the Java bytecode verifier by a suitable type domain.
SEKE
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
2001 J jnl
Timed Automata with non-Instantaneous Actions.
Fundam. Informaticae
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei