## Iddo Tzameret: Papers

#### Under Submission/Review

*Electronic Colloquium on Computational Complexity*
TR13-070, 22 pages.

#### Surveys & Book Chapters

*ACM SIGLOG News (SIGLOG)*, **3** (3), pp. 21-43, ACM New York, July
2016.

#### Conference Publications

*Proceedings of the 32th Annual ACM/IEEE Symposium on Logic In Computer
Science*
(**LICS**), 20-23 June 2017.

*Proceedings of the 31th Annual Computational Complexity Conference* (**CCC**):
June 16-18, 2016.

*Proceedings of the 30th Annual Computational Complexity Conference* (**CCC**):
June 17-19, 2015.

*Proceedings of the 41st International Colloquium on Automata,
Languages and Programming* (**ICALP**) track A, July 2014.

*Logic Across the University:
Foundations and Application, Proceedings of the Tsinghua Logic Conference*, pp. 201-208.
Volume 47: *Studies in Logic*. College Publications London, 2013.

*In Proceedings of the 44th Annual ACM Symposium on the Theory of Computing* (**STOC**), pp.193-212. 19-22 May 2012.

*Proceedings of the 27th Annual ACM/IEEE Symposium on Logic In Computer
Science*
(**LICS**), pp. 501-510. 25-28 June 2012.

*invited* to

*The 7th Annual Conference on Theory and Applications of Models of Computation*, June 7-11, 2010. Volume 6108 of Lecture Notes in Comput. Sci., pp. 60-71. Springer, Berlin.

*Proceedings of the 24th IEEE Conference on Computational Complexity* (**CCC**), pp. 41-51, 15-18 July 2009.

*Proceedings of the 34th International Colloquium on Automata, Languages and Programming* (**ICALP**) track A, pp. 9-13 July 2007.

*
Proceedings of the 10th Workshop on Logic, Language, Information and Computation* (**WoLLIC** '03).

*Extended Abstracts of the International Workshop on Termination.* (**WST** '03), Valencia, Spain.

#### Journal Publications

*SIAM Journal on Computing* (**SICOMP**) To appear, 2018.

* Int. J. Algebra Comput.* (**IJAC**) **28** (2), pp. 217-256. World Scientific, 2018.

*Theory of Computation* (**ToC**)
(Invited; special journal issue on CCC'16; DOI:10.4086/toc.2017.
v013a001.)

*SIAM Journal on Computing* (**SICOMP**) **44** (2015), No. 2, pp. 340-383.

*Annals of Pure and Applied Logic* (**APAL**) 165(**12**):1864-1918 (2014).

*Chicago Journal of Theoretical Computer Science* (**CJTCS**) (**5**): 1-15, 2013.

*Information and Computation* (**I&C**) 209 (**10**):1269-1292, 2011.

*Annals of Pure and Applied Logic *(**APAL**)
155(**3**):194-224, 2008.

[doi:10.1016/j.apal.2008.04.001]

*ACM Transactions on Computational Logic* (**ToCL**) 11(**3**):1-29, 2010.

*Computational Complexity* (**CC**) 17(**3**) October, 2008.

[doi:10.1007/s00037-008-0246-0]

*Electronic Notes in Theoretical Computer Science*, Vol. 84.

#### Notes

#### Dissertations