PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Priami, Corrado"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).

, , , und . Dagstuhl Reports, 1 (4): 41-64 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Priami, Corrado
Eine Person hinzufügen mit dem Namen Priami, Corrado
 

Weitere Publikationen von Autoren mit dem selben Namen

Authentication primitives for secure protocol specifications., , , und . Future Generation Comp. Syst., 21 (4): 645-653 (2005)Enhanced operational semantics., und . ACM Comput. Surv., 33 (2): 135-176 (2001)Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data., , und . J. Integrative Bioinformatics, (2008)BetaWB: modelling and simulating biological processes., , und . SCSC, Seite 777-784. Simulation Councils, Inc., (2007)Analysis of Facile Programs: A Case Study., , , und . LOMAPS, Volume 1192 von Lecture Notes in Computer Science, Seite 345-369. Springer, (1996)Communicating by compatibility., , und . J. Log. Algebr. Program., 75 (2): 167-181 (2008)An Automatic Translation of SBML into Beta-Binders., , und . IEEE/ACM Trans. Comput. Biology Bioinform., 5 (1): 80-90 (2008)Decidable Extensions of Hennessy-Milner Logic., und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 196-211. Springer, (2006)09091 Executive Summary - Formal Methods in Molecular Biology., , , und . Formal Methods in Molecular Biology, Volume 09091 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)06161 Executive Summary -- Simulation and Verification of Dynamic Systems., , , und . Simulation and Verification of Dynamic Systems, Volume 06161 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)