direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

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

  • Artikel zur Veröffentlichung akzeptiert

    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.

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

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