Priami, Corrado

Priami, Corrado  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 225 (tempo di esecuzione: 0.041 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 1-gen-2004 Lecca, PaolaPriami, Corrado +
A Bounded-Optimistic, Parallel Beta-Binders Simulator 1-gen-2008 Priami, Corrado +
A causal semantics for CCS via rewriting logics 1-gen-2002 Priami, Corrado +
A compact representation of finite state processes 1-gen-1994 Priami, Corrado +
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 1-gen-2007 Demattè, LorenzoPriami, CorradoRomanel, Alessandro +
A Formal Language for Computational Systems Biology 1-gen-2004 Priami, CorradoQuaglia, Paola +
A Formal Language for Computational Systems Biology 1-gen-2004 Priami, CorradoQuaglia, Paola +
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 Lecca, PaolaPriami, Corrado +
A new probabilistic generative model of parameter inference in biochemical networks 1-gen-2009 Lecca, PaolaPalmisano, AlidaPriami, Corrado +
A parametric verification tool for distributed concurrent systems 1-gen-1992 Priami, Corrado +
A Quantitative Study of Two Attacks 1-gen-2005 Priami, Corrado +
A rule-based and imperative language for biochemical modeling and simulation 1-gen-2012 Priami, CorradoZunino, Roberto +
A stochastic cost model for the pi-calculus 1-gen-1998 Priami, Corrado +
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 1-gen-2004 Lecca, PaolaPriami, CorradoQuaglia, Paola +
A Stochastic Semantics for BioAmbients 1-gen-2007 Priami, Corrado +
A tool for quantitative analysis of pi-calculus processes 1-gen-2000 Priami, Corrado +
A transitional semantics for full prolog 1-gen-1995 Priami, Corrado +
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 1-gen-2016 Vo Hong, ThanhPriami, CorradoZunino, Roberto