Inhalt des Dokuments
Forschung
-
EPRESS/SOS 2020 - Programmkomitee
Uwe Nestmann wurde ins Programmkomitee zur EXPRESS/SOS eingeladen.
-
Artikel zur Veröffentlichung akzeptiert
Der Artikel "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 5.12.2019 für die Publikation in einer speziellen Ausgabe von Information and Computation, die ausgewählten Arbeiten...
-
Artikel zur Veröffentlichung akzeptiert
Artikel von Dr. Kirstin Peters, Benjamin Bisping und Uwe Nestmann "Coupled Similarity: The First 32 Years" wurde für die Veröffentlichung in Acta Informatica akzeptiert. Veröffentlichungsdatum tba.
-
ABZ 2020 - Programmkomitee
Uwe Nestmann wurde ins Programmkomitee zur ABZ 2020 eingeladen.
-
Artikel akzeptiert (EXPRESS/SOS 2019)
Artikel "Immediate Observation in Mediated Population Protocols” akzeptiert bei EXPRESS/SOS 2019 (Co-Autoren Tobias Prehn und Myron Rotter)
-
Artikel akzeptiert (TACAS 2019)
Artikel "Computing Coupled Similarity” akzeptiert bei TACAS 2019 (Co-Autoren Benjamin Bisping und Uwe Nestmann)(Rate 29/119, 24%)
-
Artikel akzeptiert (ICTAC 2019)
Artikel "Taming Concurrency for Verification Using Multiparty Session Types” akzeptiert bei ICTAC 2019 (Co-Autoren Kirstin Peters, Christoph Wagner und Uwe Nestmann)(Rate 20/138, 14%)