Search the dblp DataBase
Corrado Priami :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Pierpaolo Degano , Corrado Priami A Transitional Semantics of Full Prolog. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:511-520 [Conf ] Alan Mycroft , Pierpaolo Degano , Corrado Priami Complexity as a Basis for Comparing Semantic Models of Concurrency. [Citation Graph (0, 0)][DBLP ] ASIAN, 1995, pp:141-155 [Conf ] Pierpaolo Degano , Corrado Priami Enhanced Operational Semantics in Systems Biology. [Citation Graph (0, 0)][DBLP ] CMSB, 2003, pp:178-181 [Conf ] Radu Mardare , Corrado Priami , Paola Quaglia , Oleksandr Vagin Model Checking Biological Systems Described Using Ambient Calculus. [Citation Graph (0, 0)][DBLP ] CMSB, 2004, pp:85-103 [Conf ] Corrado Priami , Paola Quaglia Beta Binders for Biological Interactions. [Citation Graph (0, 0)][DBLP ] CMSB, 2004, pp:20-33 [Conf ] Chiara Bodei , Pierpaolo Degano , Riccardo Focardi , Corrado Priami Authentication via Localized Names. [Citation Graph (0, 0)][DBLP ] CSFW, 1999, pp:98-110 [Conf ] Pierpaolo Degano , Fabio Gadducci , Corrado Priami Causality and Replication in Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2003, pp:307-318 [Conf ] Chiara Nottegar , Corrado Priami , Pierpaolo Degano Semantic-Driven Performance Evaluation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:204-218 [Conf ] Radu Mardare , Corrado Priami Decidable Extensions of Hennessy-Milner Logic. [Citation Graph (0, 0)][DBLP ] FORTE, 2006, pp:196-211 [Conf ] Katerina Pokozy-Korenblat , Corrado Priami , Paola Quaglia Performance Analysis of a UML Micro-business Case Study. [Citation Graph (0, 0)][DBLP ] Global Computing, 2004, pp:107-126 [Conf ] Linda Brodo , Pierpaolo Degano , Stephen Gilmore , Jane Hillston , Corrado Priami Performance Evaluation for Global Computation. [Citation Graph (0, 0)][DBLP ] Global Computing, 2003, pp:229-253 [Conf ] Linda Brodo , Pierpaolo Degano , Corrado Priami Reflecting Mobile Ambients into the p-Calculus. [Citation Graph (0, 0)][DBLP ] Global Computing, 2003, pp:25-56 [Conf ] Corrado Priami Integrating Behavioural and Performance Analysis with Topology Information. [Citation Graph (0, 0)][DBLP ] HICSS (1), 1996, pp:508-516 [Conf ] Chiara Bodei , Pierpaolo Degano , Corrado Priami Mobile Processes with a Distributed Environment. [Citation Graph (0, 0)][DBLP ] ICALP, 1996, pp:490-501 [Conf ] Linda Brodo , Pierpaolo Degano , Corrado Priami A tool for quantitative analysis of calculus processes. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:535-550 [Conf ] Pierpaolo Degano , Corrado Priami Proved Trees. [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:629-640 [Conf ] Pierpaolo Degano , Corrado Priami Causality for Mobile Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1995, pp:660-671 [Conf ] Paola Inverardi , Corrado Priami , Daniel Yankelevich Extended Transition Systems for Parametric Bisimulation. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:558-569 [Conf ] Pierpaolo Degano , Jean-Vincent Loddo , Corrado Priami Mobile Processes with Local Clocks. [Citation Graph (0, 0)][DBLP ] LOMAPS, 1996, pp:296-319 [Conf ] Pierpaolo Degano , Corrado Priami , Lone Leth , Bent Thomsen Analysis of Facile Programs: A Case Study. [Citation Graph (0, 0)][DBLP ] LOMAPS, 1996, pp:345-369 [Conf ] Corrado Priami , Daniel Yankelevich Read-Write Causality. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:567-576 [Conf ] Alessandro Bianchi , Stefano Coluccini , Pierpaolo Degano , Corrado Priami An Efficient Verifier of Truly Concurrent Properties. [Citation Graph (0, 0)][DBLP ] PaCT, 1995, pp:36-50 [Conf ] Chiara Bodei , Mikael Buchholtz , Michele Curti , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson , Corrado Priami On Evaluating the Performance of Security Protocols. [Citation Graph (0, 0)][DBLP ] PaCT, 2005, pp:1-15 [Conf ] Chiara Bodei , Pierpaolo Degano , Riccardo Focardi , Corrado Priami Authentication Primitives for Protocol Specifications. [Citation Graph (0, 0)][DBLP ] PaCT, 2003, pp:49-65 [Conf ] Jan Himmelspach , Paola Lecca , Davide Prandi , Corrado Priami , Paola Quaglia , Adelinde Uhrmacher Developing An Hierarchical Simulator for Beta-binders. [Citation Graph (0, 0)][DBLP ] PADS, 2006, pp:92-102 [Conf ] Paola Lecca , Corrado Priami , Carlo Laudanna , G. Constantin A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. [Citation Graph (0, 0)][DBLP ] Pacific Symposium on Biocomputing, 2004, pp:521-532 [Conf ] Paola Lecca , Corrado Priami , Carlo Laudanna , G. Constantin Predicting cell adhesion probability via the biochemical stochastic pi-calculus. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:211-212 [Conf ] Chiara Bodei , Pierpaolo Degano , Corrado Priami Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:168-183 [Conf ] Chiara Bodei , Corrado Priami True Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 1997, pp:202-216 [Conf ] Roberta Borgia , Pierpaolo Degano , Corrado Priami , Lone Leth , Bent Thomsen Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:98-112 [Conf ] Corrado Priami , Ugo Solitro Functional features of a calculus for logic and concurrency. [Citation Graph (0, 0)][DBLP ] WFLP, 2000, pp:144-153 [Conf ] Corrado Priami Simulation and verification I: design environments for complex systems. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 2003, pp:897-905 [Conf ] Adelinde Uhrmacher , Corrado Priami Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 2005, pp:317-326 [Conf ] Pierpaolo Degano , Corrado Priami , Lone Leth , Bent Thomsen Causality for Debugging Mobile Agents. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1999, v:36, n:5, pp:335-374 [Journal ] Corrado Priami , Paola Quaglia Modelling the dynamics of biosystems. [Citation Graph (0, 0)][DBLP ] Briefings in Bioinformatics, 2004, v:5, n:3, pp:259-269 [Journal ] Claudio Eccher , Corrado Priami Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2006, v:22, n:24, pp:3075-3081 [Journal ] Corrado Priami Stochastic pi-Calculus. [Citation Graph (0, 0)][DBLP ] Comput. J., 1995, v:38, n:7, pp:578-589 [Journal ] Pierpaolo Degano , Corrado Priami LR Techniques for Handling Syntax Errors. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1998, v:24, n:2, pp:73-98 [Journal ] Pierpaolo Degano , Corrado Priami Enhanced operational semantics. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 2001, v:33, n:2, pp:135-176 [Journal ] Pierpaolo Degano , Corrado Priami Enhanced Operational Semantics. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:2, pp:352-354 [Journal ] Corrado Priami Operational Methods in Theoretical Computer Science. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1999, v:31, n:3es, pp:13- [Journal ] Paola Inverardi , Corrado Priami Evaluation of Tools for the Analysis of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1991, v:45, n:, pp:158-185 [Journal ] Davide Prandi , Corrado Priami , Paola Quaglia Process Calculi in a Biological Context. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2005, v:85, n:, pp:53-69 [Journal ] Chiara Bodei , Michele Curti , Pierpaolo Degano , Mikael Buchholtz , Flemming Nielson , Hanne Riis Nielson , Corrado Priami Performance Evaluation of Security Protocols Specified in LySa. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:167-189 [Journal ] Chiara Bodei , Michele Curti , Pierpaolo Degano , Corrado Priami A Quantitative Study of Two Attacks. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:65-85 [Journal ] Radu Mardare , Corrado Priami A Logical Approach to Security in the Context of Ambient Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:3-29 [Journal ] Katerina Pokozy-Korenblat , Corrado Priami Toward Extracting ?-calculus from UML Sequence and State Diagrams. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:51-72 [Journal ] Corrado Priami Process Calculi and Life Science. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:301-304 [Journal ] Pierpaolo Degano , Davide Prandi , Corrado Priami , Paola Quaglia Beta-binders for Biological Quantitative Experiments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:101-117 [Journal ] Paola Inverardi , Corrado Priami , Daniel Yankelevich Automatizing Parametric Reasoning on Distributed Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:6, pp:676-695 [Journal ] Chiara Bodei , Pierpaolo Degano , Riccardo Focardi , Corrado Priami Authentication primitives for secure protocol specifications. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2005, v:21, n:4, pp:645-653 [Journal ] Paola Inverardi , Corrado Priami Automatic Verification of Distributed Systems: The Process Algebra Approach. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1996, v:8, n:1, pp:7-38 [Journal ] Radu Mardare , Corrado Priami Logical Analysis of Biological Systems. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:64, n:1-4, pp:275-289 [Journal ] Corrado Priami Language-based Performance Prediction for Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:175, n:2, pp:119-145 [Journal ] Corrado Priami Preface to the special issue on Security in global computing. [Citation Graph (0, 0)][DBLP ] Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:125- [Journal ] Corrado Priami , Aviv Regev , Ehud Y. Shapiro , William Silverman Application of a stochastic name-passing calculus to representation and simulation of molecular processes. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2001, v:80, n:1, pp:25-31 [Journal ] Chiara Bodei , Pierpaolo Degano , Corrado Priami Checking security policies through an enhanced Control Flow Analysis. [Citation Graph (0, 0)][DBLP ] Journal of Computer Security, 2005, v:13, n:1, pp:49-85 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1993, v:23, n:1, pp:65-79 [Journal ] Pierpaolo Degano , Corrado Priami Comparison of Syntactic Error Handling in LR Parsers. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1995, v:25, n:6, pp:657-679 [Journal ] Chiara Bodei , Pierpaolo Degano , Riccardo Focardi , Corrado Priami Primitives for authentication in process algebras. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:283, n:2, pp:271-304 [Journal ] Chiara Bodei , Pierpaolo Degano , Corrado Priami Names of the -calculus agents handled locally. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:253, n:2, pp:155-184 [Journal ] Michele Curti , Pierpaolo Degano , Corrado Priami , Cosima Tatiana Baldari Modelling biochemical pathways through enhanced pi-calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:325, n:1, pp:111-140 [Journal ] Pierpaolo Degano , Fabio Gadducci , Corrado Priami A causal semantics for CCS via rewriting logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:275, n:1-2, pp:259-282 [Journal ] Pierpaolo Degano , Corrado Priami Non-Interleaving Semantics for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:237-270 [Journal ] Corrado Priami Prefac. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:325, n:1, pp:1-2 [Journal ] Federica Ciocchetta , Corrado Priami , Paola Quaglia Modeling Kohn Interaction Maps with Beta-Binders: An Example. [Citation Graph (0, 0)][DBLP ] , 2005, v:, n:, pp:33-48 [Journal ] Corrado Priami , Paola Quaglia Operational Patterns in Beta-Binders. [Citation Graph (0, 0)][DBLP ] T. Comp. Sys. Biology, 2005, v:1, n:, pp:50-65 [Journal ] Chiara Nottegar , Corrado Priami , Pierpaolo Degano Performance Evaluation of Mobile Processes via Abstract Machines. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:10, pp:867-889 [Journal ] Maria Luisa Guerriero , John K. Heath , Corrado Priami An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. [Citation Graph (0, 0)][DBLP ] CMSB, 2007, pp:136-151 [Conf ] Lorenzo Dematté , Corrado Priami , Alessandro Romanel , Orkun Soyer A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. [Citation Graph (0, 0)][DBLP ] CMSB, 2007, pp:106-120 [Conf ] Linda Brodo , Pierpaolo Degano , Corrado Priami A Stochastic Semantics for BioAmbients. [Citation Graph (0, 0)][DBLP ] PaCT, 2007, pp:22-34 [Conf ] Maria Luisa Guerriero , Corrado Priami , Alessandro Romanel Modeling Static Biological Compartments with Beta-binders. [Citation Graph (0, 0)][DBLP ] AB, 2007, pp:247-261 [Conf ] Corrado Priami , Alessandro Romanel The Decidability of the Structural Congruence for Beta-binders. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:155-170 [Journal ] Federica Ciocchetta , Corrado Priami Biological Transactions for Quantitative Models. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:55-67 [Journal ] Flemming Nielson , Hanne Riis Nielson , Corrado Priami , Debora Rosa Control Flow Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:65-79 [Journal ] Paola Lecca , Corrado Priami Cell Cycle Control in Eukaryotes: A BioSpi model. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:51-63 [Journal ] BlenX4Bio - BlenX for Biologists. [Citation Graph (, )][DBLP ] BlenX Static and Dynamic Semantics. [Citation Graph (, )][DBLP ] 06161 Executive Summary -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP ] 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP ] A Bounded-Optimistic, Parallel Beta-Binders Simulator. [Citation Graph (, )][DBLP ] A new probabilistic generative model of parameter inference in biochemical networks. [Citation Graph (, )][DBLP ] The BlenX Language: A Tutorial. [Citation Graph (, )][DBLP ] BetaWB: modelling and simulating biological processes. [Citation Graph (, )][DBLP ] The Beta Workbench: a computational tool to study the dynamics of biological systems. [Citation Graph (, )][DBLP ] Elucidation of functional consequences of signalling pathway interactions. [Citation Graph (, )][DBLP ] Algorithmic systems biology. [Citation Graph (, )][DBLP ] BlenX-based compositional modeling of complex reaction mechanisms [Citation Graph (, )][DBLP ] Exploiting non-Markovian Bio-Processes. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.609secs