PRIAMI, CORRADO Statistiche

PRIAMI, CORRADO  

DIPARTIMENTO DI INFORMATICA  

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