direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


  • Article accepted for publication

    The article "Distributability of Mobile Ambients" by Kirstin Peters and Uwe Nestmann has been accepted on 5 Dezember 2019 for publication in "a special issue of Information and Computation devoted to selected...

  • Article accepted for publication

    Article by Dr. Kirstin Peters, Benjamin Bisping and Uwe Nestmann "Coupled Similarity: The First 32 Years" has been accepted for publication in Acta Informatica Release date tba.

  • Article accepted (ICTAC 2019)

    Article "Taming Concurrency for Verification Using Multiparty Session Types" accepted at ICTAC 2019 (co-authors Kirstin Peters, Christoph Wagner and Uwe Nestmann) (rate 20/138, 14%)

  • Article accepted (TACAS 2019)

    Article "Computing Coupled Similarity" accepted at TACAS 2019 (Co-authors Benjamin Bisping and Uwe Nestmann) (Rate 29/119, 24%)

News 1 to 7 out of 16
<< First < Previous 1-7 8-14 15-16 Next > Last >>

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe