direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert (EXPRESS 2011)

    Artikel "Synchrony vs Causality in Asynchronous Petri Nets" akzeptiert für 18th International Workshop on Expressiveness in Concurrency (Co-Autoren Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz)

  • Artikel akzeptiert (FORMATS 2011)

    Artikel "Rigorous Discretization of Hybrid Systems Using Process Calculi" akzeptiert für 9th International Conference on Formal Modeling and Analysis of Timed Systems (Co-Autoren Sven Schneider, Uwe Nestmann)

  • Artikel akzeptiert (INFORMATIK 2011)

    Artikel "Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen" akzeptiert für den GI-Workshop Datenmanagement und Interoperabilität im Gesundheitswesen auf der GI-Jahrestagung...

  • Artikel akzeptiert (TASE 2011)

    Artikel "Java goes TLA+" akzeptiert für die 5th IEEE International Conference on Theoretical Aspects of Software Engineering (Co-Autoren Hannes Lau, Uwe Nestmann)

  • GI-Informatiktage

    Tsvetelina Yonova-Karbe präsentiert — auf Einladung — die Ergebnisse ihrer Bachelorarbeit "Formal Description and Analysis of Distributed Online Collaboration Platforms" auf einer Postersession während...

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe