Angelo Troina

Available identifiers

zbMath Open troina.angeloMaRDI QIDQ418835

List of research outcomes

Publication	Date of Publication	Type
Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata	2021-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4986662	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5151035	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5146651	2021-01-26	Paper
A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION	2016-08-09	Paper
Type Disciplines for Analysing Biologically Relevant Properties	2015-03-19	Paper
Stochastic Bigraphs	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q2849849	2013-09-20	Paper
Modelling Ecological Systems with the Calculus of Wrapped Compartments	2013-04-16	Paper
Simulation techniques for the calculus of wrapped compartments	2012-05-30	Paper
Typed stochastic semantics for the calculus of looping sequences	2012-05-30	Paper
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday	2011-05-18	Paper
Weak bisimulation for probabilistic timed automata	2010-11-19	Paper
Reachability results for timed automata with unbounded data structures	2010-10-08	Paper
Simulation and Bisimulation for Probabilistic Timed Automata	2010-09-10	Paper
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways	2009-07-28	Paper
Design and verification of long-running transactions in a timed framework	2008-11-20	Paper
Bisimulation Congruences in the Calculus of Looping Sequences	2008-09-11	Paper
Bisimulations in calculi modelling membranes	2008-08-21	Paper
A Probabilistic Applied Pi–Calculus	2008-05-15	Paper
The Calculus of Looping Sequences for Modeling Biological Membranes	2008-03-28	Paper
Parametric probabilistic transition systems for system design and analysis	2007-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5486047	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5472932	2006-06-19	Paper
Information and Communications Security	2005-08-19	Paper
Global Computing	2005-08-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Angelo Troina