Sophia R Knight


Research output per year

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

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.

  • 1 Similar Profiles

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

Research Output

Announcement as effort on topological spaces

van Ditmarsch, H., Knight, S. & Özgün, A., Jul 15 2019, In : Synthese. 196, 7, p. 2927-2969 43 p.

Research output: Contribution to journalArticle

Open Access
  • 3 Scopus citations


    Borda, A., Cimini, M., Cirstea, C., Dardha, O., Fowler, S., Jakši ć, S., Knight, S., Lanese, I., Lange, J., López, H. A., Melgratti, H., Mezzina, C. A., Murgia, M., Peters, K., Sammartino, M., Stachtiari, E., Tapia Tarifa, S. L., Vieira, H. T. & Pohjola, J. Å., Sep 12 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 304

    Research output: Contribution to journalEditorial

    Preface for the special issue on Interaction and Concurrency Experience 2017

    Bartoletti, M., Bocchi, L., Henrio, L. & Knight, S., Dec 2019, In : Journal of Logical and Algebraic Methods in Programming. 109, 100488.

    Research output: Contribution to journalEditorial

  • Reasoning about distributed knowledge of groups with infinitely many agents

    Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

  • 1 Scopus citations

    Reasoning about knowledge and messages in asynchronous multi-agent systems

    Knight, S., Maubert, B. & Schwarzentruber, F., Jan 1 2019, In : Mathematical Structures in Computer Science. 29, 1, p. 127-168 42 p.

    Research output: Contribution to journalArticle

  • 3 Scopus citations