Jirí Adámek

	2012
88		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
87		Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa: Well-Pointed Coalgebras (Extended Abstract). FoSSaCS 2012: 89-103
	2011
86		Jirí Adámek, Mahdieh Haddadi, Stefan Milius: From Corecursive Algebras to Corecursive Monads. CALCO 2011: 55-69
85		Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa: Power-Set Functors and Saturated Trees. CSL 2011: 5-19
84		Jirí Adámek, Stefan Milius, Jiri Velebil: Semantics of Higher-Order Recursion Schemes Logical Methods in Computer Science 7(1): (2011)
83		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)
82		Jirí Adámek, Vera Trnková: Initial algebras and terminal coalgebras in many-sorted sets. Mathematical Structures in Computer Science 21(2): 481-509 (2011)
81		Jirí Adámek, Stefan Milius, Jiri Velebil: On second-order iterative monads. Theor. Comput. Sci. 412(38): 4969-4988 (2011)
	2010
80		Jirí Adámek, Stefan Milius, Jiri Velebil: Recursive Program Schemes and Context-Free Monads. Electr. Notes Theor. Comput. Sci. 264(2): 3-23 (2010)
79		Jirí Adámek, Clemens Kupke: Preface. Inf. Comput. 208(12): 1305 (2010)
78		Jirí Adámek, Stefan Milius, Jiri Velebil: Equational properties of iterative monads. Inf. Comput. 208(12): 1306-1348 (2010)
77		Jirí Adámek, H. Peter Gumm, Vera Trnková: Presentation of Set Functors: A Coalgebraic Perspective. J. Log. Comput. 20(5): 991-1015 (2010)
76		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative reflections of monads. Mathematical Structures in Computer Science 20(3): 419-452 (2010)
	2009
75		Jirí Adámek, Horst Herrlich, George E. Strecker: Abstract and Concrete Categories - The Joy of Cats. Dover Publications 2009: 1-517
74		Jirí Adámek, Stefan Milius, Jiri Velebil: Semantics of Higher-Order Recursion Schemes. CALCO 2009: 49-63
73		Jirí Adámek, Stefan Milius, Jiri Velebil: A Description of Iterative Reflections of Monads (Extended Abstract). FOSSACS 2009: 152-166
72		Jirí Adámek, Michel Hébert, Lurdes Sousa: The Orthogonal Subcategory Problem and the Small Object Argument. Applied Categorical Structures 17(3): 211-246 (2009)
71		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)
70		Pavel Parizek, Jirí Adámek, Tomas Kalibera: Automated Construction of Reasonable Environment for Java Components. Electr. Notes Theor. Comput. Sci. 253(1): 145-160 (2009)
	2008
69		Pavel Parizek, Jirí Adámek: Checking Session-Oriented Interactions between Web Services. EUROMICRO-SEAA 2008: 3-10
68		Ales Plsek, Jirí Adámek: Carmen: Software Component Model Checker. QoSA 2008: 71-85
67		Jirí Adámek, Clemens Kupke: Preface. Electr. Notes Theor. Comput. Sci. 203(5): 1-2 (2008)
66		Jirí Adámek, Stefan Milius, Jiri Velebil: Bases for parametrized iterativity. Inf. Comput. 206(8): 966-1002 (2008)
65		Jirí Adámek, Stephen L. Bloom, Stefan Milius: On Algebras with Iteration. J. Log. Comput. 18(6): 1047-1085 (2008)
	2007
64		Jirí Adámek, Stefan Milius, Jiri Velebil: What Are Iteration Theories? MFCS 2007: 240-252
63		Jirí Adámek, Dominik Lücke, Stefan Milius: Recursive coalgebras of finitary functors. ITA 41(4): 447-462 (2007)
62		Jirí Adámek, Stefan Milius, Jiri Velebil: Algebras with parametrized iterativity. Theor. Comput. Sci. 388(1-3): 130-151 (2007)
	2006
61		Jirí Adámek: Addressing Unbounded Parallelism in Verification of Software Components. SNPD 2006: 49-56
60		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras CoRR abs/cs/0609040: (2006)
59		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 155: 87-109 (2006)
58		Jirí Adámek, Stefan Milius, Jiri Velebil: How Iterative are Iterative Algebras? Electr. Notes Theor. Comput. Sci. 164(1): 157-175 (2006)
57		Jirí Adámek, Stefan Milius: Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004. Inf. Comput. 204(4): 435-436 (2006)
56		Jirí Adámek, Stefan Milius: Terminal coalgebras and free iterative theories. Inf. Comput. 204(7): 1139-1172 (2006)
55		Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Algebras. Logical Methods in Computer Science 2(5): (2006)
54		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative algebras at work. Mathematical Structures in Computer Science 16(6): 1085-1131 (2006)
53		Jirí Adámek: The intersection of algebra and coalgebra. Theor. Comput. Sci. 366(1-2): 82-97 (2006)
	2005
52		Jirí Adámek: Algebra 'cap' Coalgebra = Presheaves. CALCO 2005: 67-82
51		Jirí Adámek: A Logic of Coequations. CSL 2005: 70-86
50		Vladimir Mencl, Frantisek Plasil, Jirí Adámek: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. IASTED Conf. on Software Engineering 2005: 193-201
49		Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative Algebras for a Base. Electr. Notes Theor. Comput. Sci. 122: 147-170 (2005)
48		Jirí Adámek, Frantisek Plasil: Component composition errors and update atomicity: static analysis. Journal of Software Maintenance 17(5): 363-377 (2005)
47		Jirí Adámek, Stefan Milius, Jiri Velebil: A general final coalgebra theorem. Mathematical Structures in Computer Science 15(3): 409-432 (2005)
	2004
46		Jirí Adámek, Frantisek Plasil: Partial Bindings of Components - Any Harm?. APSEC 2004: 632-639
45		Jirí Adámek, Frantisek Plasil: Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications 2004: 715-720
44		Jirí Adámek, Stefan Milius: Preface. Electr. Notes Theor. Comput. Sci. 106: 1-2 (2004)
43		Jirí Adámek, Stefan Milius, Jiri Velebil: From Iterative Algebras to Iterative Theories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 106: 3-24 (2004)
42		Jirí Adámek: On quasivarieties and varieties as categories. Studia Logica 78(1-2): 7-33 (2004)
41		Jirí Adámek, Hans-E. Porst: On tree coalgebras and coalgebra presentations. Theor. Comput. Sci. 311(1-3): 257-283 (2004)
40		Jirí Adámek, Stefan Milius, Jiri Velebil: On coalgebra based on classes. Theor. Comput. Sci. 316(1): 3-23 (2004)
	2003
39		Jirí Adámek: Static analysis of component systems using behavior protocols. OOPSLA Companion 2003: 116-117
38		Jirí Adámek, Stefan Milius, Jiri Velebil: Some Remarks on Finitary and Iterative Monads. Applied Categorical Structures 11(6): 521-541 (2003)
37		Jirí Adámek, Stefan Milius, Jiri Velebil: On coalgebra based on classes CoRR cs.LO/0306118: (2003)
36		Jirí Adámek: On a Description of Terminal Coalgebras and Iterative Theories. Electr. Notes Theor. Comput. Sci. 82(1): 1-16 (2003)
35		Jirí Adámek, Hans-E. Porst: On Varieties and Covarieties in a Category. Mathematical Structures in Computer Science 13(2): 201-232 (2003)
34		Jirí Adámek, Stefan Milius, Jiri Velebil: Free Iterative Theories: A Coalgebraic View. Mathematical Structures in Computer Science 13(2): 259-320 (2003)
33		Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann: Preface. Theor. Comput. Sci. 294(1/2): 1 (2003)
32		Jirí Adámek: On final coalgebras of continuous functors. Theor. Comput. Sci. 294(1/2): 3-29 (2003)
31		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
30		Jirí Adámek, Stefan Milius, Jiri Velebil: Parametric corecursion and completely iterative monads. FICS 2002: 2-5
29		Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen: Weak Factorization Systems and Topological Functors. Applied Categorical Structures 10(3): 237-249 (2002)
28		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)
27		Jirí Adámek, Stefan Milius, Jiri Velebil: On Rational Monads and Free Iterative Theories. Electr. Notes Theor. Comput. Sci. 69: 23-46 (2002)
26		Jirí Adámek: Final Coalgebras are Ideal Completions of Initial Algebras. J. Log. Comput. 12(2): 217-242 (2002)
25		Jirí Adámek, Michel Hébert, Jirí Rosický: On abstract data types presented by multiequations. Theor. Comput. Sci. 275(1-2): 427-462 (2002)
	2001
24		Jirí Adámek, Lurdes Sousa: Constructions of Solid Hulls. Applied Categorical Structures 9(1): 1-13 (2001)
23		Peter Aczel, Jirí Adámek, Jiri Velebil: A Coalgebraic View of Infinite Trees and Iteration. Electr. Notes Theor. Comput. Sci. 44(1): 1-26 (2001)
22		Jirí Adámek, Hans-E. Porst: From Varieties of Algebras to Covarieties of Coalgebras. Electr. Notes Theor. Comput. Sci. 44(1): 27-46 (2001)
	2000
21		Jirí Adámek, Francis Borceux: Morita Equivalence of Sketches. Applied Categorical Structures 8(3): 503-517 (2000)
	1997
20		Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický: Finitary Sketches. J. Symb. Log. 62(3): 699-707 (1997)
19		Jirí Adámek: A Categorical Generalization of Scott Domains. Mathematical Structures in Computer Science 7(5): 419-443 (1997)
	1995
18		Jirí Adámek: Recursive Data Types in Algebraically omega-Complete Categories Inf. Comput. 118(2): 181-190 (1995)
17		Jirí Adámek, Evelyn Nelson, Jan Reiterman: Continuous Algebras Revisited. J. Comput. Syst. Sci. 51(3): 460-471 (1995)
16		Jirí Adámek, Jirí Rosický: Finitary Sketches and Finitely Accessible Categories. Mathematical Structures in Computer Science 5(3): 315-322 (1995)
15		Jirí Adámek, Václav Koubek: On the Greatest Fixed Point of a Set Functor. Theor. Comput. Sci. 150(1): 57-75 (1995)
	1992
14		Jirí Adámek, Jirí Rosický: On orthogonal subcategories of locally presentable categories. Discrete Mathematics 108(1-3): 133-137 (1992)
	1991
13		Jirí Adámek: Foundations of coding - theory and applications of error-correcting codes with an introduction to cryptography and information theory. Wiley 1991: I-XIII, 1-336
	1986
12		Jirí Adámek, Jan Reiterman, Evelyn Nelson: Continuous Semilattices. Theor. Comput. Sci. 43: 293-313 (1986)
	1985
11		Jirí Adámek, Horst Herrlich: Cartesian Closed Categories, Quasitopoi and Topological Universes. Mathematical Foundations of Programming Semantics 1985: 20-41
	1983
10		Jirí Adámek: Theory of Mathematical Structures. Reidel 1983: I-X, 1-317
9		Jirí Adámek, Evelyn Nelson: Separately Continuous Algebras. Theor. Comput. Sci. 27: 225-231 (1983)
	1982
8		Jirí Adámek, Evelyn Nelson, Jan Reiterman: Tree Constructions of Free Continuous Algebras. J. Comput. Syst. Sci. 24(1): 114-146 (1982)
	1981
7		Jirí Adámek: Observability and Nerode Equivalence in Concrete C5ategories. FCT 1981: 1-15
	1979
6		Vera Trnková, Jirí Adámek: Tree-group automata. FCT 1979: 462-468
5		Jirí Adámek, Václav Koubek: Least Fixed Point of a Functor. J. Comput. Syst. Sci. 19(2): 163-178 (1979)
	1977
4		Jirí Adámek, Václav Koubek: Remarks on Fixed Points of Functors. FCT 1977: 199-205
3		Jirí Adámek, Vera Trnková: Recognizable and Regular Languages in a Category. FCT 1977: 206-211
2		Vera Trnková, Jirí Adámek: On Languages, Accepted by Machines in the Category of Sets. MFCS 1977: 523-531
	1975
1		Jirí Adámek: Automata and Categories: Finiteness Contra Minimality. MFCS 1975: 160-166

Coauthor Index

1	Peter Aczel	[23] [31]
2	Stephen L. Bloom	[65]
3	Filippo Bonchi	[88]
4	Francis Borceux	[21]
5	Martín Hötzel Escardó	[33]
6	H. Peter Gumm	[77]
7	Mahdieh Haddadi	[86]
8	Michel Hébert	[25] [72]
9	Horst Herrlich	[11] [29] [75]
10	Martin Hofmann	[33]
11	Mathias Hülsbusch	[88]
12	Peter T. Johnstone	[20]
13	Tomas Kalibera	[70]
14	Barbara König	[88]
15	Václav Koubek	[4] [5] [15]
16	Clemens Kupke	[67] [79]
17	Dominik Lücke	[63]
18	Johann A. Makowsky (Janos Makowsky)	[20]
19	Vladimir Mencl	[50]
20	Stefan Milius	[27] [28] [30] [31] [34] [37] [38] [40] [43] [44] [47] [49] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [65] [66] [71] [73] [74] [76] [78] [80] [81] [83] [84] [85] [86] [87] [88]
21	Lawrence S. Moss	[85] [87]
22	Evelyn Nelson	[8] [9] [12] [17]
23	Pavel Parizek	[69] [70]
24	Frantisek Plasil	[45] [46] [48] [50]
25	Ales Plsek	[68]
26	Hans-E. Porst	[22] [35] [41]
27	Jan Reiterman	[8] [12] [17]
28	Jirí Rosický	[14] [16] [20] [25] [29]
29	Alexandra Silva	[88]
30	Lurdes Sousa	[24] [72] [85] [87]
31	George E. Strecker	[75]
32	Walter Tholen	[29]
33	Vera Trnková	[2] [3] [6] [77] [82]
34	Jiri Velebil	[23] [27] [28] [30] [31] [34] [37] [38] [40] [43] [47] [49] [54] [55] [58] [59] [60] [62] [64] [66] [71] [73] [74] [76] [78] [80] [81] [83] [84]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page