Search filters

List of works by Luca Tesei

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

scientific article published in 2011

A Constrained ECA Language Supporting Formal Verification of WSNs

scientific article published in March 2015

A Graph Grammar for Modelling RNA Folding

scientific article published on 4 December 2016

A Persistent Entropy Automaton for the Dow Jones Stock Market

scientific article published in 2019

A Uniform Multiscale Meta-model of BioShape

scientific article published on 31 October 2011

A model-prover for constrained dynamic conversations

scientific article published on 24 November 2008

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

scientific article published on 03 March 2020

Adaptability checking in complex systems

scientific article published in January 2016

Agent-based models of cellular systems

scientific article published on 01 January 2013

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

scientific article published on 23 April 2009

An algebraic language for RNA pseudoknots comparison

scholarly article by Michela Quadrini et al published 18 April 2019 in BMC Bioinformatics

Automatic generation of pseudoknotted RNAs taxonomy

scientific article published on 15 June 2023

Big Data: Business, Technology, Education, and Science

scientific article published on 26 July 2018

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

scientific article published in May 2010

Bone Remodelling in BioShape

scientific article published on 21 December 2010

Computational modelling and data-driven techniques for systems analysis

scientific article published on 11 April 2019

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

Detecting synchronisation of biological oscillators by model checking

scientific article published in April 2010

Fixing the Java bytecode verifier by a suitable type domain

scientific article published on 15 July 2002

Model Checking Biological Oscillators

scientific article published in February 2009

Multiscale Bone Remodelling with Spatial P Systems

scientific article published on 30 October 2010

Probabilistic Modelling and Analysis of a Fish Population

scientific article published in 2015

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

scientific article published in 2008

Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea

scientific article published in 2015

Spatial P systems

scientific article published on 24 March 2010

Timed P Automata

scientific article published in January 2009

Timed P Automata

scientific article published in 2009

Timed automata with urgent transitions

scientific article published in March 2004

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

scientific article published in May 2016

Topological Characterization of Complex Systems: Using Persistent Entropy

scientific article published on 15 October 2015

Topological classifier for detecting the emergence of epileptic seizures.

scientific article

Towards Abstraction-Based Verification of Shape Calculus

scientific article published on 28 June 2012

Towards a Shape Language for Interpreting RNA Folding

scientific article published in 2016