PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Troina, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Designing Multicore-Aware Simulators for Biological Systems.

, , , , , und . PDP, Seite 318-325. IEEE Computer Society, (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 Troina, Angelo
Eine Person hinzufügen mit dem Namen Troina, Angelo
 

Weitere Publikationen von Autoren mit dem selben Namen

Weak bisimulation for Probabilistic Timed Automata., , und . Theor. Comput. Sci., 411 (50): 4291-4322 (2010)Weak Bisimulation for Probabilistic Timed Automata and Applications to Security., , und . SEFM, Seite 34-43. IEEE Computer Society, (2003)Modelling Ecological Systems with the Calculus of Wrapped Compartments., und . Int. Conf. on Membrane Computing, Volume 7762 von Lecture Notes in Computer Science, Seite 358-377. Springer, (2012)A Type System for a Stochastic CLS, , und . MeCBIC, Volume 11 von EPTCS, Seite 91-105. (2009)Towards a Formal Treatment of Secrecy Against Computational Adversaries., , und . Global Computing, Volume 3267 von Lecture Notes in Computer Science, Seite 77-92. Springer, (2004)Automatic Analysis of a Non-Repudiation Protocol., , und . Electron. Notes Theor. Comput. Sci., (2005)Preface., , , , und . Electron. Notes Theor. Comput. Sci., 229 (3): 1-2 (2009)Reachability results for timed automata with unbounded data structures., , und . Acta Inf., 47 (5-6): 279-311 (2010)Stochastic Bigraphs., , und . Electr. Notes Theor. Comput. Sci., (2008)On Designing Multicore-Aware Simulators for Biological Systems., , , , , und . PDP, Seite 318-325. IEEE Computer Society, (2011)