Epistemic Strategies and Games on Concurrent Processes. - Konstantinos Chatzikokolakis 001; Sophia Knight; Prakash Panangaden (SOFSEM, 2009)

Combining Epistemic Logic and Hennessy-Milner Logic. - Sophia Knight; Radu Mardare; Prakash Panangaden (Logic and Program Semantics, 2012)

Spatial and Epistemic Modalities in Constraint-Based Process Calculi. - Sophia Knight; Catuscia Palamidessi; Prakash Panangaden; Frank D. Valencia (CONCUR, 2012)

Epistemic Strategies and Games on Concurrent Processes. - Konstantinos Chatzikokolakis 001; Sophia Knight; Catuscia Palamidessi; Prakash Panangaden (ACM Trans. Comput. Log., 2012)

The Epistemic View of Concurrency Theory. (Le point de vue epistémique de théorie de la concurrence). - Sophia Knight (2013)

Bisimulation for Markov Decision Processes through Families of Functional Expressions. - Norm Ferns; Doina Precup; Sophia Knight (Horizons of the Mind, 2014)

Partial Information and Uniform Strategies. - Hans van Ditmarsch; Sophia Knight (CLIMA, 2014)

Arbitrary Announcements on Topological Subset Spaces. - Hans van Ditmarsch; Sophia Knight; Aybüke Özgün (EUMAS, 2014)

Asynchronous Announcements in a Public Channel. - Sophia Knight; Bastien Maubert; François Schwarzentruber (ICTAC, 2015)

Announcement as effort on topological spaces. - Hans van Ditmarsch; Sophia Knight; Aybüke Özgün (TARK, 2015)

Preface for the special issue on Interaction and Concurrency Experience 2015. - Ivan Lanese; Alberto Lluch-Lafuente; Sophia Knight; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2017)

Preface for the special issue on Interaction and Concurrency Experience 2016. - Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2018)

Private Announcements on Topological Spaces. - Hans van Ditmarsch; Sophia Knight; Aybüke Özgün (Stud Logica, 2018)

Toward a Formal Model for Group Polarization in Social Networks. - Mário S. Alvim; Sophia Knight; Frank Valencia (The Art of Modelling Computational Systems, 2019)

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CONCUR, 2019)

Dealing with imperfect information in Strategy Logic. - Sophia Knight; Bastien Maubert (CoRR, 2019)

Preface for the special issue on Interaction and Concurrency Experience 2017. - Massimo Bartoletti; Laura Bocchi; Ludovic Henrio; Sophia Knight (J. Log. Algebraic Methods Program., 2019)

Reasoning about knowledge and messages in asynchronous multi-agent systems. - Sophia Knight; Bastien Maubert; François Schwarzentruber (Math. Struct. Comput. Sci., 2019)

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CoRR, 2020)

Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (CoRR, 2020)

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (FORTE, 2021)

Reasoning About Agents That May Know Other Agents' Strategies. - Francesco Belardinelli; Sophia Knight; Alessio Lomuscio; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2021)

Reasoning about distributed information with infinitely many agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (J. Log. Algebraic Methods Program., 2021)

What are Your Powers? - Truth Set Algebras. - Sophia Knight; Pavel Naumov (CoRR, 2022)

A Formal Model for Polarization under Confirmation Bias in Social Networks. - Mário S. Alvim; Bernardo Amorim; Sophia Knight; Santiago Quintero; Frank Valencia (Log. Methods Comput. Sci., 2023)

A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. - Mário S. Alvim; Artur Gaspar da Silva; Sophia Knight; Frank Valencia (FORTE, 2024)

A Multi-Agent Model for Opinion Evolution under Cognitive Biases. - Mário S. Alvim; Artur Gaspar da Silva; Sophia Knight; Frank Valencia (CoRR, 2024)

Opinion Update in a Subjective Logic Model for Social Networks. - Mário S. Alvim; Sophia Knight; José C. Oliveira (CoRR, 2024)