direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • EPRESS/SOS 2020 - Programmkomitee [1]

    Uwe Nestmann wurde ins Programmkomitee zur EXPRESS/SOS eingeladen.

  • Artikel zur Veröffentlichung akzeptiert [2]

    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 [3]

    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 [4]

    Uwe Nestmann wurde ins Programmkomitee zur ABZ 2020 eingeladen.

  • Artikel akzeptiert (EXPRESS/SOS 2019) [5]

    Artikel "Immediate Observation in Mediated Population Protocols” akzeptiert bei EXPRESS/SOS 2019 (Co-Autoren Tobias Prehn und Myron Rotter)

  • Artikel akzeptiert (TACAS 2019) [6]

    Artikel "Computing Coupled Similarity” akzeptiert bei TACAS 2019 (Co-Autoren Benjamin Bisping und Uwe Nestmann)(Rate 29/119, 24%)

  • Artikel akzeptiert (ICTAC 2019) [7]

    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%)

News 1 bis 7 von 59
<< Erste < Vorherige 1-7 8-14 [8] 15-21 [9] 22-28 [10] 29-35 [11] 36-42 [12] 43-49 [13] Nächste > [14] Letzte >> [15]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008