Research Output per year

## Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

Semantics
Engineering & Materials Science

Logic
Mathematics

Asynchronous Systems
Mathematics

Concurrent
Mathematics

Model checking
Engineering & Materials Science

Scheduler
Mathematics

Set theory
Engineering & Materials Science

Modality
Mathematics

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

## Research Output 2009 2019

## Announcement as effort on topological spaces

van Ditmarsch, H., Knight, S. R. & Özgün, A., Jul 15 2019, In : Synthese. 196, 7, p. 2927-2969 43 p.Research output: Contribution to journal › Article

axiomatization

semantics

Logic

Modality

Axiomatization

1
Citation
(Scopus)

## Reasoning about knowledge and messages in asynchronous multi-agent systems

Knight, S. R., Maubert, B. & Schwarzentruber, F., Jan 1 2019, In : Mathematical Structures in Computer Science. 29, 1, p. 127-168 42 p.Research output: Contribution to journal › Article

Asynchronous Systems

Multi agent systems

Multi-agent Systems

Reasoning

Semantics

1
Citation
(Scopus)

## Private Announcements on Topological Spaces

van Ditmarsch, H., Knight, S. R. & Özgün, A., Jun 1 2018, In : Studia Logica. 106, 3, p. 481-513 33 p.Research output: Contribution to journal › Article

Topological space

Logic

Topological Structure

Axiomatization

Knowledge

## Preface

Bartoletti, M., Bocchi, L., Henrio, L. & Knight, S. R., Nov 29 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 261Research output: Contribution to journal › Editorial

1
Citation
(Scopus)

## Announcement as effort on topological spaces

Van Ditmarsch, H., Knight, S. R. & Özgün, A., Jun 23 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 215, p. 283-297 15 p.Research output: Contribution to journal › Conference article

Set theory

Semantics