 | 2010 |
|---|
| 112 |       | Judit Zámborszky,
Corrado Priami:
BlenX-based compositional modeling of complex reaction mechanisms
CoRR abs/1002.4065: (2010) |
| 111 | | Alessandro Romanel,
Corrado Priami:
On the computational power of BlenX.
Theor. Comput. Sci. 411(2): 542-565 (2010) |
| 2009 |
|---|
| 110 | | Corrado Priami,
Ralph-Johan Back,
Ion Petre:
Transactions on Computational Systems Biology XI
Springer 2009 |
| 109 | | Corrado Priami,
Paolo Ballarini,
Paola Quaglia:
BlenX4Bio - BlenX for Biologists.
CMSB 2009: 26-51 |
| 108 | | Corrado Priami,
Paola Quaglia,
Alessandro Romanel:
BlenX Static and Dynamic Semantics.
CONCUR 2009: 37-52 |
| 107 | | Paola Lecca,
Alida Palmisano,
Corrado Priami,
G. Sanguinetti:
A new probabilistic generative model of parameter inference in biochemical networks.
SAC 2009: 758-765 |
| 106 | | Corrado Priami:
Algorithmic systems biology.
Commun. ACM 52(5): 80-88 (2009) |
| 105 | | I. Mura,
Davide Prandi,
Corrado Priami,
Alessandro Romanel:
Exploiting non-Markovian Bio-Processes.
Electr. Notes Theor. Comput. Sci. 253(3): 83-98 (2009) |
| 2008 |
|---|
| 104 | | Stefan Leye,
Adelinde M. Uhrmacher,
Corrado Priami:
A Bounded-Optimistic, Parallel Beta-Binders Simulator.
DS-RT 2008: 139-148 |
| 103 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
The BlenX Language: A Tutorial.
SFM 2008: 313-365 |
| 102 | | 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) |
| 101 | | 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) |
| 100 | | 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) |
| 99 | | Davide Prandi,
Corrado Priami,
Paola Quaglia:
Communicating by compatibility.
J. Log. Algebr. Program. 75(2): 167-181 (2008) |
| 98 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
Modelling and simulation of biological processes in BlenX.
SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008) |
| 97 | | Corrado Priami:
Preface.
Theor. Comput. Sci. 391(3): 189 (2008) |
| 96 | | 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) |
| 95 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel,
Orkun Soyer:
Evolving BlenX programs to simulate the evolution of biological networks.
Theor. Comput. Sci. 408(1): 83-96 (2008) |
| 2007 |
|---|
| 94 |  | Corrado Priami:
Transactions on Computational Systems Biology VIII
Springer 2007 |
| 93 | | Maria Luisa Guerriero,
Corrado Priami,
Alessandro Romanel:
Modeling Static Biological Compartments with Beta-binders.
AB 2007: 247-261 |
| 92 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel,
Orkun Soyer:
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.
CMSB 2007: 106-120 |
| 91 | | 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 |
| 90 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A Stochastic Semantics for BioAmbients.
PaCT 2007: 22-34 |
| 89 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
BetaWB: modelling and simulating biological processes.
SCSC 2007: 777-784 |
| 88 | | Corrado Priami,
Alessandro Romanel:
The Decidability of the Structural Congruence for Beta-binders.
Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007) |
| 87 | | Federica Ciocchetta,
Corrado Priami:
Biological Transactions for Quantitative Models.
Electr. Notes Theor. Comput. Sci. 171(2): 55-67 (2007) |
| 86 | | Paola Lecca,
Corrado Priami:
Cell Cycle Control in Eukaryotes: A BioSpi model.
Electr. Notes Theor. Comput. Sci. 180(3): 51-63 (2007) |
| 85 | | Flemming Nielson,
Hanne Riis Nielson,
Corrado Priami,
Debora Rosa:
Control Flow Analysis for BioAmbients.
Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007) |
| 84 | | Corrado Priami:
Computational Thinking in Biology.
T. Comp. Sys. Biology 8: 63-76 (2007) |
| 2006 |
|---|
| 83 | | David M. Nicol,
Corrado Priami,
Hanne Riis Nielson,
Adelinde M. Uhrmacher:
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 82 | | Corrado Priami,
Luca Cardelli,
Stephen Emmott:
Transactions on Computational Systems Biology IV
Springer 2006 |
| 81 | | Corrado Priami,
Xiaohua Hu,
Yi Pan,
Tsau Young Lin:
Transactions on Computational Systems Biology V
Springer 2006 |
| 80 | | Corrado Priami:
Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
Springer 2006 |
| 79 | | Corrado Priami,
Gordon D. Plotkin:
Transactions on Computational Systems Biology VI
Springer 2006 |
| 78 | | Corrado Priami,
Anna Ingólfsdóttir,
Bud Mishra,
Hanne Riis Nielson:
Transactions on Computational Systems Biology VII
Springer 2006 |
| 77 | | Radu Mardare,
Corrado Priami:
Decidable Extensions of Hennessy-Milner Logic.
FORTE 2006: 196-211 |
| 76 | | Jan Himmelspach,
Paola Lecca,
Davide Prandi,
Corrado Priami,
Paola Quaglia,
Adelinde Uhrmacher:
Developing An Hierarchical Simulator for Beta-binders.
PADS 2006: 92-102 |
| 75 | | 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 |
| 74 | | 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 |
| 73 | | 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) |
| 72 | | Corrado Priami:
Process Calculi and Life Science.
Electr. Notes Theor. Comput. Sci. 162: 301-304 (2006) |
| 71 | | Pierpaolo Degano,
Davide Prandi,
Corrado Priami,
Paola Quaglia:
Beta-binders for Biological Quantitative Experiments.
Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006) |
| 2005 |
|---|
| 70 | | Corrado Priami,
Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Springer 2005 |
| 69 | | Corrado Priami:
Transactions on Computational Systems Biology I
Springer 2005 |
| 68 | | Corrado Priami,
Alexander Zelikovsky:
Transactions on Computational Systems Biology II
Springer 2005 |
| 67 | | Corrado Priami,
Emanuela Merelli,
Pedro Pablo Gonzalez,
Andrea Omicini:
Transactions on Computational Systems Biology III
Springer 2005 |
| 66 | | 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 |
| 65 | | 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 |
| 64 | | Davide Prandi,
Corrado Priami,
Paola Quaglia:
Process Calculi in a Biological Context.
Bulletin of the EATCS 85: 53-69 (2005) |
| 63 | | 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) |
| 62 | | Chiara Bodei,
Michele Curti,
Pierpaolo Degano,
Corrado Priami:
A Quantitative Study of Two Attacks.
Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005) |
| 61 | | Radu Mardare,
Corrado Priami:
Logical Analysis of Biological Systems.
Fundam. Inform. 64(1-4): 275-289 (2005) |
| 60 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication primitives for secure protocol specifications.
Future Generation Comp. Syst. 21(4): 645-653 (2005) |
| 59 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Checking security policies through an enhanced Control Flow Analysis.
Journal of Computer Security 13(1): 49-85 (2005) |
| 58 | | Federica Ciocchetta,
Corrado Priami,
Paola Quaglia:
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
T. Comp. Sys. Biology: 33-48 (2005) |
| 57 | | Corrado Priami,
Paola Quaglia:
Operational Patterns in Beta-Binders.
T. Comp. Sys. Biology 1: 50-65 (2005) |
| 2004 |
|---|
| 56 | | Corrado Priami,
Paola Quaglia:
Beta Binders for Biological Interactions.
CMSB 2004: 20-33 |
| 55 | | Radu Mardare,
Corrado Priami,
Paola Quaglia,
Oleksandr Vagin:
Model Checking Biological Systems Described Using Ambient Calculus.
CMSB 2004: 85-103 |
| 54 | | Katerina Pokozy-Korenblat,
Corrado Priami,
Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study.
Global Computing 2004: 107-126 |
| 53 | | 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 |
| 52 | | Paola Lecca,
Corrado Priami,
Carlo Laudanna,
G. Constantin:
Predicting cell adhesion probability via the biochemical stochastic pi-calculus.
SAC 2004: 211-212 |
| 51 | | Corrado Priami,
Paola Quaglia:
Modelling the dynamics of biosystems.
Briefings in Bioinformatics 5(3): 259-269 (2004) |
| 50 | | Katerina Pokozy-Korenblat,
Corrado Priami:
Toward Extracting ?-calculus from UML Sequence and State Diagrams.
Electr. Notes Theor. Comput. Sci. 101: 51-72 (2004) |
| 49 | | Radu Mardare,
Corrado Priami:
A Logical Approach to Security in the Context of Ambient Calculus.
Electr. Notes Theor. Comput. Sci. 99: 3-29 (2004) |
| 48 | | Corrado Priami:
Preface to the special issue on Security in global computing.
Int. J. Inf. Sec. 2(3-4): 125 (2004) |
| 47 | | 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) |
| 46 | | Corrado Priami:
Prefac.
Theor. Comput. Sci. 325(1): 1-2 (2004) |
| 45 | | Michele Curti,
Pierpaolo Degano,
Corrado Priami,
Cosima Tatiana Baldari:
Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci. 325(1): 111-140 (2004) |
| 2003 |
|---|
| 44 | | Corrado Priami:
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings
Springer 2003 |
| 43 | | Corrado Priami:
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
Springer 2003 |
| 42 | | Pierpaolo Degano,
Corrado Priami:
Enhanced Operational Semantics in Systems Biology.
CMSB 2003: 178-181 |
| 41 | | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
Causality and Replication in Concurrent Processes.
Ershov Memorial Conference 2003: 307-318 |
| 40 | | Linda Brodo,
Pierpaolo Degano,
Stephen Gilmore,
Jane Hillston,
Corrado Priami:
Performance Evaluation for Global Computation.
Global Computing 2003: 229-253 |
| 39 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
Reflecting Mobile Ambients into the p-Calculus.
Global Computing 2003: 25-56 |
| 38 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication Primitives for Protocol Specifications.
PaCT 2003: 49-65 |
| 37 | | Corrado Priami:
Simulation and verification I: design environments for complex systems.
Winter Simulation Conference 2003: 897-905 |
| 2002 |
|---|
| 36 | | Corrado Priami:
Language-based Performance Prediction for Distributed and Mobile Systems.
Inf. Comput. 175(2): 119-145 (2002) |
| 35 | | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci. 275(1-2): 259-282 (2002) |
| 34 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Primitives for authentication in process algebras.
Theor. Comput. Sci. 283(2): 271-304 (2002) |
| 2001 |
|---|
| 33 | | Pierpaolo Degano,
Corrado Priami:
Enhanced operational semantics.
ACM Comput. Surv. 33(2): 135-176 (2001) |
| 32 | | Chiara Nottegar,
Corrado Priami,
Pierpaolo Degano:
Performance Evaluation of Mobile Processes via Abstract Machines.
IEEE Trans. Software Eng. 27(10): 867-889 (2001) |
| 31 | | 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) |
| 30 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Names of the -calculus agents handled locally.
Theor. Comput. Sci. 253(2): 155-184 (2001) |
| 2000 |
|---|
| 29 | | Linda Brodo,
Pierpaolo Degano,
Corrado Priami:
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops 2000: 535-550 |
| 28 | | Corrado Priami,
Ugo Solitro:
Functional features of a calculus for logic and concurrency.
WFLP 2000: 144-153 |
| 1999 |
|---|
| 27 | | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication via Localized Names.
CSFW 1999: 98-110 |
| 26 | | Chiara Nottegar,
Corrado Priami,
Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract).
FASE 1999: 204-218 |
| 25 | | Corrado Priami:
Operational Methods in Theoretical Computer Science.
ACM Comput. Surv. 31(3es): 13 (1999) |
| 24 | | Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Causality for Debugging Mobile Agents.
Acta Inf. 36(5): 335-374 (1999) |
| 23 | | Pierpaolo Degano,
Corrado Priami:
Non-Interleaving Semantics for Mobile Processes.
Theor. Comput. Sci. 216(1-2): 237-270 (1999) |
| 1998 |
|---|
| 22 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.
SAS 1998: 168-183 |
| 21 | | Pierpaolo Degano,
Corrado Priami:
LR Techniques for Handling Syntax Errors.
Comput. Lang. 24(2): 73-98 (1998) |
| 1997 |
|---|
| 20 | | Chiara Bodei,
Corrado Priami:
True Concurrency via Abstract Interpretation.
SAS 1997: 202-216 |
| 1996 |
|---|
| 19 | | Corrado Priami:
Integrating Behavioural and Performance Analysis with Topology Information.
HICSS (1) 1996: 508-516 |
| 18 | | Chiara Bodei,
Pierpaolo Degano,
Corrado Priami:
Mobile Processes with a Distributed Environment.
ICALP 1996: 490-501 |
| 17 | | Pierpaolo Degano,
Jean-Vincent Loddo,
Corrado Priami:
Mobile Processes with Local Clocks.
LOMAPS 1996: 296-319 |
| 16 | | Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Analysis of Facile Programs: A Case Study.
LOMAPS 1996: 345-369 |
| 15 | | Roberta Borgia,
Pierpaolo Degano,
Corrado Priami,
Lone Leth,
Bent Thomsen:
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
SAS 1996: 98-112 |
| 14 | | Pierpaolo Degano,
Corrado Priami:
Enhanced Operational Semantics.
ACM Comput. Surv. 28(2): 352-354 (1996) |
| 13 | | Paola Inverardi,
Corrado Priami:
Automatic Verification of Distributed Systems: The Process Algebra Approach.
Formal Methods in System Design 8(1): 7-38 (1996) |
| 1995 |
|---|
| 12 | | Alan Mycroft,
Pierpaolo Degano,
Corrado Priami:
Complexity as a Basis for Comparing Semantic Models of Concurrency.
ASIAN 1995: 141-155 |
| 11 | | Pierpaolo Degano,
Corrado Priami:
A Transitional Semantics of Full Prolog.
GULP-PRODE 1995: 511-520 |
| 10 | | Pierpaolo Degano,
Corrado Priami:
Causality for Mobile Processes.
ICALP 1995: 660-671 |
| 9 | | Alessandro Bianchi,
Stefano Coluccini,
Pierpaolo Degano,
Corrado Priami:
An Efficient Verifier of Truly Concurrent Properties.
PaCT 1995: 36-50 |
| 8 | | Corrado Priami:
Stochastic pi-Calculus.
Comput. J. 38(7): 578-589 (1995) |
| 7 | | Pierpaolo Degano,
Corrado Priami:
Comparison of Syntactic Error Handling in LR Parsers.
Softw., Pract. Exper. 25(6): 657-679 (1995) |
| 1994 |
|---|
| 6 | | Corrado Priami,
Daniel Yankelevich:
Read-Write Causality.
MFCS 1994: 567-576 |
| 5 | | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Asp. Comput. 6(6): 676-695 (1994) |
| 1993 |
|---|
| 4 | | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation.
ICALP 1993: 558-569 |
| 3 | | 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) |
| 1992 |
|---|
| 2 | | Pierpaolo Degano,
Corrado Priami:
Proved Trees.
ICALP 1992: 629-640 |
| 1991 |
|---|
| 1 | | Paola Inverardi,
Corrado Priami:
Evaluation of Tools for the Analysis of Communicating Systems.
Bulletin of the EATCS 45: 158-185 (1991) |
