Clemens Kupke

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Helle Hvid Hansen

> Home > Persons > Clemens Kupke

Publications

2024
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-14115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-14115
Anton Chernev, Helle Hvid Hansen, Clemens Kupke:
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR abs/2407.14115 (2024)
2020
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-11551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-11551
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020)
2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/EnqvistHKMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/EnqvistHKMV19
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. LICS 2019: 1-13
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07691
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07691
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. CoRR abs/1904.07691 (2019)
2017
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HansenKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HansenKR16
Helle Hvid Hansen, Clemens Kupke, Jan Rutten:
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13(1) (2017)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/HansenKMV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/HansenKMV17
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic. DALI@TABLEAUX 2017: 115-132
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-00777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00777
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic (Extended Version). CoRR abs/1709.00777 (2017)
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HansenK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HansenK15
Helle Hvid Hansen, Clemens Kupke:
Weak Completeness of Coalgebraic Dynamic Logics. FICS 2015: 90-104
2014
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HansenKRW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HansenKRW14
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter:
A Final Coalgebra for k-regular Sequences. Horizons of the Mind 2014: 363-383
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/HansenKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/HansenKL14
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal:
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS 2014: 281-295
2009
[j3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0901-4430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0901-4430
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory. Log. Methods Comput. Sci. 5(2) (2009)
2007
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/HansenKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HansenKP07
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293
2004
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HansenK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HansenK04
Helle Hvid Hansen, Clemens Kupke:
A Coalgebraic Perspective on Monotone Modal Logic. CMCS 2004: 121-143

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.