( en | de | ru )

 

Disambiguation of "Priami, Corrado"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and simulation of biological processes in BlenX.

, , and . SIGMETRICS Perform. Evaluation Rev., 35 (4): 32-39 (2008)

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

Preface to the special issue on Security in global computing.. Int. J. Inf. Sec., 2 (3-4): 125 (2004)Enhanced operational semantics., and . ACM Comput. Surv., 33 (2): 135-176 (2001)An imperative language of self-modifying graphs for biological systems., , and . SAC, page 1903-1909. ACM, (2012)Authentication primitives for secure protocol specifications., , , and . Future Gener. Comput. Syst., 21 (4): 645-653 (2005)Efficient formulation of the rejection-based algorithm for biochemical reactions with delays., , and . Int. J. Bioinform. Res. Appl., 15 (2): 159-173 (2019)Multi-omics integration - a comparison of unsupervised clustering methodologies., , , and . Briefings Bioinform., 20 (4): 1269-1279 (2019)Decidable Extensions of Hennessy-Milner Logic., and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (2006)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 Automatic Translation of SBML into Beta-Binders., , and . IEEE ACM Trans. Comput. Biol. Bioinform., 5 (1): 80-90 (2008)Evaluation of Tools for the Analysis of Communicating Systems., and . Bulletin of the EATCS, (1991)