Publications

• "An Axiomatic Approach to Algebrization",Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, STOC'09, pp. 695-704
• Expressing vs. proving: relating forms of complexity in logic , to appear in Journal of Logic and Computation.
• Many facets of complexity in logic, invited paper for CiE'08, LNCS 5028, pp. 316-325.
• Model expansion and the expressiveness of FO(ID) and other logics with Yongmei Liu, David G. Mitchell and Eugenia Ternovska, SFU tech. report TR2007-29
• Complexity of expanding a finite structure and related tasks with Yongmei Liu, David G. Mitchell and Eugenia Ternovska, LCC'06
• "Closure properties of weak systems of bounded arithmetic", CSL'05, LNCS 3634, pp. 369-383.
• My PhD thesis (errata)
• "A second-order theory for NL" with Stephen Cook, LICS 2004, pp. 398-407
• "A second-order system for polytime reasoning based on Gradel's theorem" with Stephen Cook, APAL 124: 193-231, 2003
• A conference version of the APAL 2003 paper, LICS 2001
• My Masters thesis