Inhalt des Dokuments
Forschung
-
Artikel erschienen
Die ausführliche Version von "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 29.07.2020 in Information and Computation veröffentlicht (https://doi.org/10.1016/j.ic.2020.104608).
-
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%)