Get started
Author

Sophia Knight

Spatial and Epistemic Modalities in Constraint-Based Process Calculi
2012 · Sophia Knight, Catuscia Palamidessi, et al. · Lecture notes in computer science · 38
Reasoning about knowledge and messages in asynchronous multi-agent systems
2017 · SOPHIA KNIGHT, BASTIEN MAUBERT, et al. · Mathematical Structures in Computer Science · 16
Arbitrary Announcements on Topological Subset Spaces
2015 · Hans van Ditmarsch, Sophia Knight, et al. · Lecture notes in computer science · 15
Announcement as effort on topological spaces
2016 · Hans van Ditmarsch, Sophia Knight, et al. · Electronic Proceedings in Theoretical Computer Science · 14
PDF
CONCUR 2012 – Concurrency Theory
2012 · Knight, Sophia, Palamidessi, Catuscia, et al. · Lecture notes in computer science · 13
PDF
Announcement as effort on topological spaces
2017 · Hans van Ditmarsch, Sophia Knight, et al. · Synthese · 11
PDF
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
2021 · Mário S. Alvim, Bernardo Amorim, et al. · Lecture notes in computer science · 10
PDF
Toward a Formal Model for Group Polarization in Social Networks
2019 · Mário S. Alvim, Sophia Knight, et al. · Lecture notes in computer science · 10
Bisimulation for Markov Decision Processes through Families of Functional Expressions
2014 · Norm Ferns, Doina Precup, et al. · Lecture notes in computer science · 10
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents
2019 · Guzmán, Michell, Knight, Sophia, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 9
PDF
A Formal Model for Polarization under Confirmation Bias in Social Networks
2023 · Mário S. Alvim, Bernardo Amorim, et al. · Logical Methods in Computer Science · 8
PDF
Proceedings 8th Interaction and Concurrency Experience
2015 · Sophia Knight, Ivan Lanese, et al. · Electronic Proceedings in Theoretical Computer Science · 7
Partial Information and Uniform Strategies
2014 · Hans van Ditmarsch, Sophia Knight · Lecture notes in computer science · 7
Epistemic Strategies and Games on Concurrent Processes
2012 · Konstantinos Chatzikokolakis, Sophia Knight, et al. · ACM Transactions on Computational Logic · 6
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases
2024 · Mário S. Alvim, Artur Gaspar da Silva, et al. · Lecture notes in computer science · 5
PDF
Private Announcements on Topological Spaces
2017 · Hans van Ditmarsch, Sophia Knight, et al. · Studia Logica · 5
PDF
Asynchronous Announcements in a Public Channel
2015 · Sophia Knight, Bastien Maubert, et al. · Lecture notes in computer science · 5
Epistemic Strategies and Games on Concurrent Processes
2009 · Konstantinos Chatzikokolakis, Sophia Knight, et al. · Lecture notes in computer science · 5
Reasoning About Agents That May Know Other Agents’ Strategies
2021 · Francesco Belardinelli, Sophia Knight, et al. · 4
PDF
Proceedings 10th Interaction and Concurrency Experience
2017 · Massimo Bartoletti, Laura Bocchi, et al. · Electronic Proceedings in Theoretical Computer Science · 4
Combining Epistemic Logic and Hennessy-Milner Logic
2012 · Sophia Knight, Radu Mardare, et al. · Lecture notes in computer science · 4
The Epistemic View of Concurrency Theory
2013 · Sophia Knight · HAL (Le Centre pour la Communication Scientifique Directe) · 3
Truth Set Algebra: A New Way to Prove Undefinability
2022 · Knight, Sophia, Naumov, Pavel, et al. · ePrints Soton (University of Southampton) · 2
PDF
Dealing with imperfect information in Strategy Logic
2019 · Knight, Sophia, Maubert, Bastien · arXiv (Cornell University) · 2
PDF
A Multi-Agent Model for Opinion Evolution under Cognitive Biases
2024 · Alvim, Mário S., da Silva, Artur Gaspar, et al. · arXiv (Cornell University) · 1
PDF
Works count: 62
Citation count: 219
H-index: 9
I10-index: 9
Year
Topic
Type