Alexander Kurz

111 papers A* 1B 27Journal 54Unranked 25

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