( en | de | ru )

 

Disambiguation of "Priami, Corrado"

Author of the publication

copydeleteadd this publication to your clipboard
Toward Extracting pi-calculus from UML Sequence and State Diagrams

, and . Electronic Notes in Theoretical Computer Science, (November 2004)
DOI: 10.1016/j.entcs.2004.09.007

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 Wohlwend

Corrado Nai

Corrado Boeche

 

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)Decidable Extensions of Hennessy-Milner Logic., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (2006)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)Multi-omics integration - a comparison of unsupervised clustering methodologies., , , and . Briefings Bioinform., 20 (4): 1269-1279 (2019)High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications., , , , and . IEEE Access, (2020)Efficient formulation of the rejection-based algorithm for biochemical reactions with delays., , and . Int. J. Bioinform. Res. Appl., 15 (2): 159-173 (2019)An imperative language of self-modifying graphs for biological systems., , and . SAC, page 1903-1909. ACM, (2012)A Stochastic Semantics for BioAmbients., , and . PaCT, volume 4671 of Lecture Notes in Computer Science, page 22-34. Springer, (2007)