Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼
 

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

Dipl.-Math.

David S. Karcher

 

 Contact


Address:

Technische Universität Berlin

Fachgebiet Modelle und Theorie Verteilter Systeme Berlin

Ernst-Reuter-Platz 7

10587 Berlin

Raum: TEL 708

Phone:

+49-30-314-24169

Fax:

+49-30-314-73750

Homepage: david_s_karcher

E-Mail:

karcher(at)soamed.de

Education


Member at SOAEMD: July 01, 2013

2002 - 2011

Mathematics Study minor subject Computer Science at  Freie Universität Berlin

Title of Diploma Thesis:

"Die parametrisierte Komplexität des Problems des Museumswächters"

1993 - 2002

University-Entrance Diploma at Evangelischen Gymnasium zum Grauen Kloster in Berlin

Publication


2015

Youssef Arbach, David Karcher, Kristin Peters, Uwe Nestmann:

"Dynamic Causality in Event Structures"

In: Formal Techniques for Distributed Objects, Components and Systems, Volumne 9039 of the series, Lecture Notes in Computer Sciences pp 83-97.

2015

David Karcher, Uwe Nestmann:

"Higher-Order Dynamics in Event Structures"

In: Theoretical Aspects of Computing – ICTAC 2015, Volumne 9399 of the series, Lecture Notes in Computer Science pp 258-271