Evaluation of Tools for the Analysis of Communicating Systems. - Paola Inverardi; Corrado Priami (Bull. EATCS, 1991)

Proved Trees. - Pierpaolo Degano; Corrado Priami (ICALP, 1992)

Extended Transition Systems for Parametric Bisimulation. - Paola Inverardi; Corrado Priami; Daniel Yankelevich (ICALP, 1993)

Generating the analytic component parts of syntax-directed editors with efficient-error recovery. - U. Bianchi; Pierpaolo Degano; Stefano Mannucci; Simone Martini 001; Bruno Mojana; Corrado Priami; E. Salvatori (J. Syst. Softw., 1993)

Read-Write Causality. - Corrado Priami; Daniel Yankelevich (MFCS, 1994)

Automatizing Parametric Reasoning on Distributed Concurrent Systems. - Paola Inverardi; Corrado Priami; Daniel Yankelevich (Formal Aspects Comput., 1994)

A Transitional Semantics of Full Prolog. - Pierpaolo Degano; Corrado Priami (GULP-PRODE, 1995)

Complexity as a Basis for Comparing Semantic Models of Concurrency. - Alan Mycroft; Pierpaolo Degano; Corrado Priami (ASIAN, 1995)

Causality for Mobile Processes. - Pierpaolo Degano; Corrado Priami (ICALP, 1995)

An Efficient Verifier of Truly Concurrent Properties. - Alessandro Bianchi; Stefano Coluccini; Pierpaolo Degano; Corrado Priami (PaCT, 1995)

Stochastic pi-Calculus. - Corrado Priami (Comput. J., 1995)

Comparison of Syntactic Error Handling in LR Parsers. - Pierpaolo Degano; Corrado Priami (Softw. Pract. Exp., 1995)

Integrating Behavioural and Performance Analysis with Topology Information. - Corrado Priami (HICSS (1), 1996)

Mobile Processes with a Distributed Environment. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (ICALP, 1996)

Mobile Processes with Local Clocks. - Pierpaolo Degano; Jean-Vincent Loddo; Corrado Priami (LOMAPS, 1996)

Analysis of Facile Programs: A Case Study. - Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (LOMAPS, 1996)

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. - Roberta Borgia; Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (SAS, 1996)

Enhanced Operational Semantics. - Pierpaolo Degano; Corrado Priami (ACM Comput. Surv., 1996)

Automatic Verification of Distributed Systems: The Process Algebra Approach. - Paola Inverardi; Corrado Priami (Formal Methods Syst. Des., 1996)

True Concurrency via Abstract Interpretation. - Chiara Bodei; Corrado Priami (SAS, 1997)

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (SAS, 1998)

LR Techniques for Handling Syntax Errors. - Pierpaolo Degano; Corrado Priami (Comput. Lang., 1998)

Authentication via Localized Names. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (CSFW, 1999)

Semantic-Driven Performance Evaluation (Extended Abstract). - Chiara Nottegar; Corrado Priami; Pierpaolo Degano (FASE, 1999)

Causality for Debugging Mobile Agents. - Pierpaolo Degano; Corrado Priami; Lone Leth Thomsen; Bent Thomsen (Acta Informatica, 1999)

Operational Methods in Theoretical Computer Science. - Corrado Priami (ACM Comput. Surv., 1999)

Non-Interleaving Semantics for Mobile Processes. - Pierpaolo Degano; Corrado Priami (Theor. Comput. Sci., 1999)

A tool for quantitative analysis of calculus processes. - Linda Brodo; Pierpaolo Degano; Corrado Priami (ICALP Satellite Workshops, 2000)

Functional features of a calculus for logic and concurrency. - Corrado Priami; Ugo Solitro (WFLP, 2000)

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

Names of the -calculus agents handled locally. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (Theor. Comput. Sci., 2001)

Performance Evaluation of Mobile Processes via Abstract Machines. - Chiara Nottegar; Corrado Priami; Pierpaolo Degano (IEEE Trans. Software Eng., 2001)

Language-based Performance Prediction for Distributed and Mobile Systems. - Corrado Priami (Inf. Comput., 2002)

Primitives for authentication in process algebras. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (Theor. Comput. Sci., 2002)

A causal semantics for CCS via rewriting logic. - Pierpaolo Degano; Fabio Gadducci; Corrado Priami (Theor. Comput. Sci., 2002)

Enhanced Operational Semantics in Systems Biology. - Pierpaolo Degano; Corrado Priami (CMSB, 2003)

Causality and Replication in Concurrent Processes. - Pierpaolo Degano; Fabio Gadducci; Corrado Priami (Ershov Memorial Conference, 2003)

Performance Evaluation for Global Computation. - Linda Brodo; Pierpaolo Degano; Stephen Gilmore; Jane Hillston; Corrado Priami (Global Computing, 2003)

Reflecting Mobile Ambients into the p-Calculus. - Linda Brodo; Pierpaolo Degano; Corrado Priami (Global Computing, 2003)

Authentication Primitives for Protocol Specifications. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (PaCT, 2003)

Simulation and verification I: design environments for complex systems. - Corrado Priami (WSC, 2003)

Cell Cycle Control in Eukaryotes: A BioSpi model. - Paola Lecca; Corrado Priami (BioConcur@CONCUR, 2003)

A Logical Approach to Security in the Context of Ambient Calculus. - Radu Mardare; Corrado Priami (MEFISTO, 2003)

Control Flow Analysis for BioAmbients. - Flemming Nielson; Hanne Riis Nielson; Corrado Priami; Debora Rosa (BioConcur@CONCUR, 2003)

Toward Extracting ?-calculus from UML Sequence and State Diagrams. - Katerina Pokozy-Korenblat; Corrado Priami (CVUML, 2003)

Model Checking Biological Systems Described Using Ambient Calculus. - Radu Mardare; Corrado Priami; Paola Quaglia; Oleksandr Vagin (CMSB, 2004)

Beta Binders for Biological Interactions. - Corrado Priami; Paola Quaglia (CMSB, 2004)

Performance Analysis of a UML Micro-business Case Study. - Katerina Pokozy-Korenblat; Corrado Priami; Paola Quaglia (Global Computing, 2004)

A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. - Paola Lecca; Corrado Priami; Carlo Laudanna; Gabriela Constantin (Pacific Symposium on Biocomputing, 2004)

Predicting cell adhesion probability via the biochemical stochastic pi-calculus. - Paola Lecca; Corrado Priami; Carlo Laudanna; Gabriela Constantin (SAC, 2004)

Modelling the dynamics of biosystems. - Corrado Priami; Paola Quaglia (Briefings Bioinform., 2004)

Performance Evaluation of Security Protocols Specified in LySa. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (QAPL, 2004)

A Quantitative Study of Two Attacks. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Corrado Priami (WISP@ICATPN, 2004)

Preface to the special issue on Security in global computing. - Corrado Priami (Int. J. Inf. Sec., 2004)

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. - Paola Lecca; Corrado Priami; Paola Quaglia; Barbara Rossi; Carlo Laudanna; Gabriela Constantin (Simul., 2004)

Modelling biochemical pathways through enhanced pi-calculus. - Michele Curti; Pierpaolo Degano; Corrado Priami; Cosima Tatiana Baldari (Theor. Comput. Sci., 2004)

Prefac. - Corrado Priami (Theor. Comput. Sci., 2004)

On Evaluating the Performance of Security Protocols. - Chiara Bodei; Mikael Buchholtz; Michele Curti; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (PaCT, 2005)

Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. - Adelinde M. Uhrmacher; Corrado Priami (WSC, 2005)

Process Calculi in a Biological Context. - Davide Prandi; Corrado Priami; Paola Quaglia (Bull. EATCS, 2005)

Process Calculi and Life Science. - Corrado Priami (APC 25, 2005)

Authentication primitives for secure protocol specifications. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Corrado Priami (Future Gener. Comput. Syst., 2005)

Logical Analysis of Biological Systems. - Radu Mardare; Corrado Priami (Fundam. Informaticae, 2005)

Checking security policies through an enhanced Control Flow Analysis. - Chiara Bodei; Pierpaolo Degano; Corrado Priami (J. Comput. Secur., 2005)

Modeling Kohn Interaction Maps with Beta-Binders: An Example. - Federica Ciocchetta; Corrado Priami; Paola Quaglia (Trans. Comp. Sys. Biology, 2005)

Operational Patterns in Beta-Binders. - Corrado Priami; Paola Quaglia (Trans. Comp. Sys. Biology, 2005)

06161 Abstracts Collection – Simulation and Verification of Dynamic Systems. - David M. Nicol; Corrado Priami; Hanne Riis Nielson; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

06161 Executive Summary – Simulation and Verification of Dynamic Systems. - Hanne Riis Nielson; David M. Nicol; Corrado Priami; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

Decidable Extensions of Hennessy-Milner Logic. - Radu Mardare; Corrado Priami (FORTE, 2006)

Developing An Hierarchical Simulator for Beta-binders. - Jan Himmelspach; Paola Lecca; Davide Prandi; Corrado Priami; Paola Quaglia; Adelinde M. Uhrmacher (PADS, 2006)

Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. - Claudio Eccher; Corrado Priami (Bioinform., 2006)

Biological Transactions for Quantitative Models. - Federica Ciocchetta; Corrado Priami (MeCBIC@ICALP, 2006)

Beta-binders for Biological Quantitative Experiments. - Pierpaolo Degano; Davide Prandi; Corrado Priami; Paola Quaglia (QAPL, 2006)

The Decidability of the Structural Congruence for Beta-binders. - Corrado Priami; Alessandro Romanel (MeCBIC@ICALP, 2006)

Modeling Static Biological Compartments with Beta-binders. - Maria Luisa Guerriero; Corrado Priami; Alessandro Romanel (AB, 2007)

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel; Orkun S. Soyer (CMSB, 2007)

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

A Stochastic Semantics for BioAmbients. - Linda Brodo; Pierpaolo Degano; Corrado Priami (PaCT, 2007)

BetaWB: modelling and simulating biological processes. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SCSC, 2007)

Computational Thinking in Biology. - Corrado Priami (Trans. Comp. Sys. Biology, 2007)

A Bounded-Optimistic, Parallel Beta-Binders Simulator. - Stefan Leye; Adelinde M. Uhrmacher; Corrado Priami (DS-RT, 2008)

The BlenX Language: A Tutorial. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SFM, 2008)

The Beta Workbench: a computational tool to study the dynamics of biological systems. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (Briefings Bioinform., 2008)

Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data. - Nicola Segata; Enrico Blanzieri; Corrado Priami (J. Integr. Bioinform., 2008)

Communicating by compatibility. - Davide Prandi; Corrado Priami; Paola Quaglia (J. Log. Algebraic Methods Program., 2008)

Modelling and simulation of biological processes in BlenX. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SIGMETRICS Perform. Evaluation Rev., 2008)

An Automatic Translation of SBML into Beta-Binders. - Federica Ciocchetta; Corrado Priami; Paola Quaglia (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)

Evolving BlenX programs to simulate the evolution of biological networks. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel; Orkun S. Soyer (Theor. Comput. Sci., 2008)

Preface. - Corrado Priami (Theor. Comput. Sci., 2008)

On the decidability and complexity of the structural congruence for beta-binders. - Alessandro Romanel; Corrado Priami (Theor. Comput. Sci., 2008)

Visualization in process algebra models of biological systems. - Luca Cardelli; Corrado Priami (The Fourth Paradigm, 2009)

Process Calculi Abstractions for Biology. - Maria Luisa Guerriero; Davide Prandi; Corrado Priami; Paola Quaglia (Algorithmic Bioprocesses, 2009)

BlenX4Bio - BlenX for Biologists. - Corrado Priami; Paolo Ballarini; Paola Quaglia (CMSB, 2009)

BlenX Static and Dynamic Semantics. - Corrado Priami; Paola Quaglia; Alessandro Romanel (CONCUR, 2009)

09091 Abstracts Collection - Formal Methods in Molecular Biology. - Rainer Breitling; David Roger Gilbert; Monika Heiner; Corrado Priami (Formal Methods in Molecular Biology, 2009)

09091 Executive Summary - Formal Methods in Molecular Biology. - Rainer Breitling; David Roger Gilbert; Monika Heiner; Corrado Priami (Formal Methods in Molecular Biology, 2009)

From ODES to Language-Based, Executable Models of Biological Systems. - Alida Palmisano; Ivan Mura; Corrado Priami (Pacific Symposium on Biocomputing, 2009)

A new probabilistic generative model of parameter inference in biochemical networks. - Paola Lecca; Alida Palmisano; Corrado Priami; Guido Sanguinetti (SAC, 2009)

Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration. - Paola Lecca; Alida Palmisano; Corrado Priami (UKSim, 2009)

Elucidation of functional consequences of signalling pathway interactions. - Adaoha E. C. Ihekwaba; Phuong T. Nguyen 002; Corrado Priami (BMC Bioinform., 2009)

Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. - Maria Luisa Guerriero; Anna Dudka; Nicholas Underhill-Day; John K. Heath; Corrado Priami (BMC Syst. Biol., 2009)

Algorithmic systems biology. - Corrado Priami (Commun. ACM, 2009)

Exploiting non-Markovian Bio-Processes. - Ivan Mura; Davide Prandi; Corrado Priami; Alessandro Romanel (QAPL, 2009)

Composability: Perspectives in Ecological Modeling. - Ozan Kahramanogullari; Ferenc Jordán; Corrado Priami (ANB, 2010)

Snazer: the simulations and networks analyzer. - Tommaso Mazza; Gennaro Iaccarino; Corrado Priami (BMC Syst. Biol., 2010)

BlenX-based compositional modeling of complex reaction mechanisms - Judit Zámborszky; Corrado Priami (FBTC, 2010)

Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient. - Paola Lecca; Adaoha E. C. Ihekwaba; Lorenzo Dematté; Corrado Priami (J. Integr. Bioinform., 2010)

On the computational power of BlenX. - Alessandro Romanel; Corrado Priami (Theor. Comput. Sci., 2010)

Modelling Self-assembly in BlenX. - Roberto Larcher; Corrado Priami; Alessandro Romanel (Trans. Comp. Sys. Biology, 2010)

Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. - Paola Lecca; Ozan Kahramanogullari; Daniele Morpurgo; Corrado Priami; Ross A. Soo (ICCABS, 2011)

Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. - Paola Lecca; Ozan Kahramanogullari; Daniele Morpurgo; Corrado Priami; Ross A. Soo (UKSim, 2011)

Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins. - Thanh-Phuong Nguyen 002; Marco Scotti; Melissa J. Morine; Corrado Priami (BMC Syst. Biol., 2011)

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). - Rainer Breitling; Frank J. Bruggeman; Corrado Priami; Adelinde M. Uhrmacher (Dagstuhl Reports, 2011)

An imperative language of self-modifying graphs for biological systems. - Corrado Priami; Paola Quaglia; Roberto Zunino (SAC, 2012)

Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. - Ozan Kahramanogullari; James F. Lynch; Corrado Priami (SEFM Satellite Events, 2012)

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. - Durica Nikolic; Corrado Priami; Roberto Zunino (SEFM, 2012)

Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. - Paola Lecca; Daniele Morpurgo; Gianluca Fantaccini; Alessandro Casagrande; Corrado Priami (BMC Syst. Biol., 2012)

Algorithmic Systems Biology - Computer Science Propels Systems Biology. - Corrado Priami (Handbook of Natural Computing, 2012)

Inference of Autism-Related Genes by Integrating Protein-Protein Interactions and miRNA-Target Interactions. - Dang Hung Tran; Thanh-Phuong Nguyen 002; Laura Caberlotto; Corrado Priami (KSE (1), 2013)

Graphical Modeling Tools for Systems Biology. - Roswitha Gostner; Bianca Baldacci; Melissa J. Morine; Corrado Priami (ACM Comput. Surv., 2014)

Analysis of Biological Systems - Corrado Priami; Melissa J. Morine (Imperial College Press, 2015)

Pierpaolo Degano. - Chiara Bodei; Gian-Luigi Ferrari 002; Corrado Priami (Programming Languages with Applications to Biology and Security, 2015)

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. - Roberto Zunino; Durica Nikolic; Corrado Priami; Ozan Kahramanogullari; Tommaso Schiavinotto (Programming Languages with Applications to Biology and Security, 2015)

SCUDO: a tool for signature-based clustering of expression profiles. - Mario Lauria; Petros Moyseos; Corrado Priami (Nucleic Acids Res., 2015)

Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations. - Simone Rizzetto; Corrado Priami; Attila Csikász-Nagy (PLoS Comput. Biol., 2015)

HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. - Luca Marchetti; Corrado Priami; Vo Hong Thanh (J. Comput. Phys., 2016)

HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical Reaction Networks. - Luca Marchetti; Rosario Lombardo; Corrado Priami (Complex., 2017)

Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers in Predicting Influenza Vaccine Responsiveness. - Luca Marchetti; Emilio Siena; Mario Lauria; Denise Maffione; Nicola Pacchiani; Corrado Priami; Duccio Medini (Complex., 2017)

Optimization Algorithms for Computational Systems Biology. - Federico Reali; Corrado Priami; Luca Marchetti (Frontiers Appl. Math. Stat., 2017)

Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks. - Vo Hong Thanh; Roberto Zunino; Corrado Priami (IEEE ACM Trans. Comput. Biol. Bioinform., 2017)

Simulation Algorithms for Computational Systems Biology - Luca Marchetti; Corrado Priami; Vo Hong Thanh (Springer, 2017)

Multi-omics integration - a comparison of unsupervised clustering methodologies. - Giulia Tini; Luca Marchetti; Corrado Priami; Marie-Pier Scott-Boyer (Briefings Bioinform., 2019)

Efficient formulation of the rejection-based algorithm for biochemical reactions with delays. - Vo Hong Thanh; Roberto Zunino; Corrado Priami (Int. J. Bioinform. Res. Appl., 2019)

High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications. - Alan Ramponi; Stefano Giampiccolo; Danilo Tomasoni; Corrado Priami; Rosario Lombardo (IEEE Access, 2020)

A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology. - Giulia Simoni; Vo Hong Thanh; Corrado Priami; Luca Marchetti (Briefings Bioinform., 2020)

A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults. - Alessio Rossi; Eleonora Da Pozzo; Dario Menicagli; Chiara Tremolanti; Corrado Priami; Alina Sîrbu; David A. Clifton; Claudia Martini; Davide Morelli (Data, 2020)

A robust computational pipeline for model-based and data-driven phenotype clustering. - Giulia Simoni; Chanchala Kaddi; Mengdi Tao; Federico Reali; Danilo Tomasoni; Corrado Priami; Karim Azer; Susana Neves-Zaph; Luca Marchetti (Bioinform., 2021)

A Comprehensive and Holistic Health Database. - Melissa J. Morine; Corrado Priami; Edith Coronado; Juliana Haber; Jim Kaput (ICDH, 2022)

Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks. - Alessio Gravina; Jennifer L. Wilson; Davide Bacciu; Kevin Grimes; Corrado Priami (PLoS Comput. Biol., 2022)

Comparison of Machine Learning Classifiers on Integrated Transcriptomic Data. - Irene Testa; Giuseppe Prencipe; Corrado Priami; Alina Sîrbu (IEEE Big Data, 2023)

How Much Do DNA and Protein Deep Embeddings Preserve Biological Information? - Matteo Tolloso; Silvia Giulia Galfrè; Arianna Pavone; Marco Podda; Alina Sîrbu; Corrado Priami (CMSB, 2024)