Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Corrado Priami
2010 – today
- 2012
[c53]Corrado Priami, Paola Quaglia, Roberto Zunino: An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909- [c52]Durica Nikolic, Corrado Priami, Roberto Zunino: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM 2012: 16-32
- [p2]Corrado Priami: Algorithmic Systems Biology - Computer Science Propels Systems Biology. Handbook of Natural Computing 2012: 1835-1862
- [e19]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
- 2011
- [c51]Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo: Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS 2011: 251
- [c50]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
- [e18]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
- [i1]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)
- 2010
- [j55]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)
- [j54]Alessandro Romanel, Corrado Priami: On the computational power of BlenX. Theor. Comput. Sci. 411(2): 542-565 (2010)
- [j53]Roberto Larcher, Corrado Priami, Alessandro Romanel: Modelling Self-assembly in BlenX. T. Comp. Sys. Biology 12: 163-198 (2010)
- [c49]Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami: Composability: Perspectives in Ecological Modeling. ANB 2010: 136-148
- [c48]Judit Zámborszky, Corrado Priami: BlenX-based compositional modeling of complex reaction mechanisms. FBTC 2010: 85-102
- [e17]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
2000 – 2009
- 2009
- [j52]Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami: Elucidation of functional consequences of signalling pathway interactions. BMC Bioinformatics 10: 370 (2009)
- [j51]
- [j50]I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel: Exploiting non-Markovian Bio-Processes. Electr. Notes Theor. Comput. Sci. 253(3): 83-98 (2009)
- [c47]
- [c46]Corrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52
- [c45]Alida Palmisano, I. Mura, Corrado Priami: From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing 2009: 239-250
- [c44]Paola Lecca, Alida Palmisano, Corrado Priami, G. Sanguinetti: A new probabilistic generative model of parameter inference in biochemical networks. SAC 2009: 758-765
- [c43]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
- [p1]Luca Cardelli, Corrado Priami: Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105
- [e16]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
- 2008
- [j49]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)
- [j48]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)
- [j47]Davide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
- [j46]Lorenzo Dematté, Corrado Priami, Alessandro Romanel: Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008)
- [j45]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)
- [j44]
- [j43]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)
- [j42]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)
- [c42]Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami: A Bounded-Optimistic, Parallel Beta-Binders Simulator. DS-RT 2008: 139-148
- [c41]Lorenzo Dematté, Corrado Priami, Alessandro Romanel: The BlenX Language: A Tutorial. SFM 2008: 313-365
- [e15]Corrado Priami (Ed.): Transactions on Computational Systems Biology IX. Lecture Notes in Computer Science 5121, Springer 2008, ISBN 978-3-540-88764-5
- [e14]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
- 2007
- [j41]Federica Ciocchetta, Corrado Priami: Biological Transactions for Quantitative Models. Electr. Notes Theor. Comput. Sci. 171(2): 55-67 (2007)
- [j40]Corrado Priami, Alessandro Romanel: The Decidability of the Structural Congruence for Beta-binders. Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007)
- [j39]Paola Lecca, Corrado Priami: Cell Cycle Control in Eukaryotes: A BioSpi model. Electr. Notes Theor. Comput. Sci. 180(3): 51-63 (2007)
- [j38]Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
- [j37]
- [c40]Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel: Modeling Static Biological Compartments with Beta-binders. AB 2007: 247-261
- [c39]Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer: A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. CMSB 2007: 106-120
- [c38]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
- [c37]Linda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34
- [c36]Lorenzo Dematté, Corrado Priami, Alessandro Romanel: BetaWB: modelling and simulating biological processes. SCSC 2007: 777-784
- [e13]Corrado Priami (Ed.): Transactions on Computational Systems Biology VIII. Lecture Notes in Computer Science 4780, Springer 2007, ISBN 978-3-540-76638-4
- 2006
- [j36]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)
- [j35]Corrado Priami: Process Calculi and Life Science. Electr. Notes Theor. Comput. Sci. 162: 301-304 (2006)
- [j34]Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006)
- [c35]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
- [c34]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
- [c33]
- [c32]Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
- [e12]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
- [e11]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
- [e10]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
- [e9]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
- [e8]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
- [e7]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
- 2005
- [j33]Davide Prandi, Corrado Priami, Paola Quaglia: Process Calculi in a Biological Context. Bulletin of the EATCS 85: 53-69 (2005)
- [j32]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)
- [j31]Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005)
- [j30]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005)
- [j29]Radu Mardare, Corrado Priami: Logical Analysis of Biological Systems. Fundam. Inform. 64(1-4): 275-289 (2005)
- [j28]Chiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005)
- [j27]Federica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. : 33-48 (2005)
- [j26]Corrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)
- [c31]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
- [c30]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
- [e6]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
- [e5]Corrado Priami (Ed.): Transactions on Computational Systems Biology I. Lecture Notes in Computer Science 3380, Springer 2005, ISBN 3-540-25422-6
- [e4]Corrado Priami, Alexander Zelikovsky (Eds.): Transactions on Computational Systems Biology II. Lecture Notes in Computer Science 3680, Springer 2005, ISBN 3-540-29401-5
- [e3]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
- 2004
- [j25]Corrado Priami, Paola Quaglia: Modelling the dynamics of biosystems. Briefings in Bioinformatics 5(3): 259-269 (2004)
- [j24]Radu Mardare, Corrado Priami: A Logical Approach to Security in the Context of Ambient Calculus. Electr. Notes Theor. Comput. Sci. 99: 3-29 (2004)
- [j23]Katerina Pokozy-Korenblat, Corrado Priami: Toward Extracting ?-calculus from UML Sequence and State Diagrams. Electr. Notes Theor. Comput. Sci. 101: 51-72 (2004)
- [j22]Corrado Priami: Preface to the special issue on Security in global computing. Int. J. Inf. Sec. 2(3-4): 125 (2004)
- [j21]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)
- [j20]
- [j19]Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari: Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1): 111-140 (2004)
- [c29]
- [c28]Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103
- [c27]Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126
- [c26]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
- [c25]Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin: Predicting cell adhesion probability via the biochemical stochastic pi-calculus. SAC 2004: 211-212
- 2003
- [c24]Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181
- [c23]Pierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318
- [c22]Linda Brodo, Pierpaolo Degano, Corrado Priami: Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56
- [c21]Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
- [c20]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65
- [c19]Corrado Priami: Simulation and verification I: design environments for complex systems. Winter Simulation Conference 2003: 897-905
- [e2]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
- [e1]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
- 2002
- [j18]Corrado Priami: Language-based Performance Prediction for Distributed and Mobile Systems. Inf. Comput. 175(2): 119-145 (2002)
- [j17]Pierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)
- [j16]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)
- 2001
- [j15]Pierpaolo Degano, Corrado Priami: Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001)
- [j14]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)
- [j13]Chiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001)
- [j12]Chiara Nottegar, Corrado Priami, Pierpaolo Degano: Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. Software Eng. 27(10): 867-889 (2001)
- 2000
- [c18]Linda Brodo, Pierpaolo Degano, Corrado Priami: A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550
- [c17]Corrado Priami, Ugo Solitro: Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153
1990 – 1999
- 1999
- [j11]Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999)
- [j10]Corrado Priami: Operational Methods in Theoretical Computer Science. ACM Comput. Surv. 31(3es): 13 (1999)
- [j9]Pierpaolo Degano, Corrado Priami: Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999)
- [c16]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110
- [c15]Chiara Nottegar, Corrado Priami, Pierpaolo Degano: Semantic-Driven Performance Evaluation (Extended Abstract). FASE 1999: 204-218
- 1998
- [j8]Pierpaolo Degano, Corrado Priami: LR Techniques for Handling Syntax Errors. Comput. Lang. 24(2): 73-98 (1998)
- [c14]Chiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183
- 1997
- [c13]
- 1996
- [j7]Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics. ACM Comput. Surv. 28(2): 352-354 (1996)
- [j6]Paola Inverardi, Corrado Priami: Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods in System Design 8(1): 7-38 (1996)
- [c12]Corrado Priami: Integrating Behavioural and Performance Analysis with Topology Information. HICSS (1) 1996: 508-516
- [c11]Chiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501
- [c10]Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319
- [c9]Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369
- [c8]Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112
- 1995
- [j5]
- [j4]Pierpaolo Degano, Corrado Priami: Comparison of Syntactic Error Handling in LR Parsers. Softw., Pract. Exper. 25(6): 657-679 (1995)
- [c7]
- [c6]Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155
- [c5]
- [c4]Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami: An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50
- 1994
- [j3]Paola Inverardi, Corrado Priami, Daniel Yankelevich: Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Asp. Comput. 6(6): 676-695 (1994)
- [c3]
- 1993
- [j2]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)
- [c2]Paola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569
- 1992
- [c1]
- 1991
- [j1]Paola Inverardi, Corrado Priami: Evaluation of Tools for the Analysis of Communicating Systems. Bulletin of the EATCS 45: 158-185 (1991)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team