Alexander Kurz

According to our database1, Alexander Kurz authored at least 80 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Extending set functors to generalised metric spaces.
Logical Methods in Computer Science, 2019

2018
Software Tool Support for Modular Reasoning in Modal Logics of Actions.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Quasivarieties and varieties of ordered algebras: regularity and exactness.
Mathematical Structures in Computer Science, 2017

Foreword: special issue on coalgebraic logic.
Mathematical Structures in Computer Science, 2017

An institutional approach to positive coalgebraic logic.
J. Log. Comput., 2017

Features of Agent-based Models.
Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

The Positivication of Coalgebraic Logics.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Multi-type display calculus for dynamic epistemic logic.
J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.
J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.
J. Log. Comput., 2016

Relation lifting, a survey.
J. Log. Algebr. Meth. Program., 2016

On the Logic of Generalised Metric Spaces.
Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042).
Dagstuhl Reports, 2015

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Extensions of Functors From Set to V-cat.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Simplified Coalgebraic Trace Equivalence.
Proceedings of the Software, 2015

2013
Nominal Computation Theory (Dagstuhl Seminar 13422).
Dagstuhl Reports, 2013

Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Logical Methods in Computer Science, 2013

Epistemic Updates on Algebras.
Logical Methods in Computer Science, 2013

Relation lifting, with an application to the many-valued cover modality.
Logical Methods in Computer Science, 2013

Enriched Logical Connections.
Applied Categorical Structures, 2013

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Dynamic Epistemic Logic Displayed.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Presenting Distributive Laws.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

Positive Fragments of Coalgebraic Logics.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
Modalities in the Stone age: A comparison of coalgebraic logics.
Theor. Comput. Sci., 2012

Coalgebraic Logics (Dagstuhl Seminar 12411).
Dagstuhl Reports, 2012

Strongly Complete Logics for Coalgebras
Logical Methods in Computer Science, 2012

Completeness for the coalgebraic cover modality
Logical Methods in Computer Science, 2012

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.
Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Expressiveness of Positive Coalgebraic Logic.
Proceedings of the Advances in Modal Logic 9, 2012

2011
On coalgebras over algebras.
Theor. Comput. Sci., 2011

Equational presentations of functors and monads.
Mathematical Structures in Computer Science, 2011

Foreword: special issue on coalgebraic logic.
Mathematical Structures in Computer Science, 2011

Relation Liftings on Preorders and Posets.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Finitary Functors: From Set to Preord and Poset.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
On universal algebra over nominal sets.
Mathematical Structures in Computer Science, 2010

Bitopological duality for distributive lattices and Heyting algebras.
Mathematical Structures in Computer Science, 2010

Coalgebra and Logic: A Brief Overview.
J. Log. Comput., 2010

Presenting functors on many-sorted varieties and applications.
Inf. Comput., 2010

Families of Symmetries as Efficient Models of Resource Binding.
Electr. Notes Theor. Comput. Sci., 2010

On Coalgebras over Algebras.
Electr. Notes Theor. Comput. Sci., 2010

Coalgebraic Lindströom Theorems.
Proceedings of the Advances in Modal Logic 8, 2010

2009
Equational Coalgebraic Logic.
Electr. Notes Theor. Comput. Sci., 2009

09502 Abstracts Collection - Coalgebraic Logics.
Proceedings of the Coalgebraic Logics, 06.12. - 09.12.2009, 2009

2008
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.
Electr. Notes Theor. Comput. Sci., 2008

Modal Logics are Coalgebraic.
Proceedings of the Visions of Computer Science, 2008

Completeness of the finitary Moss logic.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Pi-Calculus in Logical Form.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

The Goldblatt-Thomason Theorem for Coalgebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Higher Dimensional Trees, Algebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Free Modal Algebras: A Coalgebraic Perspective.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
Coalgebras and their logics.
SIGACT News, 2006

Presenting Functors by Operations and Equations.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
Operations and equations for coalgebras.
Mathematical Structures in Computer Science, 2005

Coalgebraic modal logic of finite rank.
Mathematical Structures in Computer Science, 2005

Weak Factorizations, Fractions and Homotopies.
Applied Categorical Structures, 2005

Duality for Logics of Transition Systems.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Ultrafilter Extensions for Coalgebras.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Stone coalgebras.
Theor. Comput. Sci., 2004

Coalgebras and Modal Expansions of Logics.
Electr. Notes Theor. Comput. Sci., 2004

Algebraic Semantics for Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci., 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

2003
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci., 2003

Stone Coalgebras.
Electr. Notes Theor. Comput. Sci., 2003

2002
On institutions for modular coalgebraic specifications.
Theor. Comput. Sci., 2002

Modal Predicates and Co-equations.
Electr. Notes Theor. Comput. Sci., 2002

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
Electr. Notes Theor. Comput. Sci., 2002

Preface.
Electr. Notes Theor. Comput. Sci., 2002

Notions of Behaviour and Reachable-Part and Their Institutions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Logics Admitting Final Semantics.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Specifying coalgebras with modal logic.
Theor. Comput. Sci., 2001

Modal Rules are Co-Implications.
Electr. Notes Theor. Comput. Sci., 2001

On the Duality between Observability and Reachability.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
Notes on Coalgebras, Cofibrations and Concurrency.
Electr. Notes Theor. Comput. Sci., 2000

1999
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Electr. Notes Theor. Comput. Sci., 1999

1998
Specifying Coalgebras with Modal Logic.
Electr. Notes Theor. Comput. Sci., 1998

A Co-Variety-Theorem for Modal Logic.
Proceedings of the Advances in Modal Logic 2, 1998


  Loading...