| 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 | 60 | 2012 |
| 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 | 22 | 2019 |
| Announcement as effort on topological spaces H van Ditmarsch, S Knight, A Özgün TARK, 283-297, 2015 | 22* | 2015 |
| Announcement as effort on topological spaces H van Ditmarsch, S Knight, A Özgün Synthese, 1-43, 2015 | 22 | 2015 |
| A multi-agent model for polarization under confirmation bias in social networks MS Alvim, B Amorim, S Knight, S Quintero, F Valencia International Conference on Formal Techniques for Distributed Objects …, 2021 | 18 | 2021 |
| Arbitrary announcements on topological subset spaces H van Ditmarsch, S Knight, A Özgün European Conference on Multi-Agent Systems, 252-266, 2014 | 17 | 2014 |
| 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 | 16 | 2019 |
| Reasoning about distributed knowledge of groups with infinitely many agents M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, FD Valencia CONCUR 2019-30th International Conference on Concurrency Theory 29, 1-29, 2019 | 14 | 2019 |
| Partial information and uniform strategies H Van Ditmarsch, S Knight International Workshop on Computational Logic and Multi-Agent Systems, 183-198, 2014 | 13 | 2014 |
| 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: Essays Dedicated to …, 2014 | 12 | 2014 |
| Reasoning About Agents That May Know Other Agents' Strategies. F Belardinelli, S Knight, A Lomuscio, B Maubert, A Murano, S Rubin IJCAI, 1787-1793, 2021 | 10 | 2021 |
| Dealing with imperfect information in strategy logic S Knight, B Maubert arXiv preprint arXiv:1908.02488, 2019 | 10 | 2019 |
| Epistemic strategies and games on concurrent processes K Chatzikokolakis, S Knight, P Panangaden SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009 | 9 | 2009 |
| Announcement as effort on topological spaces H Van Ditmarsch, S Knight, A Özgün arXiv preprint arXiv:1606.07527, 2016 | 7 | 2016 |
| Asynchronous announcements in a public channel S Knight, B Maubert, F Schwarzentruber Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 7 | 2015 |
| 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 | 7 | 2012 |
| K-stores A spatial and epistemic concurrent constraint interpreter A Barco, S Knight, F Valencia Proc. of WFLP 12, 2012 | 7 | 2012 |
| Combining epistemic logic and hennessy-milner logic S Knight, R Mardare, P Panangaden Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the …, 2012 | 6 | 2012 |
| A formal model for polarization under confirmation bias in social networks MS Alvim, B Amorim, S Knight, S Quintero, F Valencia Logical Methods in Computer Science 19, 2023 | 5 | 2023 |
| Truth set algebra: A new way to prove undefinability S Knight, P Naumov, Q Shi, V Suntharraj arXiv preprint arXiv:2208.04422, 2022 | 5 | 2022 |
Prakash PanangadenProfessor of Computer Science, McGill University在 cs.mcgill.ca 的电子邮件经过验证
