Luca Tesei

According to our database1, Luca Tesei
  • authored at least 47 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cellular Automata, 2017

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.
Theor. Comput. Sci., 2016

Adaptability checking in complex systems.
Sci. Comput. Program., 2016

A Graph Grammar for Modelling RNA Folding.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Survey of TOPDRIM Applications of Topological Data Analysis.
Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
Proceedings of the Intelligent Environments 2016, 2016

Topological Characterization of Complex Systems: Using Persistent Entropy.
Entropy, 2015

Topological characterization of S[B] systems: From data to models of complexity.
CoRR, 2015

Probabilistic Modelling and Analysis of a Fish Population.
Proceedings of the Software Engineering and Formal Methods, 2015

Towards a Shape Language for Interpreting RNA Folding.
Proceedings of the BICT 2015, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

Adaptability Checking in Multi-Level Complex Systems.
CoRR, 2014

Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.
Proceedings of the Software Engineering and Formal Methods, 2014

Timed process calculi: from durationless actions to durational ones.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
Proceedings of the Software Engineering and Formal Methods, 2013

Encoding Timed Models as Uniform Labeled Transition Systems.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Towards Abstraction-Based Verification of Shape Calculus.
Electr. Notes Theor. Comput. Sci., 2012

A multi-level model for self-adaptive systems
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.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

Spatial P systems.
Natural Computing, 2011

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News, 2011

A Uniform Multiscale Meta-model of BioShape.
Electr. Notes Theor. Comput. Sci., 2011

Multiscale Modelling: A Mobile Membrane Approach
CoRR, 2011

A Testing Framework for P Systems
CoRR, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
Proceedings of the End-User Development - Third International Symposium, 2011

Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci., 2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
Proceedings of the International Conference on Computational Science, 2010

Bone Remodelling in BioShape.
Electr. Notes Theor. Comput. Sci., 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comp. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comp. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR, 2010

Multiscale Bone Remodelling with Spatial P Systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Comput. J., 2010

Timed P Automata.
Fundam. Inform., 2009

Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci., 2009

Timed P Automata.
Electr. Notes Theor. Comput. Sci., 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

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

A model-prover for constrained dynamic conversations.
Proceedings of the iiWAS'2008, 2008

Abstract Interpretation Against Races.
Fundam. Inform., 2004

Timed automata with urgent transitions.
Acta Inf., 2004

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Inform., 2003

A Decidable Notion of Timed Non-Interference.
Fundam. Inform., 2003

A Notion of Non-Interference for Timed Automata.
Fundam. Inform., 2002

Fixing the Java bytecode verifier by a suitable type domain.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Timed Automata with non-Instantaneous Actions.
Fundam. Inform., 2001