@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "knight"' papers.bib}}
@ARTICLE{chatzikokolakis:inria-00637160, AUTHOR = {Chatzikokolakis, Konstantinos and Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash}, DOI = {10.1145/2362355.2362356}, JOURNAL = {{Transactions on Computational Logic}}, MONTH = OCT, NUMBER = {4}, PAGES = {28:1-28:35}, PUBLISHER = {ACM}, TITLE = {{Epistemic Strategies and Games on Concurrent Processes}}, URL = {http://hal.inria.fr/inria-00637160}, VOLUME = {13}, X-EDITORIAL-BOARD = {yes}, X-ID-HAL = {inria-00637160}, X-INTERNATIONAL-AUDIENCE = {yes}, YEAR = {2012} }
@INPROCEEDINGS{knight:hal-00760967, ADDRESS = {Ithaca, United States}, AUTHOR = {Knight, Sophia and Mardare, Radu and Panangaden, Prakash}, BOOKTITLE = {{Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday}}, DOI = {10.1007/978-3-642-29485-3\_14}, MONTH = APR, PAGES = {219-243}, TITLE = {{Combining Epistemic Logic and Hennessy-Milner Logic}}, URL = {http://hal.inria.fr/hal-00760967}, X-ID-HAL = {hal-00760967}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2012} }
@INPROCEEDINGS{knight:hal-00761116, ADDRESS = {Newcastle upon Tyne, United Kingdom}, AUTHOR = {Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash and Valencia, Frank D.}, BOOKTITLE = {Proceedings of {CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012}}, DOI = {10.1007/978-3-642-32940-1}, MONTH = SEP, PAGES = {317-332}, TITLE = {{Spatial and Epistemic Modalities in Constraint-Based Process Calculi}}, URL = {http://hal.inria.fr/hal-00761116}, VOLUME = {7454}, X-ID-HAL = {hal-00761116}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2012} }
@INPROCEEDINGS{barco:hal-00761679, ADDRESS = {Nagoya, Japan}, AUTHOR = {Barco, Andr{\'e}s and Knight, Sophia and Valencia, Frank D.}, BOOKTITLE = {{21st Workshop on Functional and (Constraint) Logic Programming (WFLP2012)}}, MONTH = MAY, TITLE = {{K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter}}, URL = {http://hal.inria.fr/hal-00761679}, X-ID-HAL = {hal-00761679}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {no}, YEAR = {2012} }
This file has been generated by bibtex2html 1.74