@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