Various publications

This section contains papers on various topics that do not fit in the other sections. It also includes edited books and volumes.

Linguistics

  • N. Amiridze, T. Kutsia. Anti-Unification and Natural Language Processing. A. Asudeh, V. de Paiva, L. Moss, eds. Fifth Workshop on Natural Language and Computer Science, NLCS'18, EasyChair preprint 203, 2018. 12 pages.
    PDF, BibTeX.
  • T. Kutsia, N. Amiridze. Word Search Sequences in Scientific Discussions: Giving Talks in Georgian. 14th International Pragmatics Conference, Antwerp, Belgium, 26–31 July 2015.
    Abstract, slides.

Numerical constraint solving

  • T. Kutsia, J.  Schicho. Numerical Solving of Constraints of Multivariate Polynomial Strict Inequalities. Technical report no. 99-31 in RISC Report Series, RISC, Johannes Kepler University Linz, Austria. November 1999.
    PDF, BibTeX.

Popular

  • T. Kutsia. From Gödel's God to Robbins Algebra. Tabula Magazine, 133. January 2014. In Georgian.
    Link.
  • T. Kutsia. Big Data: When Size Matters. Tabula Magazine, 136. April 2014. In Georgian.
    Link.

Edited

  1. J. H. Davenport, T. Kutsia. Foreword. Journal of Symbolic Computation. 90:1–2, 2019. Special issue on Symbolic Computation in Software Science. DOI: 10.1016/j.jsc.2018.04.001.
    PDF, BibTeX.
  2. J. Blömer, I. S. Kotsireas, T. Kutsia, D. E. Simos (editors). Mathematical Aspects of Computer and Information Sciences. Proceedings of the 7th International Conference, MACIS 2017. November 15–17, 2017. Vienna, Austria. Volume 10693 of Lecture Notes in Computer Science. Springer, 2017. © Springer. Link to the publisher's page, BibTeX.
  3. A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia. Foreword. Journal of Symbolic Computation. 69:1–2, 2015. Special issue on Symbolic Computation in Software Science. DOI: 10.1016/j.jsc.2014.09.027.
    PDF, BibTeX.
  4. T. Kutsia, A. Voronkov. Symbolic Computation in Software Science. Proceedings of the 6th International Symposium, SCSS 2014. EPiC Series, Volume 30. EasyChair, 2014.
    Link.
  5. L. Kovacs, T. Kutsia. Automated Specification and Verification of Web Systems. Proceedings of the 6th International Workshop, WWV 2010. EPiC Series, Volume 18. EasyChair, 2013.
    Link.
  6. L. Kovacs, T. Kutsia. Symbolic Computation in Software Science. Proceedings of the 5th International Symposium, SCSS 2013. EPiC Series, Volume 15. EasyChair, 2013.
    Link.
  7. L. Kovacs, T. Kutsia. Editorial. Journal of Applied Logic. 10(1):1, 2012. Special issue on Automated Specification and Verification of Web Systems. DOI: 10.1016/j.jal.2011.11.001.
    PDF, BibTeX.
  8. D. Ballis, T. Kutsia. Foreword. Journal of Symbolic Computation. 46(2):93–94, 2011. Special issue on Automated Specification and Verification of Web Systems. DOI: 10.1016/j.jsc.2010.08.003.
    PDF, BibTeX.
  9. M. Fernández, T. Kutsia, W. Schreiner (editors). Principles and Practice of Declarative Programming. Proceedings of the 12th International ACM SIGPLAN Symposium, PPDP 2010, July 26–28, 2010. Hagenberg, Austria. ACM Press, 2010.
    Link, BibTeX.
  10. T. Kutsia. Symbolic computation in software science: Foreword from the editor. Journal of  Symbolic Computation. 45(5):499–500, 2010. Special issue on Symbolic Computation in Software Science. DOI: 10.1016/j.jsc.2010.01.005.
    PDF, BibTeX.
  11. H. Anai, K. Horimoto, T. Kutsia (editors). Algebraic Biology. Proceedings of the 2nd International Conference, July 2–4, 2007. Hagenberg, Austria. Volume 4545 of the Lecture Notes in Computer Science. Springer, 2007. © Springer. Link to the publisher's page. BibTeX.