@inproceedings{AL13,
  title = "{On closure ordinals for the modal mu-calculus}",
  author = "Bahareh Afshari and Graham E. Leigh",
  year = "2013",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Closure ordinals, Modal mu-calculus, Tableaux",
  booktitle = "Computer Science Logic 2013 (CSL 2013)",
  editor = "Simona Ronchi Della Rocca",
  isbn = "978-3-939897-60-6",
  issn = "1868-8969",
  pages = "30--44",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  volume = "23",
  doi = "10.4230/LIPIcs.CSL.2013.30",
}
@inproceedings{AR12,
  title = "Ordinal analysis and the infinite {Ramsey} theorem",
  author = "Bahareh Afshari and Michael Rathjen",
  year = "2012",
  booktitle = "CiE",
  editor = "S.B. Cooper, A. Dawar and B. L\"owe",
  pages = "1--10",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7318",
  doi = "10.1007/978-3-642-30870-3_1",
}
@article{AR10,
  title = "A note on the theory of positive induction, {$ID{*}1$}",
  author = "Bahareh Afshari and Michael Rathjen",
  year = "2010",
  journal = "Archive for Mathematical Logic",
  number = "2",
  pages = "275--281",
  volume = "49",
  doi = "10.1007/s00153-009-0168-9",
}
@article{AR09,
  title = "Reverse mathematics and well-ordering principles: A pilot study",
  author = "Bahareh Afshari and Michael Rathjen",
  year = "2009",
  journal = "Annals of Pure and Applied Logic",
  number = "3",
  pages = "231--237",
  volume = "160",
  doi = "10.1016/j.apal.2009.01.001",
}
@phdthesis{Afs08,
  title = "Relative computability and the proof-theoretic strength of some theories",
  author = "Bahareh Afshari",
  year = "2008",
  school = "School of Mathematics, University of Leeds",
}
@article{ABCS07,
  title = "Post's programme for the {Ershov} hierarchy",
  author = "Bahareh Afshari and George Barmpalias and S. Barry Cooper and Frank Stephan",
  year = "2007",
  journal = "Journal of Logic and Computation",
  number = "6",
  pages = "1025--1040",
  volume = "17",
  doi = "10.1093/logcom/exm032",
}
@inproceedings{DBLP:conf/tamc/AfshariBC06,
  title = "Immunity Properties and the {\it n}-C.E. Hierarchy",
  author = "Bahareh Afshari and George Barmpalias and S. Barry Cooper",
  year = "2006",
  booktitle = "TAMC",
  editor = "{Jin-yi} Cai and S. Barry Cooper and Angsheng Li",
  pages = "694-703",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3959",
  doi = "10.1007/11750321_65",
}