Egor Ianovski : Publications

Click here to download all publications in a single bibtex file

@article{JSL:9322084,
  title = "COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY",
  author = "IANOVSKI,EGOR and MILLER,RUSSELL and NG,KENG MENG and NIES,ANDR\'E",
  year = "2014",
  issn = "1943-5886",
  journal = "The Journal of Symbolic Logic",
  month = "9",
  pages = "859--881",
  url = "http://journals.cambridge.org/article_S0022481213000339",
  volume = "79",
  doi = "10.1017/jsl.2013.33",
}

@inproceedings{DBLP:conf/aiml/TiuIG12,
  title = "$\exists${\sc GuaranteeNash} for Boolean games is NEXP-hard",
  author = "Egor Ianovski and Luke Ong",
  year = "2014",
  booktitle = "14th International Conference on Principles of Knowledge Representation and Reasoning",
}

@inproceedings{DBLP:conf/aiml/TiuIG12,
  title = "Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures",
  author = "Alwen Tiu and Egor Ianovski and Rajeev Gor{\'e}",
  year = "2012",
  booktitle = "Advances in Modal Logic",
  pages = "516-537",
}

@inproceedings{DBLP:conf/ijcai/IanovskiYEW11,
  title = "The Complexity of Safe Manipulation under Scoring Rules",
  author = "Egor Ianovski and Lan Yu and Edith Elkind and Mark C. Wilson",
  year = "2011",
  booktitle = "IJCAI",
  pages = "246-251",
}