Daniel Schwencke

发表

A New Method for Human Reliability Assessment in Railway Transport

Oliver Sträter, Karsten Lemmer, Birgit Milius, 2012 .

Influences on Human Reliability in Fallback Mode

Daniel Schwencke, Stefanie Schöne, 2014 .

CIA Structures and the Semantics of Recursion

Stefan Milius, Lawrence S. Moss, Daniel Schwencke, 2010, FoSSaCS.

Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems

Hardi Hungar, Mirko Caspar, Daniel Schwencke, 2017 .

Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion

Daniel Schwencke, 2013 .

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions

Stefan Milius, Lawrence S. Moss, Daniel Schwencke, 2013, Log. Methods Comput. Sci..

Complete Iterativity for Algebras with Effects

Stefan Milius, Daniel Schwencke, Thorsten Palm, 2009, CALCO.

Modeling Human-Machine Interaction for the Assessment of Human Reliability

Jan Grippenkoven, Karsten Lemmer, Daniel Schwencke, 2013 .

Coequational logic for accessible functors

Daniel Schwencke, 2010, Inf. Comput..

Coequational Logic for Finitary Functors

Daniel Schwencke, 2008, CMCS.

Influential Factors on Human Performance in Railways and their Interrelations

Karsten Lemmer, Birgit Milius, Tobias Lindner, 2013 .

A Category Theoretic View of Nondeterministic Recursive Program Schemes

Daniel Schwencke, 2011, CSL.

Integrating a Signaling Component Model into a Railway Simulation

Daniel Schwencke, D. Schwencke, 2018 .