Corrado Priami

Corrado Priami, Paola Quaglia, Roberto Zunino: An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909

Durica Nikolic, Corrado Priami, Roberto Zunino: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM 2012: 16-32

Corrado Priami, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, isbn 978-3-642-35523-3

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

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

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

Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, isbn 978-3-642-19747-5

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. Integrative Bioinformatics 7(1) (2010)

Alessandro Romanel, Corrado Priami: On the computational power of BlenX. Theor. Comput. Sci. 411(2): 542-565 (2010)

Roberto Larcher, Corrado Priami, Alessandro Romanel: Modelling Self-assembly in BlenX. T. Comp. Sys. Biology 12: 163-198 (2010)

Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami: Composability: Perspectives in Ecological Modeling. ANB 2010: 136-148

Judit Zámborszky, Corrado Priami: BlenX-based compositional modeling of complex reaction mechanisms. FBTC 2010: 85-102

Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher (Eds.): Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies. Lecture Notes in Computer Science 5945, Springer 2010, isbn 978-3-642-11711-4

Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami: Elucidation of functional consequences of signalling pathway interactions. BMC Bioinformatics 10: 370 (2009)

Corrado Priami: Algorithmic systems biology. Commun. ACM 52(5): 80-88 (2009)

I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel: Exploiting non-Markovian Bio-Processes. Electr. Notes Theor. Comput. Sci. 253(3): 83-98 (2009)

Luca Cardelli, Corrado Priami: Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105

Corrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51

Corrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52

Alida Palmisano, I. Mura, Corrado Priami: From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing 2009: 239-250

Paola Lecca, Alida Palmisano, Corrado Priami, G. Sanguinetti: A new probabilistic generative model of parameter inference in biochemical networks. SAC 2009: 758-765

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: 200-205

Corrado Priami, Ralph-Johan Back, Ion Petre (Eds.): Transactions on Computational Systems Biology XI. Lecture Notes in Computer Science 5750, Springer 2009, isbn 978-3-642-04185-3

Lorenzo Dematté, Corrado Priami, Alessandro Romanel: The Beta Workbench: a computational tool to study the dynamics of biological systems. Briefings in Bioinformatics 9(5): 437-449 (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. Integrative Bioinformatics 5(1) (2008)

Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)

Lorenzo Dematté, Corrado Priami, Alessandro Romanel: Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008)

Federica Ciocchetta, Corrado Priami, Paola Quaglia: An Automatic Translation of SBML into Beta-Binders. IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008)

Corrado Priami: Preface. Theor. Comput. Sci. 391(3): 189 (2008)

Alessandro Romanel, Corrado Priami: On the decidability and complexity of the structural congruence for beta-binders. Theor. Comput. Sci. 404(1-2): 156-169 (2008)

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

Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami: A Bounded-Optimistic, Parallel Beta-Binders Simulator. DS-RT 2008: 139-148

Lorenzo Dematté, Corrado Priami, Alessandro Romanel: The BlenX Language: A Tutorial. SFM 2008: 313-365

Corrado Priami (Ed.): Transactions on Computational Systems Biology IX. Lecture Notes in Computer Science 5121, Springer 2008, isbn 978-3-540-88764-5

Corrado Priami, Falko Dressler, Özgür B. Akan, Alioune Ngom (Eds.): Transactions on Computational Systems Biology X. Lecture Notes in Computer Science 5410, Springer 2008, isbn 978-3-540-92272-8

Federica Ciocchetta, Corrado Priami: Biological Transactions for Quantitative Models. Electr. Notes Theor. Comput. Sci. 171(2): 55-67 (2007)

Corrado Priami, Alessandro Romanel: The Decidability of the Structural Congruence for Beta-binders. Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007)

Paola Lecca, Corrado Priami: Cell Cycle Control in Eukaryotes: A BioSpi model. Electr. Notes Theor. Comput. Sci. 180(3): 51-63 (2007)

Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)

Corrado Priami: Computational Thinking in Biology. T. Comp. Sys. Biology 8: 63-76 (2007)

Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel: Modeling Static Biological Compartments with Beta-binders. AB 2007: 247-261

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

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

Linda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34

Lorenzo Dematté, Corrado Priami, Alessandro Romanel: BetaWB: modelling and simulating biological processes. SCSC 2007: 777-784

Corrado Priami (Ed.): Transactions on Computational Systems Biology VIII. Lecture Notes in Computer Science 4780, Springer 2007, isbn 978-3-540-76638-4

Claudio Eccher, Corrado Priami: Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. Bioinformatics 22(24): 3075-3081 (2006)

Corrado Priami: Process Calculi and Life Science. Electr. Notes Theor. Comput. Sci. 162: 301-304 (2006)

Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (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

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

Radu Mardare, Corrado Priami: Decidable Extensions of Hennessy-Milner Logic. FORTE 2006: 196-211

Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102

Corrado Priami (Ed.): Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings. Lecture Notes in Computer Science 4210, Springer 2006, isbn 3-540-46166-3

David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (Eds.): Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Corrado Priami, Luca Cardelli, Stephen Emmott (Eds.): Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science 3939, Springer 2006, isbn 3-540-33245-6

Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin (Eds.): Transactions on Computational Systems Biology V. Lecture Notes in Computer Science 4070, Springer 2006, isbn 3-540-36048-4

Corrado Priami, Gordon D. Plotkin (Eds.): Transactions on Computational Systems Biology VI. Lecture Notes in Computer Science 4220, Springer 2006, isbn 3-540-45779-8

Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (Eds.): Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, isbn 3-540-48837-5

Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)

Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005)

Radu Mardare, Corrado Priami: Logical Analysis of Biological Systems. Fundam. Inform. 64(1-4): 275-289 (2005)

Chiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005)

Federica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. : 33-48 (2005)

Corrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (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: 1-15

Adelinde Uhrmacher, Corrado Priami: Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. Winter Simulation Conference 2005: 317-326

Corrado Priami, Paola Quaglia (Eds.): Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, isbn 3-540-24101-9

Corrado Priami (Ed.): Transactions on Computational Systems Biology I. Lecture Notes in Computer Science 3380, Springer 2005, isbn 3-540-25422-6

Corrado Priami, Alexander Zelikovsky (Eds.): Transactions on Computational Systems Biology II. Lecture Notes in Computer Science 3680, Springer 2005, isbn 3-540-29401-5

Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.): Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, Springer 2005, isbn 3-540-30883-0

Corrado Priami, Paola Quaglia: Modelling the dynamics of biosystems. Briefings in Bioinformatics 5(3): 259-269 (2004)

Radu Mardare, Corrado Priami: A Logical Approach to Security in the Context of Ambient Calculus. Electr. Notes Theor. Comput. Sci. 99: 3-29 (2004)

Katerina Pokozy-Korenblat, Corrado Priami: Toward Extracting ?-calculus from UML Sequence and State Diagrams. Electr. Notes Theor. Comput. Sci. 101: 51-72 (2004)

Corrado Priami: Preface to the special issue on Security in global computing. Int. J. Inf. Sec. 2(3-4): 125 (2004)

Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin: A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simulation 80(6): 273-288 (2004)

Corrado Priami: Prefac. Theor. Comput. Sci. 325(1): 1-2 (2004)

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

Corrado Priami, Paola Quaglia: Beta Binders for Biological Interactions. CMSB 2004: 20-33

Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103

Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126

Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin: A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. Pacific Symposium on Biocomputing 2004: 521-532

Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin: Predicting cell adhesion probability via the biochemical stochastic pi-calculus. SAC 2004: 211-212

Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181

Pierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318

Linda Brodo, Pierpaolo Degano, Corrado Priami: Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56

Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65

Corrado Priami: Simulation and verification I: design environments for complex systems. Winter Simulation Conference 2003: 897-905

Corrado Priami (Ed.): Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings. Lecture Notes in Computer Science 2602, Springer 2003, isbn 3-540-00605-2

Corrado Priami (Ed.): Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers. Lecture Notes in Computer Science 2874, Springer 2003, isbn 3-540-20583-7

Corrado Priami: Language-based Performance Prediction for Distributed and Mobile Systems. Inf. Comput. 175(2): 119-145 (2002)

Pierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)

Pierpaolo Degano, Corrado Priami: Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001)

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

Chiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001)

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

Linda Brodo, Pierpaolo Degano, Corrado Priami: A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550

Corrado Priami, Ugo Solitro: Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153

Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999)

Corrado Priami: Operational Methods in Theoretical Computer Science. ACM Comput. Surv. 31(3es): 13 (1999)

Pierpaolo Degano, Corrado Priami: Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110

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

Pierpaolo Degano, Corrado Priami: LR Techniques for Handling Syntax Errors. Comput. Lang. 24(2): 73-98 (1998)

Chiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183

Chiara Bodei, Corrado Priami: True Concurrency via Abstract Interpretation. SAS 1997: 202-216

Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics. ACM Comput. Surv. 28(2): 352-354 (1996)

Paola Inverardi, Corrado Priami: Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods in System Design 8(1): 7-38 (1996)

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

Chiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501

Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319

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

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

Corrado Priami: Stochastic pi-Calculus. Comput. J. 38(7): 578-589 (1995)

Pierpaolo Degano, Corrado Priami: Comparison of Syntactic Error Handling in LR Parsers. Softw., Pract. Exper. 25(6): 657-679 (1995)

Pierpaolo Degano, Corrado Priami: A Transitional Semantics of Full Prolog. GULP-PRODE 1995: 511-520

Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155

Pierpaolo Degano, Corrado Priami: Causality for Mobile Processes. ICALP 1995: 660-671

Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami: An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50

Paola Inverardi, Corrado Priami, Daniel Yankelevich: Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Asp. Comput. 6(6): 676-695 (1994)

Corrado Priami, Daniel Yankelevich: Read-Write Causality. MFCS 1994: 567-576

U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori: Generating the analytic component parts of syntax-directed editors with efficient-error recovery. Journal of Systems and Software 23(1): 65-79 (1993)

Paola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569

Pierpaolo Degano, Corrado Priami: Proved Trees. ICALP 1992: 629-640

Paola Inverardi, Corrado Priami: Evaluation of Tools for the Analysis of Communicating Systems. Bulletin of the EATCS 45: 158-185 (1991)