Priami, Corrado (2008) Algorithmic Systems Biology: An Opportunity for Computer Science. UNSPECIFIED.

Polo, Filippo and Priami, Corrado (2008) Automated generation of narrative language programs from NCI-Nature's Pathway Interaction Database. UNSPECIFIED. (Unpublished)

Dematte', Lorenzo and Priami, Corrado and Romanel, Alessandro (2008) The BlenX Language: A Tutorial. UNSPECIFIED.

Lecca, Paola and Palmisano, Alida and Priami, Corrado and Sanguinetti, Guido (2008) Calibration of biochemical network models. UNSPECIFIED. (Unpublished)

Larcher, Roberto and Priami, Corrado (2008) From BlenX to chemical reactions via SBML. UNSPECIFIED. (Unpublished)

Palmisano, Alida and Priami, Corrado (2008) From Solvable to Executable Models of Biological Systems. UNSPECIFIED.

Lecca, Paola and Palmisano, Alida and Priami, Corrado (2008) Inferring rate coefficents of biochemical reactions from noisy data with KInfer. UNSPECIFIED. (Unpublished)

Lecca, Paola and Dematte', Lorenzo and Priami, Corrado (2008) Modeling and simulating bio-molecule diffusion in non-homogeneous solutions. Diffusive spatial effects on chaperone-assisted protein folding: a case study. UNSPECIFIED.

Dudka, Anna and Guerriero, Maria Luisa and Heath, John and Priami, Corrado and Underhill-Day, Nicholas (2008) Narrative-based Computational Modelling of the Gp130/JAK/STAT Signalling Pathway. UNSPECIFIED.

Romanel, Alessandro and Priami, Corrado (2008) On the Computational Power of BlenX. UNSPECIFIED. (Unpublished)

Prandi, Davide and Priami, Corrado and Romanel, Alessandro (2008) Simulation of non-Markovian Processes in BlenX. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico and Priami, Corrado (2007) Towards the integration of computational systems biology and high-throughput data: a way to support differential analysis of microarray gene expression data. UNSPECIFIED.

Guerriero, Maria Luisa and Heath, John and Priami, Corrado (2007) An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. UNSPECIFIED.

Romanel, Alessandro and Priami, Corrado and Dematte', Lorenzo (2007) The Beta Workbench. UNSPECIFIED. (Unpublished)

Larcher, Roberto and Ihekwaba, Adaoha and Priami, Corrado (2007) A BetaWB model for the NFkB pathway. UNSPECIFIED. (Unpublished)

Priami, Corrado (2007) Computational Thinking in Biology. UNSPECIFIED.

Dematte', Lorenzo and Prandi, Davide and Priami, Corrado and Romanel, Alessandro (2007) Effective Index: a formal measure of drug effects. UNSPECIFIED. (Unpublished)

Leye, Stefan and Priami, Corrado and Uhrmacher, Adelinde (2007) A Parallel Beta-binders Simulator. UNSPECIFIED. (Unpublished)

Lecca, Paola and Ooi, Wen Fong and Priami, Corrado (2007) Rate sensitivity analysis of a Beta binders model of lymphocyte recruitment control mechanism. UNSPECIFIED. (Unpublished)

Lecca, Paola and Dematte', Lorenzo and Priami, Corrado (2007) Simulating reaction-diffusion with state-dependent diffusion coefficients. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico and Priami, Corrado (2007) Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiae. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico and Priami, Corrado (2007) Towards the integration of computational systems biology and high-throughput data: a way to support differential analysis of microarray gene expression data. UNSPECIFIED.

Dematte', Lorenzo and Priami, Corrado and Romanel, Alessandro and Soyer, Orkun (2007) A formal and integrated framework to simulate evolution of biological pathways. UNSPECIFIED.

Lecca, Paola and Sanguinetti, Guido and Palmisano, Alida and Priami, Corrado (2007) A new model for kinetic parameter estimation in biochemical reactions. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2006) Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) Model Checking Dynamic-Epistemic Spatial Logic. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2006) A Decidable Extension of Hennessy-Milner Logic with Spatial Operators. UNSPECIFIED. (Submitted)

Ciocchetta, Federica and Priami, Corrado (2006) Beta-binders with Biological Transactions. UNSPECIFIED. (Unpublished)

Guerriero, Maria Luisa and Priami, Corrado and Romanel, Alessandro (2006) Beta-binders with Static Compartments. UNSPECIFIED.

Cavaliere, Matteo and Csikasz-Nagy, Attila and Cappello, Igor and Walker, David and Montanari, Ugo and Hillston, Jane and Baralla, Angela and Priami, Corrado and Mura, Ivan (2006) Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006. UNSPECIFIED. (Unpublished)

Priami, Corrado and Guierriero, Maria Luisa (2006) Causality and Concurrency in Beta-binders. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2006) Dynamic Epistemic Spatial Logic. UNSPECIFIED.

Priami, Corrado and Romanel, Alessandro (2006) On the Decidability and Complexity of the Structural Congruence for Beta-binders. UNSPECIFIED.

Guerriero, Maria Luisa and Prandi, Davide and Priami, Corrado and Quaglia, Paola (2006) Process Calculi Abstractions for Biology. UNSPECIFIED.

Ciocchetta, Federica and Priami, Corrado (2006) The pi-calculus with biological transactions. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2005) The principles of ambient calculus revisited. UNSPECIFIED. (Submitted)

Mardare, Radu and Priami, Corrado (2003) Computing the accessibility relation for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Lecca, Paola and Priami, Corrado and Laudanna, Carlo and Constantin, Gabriela (2003) Predicting cell adhesion probability via the biochemical stochastic pi-calculus. UNSPECIFIED. (Unpublished)

Mardare, Radu and Priami, Corrado (2003) A Propositional Branching Temporal Logic for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Lecca, Paola and Priami, Corrado (2003) Cell Cycle Control in Eukaryotes: a BioSpi model. UNSPECIFIED. (In Press)

Priami, Corrado (2003) Design Environments for Complex Systems. UNSPECIFIED. (In Press)

Degano, Pierpaolo and Priami, Corrado (2003) Enhanced Operational Semantics in Systems Biology. UNSPECIFIED. (In Press)

Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and Schuch da Rosa, Debora (2003) Static Analysis for Systems Biology. UNSPECIFIED. (In Press)

Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. UNSPECIFIED. (Unpublished)

Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado (2003) Causality and replication in concurrent processes. UNSPECIFIED. (Submitted)

Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.

Curti, M. and Degano, Pierpaolo and Priami, Corrado and Baldari, C.T. (2002) Causal P-Calculus for Biochemical Modelling. UNSPECIFIED. (Unpublished)

Priami, Corrado (2002) Language-Based Performance Prediction for Distributed and Mobile Systems. UNSPECIFIED. (In Press)

Priami, Corrado and Regev, Aviv and Shapiro, Ehud and Silverman, William (2001) Application of a stochastic name-­passing calculus to representation and simulation of molecular processes. UNSPECIFIED.

Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes via Abstract Machines. UNSPECIFIED.

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.