| | |
University of Leicester, UK
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 53 |      | Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto: On Nominal Regular Languages with Binders. FoSSaCS 2012: 255-269 |
| 2011 | ||
| 52 | | Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil: Relation Liftings on Preorders and Posets. CALCO 2011: 115-129 |
| 51 | | Adriana Balan, Alexander Kurz: Finitary Functors: From Set to Preord and Poset. CALCO 2011: 85-99 |
| 50 | | Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto: Towards Nominal Formal Languages CoRR abs/1102.3174: (2011) |
| 49 | | Christian Kissig, Alexander Kurz: Generic Trace Logics CoRR abs/1103.3239: (2011) |
| 48 | | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema: Modal Logics are Coalgebraic. Comput. J. 54(1): 31-41 (2011) |
| 47 | | Ernst-Erich Doberkat, Alexander Kurz: Foreword: special issue on coalgebraic logic. Mathematical Structures in Computer Science 21(2): 171-174 (2011) |
| 46 | | Jiri Velebil, Alexander Kurz: Equational presentations of functors and monads. Mathematical Structures in Computer Science 21(2): 363-381 (2011) |
| 45 | | Adriana Balan, Alexander Kurz: On coalgebras over algebras. Theor. Comput. Sci. 412(38): 4989-5005 (2011) |
| 2010 | ||
| 44 | | Alexander Kurz, Yde Venema: Coalgebraic Lindströom Theorems. Advances in Modal Logic 2010: 292-309 |
| 43 | | Alexander Kurz, Daniela Petrisan, Jiri Velebil: Algebraic Theories over Nominal Sets CoRR abs/1006.3027: (2010) |
| 42 | | Adriana Balan, Alexander Kurz: On Coalgebras over Algebras. Electr. Notes Theor. Comput. Sci. 264(2): 47-62 (2010) |
| 41 | | Vincenzo Ciancia, Alexander Kurz, Ugo Montanari: Families of Symmetries as Efficient Models of Resource Binding. Electr. Notes Theor. Comput. Sci. 264(2): 63-81 (2010) |
| 40 | | Alexander Kurz, Daniela Petrisan: Presenting functors on many-sorted varieties and applications. Inf. Comput. 208(12): 1421-1446 (2010) |
| 39 | | Alexander Kurz, Alessandra Palmigiano, Yde Venema: Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20(5): 985-990 (2010) |
| 38 | | Alexander Kurz, Daniela Petrisan: On universal algebra over nominal sets. Mathematical Structures in Computer Science 20(2): 285-318 (2010) |
| 37 | | Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz: Bitopological duality for distributive lattices and Heyting algebras. Mathematical Structures in Computer Science 20(3): 359-393 (2010) |
| 2009 | ||
| 36 | | 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 |
| 35 | | Alexander Kurz, Raul Andres Leal: Equational Coalgebraic Logic. Electr. Notes Theor. Comput. Sci. 249: 333-356 (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): 170-190 (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): 135-155 (2002) |
| 10 | | Alexander Kurz, Jirí Rosický: Modal Predicates and Co-equations. Electr. Notes Theor. Comput. Sci. 65(1): 156-175 (2002) |
| 9 | | Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 68(1): 86 (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): 241-253 (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: 196-229 (2000) |
| 1999 | ||
| 3 | | Rolf Hennicker, Alexander Kurz: (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. Electr. Notes Theor. Comput. Sci. 19: 164-180 (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: 56-70 (1998) |
| 1 | Adriana Balan | [42] [45] [51] |
| 2 | Guram Bezhanishvili | [37] |
| 3 | Nick Bezhanishvili | [31] [37] |
| 4 | Michel Bidoit | [7] [14] |
| 5 | Marta Bílková | [52] |
| 6 | Marcello M. Bonsangue | [23] [27] [28] |
| 7 | Vincenzo Ciancia | [41] |
| 8 | Corina Cîrstea | [33] [48] |
| 9 | Ernst-Erich Doberkat | [47] |
| 10 | David Gabelaia | [37] |
| 11 | Neil Ghani | [30] |
| 12 | Rolf Hennicker | [3] [7] [8] [14] |
| 13 | Thomas T. Hildebrandt | [19] |
| 14 | Christian Kissig | [49] |
| 15 | Clemens Kupke | [15] [16] [18] [24] [34] |
| 16 | Raul Andres Leal | [35] |
| 17 | Marina Lenisa | [36] |
| 18 | Ugo Montanari | [41] |
| 19 | Alessandra Palmigiano | [17] [39] |
| 20 | Dirk Pattinson | [4] [11] [18] [20] [24] [33] [48] |
| 21 | Daniela Petrisan | [32] [38] [40] [43] [52] |
| 22 | Jirí Rosický | [10] [21] [22] [29] |
| 23 | Lutz Schröder | [33] [48] |
| 24 | Tomoyuki Suzuki | [50] [53] |
| 25 | Andrzej Tarlecki | [36] |
| 26 | Emilio Tuosto | [50] [53] |
| 27 | Jiri Velebil | [43] [46] [52] |
| 28 | Yde Venema | [15] [16] [33] [34] [39] [44] [48] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page