Stefan Milius

Oliver Möller

Proceedings of the Computer Safety, Reliability, and Security, 2012

A framework for formal verification of systems of synchronous components.

[BibT_eX]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Coproducts of Monads on Set.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Well-Pointed Coalgebras (Extended Abstract).

[BibT_eX]

[DOI]

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

A Coalgebraic Perspective on Minimization and Determinization.

[BibT_eX]

[DOI]

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

On Finitary Functors and Their Presentations.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

On second-order iterative monads.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Elgot theories: a new perspective on the equational properties of iteration.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Semantics of Higher-Order Recursion Schemes

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Formal Safety Analysis in Industrial Practice.

[BibT_eX]

[DOI]

Ilyas Daskaya

Michaela Huhn

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Power-Set Functors and Saturated Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

From Corecursive Algebras to Corecursive Monads.

[BibT_eX]

[DOI]

Mahdieh Haddadi

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Iterative reflections of monads.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

Equational properties of iterative monads.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Recursive Program Schemes and Context-Free Monads.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

A Sound and Complete Calculus for Finite Stream Circuits.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

CIA Structures and the Semantics of Recursion.

[BibT_eX]

[DOI]

Daniel Schwencke

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

2009

Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

A Description of Iterative Reflections of Monads (Extended Abstract).

[BibT_eX]

[DOI]

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

Complete Iterativity for Algebras with Effects.

[BibT_eX]

[DOI]

Thorsten Palm

Daniel Schwencke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59].

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

On Algebras with Iteration.

[BibT_eX]

[DOI]

Stephen L. Bloom

J. Log. Comput., 2008

Bases for parametrized iterativity.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung.

[BibT_eX]

[DOI]

Uwe Steinke

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2007

Algebras with parametrized iterativity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Recursive coalgebras of finitary functors.

[BibT_eX]

[DOI]

Dominik Lücke

RAIRO Theor. Informatics Appl., 2007

What Are Iteration Theories?

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

2006

The category-theoretic solution of recursive program schemes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Iterative algebras at work.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Elgot Algebras.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

Terminal coalgebras and free iterative theories.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004.

[BibT_eX]

[DOI]

Inf. Comput., 2006

How Iterative are Iterative Algebras?

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2005

A general final coalgebra theorem.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Completely iterative algebras and completely iterative monads.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Elgot Algebras: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Koalgebren Monaden und Semantik.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2005, 2005

Coalgebras, monads and semantics.

[BibT_eX]

[DOI]

PhD thesis, 2005

2004

On coalgebra based on classes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Iterative Algebras for a Base.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

From Iterative Algebras to Iterative Theories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003

Infinite trees and completely iterative theories: a coalgebraic view.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Free Iterative Theories: A Coalgebraic View.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

On Colimits in Categories of Relations.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2003

Some Remarks on Finitary and Iterative Monads.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2003

2002

On Iteratable Endofunctors.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 2002

On Rational Monads and Free Iterative Theories.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 2002

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Parametric corecursion and completely iterative monads.

[BibT_eX]