## Iddo Tzameret: Papers

#### Under Submission/Review

#### Surveys & Book Chapters

*28th EACSL Annual Conference on Computer Science Logic* (**CSL**) 2020, January 13-16, 2020, Barcelona, Spain. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020.

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

#### Conference Publications

*52nd Annual ACM Symposium on Theory of Computing
* (**STOC**), Chicago, IL, June 22-26, 2020.

*11th Innovations in Theoretical Computer Science Conference* (**ITCS**) 2020, January, 2020, Seattle, WA, USA.
*Electronic Colloquium on Computational Complexity* TR18-117, 2018.

*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**) 47(**4**), pp. 1424-1462, 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