David S. Karcher

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Lambda Calculus

Dynamic Characteristics

Event Detection

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Log. Methods Comput. Sci.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. CoRR (2018)
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. Log. Methods Comput. Sci. 14 (1) (2018)
David S. Karcher, Uwe Nestmann
Higher-Order Dynamics in Event Structures. ICTAC (2015)
David S. Karcher
Dynamic Event Structures and Concurrency. Joint Workshop of the German Research Training Groups in Computer Science (2014)