Page Content
Research
-
EXPRESS/SOS 2020 - Program Committee
Uwe Nestmann was invited to the program committee for EXPRESS/SOS 2020.
-
Article accepted for publication
The article "Distributability of Mobile Ambients" by Kirstin Peters and Uwe Nestmann has been accepted on 5 Dezember 2019 for publication in "a special issue of Information and Computation devoted to selected...
-
Article accepted for publication
Article by Dr. Kirstin Peters, Benjamin Bisping and Uwe Nestmann "Coupled Similarity: The First 32 Years" has been accepted for publication in Acta Informatica Release date tba.
-
ABZ 2020 - Program Committee
Uwe Nestmann was invited to the program committee for ABZ 2020.
-
Article accepted (EXPRESS / SOS 2019)
Article "Immediate Observation in Mediated Population Protocols" accepted at EXPRESS / SOS 2019 (co-authors Tobias Prehn and Myron Rotter)
-
Article accepted (ICTAC 2019)
Article "Taming Concurrency for Verification Using Multiparty Session Types" accepted at ICTAC 2019 (co-authors Kirstin Peters, Christoph Wagner and Uwe Nestmann) (rate 20/138, 14%)
-
Article accepted (TACAS 2019)
Article "Computing Coupled Similarity" accepted at TACAS 2019 (Co-authors Benjamin Bisping and Uwe Nestmann) (Rate 29/119, 24%)