Luca Tesei

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A Persistent Entropy Automaton for the Dow Jones Stock Market
 
2024-03-14Paper
scientific article; zbMATH DE number 7020138 (Why is no real title available?)
 
2019-02-08Paper
scientific article; zbMATH DE number 7020139 (Why is no real title available?)
 
2019-02-08Paper
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
Theoretical Computer Science
2016-05-27Paper
Timed P Automata
Electronic Notes in Theoretical Computer Science
2015-03-19Paper
Towards Abstraction-Based Verification of Shape Calculus
Electronic Notes in Theoretical Computer Science
2014-03-21Paper
Model checking biological oscillators
Electronic Notes in Theoretical Computer Science
2014-03-21Paper
Bone remodelling in \textsc{BioShape}
Electronic Notes in Theoretical Computer Science
2014-03-21Paper
Timed P automata
 
2011-06-07Paper
Spatial P systems
Natural Computing
2011-05-23Paper
Detecting synchronisation of biological oscillators by model checking
Theoretical Computer Science
2010-05-11Paper
Timed automata with urgent transitions
Acta Informatica
2004-12-09Paper
scientific article; zbMATH DE number 2104620 (Why is no real title available?)
 
2004-10-01Paper
scientific article; zbMATH DE number 2064461 (Why is no real title available?)
 
2004-05-18Paper
scientific article; zbMATH DE number 2064465 (Why is no real title available?)
 
2004-05-18Paper
Timed automata with non-instantaneous actions
Fundamenta Informaticae
2003-02-02Paper
scientific article; zbMATH DE number 1799514 (Why is no real title available?)
 
2002-09-11Paper


Research outcomes over time


This page was built for person: Luca Tesei