Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A static analysis for Brane Calculi providing global occurrence counting information., , , , , und . Theor. Comput. Sci., (2017)Formal Executable Descriptions of Biological Systems., , und . QEST, Seite 2-12. IEEE Computer Society, (2005)SOS Rules for Equivalences of Reaction Systems., , und . WFLP, Volume 12560 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2020)A Constraint-based Language for Multiparty Interactions., und . LSFA, Volume 351 von Electronic Notes in Theoretical Computer Science, Seite 25-50. Elsevier, (2020)Quantitative extensions of reaction systems based on SOS semantics., , , , , und . Neural Comput. Appl., 35 (9): 6335-6359 (März 2023)Deducing Interactions in Partially Unspecified Biological Systems., , , und . AB, Volume 4545 von Lecture Notes in Computer Science, Seite 262-276. Springer, (2007)On the Quantitative Estimation of Short-Term Aging in Human Faces., , , und . ICIAP, Volume 5716 von Lecture Notes in Computer Science, Seite 575-584. Springer, (2009)A Global Occurrence Counting Analysis for Brane Calculi., , , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 179-200. Springer, (2015)Detecting and Preventing Type flaws: a Control Flow Analysis with Tags., , , und . SecCO@CONCUR, Volume 194 von Electronic Notes in Theoretical Computer Science, Seite 3-22. Elsevier, (2007)Open Multiparty Interaction., , und . WADT, Volume 7841 von Lecture Notes in Computer Science, Seite 1-23. Springer, (2012)