Follow
David S. Karcher
David S. Karcher
research assitant TU Berlin
Verified email at tu-berlin.de
Title
Cited by
Cited by
Year
Dynamic causality in event structures
Y Arbach, DS Karcher, K Peters, U Nestmann
Logical Methods in Computer Science 14, 2018
302018
Dynamic causality in event structures (technical report)
Y Arbach, D Karcher, K Peters, U Nestmann
arXiv preprint arXiv:1504.00512, 2015
32015
Higher-order dynamics in event structures
DS Karcher, U Nestmann
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
32015
Event Structures With Higher-Order Dynamics/Ereignisstrukturen mit Dynamik höherer Ordnung
DS Karcher
Technische Universitaet Berlin (Germany), 2019
2019
Event structures with higher-order dynamics
DS Karcher
PQDT-Global, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5