Projects per year
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
KTP - Symphonic Software
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research
Query languages
Ontology
Data structures
Logic programming
XML
Research Output 2008 2018
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 journal › Article
Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
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 proceeding › Conference contribution
Open Access
File
Parity
Automata
Semantics
Game
Logic
Thesis
Bifibrational parametricity : from zero to two dimensions
Author: Orsanigo, F., 1 Oct 2016Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)
Student thesis: Doctoral Thesis