Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sophia Knight
@article{DBLP:journals/corr/abs-2402-17615,
author = {M{\'{a}}rio S. Alvim and
Artur Gaspar da Silva and
Sophia Knight and
Frank Valencia},
title = {A Multi-Agent Model for Opinion Evolution under Cognitive Biases},
journal = {CoRR},
volume = {abs/2402.17615},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17615},
doi = {10.48550/ARXIV.2402.17615},
eprinttype = {arXiv},
eprint = {2402.17615},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlvimAKQV23,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Formal Model for Polarization under Confirmation Bias in Social
Networks},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:18)2023},
doi = {10.46298/LMCS-19(1:18)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlvimAKQV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04422,
author = {Sophia Knight and
Pavel Naumov},
title = {What are Your Powers? - Truth Set Algebras},
journal = {CoRR},
volume = {abs/2208.04422},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04422},
doi = {10.48550/ARXIV.2208.04422},
eprinttype = {arXiv},
eprint = {2208.04422},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GuzmanKQRRV21,
author = {Michell Guzm{\'{a}}n and
Sophia Knight and
Santiago Quintero and
Sergio Ram{\'{\i}}rez and
Camilo Rueda and
Frank Valencia},
title = {Reasoning about distributed information with infinitely many agents},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100674},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100674},
doi = {10.1016/J.JLAMP.2021.100674},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/GuzmanKQRRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlvimAKQV21,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {A Multi-agent Model for Polarization Under Confirmation Bias in Social
Networks},
booktitle = {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, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {22--41},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_2},
doi = {10.1007/978-3-030-78089-0\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlvimAKQV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliKLM21,
author = {Francesco Belardinelli and
Sophia Knight and
Alessio Lomuscio and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Zhi{-}Hua Zhou},
title = {Reasoning About Agents That May Know Other Agents' Strategies},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1787--1793},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/246},
doi = {10.24963/IJCAI.2021/246},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11538,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Multi-Agent Model for Polarization under Confirmation Bias in Social
Networks},
journal = {CoRR},
volume = {abs/2104.11538},
year = {2021},
url = {https://arxiv.org/abs/2104.11538},
eprinttype = {arXiv},
eprint = {2104.11538},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09542,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Formal Model for Polarization under Confirmation Bias in Social
Networks},
journal = {CoRR},
volume = {abs/2112.09542},
year = {2021},
url = {https://arxiv.org/abs/2112.09542},
eprinttype = {arXiv},
eprint = {2112.09542},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10667,
author = {Michell Guzm{\'{a}}n and
Sophia Knight and
Santiago Quintero and
Sergio Ram{\'{\i}}rez and
Camilo Rueda and
Frank Valencia},
title = {Algebraic Structures from Concurrent Constraint Programming Calculi
for Distributed Information in Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2010.10667},
year = {2020},
url = {https://arxiv.org/abs/2010.10667},
eprinttype = {arXiv},
eprint = {2010.10667},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02703,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {Polarization and Belief Convergence of Agents in Strongly-Connected
Influence Graphs},
journal = {CoRR},
volume = {abs/2012.02703},
year = {2020},
url = {https://arxiv.org/abs/2012.02703},
eprinttype = {arXiv},
eprint = {2012.02703},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BartolettiBHK19,
author = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Preface for the special issue on Interaction and Concurrency Experience
2017},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100488},
doi = {10.1016/J.JLAMP.2019.100488},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BartolettiBHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KnightMS19,
author = {Sophia Knight and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
title = {Reasoning about knowledge and messages in asynchronous multi-agent
systems},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {1},
pages = {127--168},
year = {2019},
url = {https://doi.org/10.1017/S0960129517000214},
doi = {10.1017/S0960129517000214},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KnightMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/DitmarschKO19,
author = {Hans van Ditmarsch and
Sophia Knight and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
title = {Announcement as effort on topological spaces},
journal = {Synth.},
volume = {196},
number = {7},
pages = {2927--2969},
year = {2019},
url = {https://doi.org/10.1007/s11229-017-1592-8},
doi = {10.1007/S11229-017-1592-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/DitmarschKO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlvimKV19,
author = {M{\'{a}}rio S. Alvim and
Sophia Knight and
Frank Valencia},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Toward a Formal Model for Group Polarization in Social Networks},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {419--441},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_24},
doi = {10.1007/978-3-030-31175-9\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlvimKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuzmanKQRRV19,
author = {Michell Guzm{\'{a}}n and
Sophia Knight and
Santiago Quintero and
Sergio Ram{\'{\i}}rez and
Camilo Rueda and
Frank Valencia},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Reasoning About Distributed Knowledge of Groups with Infinitely Many
Agents},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {29:1--29:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.29},
doi = {10.4230/LIPICS.CONCUR.2019.29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuzmanKQRRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02488,
author = {Sophia Knight and
Bastien Maubert},
title = {Dealing with imperfect information in Strategy Logic},
journal = {CoRR},
volume = {abs/1908.02488},
year = {2019},
url = {http://arxiv.org/abs/1908.02488},
eprinttype = {arXiv},
eprint = {1908.02488},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiHKV18,
author = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2016},
journal = {J. Log. Algebraic Methods Program.},
volume = {98},
pages = {26},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.03.005},
doi = {10.1016/J.JLAMP.2018.03.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiHKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DitmarschKO18,
author = {Hans van Ditmarsch and
Sophia Knight and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
title = {Private Announcements on Topological Spaces},
journal = {Stud Logica},
volume = {106},
number = {3},
pages = {481--513},
year = {2018},
url = {https://doi.org/10.1007/s11225-017-9750-z},
doi = {10.1007/S11225-017-9750-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DitmarschKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-02053,
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279},
doi = {10.4204/EPTCS.279},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseLKV17,
author = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Sophia Knight and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2015},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.10.003},
doi = {10.1016/J.JLAMP.2016.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaneseLKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1711-10708,
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
year = {2017},
url = {http://arxiv.org/abs/1711.10708},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BartolettiHKV16,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223},
doi = {10.4204/EPTCS.223},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartolettiHKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KnightMS15,
author = {Sophia Knight and
Bastien Maubert and
Fran{\c{c}}ois Schwarzentruber},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Asynchronous Announcements in a Public Channel},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {272--289},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_17},
doi = {10.1007/978-3-319-25150-9\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KnightMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DitmarschKO16,
author = {Hans van Ditmarsch and
Sophia Knight and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
editor = {R. Ramanujam},
title = {Announcement as effort on topological spaces},
booktitle = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh,
USA, June 4-6, 2015},
series = {{EPTCS}},
volume = {215},
pages = {283--297},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.215.20},
doi = {10.4204/EPTCS.215.20},
timestamp = {Fri, 03 Sep 2021 15:00:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/DitmarschKO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189},
doi = {10.4204/EPTCS.189},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KnightLLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FernsPK14,
author = {Norm Ferns and
Doina Precup and
Sophia Knight},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Bisimulation for Markov Decision Processes through Families of Functional
Expressions},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {319--342},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_17},
doi = {10.1007/978-3-319-06880-0\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FernsPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/DitmarschK14,
author = {Hans van Ditmarsch and
Sophia Knight},
editor = {Nils Bulling and
Leendert W. N. van der Torre and
Serena Villata and
Wojtek Jamroga and
Wamberto Weber Vasconcelos},
title = {Partial Information and Uniform Strategies},
booktitle = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
{CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8624},
pages = {183--198},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09764-0\_12},
doi = {10.1007/978-3-319-09764-0\_12},
timestamp = {Fri, 09 Apr 2021 18:38:27 +0200},
biburl = {https://dblp.org/rec/conf/clima/DitmarschK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/DitmarschKO14,
author = {Hans van Ditmarsch and
Sophia Knight and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
editor = {Nils Bulling},
title = {Arbitrary Announcements on Topological Subset Spaces},
booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
Czech Republic, December 18-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8953},
pages = {252--266},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17130-2\_17},
doi = {10.1007/978-3-319-17130-2\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/eumas/DitmarschKO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Knight13,
author = {Sophia Knight},
title = {The Epistemic View of Concurrency Theory. (Le point de vue epist{\'{e}}mique
de th{\'{e}}orie de la concurrence)},
school = {{\'{E}}cole Polytechnique, Palaiseau, France},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00940413},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Knight13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChatzikokolakisKPP12,
author = {Konstantinos Chatzikokolakis and
Sophia Knight and
Catuscia Palamidessi and
Prakash Panangaden},
title = {Epistemic Strategies and Games on Concurrent Processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {4},
pages = {28:1--28:35},
year = {2012},
url = {https://doi.org/10.1145/2362355.2362356},
doi = {10.1145/2362355.2362356},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ChatzikokolakisKPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KnightMP12,
author = {Sophia Knight and
Radu Mardare and
Prakash Panangaden},
editor = {Robert L. Constable and
Alexandra Silva},
title = {Combining Epistemic Logic and Hennessy-Milner Logic},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {219--243},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_14},
doi = {10.1007/978-3-642-29485-3\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KnightMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KnightPPV12,
author = {Sophia Knight and
Catuscia Palamidessi and
Prakash Panangaden and
Frank D. Valencia},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Spatial and Epistemic Modalities in Constraint-Based Process Calculi},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {317--332},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_23},
doi = {10.1007/978-3-642-32940-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KnightPPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChatzikokolakisKP09,
author = {Konstantinos Chatzikokolakis and
Sophia Knight and
Prakash Panangaden},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Epistemic Strategies and Games on Concurrent Processes},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {153--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_17},
doi = {10.1007/978-3-540-95891-8\_17},
timestamp = {Fri, 30 Aug 2019 10:02:27 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChatzikokolakisKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
