Timed Automata with non-Instantaneous Actions. - Roberto Barbuti; Nicoletta De Francesco; Luca Tesei (Fundam. Informaticae, 2001)

Fixing the Java bytecode verifier by a suitable type domain. - Roberto Barbuti; Luca Tesei; Cinzia Bernardeschi; Nicoletta De Francesco (SEKE, 2002)

A Notion of Non-Interference for Timed Automata. - Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Luca Tesei (Fundam. Informaticae, 2002)

A Decidable Notion of Timed Non-Interference. - Roberto Barbuti; Luca Tesei (Fundam. Informaticae, 2003)

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. - Nicoletta De Francesco; Antonella Santone; Luca Tesei (Fundam. Informaticae, 2003)

Timed automata with urgent transitions. - Roberto Barbuti; Luca Tesei (Acta Informatica, 2004)

Abstract Interpretation Against Races. - Roberto Barbuti; Stefano Cataudella 001; Luca Tesei (Fundam. Informaticae, 2004)

A model-prover for constrained dynamic conversations. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Luca Tesei; Leonardo Vito (iiWAS, 2008)

Model Checking Biological Oscillators. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (FBTC@ICALP, 2008)

Quality of service in e-government underlines the role of information usability. - Flavio Corradini; Alberto Polzonetti; Barbara Re 001; Luca Tesei (Int. J. Inf. Qual., 2008)

A Shape Calculus for Biological Processes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (ICTCS, 2009)

Timed P Automata. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (Fundam. Informaticae, 2009)

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. - Roberto Barbuti; Nicoletta De Francesco; Luca Tesei (Comput. J., 2010)

An Individual-based Probabilistic Model for Fish Stock Simulation - Federico Buti; Flavio Corradini; Emanuela Merelli; Elio Paschini; Pierluigi Penna; Luca Tesei (AMCA-POP, 2010)

Multiscale Bone Remodelling with Spatial P Systems - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (MeCBIC, 2010)

Shape Calculus: Timed Operational Semantics and Well-formedness - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (CoRR, 2010)

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Timed Operational Semantics and Well-Formedness of Shape Calculus. - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Bone Remodelling in BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei; M. Pani (CS2Bio, 2010)

BioShape: a spatial shape-based scale-independent simulation environment for biological systems. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (ICCS, 2010)

Detecting synchronisation of biological oscillators by model checking. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (Theor. Comput. Sci., 2010)

BIOSHAPE textsc{BioShape}: End-User Development for Simulating Biological Systems. - Federico Buti; Diletta Cacciagrano; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (IS-EUD, 2011)

A Testing Framework for P Systems - Roberto Barbuti; Diletta Romana Cacciagrano; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (CoRR, 2011)

Multiscale Modelling: A Mobile Membrane Approach - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (CoRR, 2011)

A Uniform Multiscale Meta-model of BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (CS2Bio@DisCoTec, 2011)

Towards Abstraction-Based Verification of Shape Calculus. - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (SASB, 2011)

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. - Flavio Corradini; Emanuela Merelli; Diletta Romana Cacciagrano; Rosario Culmone; Luca Tesei; Leonardo Vito (ERCIM News, 2011)

Spatial P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Luca Tesei (Nat. Comput., 2011)

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. - Federico Buti; Flavio Corradini; Emanuela Merelli; Luca Tesei (SIMULTECH, 2012)

A multi-level model for self-adaptive systems - Emanuela Merelli; Nicola Paoletti; Luca Tesei (FOCLASA, 2012)

Encoding Timed Models as Uniform Labeled Transition Systems. - Marco Bernardo 001; Luca Tesei (EPEW, 2013)

DISPAS: An Agent-Based Tool for the Management of Fishing Effort. - Pierluigi Penna; Nicola Paoletti; Giuseppe Scarcella; Luca Tesei; Mauro Marini; Emanuela Merelli (SEFM Workshops, 2013)

Timed process calculi: from durationless actions to durational ones. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (ICTCS, 2014)

Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea. - Cesar Augusto Nieto Coria; Luca Tesei; Giuseppe Scarcella; Tommaso Russo; Emanuela Merelli (SEFM Workshops, 2014)

Adaptability Checking in Multi-Level Complex Systems. - Emanuela Merelli; Nicola Paoletti; Luca Tesei (CoRR, 2014)

A Constrained ECA Language Supporting Formal Verification of WSNs. - Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Luca Tesei; Franco Raimondi (AINA Workshops, 2015)

Towards a Shape Language for Interpreting RNA Folding. - Adane Letta Mamuye; Emanuela Merelli; Luca Tesei (BICT, 2015)

Probabilistic Modelling and Analysis of a Fish Population. - Chiara Cini; Luca Tesei; Giuseppe Scarcella; Cesar Augusto Nieto Coria; Emanuela Merelli (SEFM Workshops, 2015)

Topological characterization of S[B] systems: From data to models of complexity. - Emanuela Merelli; Matteo Rucco; Peter M. A. Sloot; Luca Tesei (CoRR, 2015)

Topological Characterization of Complex Systems: Using Persistent Entropy. - Emanuela Merelli; Matteo Rucco; Peter M. A. Sloot; Luca Tesei (Entropy, 2015)

A Formal Model for Event-Condition-Action Rules in Intelligent Environments. - Claudia Vannucchi; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Franco Raimondi; Luca Tesei (Intelligent Environments (Workshops), 2016)

Survey of TOPDRIM Applications of Topological Data Analysis. - Emanuela Merelli; Matteo Rucco; Luca Tesei; Marco Piangerelli; Adane Letta Mamuye; Michela Quadrini (KDWeb, 2016)

A Graph Grammar for Modelling RNA Folding. - Adane Letta Mamuye; Emanuela Merelli; Luca Tesei (GaM@ETAPS, 2016)

Adaptability checking in complex systems. - Emanuela Merelli; Nicola Paoletti; Luca Tesei (Sci. Comput. Program., 2016)

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. - Marco Bernardo 001; Flavio Corradini; Luca Tesei (Theor. Comput. Sci., 2016)

Uniformity in Multiscale Models: From Complex Automata to BioShape. - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (J. Cell. Autom., 2017)

An algebraic representation for tree alignment of RNA pseudoknotted structures. - Michela Quadrini; Luca Tesei; Emanuela Merelli (PeerJ Prepr., 2017)

Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium). - Jeffrey H. Johnson; Luca Tesei; Marco Piangerelli; Emanuela Merelli; Riccardo Paci; Nenad Stojanovic; Paulo Leitão; José Barbosa; Marco Amador (Ubiquity, 2018)

A Persistent Entropy Automaton for the Dow Jones Stock Market. - Marco Piangerelli; Luca Tesei; Emanuela Merelli (FSEN, 2019)

An algebraic language for RNA pseudoknots comparison. - Michela Quadrini; Luca Tesei; Emanuela Merelli (BMC Bioinform., 2019)

Topological Run-time Monitoring for Complex Systems. - Matteo Rucco; Luca Tesei; Emanuela Merelli (CoRR, 2019)

Computational modelling and data-driven techniques for systems analysis. - Stan Matwin; Luca Tesei; Roberto Trasarti (J. Intell. Inf. Syst., 2019)

ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots. - Michela Quadrini; Luca Tesei; Emanuela Merelli (Bioinform., 2020)

Automatic generation of pseudoknotted RNAs taxonomy. - Michela Quadrini; Luca Tesei; Emanuela Merelli (BMC Bioinform., 2022)

TARNAS, a TrAnslator for RNA Secondary Structure Formats. - Michela Quadrini; Piero Hierro Canchari; Piermichele Rosati; Luca Tesei (CIBB, 2024)

A Formal Approach to Identify Structural Patterns in RNA. - Michele Loreti; Michela Quadrini; Matteo Scoccia; Luca Tesei (CMSB, 2025)