Corrado Priami

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 14

Top Venues

Briefings Bioinform.

Programming Languages with Applications to Biology and Security

Complex.

PLoS Comput. Biol.

Publications

Irene Testa, Giuseppe Prencipe, Corrado Priami, Alina Sîrbu
Comparison of Machine Learning Classifiers on Integrated Transcriptomic Data. BigData (2023)
Melissa J. Morine, Corrado Priami, Edith Coronado, Juliana Haber, Jim Kaput
A Comprehensive and Holistic Health Database. ICDH (2022)
Alessio Gravina, Jennifer L. Wilson, Davide Bacciu, Kevin Grimes, Corrado Priami
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks. PLoS Comput. Biol. 18 (5) (2022)
Giulia Simoni, Chanchala Kaddi, Mengdi Tao, Federico Reali, Danilo Tomasoni, Corrado Priami, Karim Azer, Susana Neves-Zaph, Luca Marchetti
A robust computational pipeline for model-based and data-driven phenotype clustering. Bioinform. 37 (9) (2021)
Alan Ramponi, Stefano Giampiccolo, Danilo Tomasoni, Corrado Priami, Rosario Lombardo
High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications. IEEE Access 8 (2020)
Giulia Simoni, Vo Hong Thanh, Corrado Priami, Luca Marchetti
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology. Briefings Bioinform. 21 (2) (2020)
Alessio Rossi, Eleonora Da Pozzo, Dario Menicagli, Chiara Tremolanti, Corrado Priami, Alina Sîrbu, David A. Clifton, Claudia Martini, Davide Morelli
A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults. Data 5 (4) (2020)
Giulia Tini, Luca Marchetti, Corrado Priami, Marie-Pier Scott-Boyer
Multi-omics integration - a comparison of unsupervised clustering methodologies. Briefings Bioinform. 20 (4) (2019)
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays. Int. J. Bioinform. Res. Appl. 15 (2) (2019)
Federico Reali, Corrado Priami, Luca Marchetti
Optimization Algorithms for Computational Systems Biology. Frontiers Appl. Math. Stat. 3 (2017)
Luca Marchetti, Emilio Siena, Mario Lauria, Denise Maffione, Nicola Pacchiani, Corrado Priami, Duccio Medini
Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers in Predicting Influenza Vaccine Responsiveness. Complex. 2017 (2017)
Luca Marchetti, Rosario Lombardo, Corrado Priami
HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical Reaction Networks. Complex. 2017 (2017)
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 14 (3) (2017)
Luca Marchetti, Corrado Priami, Vo Hong Thanh
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. J. Comput. Phys. 317 (2016)
Simone Rizzetto, Corrado Priami, Attila Csikász-Nagy
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations. PLoS Comput. Biol. 11 (10) (2015)
Mario Lauria, Petros Moyseos, Corrado Priami
SCUDO: a tool for signature-based clustering of expression profiles. Nucleic Acids Res. 43 (Webserver-Issue) (2015)
Chiara Bodei, Gian Luigi Ferrari, Corrado Priami
Pierpaolo Degano. Programming Languages with Applications to Biology and Security (2015)
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security (2015)
Roswitha Gostner, Bianca Baldacci, Melissa J. Morine, Corrado Priami
Graphical Modeling Tools for Systems Biology. ACM Comput. Surv. 47 (2) (2014)
Dang Hung Tran, Thanh-Phuong Nguyen, Laura Caberlotto, Corrado Priami
Inference of Autism-Related Genes by Integrating Protein-Protein Interactions and miRNA-Target Interactions. KSE (1) (2013)
Ozan Kahramanogullari, James F. Lynch, Corrado Priami
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. SEFM Satellite Events (2012)
Durica Nikolic, Corrado Priami, Roberto Zunino
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM (2012)
Paola Lecca, Daniele Morpurgo, Gianluca Fantaccini, Alessandro Casagrande, Corrado Priami
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. BMC Syst. Biol. 6 (2012)
Corrado Priami, Paola Quaglia, Roberto Zunino
An imperative language of self-modifying graphs for biological systems. SAC (2012)
Thanh-Phuong Nguyen, Marco Scotti, Melissa J. Morine, Corrado Priami
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins. BMC Syst. Biol. 5 (2011)
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS (2011)
Rainer Breitling, Frank J. Bruggeman, Corrado Priami, Adelinde M. Uhrmacher
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). Dagstuhl Reports 1 (4) (2011)
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. UKSim (2011)
Roberto Larcher, Corrado Priami, Alessandro Romanel
Modelling Self-assembly in BlenX. Trans. Comp. Sys. Biology 12 (2010)
Alessandro Romanel, Corrado Priami
On the computational power of BlenX. Theor. Comput. Sci. 411 (2) (2010)
Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami
Composability: Perspectives in Ecological Modeling. ANB (2010)
Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient. J. Integr. Bioinform. 7 (1) (2010)
Judit Zámborszky, Corrado Priami
BlenX-based compositional modeling of complex reaction mechanisms FBTC (2010)
Tommaso Mazza, Gennaro Iaccarino, Corrado Priami
Snazer: the simulations and networks analyzer. BMC Syst. Biol. 4 (2010)
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
09091 Executive Summary - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology (2009)
Maria Luisa Guerriero, Anna Dudka, Nicholas Underhill-Day, John K. Heath, Corrado Priami
Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. BMC Syst. Biol. 3 (2009)
Corrado Priami, Paola Quaglia, Alessandro Romanel
BlenX Static and Dynamic Semantics. CONCUR (2009)
Corrado Priami
Algorithmic systems biology. Commun. ACM 52 (5) (2009)
Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami
Elucidation of functional consequences of signalling pathway interactions. BMC Bioinform. 10 (2009)
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology. Algorithmic Bioprocesses (2009)
Alida Palmisano, Ivan Mura, Corrado Priami
From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing (2009)
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
09091 Abstracts Collection - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology (2009)
Paola Lecca, Alida Palmisano, Corrado Priami
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration. UKSim (2009)
Corrado Priami, Paolo Ballarini, Paola Quaglia
BlenX4Bio - BlenX for Biologists. CMSB (2009)
Paola Lecca, Alida Palmisano, Corrado Priami, G. Sanguinetti
A new probabilistic generative model of parameter inference in biochemical networks. SAC (2009)
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
Exploiting non-Markovian Bio-Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer
Evolving BlenX programs to simulate the evolution of biological networks. Theor. Comput. Sci. 408 (1) (2008)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
An Automatic Translation of SBML into Beta-Binders. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (1) (2008)
Corrado Priami
Preface. Theor. Comput. Sci. 391 (3) (2008)
Alessandro Romanel, Corrado Priami
On the decidability and complexity of the structural congruence for beta-binders. Theor. Comput. Sci. 404 (1-2) (2008)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The Beta Workbench: a computational tool to study the dynamics of biological systems. Briefings Bioinform. 9 (5) (2008)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Modelling and simulation of biological processes in BlenX. SIGMETRICS Perform. Evaluation Rev. 35 (4) (2008)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenX Language: A Tutorial. SFM (2008)
Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami
A Bounded-Optimistic, Parallel Beta-Binders Simulator. DS-RT (2008)
Nicola Segata, Enrico Blanzieri, Corrado Priami
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data. J. Integr. Bioinform. 5 (1) (2008)
Davide Prandi, Corrado Priami, Paola Quaglia
Communicating by compatibility. J. Log. Algebraic Methods Program. 75 (2) (2008)
Corrado Priami
Computational Thinking in Biology. Trans. Comp. Sys. Biology 8 (2007)
Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel
Modeling Static Biological Compartments with Beta-binders. AB (2007)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
BetaWB: modelling and simulating biological processes. SCSC (2007)
Maria Luisa Guerriero, John K. Heath, Corrado Priami
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. CMSB (2007)
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
Control Flow Analysis for BioAmbients. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. CMSB (2007)
Paola Lecca, Corrado Priami
Cell Cycle Control in Eukaryotes: A BioSpi model. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Corrado Priami, Alessandro Romanel
The Decidability of the Structural Congruence for Beta-binders. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Federica Ciocchetta, Corrado Priami
Biological Transactions for Quantitative Models. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Linda Brodo, Pierpaolo Degano, Corrado Priami
A Stochastic Semantics for BioAmbients. PaCT (2007)
Radu Mardare, Corrado Priami
Decidable Extensions of Hennessy-Milner Logic. FORTE (2006)
Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher
06161 Executive Summary -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems (2006)
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems (2006)
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
Beta-binders for Biological Quantitative Experiments. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Claudio Eccher, Corrado Priami
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. Bioinform. 22 (24) (2006)
Corrado Priami
Process Calculi and Life Science. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
Developing An Hierarchical Simulator for Beta-binders. PADS (2006)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
Modeling Kohn Interaction Maps with Beta-Binders: An Example. Trans. Comp. Sys. Biology 3 (2005)
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
On Evaluating the Performance of Security Protocols. PaCT (2005)
Corrado Priami, Paola Quaglia
Operational Patterns in Beta-Binders. Trans. Comp. Sys. Biology 1 (2005)
Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi in a Biological Context. Bull. EATCS 85 (2005)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Authentication primitives for secure protocol specifications. Future Gener. Comput. Syst. 21 (4) (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
A Quantitative Study of Two Attacks. Electron. Notes Theor. Comput. Sci. 121 (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Performance Evaluation of Security Protocols Specified in LySa. Electron. Notes Theor. Comput. Sci. 112 (2005)
Chiara Bodei, Pierpaolo Degano, Corrado Priami
Checking security policies through an enhanced Control Flow Analysis. J. Comput. Secur. 13 (1) (2005)
Adelinde M. Uhrmacher, Corrado Priami
Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. WSC (2005)
Radu Mardare, Corrado Priami
Logical Analysis of Biological Systems. Fundam. Informaticae 64 (1-4) (2005)
Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari
Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325 (1) (2004)
Radu Mardare, Corrado Priami
A Logical Approach to Security in the Context of Ambient Calculus. Electron. Notes Theor. Comput. Sci. 99 (2004)
Corrado Priami
Preface to the special issue on Security in global computing. Int. J. Inf. Sec. 2 (3-4) (2004)
Corrado Priami, Paola Quaglia
Beta Binders for Biological Interactions. CMSB (2004)
Katerina Pokozy-Korenblat, Corrado Priami
Toward Extracting ?-calculus from UML Sequence and State Diagrams. Electron. Notes Theor. Comput. Sci. 101 (2004)
Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, Gabriela Constantin
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simul. 80 (6) (2004)
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
Performance Analysis of a UML Micro-business Case Study. Global Computing (2004)
Corrado Priami
Prefac. Theor. Comput. Sci. 325 (1) (2004)
Corrado Priami, Paola Quaglia
Modelling the dynamics of biosystems. Briefings Bioinform. 5 (3) (2004)
Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. SAC (2004)
Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. Pacific Symposium on Biocomputing (2004)
Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
Model Checking Biological Systems Described Using Ambient Calculus. CMSB (2004)
Corrado Priami
Simulation and verification I: design environments for complex systems. WSC (2003)
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
Performance Evaluation for Global Computation. Global Computing (2003)
Pierpaolo Degano, Corrado Priami
Enhanced Operational Semantics in Systems Biology. CMSB (2003)
Linda Brodo, Pierpaolo Degano, Corrado Priami
Reflecting Mobile Ambients into the p-Calculus. Global Computing (2003)
Pierpaolo Degano, Fabio Gadducci, Corrado Priami
Causality and Replication in Concurrent Processes. Ershov Memorial Conference (2003)

Corrado Priami.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Corrado Priami