Stefan Milius

	2012
51		Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva: A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73
50		Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa: Well-Pointed Coalgebras (Extended Abstract). FoSSaCS 2012: 89-103
	2011
49		Jirí Adámek, Mahdieh Haddadi, Stefan Milius: From Corecursive Algebras to Corecursive Monads. CALCO 2011: 55-69
48		Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa: Power-Set Functors and Saturated Trees. CSL 2011: 5-19
47		Ilyas Daskaya, Michaela Huhn, Stefan Milius: Formal Safety Analysis in Industrial Practice. FMICS 2011: 68-84
46		Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence CoRR abs/1104.2803: (2011)
45		Jirí Adámek, Stefan Milius, Jiri Velebil: Semantics of Higher-Order Recursion Schemes Logical Methods in Computer Science 7(1): (2011)
44		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot theories: a new perspective on the equational properties of iteration. Mathematical Structures in Computer Science 21(2): 417-480 (2011)
43		Jirí Adámek, Stefan Milius, Jiri Velebil: On second-order iterative monads. Theor. Comput. Sci. 412(38): 4969-4988 (2011)
	2010
42		Stefan Milius, Lawrence S. Moss, Daniel Schwencke: CIA Structures and the Semantics of Recursion. FOSSACS 2010: 312-327
41		Stefan Milius: A Sound and Complete Calculus for Finite Stream Circuits. LICS 2010: 421-430
40		Jirí Adámek, Stefan Milius, Jiri Velebil: Recursive Program Schemes and Context-Free Monads. Electr. Notes Theor. Comput. Sci. 264(2): 3-23 (2010)
39		Jirí Adámek, Stefan Milius, Jiri Velebil: Equational properties of iterative monads. Inf. Comput. 208(12): 1306-1348 (2010)
38		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative reflections of monads. Mathematical Structures in Computer Science 20(3): 419-452 (2010)
	2009
37		Stefan Milius, Thorsten Palm, Daniel Schwencke: Complete Iterativity for Algebras with Effects. CALCO 2009: 34-48
36		Jirí Adámek, Stefan Milius, Jiri Velebil: Semantics of Higher-Order Recursion Schemes. CALCO 2009: 49-63
35		Jirí Adámek, Stefan Milius, Jiri Velebil: A Description of Iterative Reflections of Monads (Extended Abstract). FOSSACS 2009: 152-166
34		Stefan Milius, Lawrence S. Moss: The Category Theoretic Solution of Recursive Program Schemes CoRR abs/0904.2385: (2009)
33		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 249: 407-427 (2009)
	2008
32		Stefan Milius, Uwe Steinke: Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung. MBEES 2008: 68-77
31		Jirí Adámek, Stefan Milius, Jiri Velebil: Bases for parametrized iterativity. Inf. Comput. 206(8): 966-1002 (2008)
30		Jirí Adámek, Stephen L. Bloom, Stefan Milius: On Algebras with Iteration. J. Log. Comput. 18(6): 1047-1085 (2008)
29		Stefan Milius, Lawrence S. Moss: Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]. Theor. Comput. Sci. 403(2-3): 409-415 (2008)
	2007
28		Jirí Adámek, Stefan Milius, Jiri Velebil: What Are Iteration Theories? MFCS 2007: 240-252
27		Jirí Adámek, Dominik Lücke, Stefan Milius: Recursive coalgebras of finitary functors. ITA 41(4): 447-462 (2007)
26		Jirí Adámek, Stefan Milius, Jiri Velebil: Algebras with parametrized iterativity. Theor. Comput. Sci. 388(1-3): 130-151 (2007)
	2006
25		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras CoRR abs/cs/0609040: (2006)
24		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 155: 87-109 (2006)
23		Jirí Adámek, Stefan Milius, Jiri Velebil: How Iterative are Iterative Algebras? Electr. Notes Theor. Comput. Sci. 164(1): 157-175 (2006)
22		Jirí Adámek, Stefan Milius: Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004. Inf. Comput. 204(4): 435-436 (2006)
21		Jirí Adámek, Stefan Milius: Terminal coalgebras and free iterative theories. Inf. Comput. 204(7): 1139-1172 (2006)
20		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras. Logical Methods in Computer Science 2(5): (2006)
19		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative algebras at work. Mathematical Structures in Computer Science 16(6): 1085-1131 (2006)
18		Stefan Milius, Lawrence S. Moss: The category-theoretic solution of recursive program schemes. Theor. Comput. Sci. 366(1-2): 3-59 (2006)
	2005
17		Stefan Milius, Lawrence S. Moss: The Category Theoretic Solution of Recursive Program Schemes. CALCO 2005: 293-312
16		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative Algebras for a Base. Electr. Notes Theor. Comput. Sci. 122: 147-170 (2005)
15		Stefan Milius: Completely iterative algebras and completely iterative monads. Inf. Comput. 196(1): 1-41 (2005)
14		Jirí Adámek, Stefan Milius, Jiri Velebil: A general final coalgebra theorem. Mathematical Structures in Computer Science 15(3): 409-432 (2005)
13		Stefan Milius: Coalgebras, monads and semantics. TU Braunschweig 2005
	2004
12		Jirí Adámek, Stefan Milius: Preface. Electr. Notes Theor. Comput. Sci. 106: 1-2 (2004)
11		Jirí Adámek, Stefan Milius, Jiri Velebil: From Iterative Algebras to Iterative Theories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 106: 3-24 (2004)
10		Jirí Adámek, Stefan Milius, Jiri Velebil: On coalgebra based on classes. Theor. Comput. Sci. 316(1): 3-23 (2004)
	2003
9		Stefan Milius: On Colimits in Categories of Relations. Applied Categorical Structures 11(3): 287-312 (2003)
8		Jirí Adámek, Stefan Milius, Jiri Velebil: Some Remarks on Finitary and Iterative Monads. Applied Categorical Structures 11(6): 521-541 (2003)
7		Jirí Adámek, Stefan Milius, Jiri Velebil: On coalgebra based on classes CoRR cs.LO/0306118: (2003)
6		Jirí Adámek, Stefan Milius, Jiri Velebil: Free Iterative Theories: A Coalgebraic View. Mathematical Structures in Computer Science 13(2): 259-320 (2003)
5		Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil: Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. 300(1-3): 1-45 (2003)
	2002
4		Jirí Adámek, Stefan Milius, Jiri Velebil: Parametric corecursion and completely iterative monads. FICS 2002: 2-5
3		Jirí Adámek, Stefan Milius, Jiri Velebil: Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. Electr. Notes Theor. Comput. Sci. 65(1): 1-28 (2002)
2		Jirí Adámek, Stefan Milius, Jiri Velebil: On Rational Monads and Free Iterative Theories. Electr. Notes Theor. Comput. Sci. 69: 23-46 (2002)
1		Stefan Milius: On Iteratable Endofunctors. Electr. Notes Theor. Comput. Sci. 69: 287-304 (2002)

Coauthor Index

1	Peter Aczel	[5]
2	Jirí Adámek	[2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [14] [16] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [33] [35] [36] [38] [39] [40] [43] [44] [45] [48] [49] [50] [51]
3	Stephen L. Bloom	[30]
4	Filippo Bonchi	[51]
5	Marcello M. Bonsangue	[46]
6	Ilyas Daskaya	[47]
7	Mahdieh Haddadi	[49]
8	Michaela Huhn	[47]
9	Mathias Hülsbusch	[51]
10	Barbara König	[51]
11	Dominik Lücke	[27]
12	Lawrence S. Moss	[17] [18] [29] [34] [42] [48] [50]
13	Thorsten Palm	[37]
14	Daniel Schwencke	[37] [42]
15	Alexandra Silva	[46] [51]
16	Lurdes Sousa	[48] [50]
17	Uwe Steinke	[32]
18	Jiri Velebil	[2] [3] [4] [5] [6] [7] [8] [10] [11] [14] [16] [19] [20] [23] [24] [25] [26] [28] [31] [33] [35] [36] [38] [39] [40] [43] [44] [45]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page