direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert (TACAS 2019)

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

  • Artikel Akzeptiert (ICTAC 2019)

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

  • FORTE 2019 - Programmkomitee

    Uwe Nestmann wurde zum Programmkomitee von FORTE 2019, eine der drei Konferenzen der  DisCoTec 2019, the 14th International Federated Conference on Distributed Computing Techniques, eingeladen.

News 1 bis 7 von 56
<< 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