Alexander Kurz

University of Leicester, UK

other persons with the same name:

• Alexander Kurz - TU München

	2009
35		Alexander Kurz, Marina Lenisa, Andrzej Tarlecki: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings Springer 2009
	2008
34		Clemens Kupke, Alexander Kurz, Yde Venema: Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217
33		Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. BCS Int. Acad. Conf. 2008: 128-140
32		Alexander Kurz, Daniela Petrisan: Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. Electr. Notes Theor. Comput. Sci. 203(5): 175-194 (2008)
	2007
31		Nick Bezhanishvili, Alexander Kurz: Free Modal Algebras: A Coalgebraic Perspective. CALCO 2007: 143-157
30		Neil Ghani, Alexander Kurz: Higher Dimensional Trees, Algebraically. CALCO 2007: 226-241
29		Alexander Kurz, Jirí Rosický: The Goldblatt-Thomason Theorem for Coalgebras. CALCO 2007: 342-355
28		Marcello M. Bonsangue, Alexander Kurz: Pi-Calculus in Logical Form. LICS 2007: 303-312
	2006
27		Marcello M. Bonsangue, Alexander Kurz: Presenting Functors by Operations and Equations. FoSSaCS 2006: 172-186
26		Alexander Kurz: Logic Column 15: Coalgebras and Their Logics CoRR abs/cs/0605128: (2006)
25		Alexander Kurz: Coalgebras and their logics. SIGACT News 37(2): 57-77 (2006)
	2005
24		Clemens Kupke, Alexander Kurz, Dirk Pattinson: Ultrafilter Extensions for Coalgebras. CALCO 2005: 263-277
23		Marcello M. Bonsangue, Alexander Kurz: Duality for Logics of Transition Systems. FoSSaCS 2005: 455-469
22		Alexander Kurz, Jirí Rosický: Weak Factorizations, Fractions and Homotopies. Applied Categorical Structures 13(2): 141-160 (2005)
21		Alexander Kurz, Jirí Rosický: Operations and equations for coalgebras. Mathematical Structures in Computer Science 15(1): 149-166 (2005)
20		Alexander Kurz, Dirk Pattinson: Coalgebraic modal logic of finite rank. Mathematical Structures in Computer Science 15(3): 453-473 (2005)
	2004
19		Thomas T. Hildebrandt, Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 100: 3- (2004)
18		Clemens Kupke, Alexander Kurz, Dirk Pattinson: Algebraic Semantics for Coalgebraic Logics. Electr. Notes Theor. Comput. Sci. 106: 219-241 (2004)
17		Alexander Kurz, Alessandra Palmigiano: Coalgebras and Modal Expansions of Logics. Electr. Notes Theor. Comput. Sci. 106: 243-259 (2004)
16		Clemens Kupke, Alexander Kurz, Yde Venema: Stone coalgebras. Theor. Comput. Sci. 327(1-2): 109-134 (2004)
	2003
15		Clemens Kupke, Alexander Kurz, Yde Venema: Stone Coalgebras. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
14		Michel Bidoit, Rolf Hennicker, Alexander Kurz: Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 3(298): 471-510 (2003)
	2002
13		Alexander Kurz: Logics Admitting Final Semantics. FoSSaCS 2002: 238-249
12		Alexander Kurz: Notions of Behaviour and Reachable-Part and Their Institutions. WADT 2002: 312-327
11		Alexander Kurz, Dirk Pattinson: Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
10		Alexander Kurz, Jirí Rosický: Modal Predicates and Co-equations. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
9		Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 68(1): (2002)
8		Alexander Kurz, Rolf Hennicker: On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280(1-2): 69-103 (2002)
	2001
7		Michel Bidoit, Rolf Hennicker, Alexander Kurz: On the Duality between Observability and Reachability. FoSSaCS 2001: 72-87
6		Alexander Kurz: Modal Rules are Co-Implications. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
5		Alexander Kurz: Specifying coalgebras with modal logic. Theor. Comput. Sci. 260(1-2): 119-138 (2001)
	2000
4		Alexander Kurz, Dirk Pattinson: Notes on Coalgebras, Cofibrations and Concurrency. Electr. Notes Theor. Comput. Sci. 33: (2000)
	1999
3		Rolf Hennicker, Alexander Kurz: (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. Electr. Notes Theor. Comput. Sci. 19: (1999)
	1998
2		Alexander Kurz: A Co-Variety-Theorem for Modal Logic. Advances in Modal Logic 1998: 367-380
1		Alexander Kurz: Specifying Coalgebras with Modal Logic. Electr. Notes Theor. Comput. Sci. 11: (1998)

Coauthor Index

1	Nick Bezhanishvili	[31]
2	Michel Bidoit	[7] [14]
3	Marcello M. Bonsangue	[23] [27] [28]
4	Corina Cîrstea	[33]
5	Neil Ghani	[30]
6	Rolf Hennicker	[3] [7] [8] [14]
7	Thomas T. Hildebrandt	[19]
8	Clemens Kupke	[15] [16] [18] [24] [34]
9	Marina Lenisa	[35]
10	Alessandra Palmigiano	[17]
11	Dirk Pattinson	[4] [11] [18] [20] [24] [33]
12	Daniela Petrisan	[32]
13	Jirí Rosický	[10] [21] [22] [29]
14	Lutz Schröder	[33]
15	Andrzej Tarlecki	[35]
16	Yde Venema	[15] [16] [33] [34]

Colors in the list of coauthors