Temur Kutsia, Daniel Ventura, David Monniaux, Josef Morales (ed.). Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. Proceedings of LSFA 2023 and HCVS 2023, EPTCS, 2024.[bib]
2023
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia (ed.).Annals of Mathematics and Artificial Intelligence.Springer,ISSN 1012-2443. [doi][bib]
2022
Kevin Buzzard and Temur Kutsia (ed.). Intelligent Computer Mathematics. Proceedings of 15th International Conference, CICM 2022, Lecture Notes in Artificial Intelligence, 13467, 2022.Springer,ISBN 978-3-031-16680-8.[doi][bib]
Temur Kutsia, Andrew M. Marshall (ed.).Special issue of Annals of Mathematics and Artificial Intelligence on Theoretical and Practical Aspects of Unification.[bib]
2021
Temur Kutsia (ed.). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science.. Proceedings of 9th International Symposium on Symbolic Computation in Software Science, Electronic Proceedings in Theoretical Computer Science (EPTCS), 342, 2021.issn 2075-2180.[url][bib]
2019
James H. Davenport, Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.[bib]
2015
Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.ISSN 0747-7171. [doi][bib]
2012
Laura Kovacs, Temur Kutsia (ed.).Special issue on Automated Specification and Verification of Web Systems.ISSN 1570-8683. [doi][bib]
2011
Demis Ballis and Temur Kutsia (ed.).Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems .ISSN 0747-7171. [doi][bib]
2010
Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science..ISSN 0747-7171. [doi][bib]
Maribel Fernandez, Temur Kutsia, Wolfgang Schreiner (ed.). PPDP'10. Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming, July2010.ACM,New York,ISBN 978-1-4503-0132-9.July 26-28, 2010, Hagenberg, Austria.[bib]
2007
Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (ed.). Algebraic Biology. Proceedings of The 2nd International Conference on Algebraic Biology, AB2007, Lecture Notes in Computer Science, 4545, 2007.Springer,ISBN 978-3-540-73432-1.[bib]
