Corrado Priami

Available identifiers

zbMath Open priami.corradoMaRDI QIDQ1044844

List of research outcomes

Publication	Date of Publication	Type
Read-write causality	2022-08-18	Paper
Proved trees	2019-12-04	Paper
Extended transition systems for parametric bisimulation	2019-03-29	Paper
Efficient finite-difference method for computing sensitivities of biochemical reactions	2019-02-27	Paper
Causality for mobile processes	2019-01-10	Paper
HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks	2018-01-31	Paper
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness	2018-01-05	Paper
HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks	2016-12-05	Paper
Pierpaolo Degano	2016-01-08	Paper
Biological Transactions for Quantitative Models	2013-12-06	Paper
The Decidability of the Structural Congruence for Beta-binders	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2849572	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849853	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2847426	2013-09-09	Paper
Composability: Perspectives in Ecological Modeling	2012-06-08	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Perspectives of System Informatics	2010-01-05	Paper
On the computational power of BlenX	2009-12-15	Paper
BlenX Static and Dynamic Semantics	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396549	2009-09-19	Paper
Decidable Extensions of Hennessy-Milner Logic	2009-03-11	Paper
Automatic verification of distributed systems: the process algebra approach.	2008-12-21	Paper
Evolving BlenX programs to simulate the evolution of biological networks	2008-12-12	Paper
On the decidability and complexity of the structural congruence for beta-binders	2008-11-06	Paper
Communicating by compatibility	2008-04-22	Paper
Modeling Static Biological Compartments with Beta-binders	2007-11-29	Paper
Transactions on Computational Systems Biology III	2006-11-14	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Transactions on Computational Systems Biology I	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4681304	2005-06-23	Paper
Modelling biochemical pathways through enhanced \(\pi\)-calculus	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4818860	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4413247	2003-07-17	Paper
Language-based performance prediction for distributed and mobile systems	2003-01-14	Paper
A causal semantics for CCS via rewriting logic	2002-07-31	Paper
Application of a stochastic name-passing calculus to representation and simulation of molecular processes	2002-07-25	Paper
Primitives for authentication in process algebras.	2002-07-15	Paper
Names of the \(\pi\)-calculus agents handled locally	2000-12-12	Paper
LR techniques for handling syntax errors	2000-01-04	Paper
Causality for debugging mobile agents	1999-11-01	Paper
Non-interleaving semantics for mobile processes	1999-04-28	Paper
Automatizing parametric reasoning on distributed concurrent systems	1995-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4005177	1992-09-27	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: Corrado Priami