Sophia Knight
Sophia Knight
Assistant Professor, University of Minnesota Duluth
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Spatial and epistemic modalities in constraint-based process calculi
S Knight, C Palamidessi, P Panangaden, FD Valencia
International Conference on Concurrency Theory, 317-332, 2012
522012
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
TARK, 283-297, 2015
18*2015
Announcement as effort on topological spaces
H van Ditmarsch, S Knight, A Özgün
Synthese, 1-43, 2015
182015
Reasoning about knowledge and messages in asynchronous multi-agent systems
S Knight, B Maubert, F Schwarzentruber
Mathematical Structures in Computer Science 29 (1), 127-168, 2019
162019
Almost-Riemannian geometry on Lie groups
V Ayala, P Jouan
SIAM Journal on Control and Optimization 54 (5), 2919-2947, 2016
152016
Arbitrary announcements on topological subset spaces
H van Ditmarsch, S Knight, A Özgün
European Conference on Multi-Agent Systems, 252-266, 2014
152014
Partial information and uniform strategies
H Van Ditmarsch, S Knight
International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014
122014
Epistemic strategies and games on concurrent processes
K Chatzikokolakis, S Knight, P Panangaden
International Conference on Current Trends in Theory and Practice of …, 2009
92009
Reasoning about distributed knowledge of groups with infinitely many agents
M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
82019
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
72019
Epistemic strategies and games on concurrent processes
K Chatzikokolakis, S Knight, C Palamidessi, P Panangaden
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-35, 2012
72012
Announcement as effort on topological spaces
H Van Ditmarsch, S Knight, A Özgün
arXiv preprint arXiv:1606.07527, 2016
62016
Bisimulation for Markov decision processes through families of functional expressions
N Ferns, D Precup, S Knight
Horizons of the Mind. A Tribute to Prakash Panangaden, 319-342, 2014
62014
K-stores A spatial and epistemic concurrent constraint interpreter
A Barco, S Knight, F Valencia
Proc. of WFLP 12, 2012
62012
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
International Colloquium on Theoretical Aspects of Computing, 272-289, 2015
52015
Toward a Formal Model for Group Polarization in Social Networks
MS Alvim, S Knight, F Valencia
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
42019
Private announcements on topological spaces
H van Ditmarsch, S Knight, A Özgün
Studia Logica 106 (3), 481-513, 2018
42018
Combining epistemic logic and hennessy-milner logic
S Knight, R Mardare, P Panangaden
Logic and Program Semantics, 219-243, 2012
42012
The epistemic view of concurrency theory
S Knight
Ecole Polytechnique X, 2013
32013
Spatial Information Distribution in Constraint-based Process Calculi (Extended Version)
S Knight, C Palamidessi, P Panangaden, FD Valencia
Technical Report, INRIA, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20