Inhalt des Dokuments
zur Navigation
Forschung
-
Keynote bei SEFM 2022
Uwe Nestmann ist Keynote Speaker bei der Internationalen Konferenz Software Engineering and Formal Methods (SEFM 2022).
-
Artikel akzeptiert bei DisCoTec-Konferenz FORTE 2022
Der Artikel "Fault-Tolerant Multiparty Session Types" (Coautor:innen Kirstin Peters, Uwe Nestmann und Christoph Wagner) wurde zur Publikation bei der DisCoTec-Konferenz FORTE (Formal Techniques for Distributed...
-
Artikel akzeptiert für das "Journal of Theoretical Computer Science"
Der Artikel "On Distributability" (Coautor:innen Kirstin Peters, Uwe Nestmann, Anna Schmitt) wurde zur Veröffentlichung im "Journal of Theoretical Computer Science" akzeptiert.
-
CONCUR Test-of-Time Award
Der Artikel "Decoding Choice Encodings" von Uwe Nestmann und Benjamin C. Pierce aus dem Jahr 1996 erhält 25 Jahre nach seiner Publikation einen CONCUR Test-of-Time Award.
-
Artikel „A Game for Linear-time–Branching-time Spectroscopy“ erschienen
Der „A Game for Linear-time–Branching-time Spectroscopy“ von Benjamin Bisping (und Uwe Nestmann) ist bei TACAS 2021 (LNCS 12651) als Open-Access-Artikel erschienen: https://link.springer.com/chapter/10.1007/978-3-030-72016-2_1
-
Artikel akzeptiert bei ETAPS-Konferenz TACAS 2021
Der Artikel "A Game for Linear-time–Branching-time Spectroscopy" von Benjamin Bisping (und Uwe Nestmann) wurde zur Publikation bei der Konferenz TACAS (Tools and Algorithms for the Construction and Analysis of Systems)...
-
Artikel erschienen im "Journal of Information and Computation"
Die ausführliche Version von "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 29.11.2020 im Journal of Information and Computation veröffentlicht...