If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Semantics Engineering & Materials Science
Logic Mathematics
Modal Logic Mathematics
Fixpoint Mathematics
Computability and decidability Engineering & Materials Science
Game Mathematics
μ-calculus Mathematics
Automata Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2014 2019

Query languages
Ontology
Data structures
Logic programming
XML

Research Output 2008 2018

1 Citations

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
1 Citations

Parity games and automata for game logic

Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 3 Jan 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A. & Benevides, M. (eds.). Cham: Springer, p. 115-132 18 p. (Lecture Notes in Computer Science; vol. 10669)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Parity
Automata
Semantics
Game
Logic

Thesis

Bifibrational parametricity : from zero to two dimensions

Author: Orsanigo, F., 1 Oct 2016

Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)

Student thesis: Doctoral Thesis