Filtros de búsqueda

Lista de obras de Luca Tesei

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

artículo científico publicado en 2011

A Constrained ECA Language Supporting Formal Verification of WSNs

artículo científico publicado en 2015

A Graph Grammar for Modelling RNA Folding

artículo científico publicado en 2016

A Persistent Entropy Automaton for the Dow Jones Stock Market

artículo científico publicado en 2019

A Uniform Multiscale Meta-model of BioShape

scientific article published on 31 October 2011

A model-prover for constrained dynamic conversations

artículo científico publicado en 2008

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

artículo científico publicado en 2020

Adaptability checking in complex systems

artículo científico publicado en 2016

Agent-based models of cellular systems

scientific article published on 01 January 2013

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

artículo científico publicado en 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

artículo científico publicado en 2023

Big Data: Business, Technology, Education, and Science

artículo científico publicado en 2018

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

artículo científico publicado en 2010

Bone Remodelling in BioShape

scientific article published on 21 December 2010

Computational modelling and data-driven techniques for systems analysis

artículo científico publicado en 2019

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

Detecting synchronisation of biological oscillators by model checking

artículo científico publicado en 2010

Fixing the Java bytecode verifier by a suitable type domain

artículo científico publicado en 2002

Model Checking Biological Oscillators

artículo científico publicado en 2009

Multiscale Bone Remodelling with Spatial P Systems

artículo científico publicado en 2010

Probabilistic Modelling and Analysis of a Fish Population

artículo científico publicado en 2015

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

artículo científico publicado en 2008

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

artículo científico publicado en 2015

Spatial P systems

artículo científico publicado en 2010

Timed P Automata

artículo científico publicado en 2009

Timed P Automata

artículo científico publicado en 2009

Timed automata with urgent transitions

artículo científico publicado en 2004

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

artículo científico publicado en 2016

Topological Characterization of Complex Systems: Using Persistent Entropy

artículo científico publicado en 2015

Topological classifier for detecting the emergence of epileptic seizures.

artículo científico publicado en 2018

Towards Abstraction-Based Verification of Shape Calculus

scientific article published on 28 June 2012

Towards a Shape Language for Interpreting RNA Folding

artículo científico publicado en 2016

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda