Daniel Schwencke

According to our database, Daniel Schwencke authored at least 9 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Integrating a Signaling Component Model into a Railway Simulation.

Daniel Schwencke

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV, 2018

2017

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

Daniel Schwencke, Hardi Hungar, Mirko Caspar

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIII, 2017

2014

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

Daniel Schwencke

PhD thesis, 2014

2013

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Log. Methods Comput. Sci., 2013

2011

A Category Theoretic View of Nondeterministic Recursive Program Schemes.

Daniel Schwencke

Proceedings of the Computer Science Logic, 2011

2010

Coequational logic for accessible functors.

Daniel Schwencke

Inf. Comput., 2010

CIA Structures and the Semantics of Recursion.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Complete Iterativity for Algebras with Effects.

Stefan Milius, Thorsten Palm, Daniel Schwencke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Coequational Logic for Finitary Functors.

Daniel Schwencke

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008