The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Corrado Priami: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierpaolo Degano, Corrado Priami
    A Transitional Semantics of Full Prolog. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:511-520 [Conf]
  2. 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]
  3. Pierpaolo Degano, Corrado Priami
    Enhanced Operational Semantics in Systems Biology. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:178-181 [Conf]
  4. 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]
  5. Corrado Priami, Paola Quaglia
    Beta Binders for Biological Interactions. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:20-33 [Conf]
  6. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Authentication via Localized Names. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:98-110 [Conf]
  7. 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]
  8. Chiara Nottegar, Corrado Priami, Pierpaolo Degano
    Semantic-Driven Performance Evaluation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:204-218 [Conf]
  9. Radu Mardare, Corrado Priami
    Decidable Extensions of Hennessy-Milner Logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:196-211 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Corrado Priami
    Integrating Behavioural and Performance Analysis with Topology Information. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1996, pp:508-516 [Conf]
  14. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Mobile Processes with a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    ICALP, 1996, pp:490-501 [Conf]
  15. 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]
  16. Pierpaolo Degano, Corrado Priami
    Proved Trees. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:629-640 [Conf]
  17. Pierpaolo Degano, Corrado Priami
    Causality for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:660-671 [Conf]
  18. Paola Inverardi, Corrado Priami, Daniel Yankelevich
    Extended Transition Systems for Parametric Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:558-569 [Conf]
  19. Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
    Mobile Processes with Local Clocks. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:296-319 [Conf]
  20. 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]
  21. Corrado Priami, Daniel Yankelevich
    Read-Write Causality. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:567-576 [Conf]
  22. 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]
  23. 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]
  24. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Authentication Primitives for Protocol Specifications. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:49-65 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Chiara Bodei, Corrado Priami
    True Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:202-216 [Conf]
  30. 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]
  31. Corrado Priami, Ugo Solitro
    Functional features of a calculus for logic and concurrency. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:144-153 [Conf]
  32. Corrado Priami
    Simulation and verification I: design environments for complex systems. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:897-905 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. Corrado Priami
    Stochastic pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:578-589 [Journal]
  38. 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]
  39. Pierpaolo Degano, Corrado Priami
    Enhanced operational semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2001, v:33, n:2, pp:135-176 [Journal]
  40. Pierpaolo Degano, Corrado Priami
    Enhanced Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:352-354 [Journal]
  41. Corrado Priami
    Operational Methods in Theoretical Computer Science. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:13- [Journal]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. Corrado Priami
    Prefac. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:1-2 [Journal]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. Linda Brodo, Pierpaolo Degano, Corrado Priami
    A Stochastic Semantics for BioAmbients. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:22-34 [Conf]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]

  77. BlenX4Bio - BlenX for Biologists. [Citation Graph (, )][DBLP]


  78. BlenX Static and Dynamic Semantics. [Citation Graph (, )][DBLP]


  79. 06161 Executive Summary -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  80. 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  81. A Bounded-Optimistic, Parallel Beta-Binders Simulator. [Citation Graph (, )][DBLP]


  82. A new probabilistic generative model of parameter inference in biochemical networks. [Citation Graph (, )][DBLP]


  83. The BlenX Language: A Tutorial. [Citation Graph (, )][DBLP]


  84. BetaWB: modelling and simulating biological processes. [Citation Graph (, )][DBLP]


  85. The Beta Workbench: a computational tool to study the dynamics of biological systems. [Citation Graph (, )][DBLP]


  86. Elucidation of functional consequences of signalling pathway interactions. [Citation Graph (, )][DBLP]


  87. Algorithmic systems biology. [Citation Graph (, )][DBLP]


  88. BlenX-based compositional modeling of complex reaction mechanisms [Citation Graph (, )][DBLP]


  89. Exploiting non-Markovian Bio-Processes. [Citation Graph (, )][DBLP]


Search in 0.277secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002