PRIAMI, CORRADO Statistiche
PRIAMI, CORRADO
DIPARTIMENTO DI INFORMATICA
The 5-formyltetrahydrofolate futile cycle reduces pathway stochasticity in an extended hybrid-stochastic model of folate-mediated one-carbon metabolism
2019-01-01 Misselbeck, K.; Marchetti, L.; Priami, C.; Stover, P. J.; Field, M. S.
A formal paradigm for multiview distributed debugging environments
1993-01-01 Priami, Corrado
A mathematical theory of programming languages and their implementations
1998-01-01 Priami, Corrado
A Model Predicting Rolling Cells Percentage in Inflamed Brain Venules
2013-01-01 Priami, Corrado
A parametric verification tool for distributed concurrent systems
1992-01-01 Priami, Corrado
A rule-based and imperative language for biochemical modeling and simulation
2012-01-01 Priami, Corrado; Zunino, Roberto
A stochastic cost model for the pi-calculus
1998-01-01 Priami, Corrado
A transitional semantics of full Prolog
1995-01-01 Degano, Pierpaolo; Priami, C.
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability
2016-01-01 Priami, Corrado; Zunino, Roberto
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy
2012-01-01 Priami, Corrado
Algorithmic systems biology
2009-01-01 Priami, Corrado
Algorithmic Systems Biology: Computer Science propels Systems Biology
2010-01-01 Priami, Corrado
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches
2014-01-01 Kahramanogullari, Ozan; Lynch, James; Priami, Corrado
An imperative language of self-modifying graphs for biological systems
2012-01-01 Priami, Corrado; Zunino, Roberto
analysis of biological systems
2015-01-01 Priami, Corrado
Analysis of Facile programs: A case study.
1996-01-01 Degano, Pierpaolo; Priami, C; Leth, L; Thomsen, B.
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
2001-01-01 Priami, C.; Regev, A.; Shapiro, E.; Silvermann, W.
Applicazioni dell’Intelligenza Artificiale ai processi di Ricerca & Sviluppo preclinico del farmaco
2019-01-01 Malva, Alberto; Priami, Corrado; Turchetti, Giuseppe; Pelliccia, Antonio; Dall’Olio, Giovanni; Recchia, Giuseppe
Authentication Primitives for Protocol Specifications
2003-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, C.
Authentication Primitives for Refining Protocol Specifications
2002-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado; Focardi, R.