Alexander Kurz

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Venues

CoRR

Log. Methods Comput. Sci.

CALCO

J. Log. Comput.

Publications

Alexander Kurz, Wolfgang Poiger, Bruno Teheux
Many-valued coalgebraic logic over semi-primal varieties. Log. Methods Comput. Sci. 20 (3) (2024)
Samuel Balco, Alexander Kurz
Completeness of Nominal PROPs. Log. Methods Comput. Sci. 19 (1) (2023)
Adriana Balan, Alexander Kurz
An equational approach to enriched distributivity. CoRR (2021)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. AiML (2020)
Samuel Balco, Alexander Kurz
Completeness of Nominal PROPs. CoRR (2020)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. CoRR (2020)
Samuel Balco, Alexander Kurz
Nominal String Diagrams. CALCO (2019)
Hao Zeng, Alexander Kurz, Emilio Tuosto
Interface Automata for Choreographies. ICE (2019)
Samuel Balco, Alexander Kurz
Nominal String Diagrams. CoRR (2019)
Alexander Kurz, M. Andrew Moshier, Achim Jung
Stone Duality for Relations. CoRR (2019)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. Log. Methods Comput. Sci. 15 (1) (2019)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP (2018)
Fredrik Dahlqvist, Alexander Kurz
The positivication of coalgebraic logics. CoRR (2018)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. CoRR (2018)
Fredrik Dahlqvist, Alexander Kurz
The Positivication of Coalgebraic Logics. CALCO (2017)
Ernst-Erich Doberkat, Alexander Kurz
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 27 (7) (2017)
Alexander Kurz, Jiri Velebil
Quasivarieties and varieties of ordered algebras: regularity and exactness. Math. Struct. Comput. Sci. 27 (7) (2017)
Adriana Balan, Alexander Kurz, Jiri Velebil
An institutional approach to positive coalgebraic logic. J. Log. Comput. 27 (6) (2017)
Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
Features of Agent-based Models. GaM@ETAPS (2017)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool support for reasoning in display calculi. CoRR (2016)
Octavian Babus, Alexander Kurz
On the Logic of Generalised Metric Spaces. CMCS (2016)
Alexander Kurz, Jiri Velebil
Relation lifting, a survey. J. Log. Algebraic Methods Program. 85 (4) (2016)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive fragments of coalgebraic logics. Log. Methods Comput. Sci. 11 (3) (2015)
Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042). Dagstuhl Reports 5 (1) (2015)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extensions of Functors From Set to V-cat. CALCO (2015)
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO (2015)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. Log. Methods Comput. Sci. 11 (3) (2015)
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Simplified Coalgebraic Trace Equivalence. Software, Services, and Systems (2015)
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Simplified Coalgebraic Trace Equivalence. CoRR (2014)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive Fragments of Coalgebraic Logics. CALCO (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic Epistemic Logic Displayed. LORI (2013)
Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts
Nominal Computation Theory (Dagstuhl Seminar 13422). Dagstuhl Reports 3 (10) (2013)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Log. Methods Comput. Sci. 9 (4) (2013)
Alexander Kurz, Alessandra Palmigiano
Epistemic Updates on Algebras. Log. Methods Comput. Sci. 9 (4) (2013)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. CoRR (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL (2013)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. CALCO (2013)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9 (4) (2013)
Alexander Kurz, Jiri Velebil
Enriched Logical Connections. Appl. Categorical Struct. 21 (4) (2013)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness for the coalgebraic cover modality Log. Methods Comput. Sci. 8 (3) (2012)
Alexander Kurz, Raul Andres Leal
Modalities in the Stone age: A comparison of coalgebraic logics. Theor. Comput. Sci. 430 (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
On Nominal Regular Languages with Binders. FoSSaCS (2012)
Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil
Expressiveness of Positive Coalgebraic Logic. Advances in Modal Logic (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. IFIP TCS (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets CoRR (2012)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS (2012)
Alexander Kurz, Jirí Rosický
Strongly Complete Logics for Coalgebras Log. Methods Comput. Sci. 8 (3) (2012)
Ernst-Erich Doberkat, Alexander Kurz
Coalgebraic Logics (Dagstuhl Seminar 12411). Dagstuhl Reports 2 (10) (2012)
Adriana Balan, Alexander Kurz
On coalgebras over algebras. Theor. Comput. Sci. 412 (38) (2011)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets. CALCO (2011)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. Comput. J. 54 (1) (2011)
Ernst-Erich Doberkat, Alexander Kurz
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 21 (2) (2011)
Adriana Balan, Alexander Kurz
Finitary Functors: From Set to Preord and Poset. CALCO (2011)
Jiri Velebil, Alexander Kurz
Equational presentations of functors and monads. Math. Struct. Comput. Sci. 21 (2) (2011)
Christian Kissig, Alexander Kurz
Generic Trace Logics CoRR (2011)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Towards Nominal Formal Languages CoRR (2011)
Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Families of Symmetries as Efficient Models of Resource Binding. CMCS (2010)
Alexander Kurz, Alessandra Palmigiano, Yde Venema
Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20 (5) (2010)
Alexander Kurz, Daniela Petrisan
Presenting functors on many-sorted varieties and applications. Inf. Comput. 208 (12) (2010)
Alexander Kurz, Daniela Petrisan, Jiri Velebil
Algebraic Theories over Nominal Sets CoRR (2010)
Adriana Balan, Alexander Kurz
On Coalgebras over Algebras. CMCS (2010)
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20 (3) (2010)
Alexander Kurz, Yde Venema
Coalgebraic Lindströom Theorems. Advances in Modal Logic (2010)
Alexander Kurz, Daniela Petrisan
On universal algebra over nominal sets. Math. Struct. Comput. Sci. 20 (2) (2010)
Ernst-Erich Doberkat, Alexander Kurz
09502 Abstracts Collection - Coalgebraic Logics. Coalgebraic Logics (2009)
Alexander Kurz, Raul Andres Leal
Equational Coalgebraic Logic. MFPS (2009)
Alexander Kurz, Daniela Petrisan
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. CMCS (2008)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness of the finitary Moss logic. Advances in Modal Logic (2008)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. (2008)
Marcello M. Bonsangue, Alexander Kurz
Pi-Calculus in Logical Form. LICS (2007)
Nick Bezhanishvili, Alexander Kurz
Free Modal Algebras: A Coalgebraic Perspective. CALCO (2007)
Alexander Kurz, Jirí Rosický
The Goldblatt-Thomason Theorem for Coalgebras. CALCO (2007)
Neil Ghani, Alexander Kurz
Higher Dimensional Trees, Algebraically. CALCO (2007)
Alexander Kurz
Logic Column 15: Coalgebras and Their Logics CoRR (2006)
Marcello M. Bonsangue, Alexander Kurz
Presenting Functors by Operations and Equations. FoSSaCS (2006)
Alexander Kurz
Coalgebras and their logics. SIGACT News 37 (2) (2006)
Alexander Kurz, Jirí Rosický
Operations and equations for coalgebras. Math. Struct. Comput. Sci. 15 (1) (2005)
Alexander Kurz, Dirk Pattinson
Coalgebraic modal logic of finite rank. Math. Struct. Comput. Sci. 15 (3) (2005)
Alexander Kurz, Jirí Rosický
Weak Factorizations, Fractions and Homotopies. Appl. Categorical Struct. 13 (2) (2005)
Clemens Kupke, Alexander Kurz, Dirk Pattinson
Ultrafilter Extensions for Coalgebras. CALCO (2005)
Marcello M. Bonsangue, Alexander Kurz
Duality for Logics of Transition Systems. FoSSaCS (2005)
Thomas T. Hildebrandt, Alexander Kurz
Preface. Electron. Notes Theor. Comput. Sci. 100 (2004)
Clemens Kupke, Alexander Kurz, Dirk Pattinson
Algebraic Semantics for Coalgebraic Logics. CMCS (2004)
Alexander Kurz, Alessandra Palmigiano
Coalgebras and Modal Expansions of Logics. CMCS (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone coalgebras. Theor. Comput. Sci. 327 (1-2) (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone Coalgebras. CMCS (2003)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 298 (3) (2003)
Alexander Kurz, Rolf Hennicker
On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280 (1-2) (2002)
Alexander Kurz
Notions of Behaviour and Reachable-Part and Their Institutions. WADT (2002)
Alexander Kurz
Preface. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Alexander Kurz
Logics Admitting Final Semantics. FoSSaCS (2002)
Alexander Kurz, Jirí Rosický
Modal Predicates and Co-equations. CMCS (2002)
Alexander Kurz, Dirk Pattinson
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. CMCS (2002)
Alexander Kurz
Modal Rules are Co-Implications. CMCS (2001)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
On the Duality between Observability and Reachability. FoSSaCS (2001)
Alexander Kurz
Specifying coalgebras with modal logic. Theor. Comput. Sci. 260 (1-2) (2001)
Alexander Kurz, Dirk Pattinson
Notes on Coalgebras, Cofibrations and Concurrency. CMCS (2000)

Alexander Kurz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Kurz