direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert (STM'10)

    Artikel "Defamation-Free Networks through User-Centered Data Control" akzeptiert (Rate 17/39) für den 6th International Workshop on Security and Trust Management (Co-Autoren Nadim Sarrouh, Florian Eilers, Uwe...

  • Artikel akzeptiert (EXPRESS'10)

    Artikel "Breaking Symmetries" akzeptiert (Rate 10/22) für den 17th International Workshop on Expressiveness in Concurrency (Co-Autoren Kirstin Peters, Uwe Nestmann).

  • DFG bewilligt Forschungsprojekt SAS

    Die DFG bewilligt das Forschungsprojekt "Synchrone und Asynchrone Interaktion in Verteilten Systemen" (SAS) für 24 Monate.  Das Projekt ist eine Kooperation mit dem Institut für Programmierung und...

  • ETAPS 2010 - Eingeladenes Tutorial

    Eingeladenes Tutorial von Uwe Nestmann zum Thema "The DisCoVeri continues ... (On the Application of Concurrency Theory to Fault-Tolerant Distributed Algorithms)" bei ETAPS 2010.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe