direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • 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 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 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...

News 1 bis 7 von 64
<< Erste < Vorherige 1-7 8-14 15-21 22-28 29-35 36-42 43-49 Nächste > Letzte >>

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe