No photo of Sophia R Knight

Sophia R Knight

20092021

Research activity per year

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

Search results

  • 2021

    A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

    Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

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

  • 2019

    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
  • 2015

    Arbitrary announcements on topological subset spaces

    van Ditmarsch, H., Knight, S. & Özgün, A., 2015, Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. Bulling, N. (ed.). Springer Verlag, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8953).

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

    11 Scopus citations
  • Asynchronous announcements in a public channel

    Knight, S., Maubert, B. & Schwarzentruber, F., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Rueda, C., Valencia, F. D., Valencia, F. D. & Leucker, M. (eds.). Springer Verlag, p. 272-289 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

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

    1 Scopus citations
  • 2014

    Bisimulation for Markov decision processes through families of functional expressions

    Ferns, N., Precup, D. & Knight, S., 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Springer Verlag, p. 319-342 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

    5 Scopus citations
  • Partial information and uniform strategies

    Van Ditmarsch, H. & Knight, S., 2014, Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Proceedings. Springer Verlag, p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8624 LNAI).

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

    5 Scopus citations
  • 2012

    Spatial and epistemic modalities in constraint-based process calculi

    Knight, S., Palamidessi, C., Panangaden, P. & Valencia, F. D., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 317-332 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

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

    28 Scopus citations
  • 2009

    Epistemic strategies and games on concurrent processes

    Chatzikokolakis, K., Knight, S. & Panangaden, P., 2009, SOFSEM 2009: Theory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 153-166 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5404 LNCS).

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

    3 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.