BibSonomy :: author :: Milius ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(53)

<< < 1 | 2 | 3 > >>

The Category Theoretic Solution of Recursive Program Schemes
Stefan Milius, and Lawrence S. Moss CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Elgot Algebras
Jirí Adámek, Stefan Milius, and Jiri Velebil CoRR (2006)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Sound and complete axiomatizations of coalgebraic language equivalence
Marcello M. Bonsangue, Stefan Milius, and Alexandra Silva CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On coalgebra based on classes
Jirí Adámek, Stefan Milius, and Jiri Velebil CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Power-Set Functors and Saturated Trees.
Jirí Adámek, Stefan Milius, Lawrence S. Moss, and Lurdes Sousa CSL, volume 12 of LIPIcs, page 5-19. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Sep 11, 2011, 12:00 AM
URL | BibTeX
On second-order iterative monads.
Jirí Adámek, Stefan Milius, and Jiri Velebil Theor. Comput. Sci. 412(38):4969-4988 (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
From Corecursive Algebras to Corecursive Monads.
Jirí Adámek, Mahdieh Haddadi, and Stefan Milius CALCO, volume 6859 of Lecture Notes in Computer Science, page 55-69. Springer, (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Formal Safety Analysis in Industrial Practice.
Ilyas Daskaya, Michaela Huhn, and Stefan Milius FMICS, volume 6959 of Lecture Notes in Computer Science, page 68-84. Springer, (2011)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Valid and invalid implementations of GOR secondary structure predictions.
L. B. Ellis, and R. P. Milius Computer Applications in the Biosciences 10(3):341-348 (1994)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.
Jirí Adámek, Stefan Milius, and Jiri Velebil Electr. Notes Theor. Comput. Sci. 65(1):1-28 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
On Rational Monads and Free Iterative Theories.
Jirí Adámek, Stefan Milius, and Jiri Velebil Electr. Notes Theor. Comput. Sci. (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
On Iteratable Endofunctors.
Stefan Milius Electr. Notes Theor. Comput. Sci. (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Free Iterative Theories: A Coalgebraic View.
Jirí Adámek, Stefan Milius, and Jiri Velebil Mathematical Structures in Computer Science 13(2):259-320 (2003)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Elgot theories: a new perspective on the equational properties of iteration.
Jirí Adámek, Stefan Milius, and Jiri Velebil Mathematical Structures in Computer Science 21(2):417-480 (2011)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Semantics of Higher-Order Recursion Schemes
Jirí Adámek, Stefan Milius, and Jiri Velebil Logical Methods in Computer Science (2011)
to dblp by dblp on Jun 6, 2011, 12:00 AM
URL | BibTeX
Coalgebras, monads and semantics.
Stefan Milius TU Braunschweig, (2005)
to dblp by dblp on Mar 23, 2011, 12:00 AM
BibTeX
Equational properties of iterative monads.
Jirí Adámek, Stefan Milius, and Jiri Velebil Inf. Comput. 208(12):1306-1348 (2010)
to dblp by dblp on Nov 21, 2010, 12:00 AM
URL | BibTeX
Recursive Program Schemes and Context-Free Monads.
Jirí Adámek, Stefan Milius, and Jiri Velebil Electr. Notes Theor. Comput. Sci. 264(2):3-23 (2010)
to dblp by dblp on Oct 8, 2010, 12:00 AM
URL | BibTeX
Iterative reflections of monads.
Jirí Adámek, Stefan Milius, and Jiri Velebil Mathematical Structures in Computer Science 20(3):419-452 (2010)
to dblp by dblp on Sep 15, 2010, 12:00 AM
URL | BibTeX
A Sound and Complete Calculus for Finite Stream Circuits.
Stefan Milius LICS, page 421-430. IEEE Computer Society, (2010)
to dblp by dblp on Sep 15, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100