Luca Tesei

From MaRDI portal
Person:288784

Available identifiers

zbMath Open tesei.lucaDBLP84/1927WikidataQ59310754 ScholiaQ59310754MaRDI QIDQ288784

List of research outcomes





PublicationDate of PublicationType
A Persistent Entropy Automaton for the Dow Jones Stock Market2024-03-14Paper
https://portal.mardi4nfdi.de/entity/Q46211382019-02-08Paper
https://portal.mardi4nfdi.de/entity/Q46211392019-02-08Paper
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions2016-05-27Paper
Timed P Automata2015-03-19Paper
Towards Abstraction-Based Verification of Shape Calculus2014-03-21Paper
Model Checking Biological Oscillators2014-03-21Paper
Bone Remodelling in BioShape2014-03-21Paper
https://portal.mardi4nfdi.de/entity/Q30052452011-06-07Paper
Spatial P systems2011-05-23Paper
Detecting synchronisation of biological oscillators by model checking2010-05-11Paper
Timed automata with urgent transitions2004-12-09Paper
https://portal.mardi4nfdi.de/entity/Q48187302004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44619522004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44619562004-05-18Paper
Timed automata with non-instantaneous actions2003-02-02Paper
https://portal.mardi4nfdi.de/entity/Q31462712002-09-11Paper

Research outcomes over time

This page was built for person: Luca Tesei

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:288784&oldid=7277210"
Powered by MediaWiki