( en | de | ru )

 

Disambiguation of "Priami, Corrado"

Author of the publication

copydeleteadd this publication to your clipboard
Enhanced operational semantics: a tool for describing and analyzing concurrent systems

, and . ACM Comput. Surv., 33 (2): 135--176 (June 2001)
DOI: 10.1145/384192.384194

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Corrado Boeche

Corrado Nai

Corrado Nai

Corrado Wohlwend

Corrado Garrasi

 

Other publications of authors with the same name

Performance Analysis of a UML Micro-business Case Study., , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 107-126. Springer, (2004)An imperative language of self-modifying graphs for biological systems., , and . SAC, page 1903-1909. ACM, (2012)09091 Executive Summary - Formal Methods in Molecular Biology., , , and . Formal Methods in Molecular Biology, volume 09091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)06161 Executive Summary -- Simulation and Verification of Dynamic Systems., , , and . Simulation and Verification of Dynamic Systems, volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems., , , and . Simulation and Verification of Dynamic Systems, volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Decidable Extensions of Hennessy-Milner Logic., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (2006)High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications., , , , and . IEEE Access, (2020)Multi-omics integration - a comparison of unsupervised clustering methodologies., , , and . Briefings Bioinform., 20 (4): 1269-1279 (2019)Functional features of a calculus for logic and concurrency., and . WFLP, page 144-153. (2000)Design and implementation of a tool for translating SBML into the biochemical stochastic ?-calculus, and . Bioinformatics, 22 (24): 3075-3081 (2006)