Luca Tesei

According to our database, Luca Tesei authored at least 54 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automatic generation of pseudoknotted RNAs taxonomy.

Michela Quadrini, Luca Tesei, Emanuela Merelli

BMC Bioinform., July, 2022

2020

ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.

Michela Quadrini, Luca Tesei, Emanuela Merelli

Bioinform., 2020

2019

Computational modelling and data-driven techniques for systems analysis.

Stan Matwin, Luca Tesei, Roberto Trasarti

J. Intell. Inf. Syst., 2019

Topological Run-time Monitoring for Complex Systems.

Matteo Rucco, Luca Tesei, Emanuela Merelli

CoRR, 2019

An algebraic language for RNA pseudoknots comparison.

Michela Quadrini, Luca Tesei, Emanuela Merelli

BMC Bioinform., 2019

A Persistent Entropy Automaton for the Dow Jones Stock Market.

Marco Piangerelli, Luca Tesei, Emanuela Merelli

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

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

2017

An algebraic representation for tree alignment of RNA pseudoknotted structures.

Michela Quadrini, Luca Tesei, Emanuela Merelli

PeerJ Prepr., 2017

Uniformity in Multiscale Models: From Complex Automata to BioShape.

Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

J. Cell. Autom., 2017

2016

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.

Marco Bernardo, Flavio Corradini, Luca Tesei

Theor. Comput. Sci., 2016

Adaptability checking in complex systems.

Emanuela Merelli, Nicola Paoletti, Luca Tesei

Sci. Comput. Program., 2016

A Graph Grammar for Modelling RNA Folding.

Adane Letta Mamuye, Emanuela Merelli, Luca Tesei

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Survey of TOPDRIM Applications of Topological Data Analysis.

Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini

Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

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

Proceedings of the Intelligent Environments 2016, 2016

2015

Topological Characterization of Complex Systems: Using Persistent Entropy.

Emanuela Merelli, Matteo Rucco, Peter M. A. Sloot, Luca Tesei

Entropy, 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

Probabilistic Modelling and Analysis of a Fish Population.

Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli

Proceedings of the Software Engineering and Formal Methods, 2015

Towards a Shape Language for Interpreting RNA Folding.

Adane Letta Mamuye, Emanuela Merelli, Luca Tesei

Proceedings of the BICT 2015, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.

Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014

Adaptability Checking in Multi-Level Complex Systems.

Emanuela Merelli, Nicola Paoletti, Luca Tesei

CoRR, 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

Proceedings of the Software Engineering and Formal Methods, 2014

Timed process calculi: from durationless actions to durational ones.

Marco Bernardo, Flavio Corradini, Luca Tesei

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013

DISPAS: An Agent-Based Tool for the Management of Fishing Effort.

Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli

Proceedings of the Software Engineering and Formal Methods, 2013

Encoding Timed Models as Uniform Labeled Transition Systems.

Marco Bernardo, Luca Tesei

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

A multi-level model for self-adaptive systems

Emanuela Merelli, Nicola Paoletti, Luca Tesei

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.

Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

2011

Spatial P systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei

Nat. Comput., 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

Towards Abstraction-Based Verification of Shape Calculus.

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

A Uniform Multiscale Meta-model of BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Multiscale Modelling: A Mobile Membrane Approach

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

CoRR, 2011

A Testing Framework for P Systems

Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

CoRR, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.

Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the End-User Development - Third International Symposium, 2011

2010

Detecting synchronisation of biological oscillators by model checking.

Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei

Theor. Comput. Sci., 2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the International Conference on Computational Science, 2010

Bone Remodelling in BioShape.

Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 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

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

Shape Calculus: Timed Operational Semantics and Well-formedness

Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

CoRR, 2010

Multiscale Bone Remodelling with Spatial P Systems

Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation

Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.

Roberto Barbuti, Nicoletta De Francesco, Luca Tesei

Comput. J., 2010

2009

Timed P Automata.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

Fundam. Informaticae, 2009

A Shape Calculus for Biological Processes.

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008

Quality of service in e-government underlines the role of information usability.

Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei

Int. J. Inf. Qual., 2008

Model Checking Biological Oscillators.

Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

A model-prover for constrained dynamic conversations.

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito

Proceedings of the iiWAS'2008, 2008

2004

Abstract Interpretation Against Races.

Roberto Barbuti, Stefano Cataudella, Luca Tesei

Fundam. Informaticae, 2004

Timed automata with urgent transitions.

Roberto Barbuti, Luca Tesei

Acta Informatica, 2004

2003

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.

Nicoletta De Francesco, Antonella Santone, Luca Tesei

Fundam. Informaticae, 2003

A Decidable Notion of Timed Non-Interference.

Roberto Barbuti, Luca Tesei

Fundam. Informaticae, 2003

2002

A Notion of Non-Interference for Timed Automata.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei

Fundam. Informaticae, 2002

Fixing the Java bytecode verifier by a suitable type domain.

Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

2001

Timed Automata with non-Instantaneous Actions.

Roberto Barbuti, Nicoletta De Francesco, Luca Tesei

Fundam. Informaticae, 2001