Priami, Corrado

Priami, Corrado  

Mostra records
Risultati 1 - 20 di 285 (tempo di esecuzione: 0.05 secondi).
Titolo Anno di pubblicazione Autori Unitn File
"Computational Methods in Systems Biology" for BioSystems 1-gen-2004 Priami, Corrado
"Computational Methods in Systems Biology" for Theoretical Computer Science 1-gen-2004 Priami, Corrado
"Security in Global computing" for the International Journal of Information Security 1-gen-2004 Priami, Corrado
A BetaWB Model for the NFkB Pathway 1-gen-2007 Larcher, RobertoPriami, Corrado +
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 closed-loop multi-level model of glucose homeostasis 1-gen-2018 Uluseker, CansuSIMONI, GiuliaMarchetti, LucaPriami, Corrado +
A Community Challenge for Inferring Genetic Predictors of Gene Essentialities through Analysis of a Functional Screen of Cancer Cell Lines 1-gen-2017 Tang, HaoLauria, MarioPriami, Corrado +
A compact representation of finite state processes 1-gen-1994 Priami, Corrado +
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology 1-gen-2020 Simoni G.Priami C.Marchetti L. +
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators 1-gen-2006 Mardare, RaduPriami, Corrado
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 1-gen-2007 Dematte', LorenzoPriami, CorradoRomanel, Alessandro +
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 hybrid stochastic model of folate-mediated one-carbon metabolism: Effect of the common C677T MTHFR variant on de novo thymidylate biosynthesis 1-gen-2017 Misselbeck, KarlaMarchetti, LucaScotti, MarcoPriami, Corrado +
A logical approach to security in the context of ambient calculus 1-gen-2004 Priami, Corrado +
A mathematical theory of programming languages and their implementations 1-gen-1998 Priami, Corrado