direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • TU Berlin ist Gastgeber von CONCUR 2017 [1]

    Die TU Berlin ist Gastgeber von CONCUR 2017 mit Uwe Nestmann als Mitvorsitzender.

  • Artikel akzeptiert (FORTE 2017) [2]

    Artikel "Session Types for Link Failures" akzeptiert für FORTE 2017 (Autoren: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Assoziiert mit DisCoTec 2017.

  • Artikel akzeptiert (FORTE 2015) [3]

    Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.

  • OPCT - Eingeladener Vortrag [4]

    Eingeladener Vortrag von Uwe Nestmann bei Open Problems in Concurrency Theory at the University Residential Center of Bertinoro, organisiert durch die IFIP WG 1.8 Concurrency Theory.

  • IFIP WG 2.2 Meeting 2013 - Eingeladener Vortrag [5]

    Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal an der Universidade Nove de Lisboa.

  • TRENDS 2013 - Eingeladener Vortrag [6]

    Eingeladener Vortrag von Uwe Nestmann bei TRENDS 2013, organisiert durch die IFIP WG 1.8 Concurrency Theory, im Rahmen der CONCUR 2013 in Buenos Aires.

  • Artikel akzeptiert (EXPRESS/SOS 2013) [7]

    Artikel "Adding Priority to Event Structures" akzeptiert für EXPRESS/SOS 2013 (Co-Autoren Youssef Arbach, Kirstin Peters, Uwe Nestmann)

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