Corrado Priami Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Ralph-Johan Back [110]
2Cosima Tatiana Baldari [45]
3Paolo Ballarini [109]
4Alessandro Bianchi [9]
5U. Bianchi [3]
6Enrico Blanzieri [100]
7Chiara Bodei [18] [20] [22] [27] [30] [34] [38] [59] [60] [62] [63] [66]
8Roberta Borgia [15]
9Linda Brodo [29] [39] [40] [90]
10Mikael Buchholtz [63] [66]
11Luca Cardelli [82]
12Federica Ciocchetta [58] [87] [101]
13Stefano Coluccini [9]
14G. Constantin [47] [52] [53]
15Michele Curti [45] [62] [63] [66]
16Pierpaolo Degano [2] [3] [7] [9] [10] [11] [12] [14] [15] [16] [17] [18] [21] [22] [23] [24] [26] [27] [29] [30] [32] [33] [34] [35] [38] [39] [40] [41] [42] [45] [59] [60] [62] [63] [66] [71] [90]
17Lorenzo Dematté [89] [92] [95] [98] [102] [103]
18Claudio Eccher [73]
19Stephen Emmott [82]
20Riccardo Focardi [27] [34] [38] [60]
21Fabio Gadducci [35] [41]
22Stephen Gilmore (Stephen T. Gilmore) [40]
23Pedro Pablo Gonzalez [67]
24Maria Luisa Guerriero [91] [93]
25John K. Heath [91]
26Jane Hillston [40]
27Jan Himmelspach [76]
28Xiaohua Hu [81]
29Anna Ingólfsdóttir [78]
30Paola Inverardi [1] [4] [5] [13]
31Carlo Laudanna [47] [52] [53]
32Paola Lecca [47] [52] [53] [76] [86] [107]
33Lone Leth [15] [16] [24]
34Stefan Leye [104]
35Tsau Young Lin [81]
36Jean-Vincent Loddo [17]
37Stefano Mannucci [3]
38Radu Mardare [49] [55] [61] [77]
39Simone Martini [3]
40Emanuela Merelli [67]
41Bud Mishra (Bhubaneswar Mishra) [78]
42Bruno Mojana [3]
43I. Mura [105]
44Alan Mycroft [12]
45David M. Nicol [74] [75] [83]
46Flemming Nielson [63] [66] [85]
47Hanne Riis Nielson [63] [66] [74] [75] [78] [83] [85]
48Chiara Nottegar [26] [32]
49Andrea Omicini [67]
50Alida Palmisano [107]
51Yi Pan [81]
52Ion Petre [110]
53Gordon D. Plotkin [79]
54Katerina Pokozy-Korenblat [50] [54]
55Davide Prandi [64] [71] [76] [99] [105]
56Paola Quaglia [47] [51] [54] [55] [56] [57] [58] [64] [70] [71] [76] [99] [101] [108] [109]
57Aviv Regev [31]
58Alessandro Romanel [88] [89] [92] [93] [95] [96] [98] [102] [103] [105] [108] [111]
59Debora Rosa [85]
60B. Rossi [47]
61E. Salvatori [3]
62G. Sanguinetti [107]
63Nicola Segata [100]
64Ehud Y. Shapiro [31]
65William Silverman [31]
66Ugo Solitro [28]
67Orkun Soyer [92] [95]
68Bent Thomsen [15] [16] [24]
69Adelinde M. Uhrmacher (Adelinde Uhrmacher) [65] [74] [75] [76] [83] [104]
70Oleksandr Vagin [55]
71Daniel Yankelevich [4] [5] [6]
72Judit Zámborszky [112]
73Alexander Zelikovsky [68]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)