dblp.uni-trier.dewww.uni-trier.de

Corrado Priami Vis

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

*2009
109EECorrado Priami, Ralph-Johan Back, Ion Petre: Transactions on Computational Systems Biology XI Springer 2009
108EECorrado Priami, Paolo Ballarini, Paola Quaglia: BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51
107EECorrado Priami, Paola Quaglia, Alessandro Romanel: BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52
106EEPaola Lecca, A. Palmisano, Corrado Priami, G. Sanguinetti: A new probabilistic generative model of parameter inference in biochemical networks. SAC 2009: 758-765
105EECorrado Priami: Algorithmic systems biology. Commun. ACM 52(5): 80-88 (2009)
2008
104EEStefan Leye, Adelinde M. Uhrmacher, Corrado Priami: A Bounded-Optimistic, Parallel Beta-Binders Simulator. DS-RT 2008: 139-148
103EELorenzo Dematté, Corrado Priami, Alessandro Romanel: The BlenX Language: A Tutorial. SFM 2008: 313-365
102EELorenzo 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)
101EEFederica Ciocchetta, Corrado Priami, Paola Quaglia: An Automatic Translation of SBML into Beta-Binders. IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008)
100EENicola 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)
99EEDavide Prandi, Corrado Priami, Paola Quaglia: Communicating by compatibility. J. Log. Algebr. Program. 75(2): 167-181 (2008)
98EELorenzo Dematté, Corrado Priami, Alessandro Romanel: Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008)
97EECorrado Priami: Preface. Theor. Comput. Sci. 391(3): 189 (2008)
96EEAlessandro Romanel, Corrado Priami: On the decidability and complexity of the structural congruence for beta-binders. Theor. Comput. Sci. 404(1-2): 156-169 (2008)
95EELorenzo 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
93EEMaria Luisa Guerriero, Corrado Priami, Alessandro Romanel: Modeling Static Biological Compartments with Beta-binders. AB 2007: 247-261
92EELorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun Soyer: A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. CMSB 2007: 106-120
91EEMaria Luisa Guerriero, John K. Heath, Corrado Priami: An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. CMSB 2007: 136-151
90EELinda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34
89EELorenzo Dematté, Corrado Priami, Alessandro Romanel: BetaWB: modelling and simulating biological processes. SCSC 2007: 777-784
88EECorrado Priami, Alessandro Romanel: The Decidability of the Structural Congruence for Beta-binders. Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007)
87EEFederica Ciocchetta, Corrado Priami: Biological Transactions for Quantitative Models. Electr. Notes Theor. Comput. Sci. 171(2): 55-67 (2007)
86EEPaola Lecca, Corrado Priami: Cell Cycle Control in Eukaryotes: A BioSpi model. Electr. Notes Theor. Comput. Sci. 180(3): 51-63 (2007)
85EEFlemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. Electr. Notes Theor. Comput. Sci. 180(3): 65-79 (2007)
84EECorrado 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
77EERadu Mardare, Corrado Priami: Decidable Extensions of Hennessy-Milner Logic. FORTE 2006: 196-211
76EEJan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher: Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102
75EEDavid 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
74EEHanne 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
73EEClaudio Eccher, Corrado Priami: Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. Bioinformatics 22(24): 3075-3081 (2006)
72EECorrado Priami: Process Calculi and Life Science. Electr. Notes Theor. Comput. Sci. 162: 301-304 (2006)
71EEPierpaolo 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
66EEChiara 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
65EEAdelinde 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)
63EEChiara 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)
62EEChiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005)
61EERadu Mardare, Corrado Priami: Logical Analysis of Biological Systems. Fundam. Inform. 64(1-4): 275-289 (2005)
60EEChiara 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)
58EEFederica Ciocchetta, Corrado Priami, Paola Quaglia: Modeling Kohn Interaction Maps with Beta-Binders: An Example. T. Comp. Sys. Biology: 33-48 (2005)
57EECorrado Priami, Paola Quaglia: Operational Patterns in Beta-Binders. T. Comp. Sys. Biology 1: 50-65 (2005)
2004
56EECorrado Priami, Paola Quaglia: Beta Binders for Biological Interactions. CMSB 2004: 20-33
55EERadu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin: Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103
54EEKaterina Pokozy-Korenblat, Corrado Priami, Paola Quaglia: Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126
53EEPaola 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
52EEPaola 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)
50EEKaterina Pokozy-Korenblat, Corrado Priami: Toward Extracting ?-calculus from UML Sequence and State Diagrams. Electr. Notes Theor. Comput. Sci. 101: 51-72 (2004)
49EERadu Mardare, Corrado Priami: A Logical Approach to Security in the Context of Ambient Calculus. Electr. Notes Theor. Comput. Sci. 99: 3-29 (2004)
48EECorrado Priami: Preface to the special issue on Security in global computing. Int. J. Inf. Sec. 2(3-4): 125 (2004)
47EEPaola 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)
46EECorrado Priami: Prefac. Theor. Comput. Sci. 325(1): 1-2 (2004)
45EEMichele 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
42EEPierpaolo Degano, Corrado Priami: Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181
41EEPierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318
40EELinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
39EELinda Brodo, Pierpaolo Degano, Corrado Priami: Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56
38EEChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65
37EECorrado Priami: Simulation and verification I: design environments for complex systems. Winter Simulation Conference 2003: 897-905
2002
36EECorrado Priami: Language-based Performance Prediction for Distributed and Mobile Systems. Inf. Comput. 175(2): 119-145 (2002)
35EEPierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)
34EEChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)
2001
33EEPierpaolo Degano, Corrado Priami: Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001)
32EEChiara Nottegar, Corrado Priami, Pierpaolo Degano: Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. Software Eng. 27(10): 867-889 (2001)
31EECorrado 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)
30EEChiara 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
27EEChiara 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
25EECorrado Priami: Operational Methods in Theoretical Computer Science. ACM Comput. Surv. 31(3es): 13 (1999)
24EEPierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999)
23EEPierpaolo Degano, Corrado Priami: Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999)
1998
22EEChiara 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
19EECorrado Priami: Integrating Behavioural and Performance Analysis with Topology Information. HICSS (1) 1996: 508-516
18EEChiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501
17EEPierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319
16EEPierpaolo 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
10EEPierpaolo 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
6EECorrado 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
4EEPaola Inverardi, Corrado Priami, Daniel Yankelevich: Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569
3EEU. 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
2EEPierpaolo 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)

Coauthor Index

1Ralph-Johan Back [109]
2Cosima Tatiana Baldari [45]
3Paolo Ballarini [108]
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] [106]
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]
43Alan Mycroft [12]
44David M. Nicol [74] [75] [83]
45Flemming Nielson [63] [66] [85]
46Hanne Riis Nielson [63] [66] [74] [75] [78] [83] [85]
47Chiara Nottegar [26] [32]
48Andrea Omicini [67]
49A. Palmisano [106]
50Yi Pan [81]
51Ion Petre [109]
52Gordon D. Plotkin [79]
53Katerina Pokozy-Korenblat [50] [54]
54Davide Prandi [64] [71] [76] [99]
55Paola Quaglia [47] [51] [54] [55] [56] [57] [58] [64] [70] [71] [76] [99] [101] [107] [108]
56Aviv Regev [31]
57Alessandro Romanel [88] [89] [92] [93] [95] [96] [98] [102] [103] [107]
58Debora Rosa [85]
59B. Rossi [47]
60E. Salvatori [3]
61G. Sanguinetti [106]
62Nicola Segata [100]
63Ehud Y. Shapiro [31]
64William Silverman [31]
65Ugo Solitro [28]
66Orkun Soyer [92] [95]
67Bent Thomsen [15] [16] [24]
68Adelinde M. Uhrmacher (Adelinde Uhrmacher) [65] [74] [75] [76] [83] [104]
69Oleksandr Vagin [55]
70Daniel Yankelevich [4] [5] [6]
71Alexander Zelikovsky [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)