List of all publications organized by their type

Most of the papers can be downloaded from this page. See also the list of publications in DBLP. Technical reports can be accessed from the RISC electronic library.

Quick links: edited, journal articles, conference papers, book chapter, miscellaneous papers.

Edited Books, Journal Special Issues, Proceedings

  1. T. Kutsia, D. Ventura, D. Monniaux, J. F. Morales (editors). Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. Volume 402 of Electronic Proceedings in Theoretical Computer Science, 2024.
    DOI: 10.4204/EPTCS.402, Volume, BibTeX.
  2. A. Bouhoula, B. Buchberger, T. Ida, T. Kutsia. Preface. Annals of Mathematics and Artificial Intelligence. 91(5): 563-565, 2023. Special issue on Symbolic Computation in Software Science.
    DOI: 10.1007/S10472-023-09846-1, BibTeX.
  3. K. Buzzard, T. Kutsia (editors). Intelligent Computer Mathematics, Proceedings of the 15th International Conference, CICM 2022. September 19-23, 2022, Tbilisi, Georgia. Volume 13467 of Lecture Notes in Artificial Intelligence. Springer, 2022.
    DOI: 10.1007/978-3-031-16681-5, BibTeX.
  4. T. Kutsia, A. M. Marshall. Preface. Annals of Mathematics and Artificial Intelligence. 90(5): 453-454, 2022. Special issue on Theoretical and Practical Aspects of Unification.
    DOI: 110.1007/s10472-022-09796-0, PDF, BibTeX.
  5. T. Kutsia (editor). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021. Volume 342 of the Electronic Proceedings in Theoretical Computer Science, 2021.
    DOI: 10.4204/EPTCS.342, Volume, BibTeX.
  6. 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.
  7. 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.
    DOI: 10.1007/978-3-319-72453-9, BibTeX.
  8. 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.
  9. T. Kutsia, A. Voronkov. Symbolic Computation in Software Science. Proceedings of the 6th International Symposium, SCSS 2014. EPiC Series, Volume 30. EasyChair, 2014.
    Link.
  10. 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.
  11. L. Kovacs, T. Kutsia. Symbolic Computation in Software Science. Proceedings of the 5th International Symposium, SCSS 2013. EPiC Series, Volume 15. EasyChair, 2013.
    Link.
  12. 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.
  13. 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.
  14. 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.
    DOI: 10.1145/1836089, BibTeX.
  15. 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.
  16. 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.
    DOI: 10.1007/978-3-540-73433-8, BibTeX.

Journal Articles

  1. M. Schmidt-Schauß, T. Kutsia, J. Levy, M. Villaret, Y. Kutz. Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundamenta Informaticae, 185(3), 247–283, 2022. DOI: 10.3233/FI-222110.
    PDF, BibTeX.
  2. B. Dundua, T. Kutsia, M. Marin. Variadic equational matching in associative and commutative theories. Journal of Symbolic Computation. 106, 78–109, 2021. DOI: 10.1016/j.jsc.2021.01.001.
    PDF (with minor corresctions), PDF at the publisher's site, BibTeX.
  3. D. Cerna, T. Kutsia. Higher-Order Pattern Generalization Modulo Equational Theories. Mathematical Structures in Computer Science, 30(6), 627–663, 2020. DOI: 10.1017/S0960129520000110.
    PDF, BibTeX.
  4. M. Droste, T. Kutsia, G. Rahonis, W. Schreiner. McCarthy-Kleene fuzzy automata and MSO logics. Information and Computation. Vol. 272, 104499. 2020. DOI: 10.1016/j.ic.2019.104499.
    PDF, BibTeX.
  5. I. Kotsireas, T. Kutsia, D. Simos. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Annals of Mathematics and Artificial Intelligence. 88(1), 213–236, 2020. DOI: 10.1007/s10472-018-9607-9.
    PDF, BibTeX.
  6. D. Cerna, T. Kutsia. Idempotent anti-unification. ACM Transactions on Computational Logic, 21(2), 10:1–10:32, 2020. DOI: 110.1145/3359060.
    PDF, BibTeX.
  7. S. Alves, B. Dundua, M. Florido, T. Kutsia. Pattern-based calculi with finitary matching. Logic Journal of the IGPL. 26(2):203–243, 2018. DOI: 10.1093/JIGPAL/jzx059.
    PDF (with minor corrections), PDF from the publisher's page, BibTeX.
  8. A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. Information and Computation. 255, part 2. 262–286, 2017. DOI: 10.1016/j.ic.2017.01.005.
    PDF, BibTeX.
  9. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58(2):293–310, 2017. DOI: 10.1007/s10817-016-9383-3.
    PDF, BibTeX.
  10. B. Dundua, M. Florido, T. Kutsia, and M. Marin. CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming. 16(2):141–162, 2016. DOI: 10.1017/S1471068415000071.
    PDF, BibTeX.
  11. B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky, W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Journal of Formalized Reasoning. 9(1): 149–185, 2016. DOI: 10.6092/issn.1972-5787/4568.
    PDF, BibTeX.
  12. T Kutsia, M. Marin. Regular Expression Order-Sorted Unification and Matching. Journal of Symbolic Computation. 67:42–67, 2015. DOI: 10.1016/j.jsc.2014.08.002.
    PDF, BibTeX.
  13. T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52(2): 155–190, 2014. DOI: 10.1007/s10817-013-9285-6.
    PDF, BibTeX.
  14. T. Kutsia, J. Levy, M. Villaret. On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. 45(1):74–95, 2010. DOI: 10.1016/j.jsc.2009.07.001.
    PDF, BibTeX.
  15. M. Marin, T. Kutsia. On the Computation of Quotients and Factors of Regular Languages. Frontiers of Computer Science in China. 4(2):173–184, 2010. DOI: 10.1007/s11704-010-0154-8.
    PDF, BibTeX.
  16. T. Kutsia. Flat Matching. Journal of Symbolic Computation 43(12):858–873, 2008. DOI: 10.1016/j.jsc.2008.05.001.
    PDF, BibTeX.
  17. T. Kutsia. Solving Equations with Sequence Variables and Sequence Functions. Journal of Symbolic Computation, 42(3):352–388, 2007. DOI: 10.1016/j.jsc.2006.12.002.
    PDF, BibTeX.
  18. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, 4:470–504, 2006. DOI: 10.1016/j.jal.2005.10.006.
    PDF, BibTeX.
  19. M. Marin, T. Kutsia. Foundations of the Rule-Based System RhoLog. Journal of Applied Non-Classical Logics, 16(1–2):151–168, 2006. DOI: 10.3166/jancl.16.151-168.
    PDF, BibTeX.
  20. T. Kutsia. Context Sequence Matching for XML. Electronic Notes on Theoretical Computer Science, 157(2):47–65, 2006. DOI: 10.1016/j.entcs.2005.12.045.
    PDF, BibTeX.
  21. T. Kutsia. Pattern Unification with Sequence Variables and Flexible Arity Symbols. Electronic Notes on Theoretical Computer Science, 66(5):52–69, 2002. DOI: 10.1016/S1571-0661(04)80514-0.
    PDF, BibTeX.

Papers in Proceedings

  1. G. Ehling, T. Kutsia. Solving Quantitative Equations. In: Ch. Benzmüller, M. J. H. Heule, R. A. Schmidt, editors. Proceedings of IJCAR 2024 - 12th International Joint Conference Automated Reasoning, Part. II. Volume 14740 of Lecture Notes in Artificial Intelligence. Springer, 2024. 381–400. DOI: 10.1007/978-3-031-63501-4_20.
    PDF, BibTeX.
  2. M. Ayala-Rincón, D. Cerna, A. F. González Barragán, T. Kutsia. Equational Anti-unification over Absorption Theories. In: Ch. Benzmüller, M. J. H. Heule, R. A. Schmidt, editors. Proceedings of IJCAR 2024 - 12th International Joint Conference Automated Reasoning, Part. II. Volume 14740 of Lecture Notes in Artificial Intelligence. Springer, 2024. 317–337. DOI: 10.1007/978-3-031-63501-4_17.
    PDF, BibTeX.
  3. D. Cerna, T. Kutsia. Anti-unification and Generalization: a Survey. In: E. Elkind, editor. Proceedings of IJCAI 2023 - 32nd International Joint Conference on Artificial Intelligence. ijcai.org, 2023. 6563–6573. DOI: 110.24963/ijcai.2023/736.
    PDF, BibTeX.
  4. M. Marin, T. Kutsia, C. Pau, M. Rukhaia. Enumerating All Maximal Clique-Partitions of an Undirected Graph. In: H. Cheval, L. Leuştean, A. Sipoş (Eds.) Proceedings of 7th Symposium on Working Formal Methods (FROM 2023). EPTCS 389, 2023, pp. 65–79. DOI: 10.4204/EPTCS.389.6.
    PDF, BibTeX.
  5. M. Ayala-Rincón, M. Fernández, G. Ferreira Silva, T. Kutsia, and D. Nantes-Sobrinho. Nominal AC-Matching. In: C. Dubois and M. Kerber, editors. Proceedings of CICM 2023 – 16th Conference on Intelligent Computer Mathematics. Volume 14101 of Lecture Notes in Artificial Intelligence. Springer, 2023. 53–68. DOI: 10.1007/978-3-031-42753-4_4.
    PDF, BibTeX, Best Paper Award.
  6. T. Kutsia, C. Pau. A Framework for Approximate Generalization in Quantitative Theories. In: J. Blanchette, L. Kovács, and D. Pattinson, editors. Proceedings of IJCAR 2022 - 11th International Joint Conference on Automated Reasoning. Volume 13385 of Lecture Notes in Artificial Intelligence. Springer, 2022. 578–596. DOI: 10.1007/978-3-031-10769-6_34.
    PDF, BibTeX.
  7. B. Dundua, T. Kutsia, M. Rukhaia. Unranked Nominal Unification. In: A. Özgün and Y. Zinova, editors. Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation. Volume 13206 of Lecture Notes in Computer Science. Springer, 2022. 279–296. DOI: 10.1007/978-3-030-98479-3_14.
    PDF, BibTeX.
  8. T. Kutsia, C. Pau. Matching and Generalization Modulo Proximity and Tolerance Relations. In: A. Özgün and Y. Zinova, editors. Proceedings of TbiLLC 2019 - 13th International Tbilisi Symposium on Logic, Language, and Computation. Volume 13206 of Lecture Notes in Computer Science. Springer, 2022. 323–342. DOI: 10.1007/978-3-030-98479-3_16.
    PDF, BibTeX.
  9. C. Pau, T. Kutsia. Proximity-Based Unification and Matching for Fully Fuzzy Signatures. In: Proceedings of FUZZ-IEEE 2021 - 30th IEEE International Conference on Fuzzy Systems. IEEE 2021. 1–6. DOI: 10.1109/FUZZ45933.2021.9494438.
    PDF, BibTeX.
  10. M. Marin, B. Dundua, T. Kutsia. A Rule-Based System for Computation and Deduction in Mathematica. In: S. Escobar and N. Marti-Oliet, editors. Proceedings of WRLA 2020 - Rewriting Logic and Its Applications. Volume 12328 of Lecture Notes in Computer Science. Springer, 2020. 57–74.
    PDF, BibTeX.
  11. D. Cerna, T. Kutsia. Unital Anti-unification: Type and Algorithms. In: Z. M. Ariola, editor. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Volume 167 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2020. 27:1–27:20.
    PDF, BibTeX.
  12. B. Dundua, T. Kutsia, M. Marin, C. Pau. Constraint solving over multiple similarity relations. In: Z. M. Ariola, editor. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Volume 167 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2020. 31:1–31:18.
    PDF, BibTeX.
  13. B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the ρLog Calculus with Proximity Relations. In: G. Jaiani and D. Natroshvili, editors. Applications of Mathematics and Informatics in Natural Sciences and Engineering, AMINSE 2019. Volume 334 of Springer Proceedings in Mathematics & Statistics. Springer, Cham. 2020. 83–100.
    PDF, BibTeX.
  14. B. Dundua, T. Kutsia, M. Marin, M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework. In: G. Jaiani and D. Natroshvili, editors. Applications of Mathematics and Informatics in Natural Sciences and Engineering, AMINSE 2019. Volume 334 of Springer Proceedings in Mathematics & Statistics. Springer, Cham. 2020. 101–116.
    PDF, BibTeX.
  15. T. Kutsia, C. Pau. Solving Proximity Constraints. In: M. Gabbrielli, editor. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers. October 8–10, 2019, Porto, Portugal. Vol. 12042 of Lecture Notes in Computer Science. Springer, 2019. 107–122. © Springer.
    PDF, BibTeX.
  16. B. Dundua, T. Kutsia, M. Marin. Variadic Equational Matching. In: C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen, editors. Intelligent Computer Mathematics - 12th International Conference, CICM 2019. July 9–12, 2019, Prague, Czech Republic. Vol. 11617 of Lecture Notes in Computer Science. Springer, 2019, 77–92. © Springer.
    PDF, BibTeX.
  17. D. Cerna, T. Kutsia. A Generic Framework for Higher-Order Generalizations. In: H. Geuvers, editor. Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). June 25–29, 2019, Dortmund, Germany. Vol. 131 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2019, 10:1–10:19.
    PDF, BibTeX.
  18. M. Marin, T. Kutsia, B. Dundua. A Rule-based Approach to the Decidability of Safety of ABACα. In: F. Kerschbaum, A. Mashatan, J. Niu, A. J. Lee, editors. Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019. June 3–6, 2019, Toronto, Canada. ACM, 2019, 173–178.
    PDF, BibTeX.
  19. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Term-Graph Anti-Unification. In: H. Kirchner, editor. Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). June 9–12, 2018, Oxford, UK. Vol. 108 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2018, 9:1–9:17.
    PDF, BibTeX.
  20. D. Cerna, T. Kutsia. Higher-Order Equational Pattern Anti-Unification. In: H. Kirchner, editor. Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). June 9–12, 2018, Oxford, UK. Vol. 108 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2018, 12:1–12:17.
    PDF, BibTeX.
  21. M. Droste, T. Kutsia, G. Rahonis, W. Schreiner. MK-fuzzy automata and MSO logics. In: P. Bouyer, A. Orlandini, and P. San Pietro, editors. Eighth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2017. Electronic Proceedings in Theoretical Computer Science, 256, pages 106–120.
    PDF, BibTeX.
  22. M. Schmidt-Schauß, T. Kutsia, J. Levy, M. Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. In: M. V. Hermenegildo and P. Lopez-Garcia, editors. Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Volume 10184 of Lecture Notes in Computer Science. Springer, 2017. 328–344. © Springer.
    PDF, BibTeX.
  23. B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. An overview of PρLog. In: Y. Lierler and W. Taha, editors. Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017. Volume 10137 of Lecture Notes in Computer Science. Springer, 2017. 34–49. © Springer.
    PDF, BibTeX.
  24. B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: M. Carro, A. King, N. Saeedloei, and M. De Vos, editors. Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Vol. 52 of OpenAccess Series in Informatics (OASIcs). Schloss Dagstuhl, 2016, 10.1–10.5.
    PDF, BibTeX.
  25. D. Cerna, W. Schreiner, T. Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Y. Falcone and C. Sanchez, editors. Proceedings of the 16th International Conference on Runtime Verification, RV 2016. Volume 10012 of Lecture Notes in Computer Science. Springer, 2016. 135–151. © Springer.
    PDF, BibTeX.
  26. B. Konev, T. Kutsia. Anti-Unification of Concepts in Description Logic EL. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016. April 25–29, 2016, Cape Town, South Africa. The AAAI Press, 2016. 227–236.
    PDF, BibTeX.
  27. D. Cerna, W. Schreiner, T. Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: J. H. Davenport and F. Ghourabi, editors. Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016. EPiC Series, Volume 39, EasyChair, 2016. 29–41.
    PDF, BibTeX.
  28. M. Marin, T. Kutsia, B. Dundua. A Rewrite-based Computational Model for Functional Logic Programming. In: J. H. Davenport and F. Ghourabi, editors. Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016. EPiC Series, Volume 39, EasyChair, 2016. 95–106.
    PDF, BibTeX.
  29. B. Dundua, M. Florido, T. Kutsia. Lambda Calculus with Regular Types. In: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015. September 21–24, 2015, Timisoara, Romania. IEEE Computer Society. © IEEE, 2015, 129–136.
    PDF. BibTeX.
  30. I. Kotsireas, T. Kutsia, D. Simos. Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. In: M. Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29–July 3, 2015, Warsaw, Poland. Vol. 36 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2015, 241–256.
    PDF, BibTeX.
  31. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-Unification. In: M. Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29–July 3, 2015, Warsaw, Poland. Vol. 36 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2015, 57–73.
    PDF, BibTeX.
  32. A. Baumgartner, T. Kutsia. A Library of Anti-Unification Algorithms. In: E. Ferme and J. Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. September 24–26, Madeira, Portugal. Volume 8761 of Lecture Notes in Computer Science. Springer, 2014, 543–557. © Springer.
    PDF, BibTeX.
  33. A. Baumgartner, T. Kutsia. Unranked Second-Order Anti-Unification. In: U. Kohlenbach, editor, Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014. September 4–6, 2014, Valparaiso, Chile. Volume 8652 of Lecture Notes in Computer Science. Springer, 2014, 66–80. © Springer.
    PDF, BibTeX.
  34. B. Dundua, M. Florido, T. Kutsia, M. Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: M. Codish and E. Sumii, editors, Proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014. June 4–6, 2014, Kanazawa, Japan. Volume 8475 of Lecture Notes in Computer Science. Springer, 2014, 285–301. © Springer.
    PDF, BibTeX.
  35. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. A Variant of Higher-Order Anti-Unification. In: F. van Raamsdonk, editor, Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013. June 24–26, 2013, Eindhoven, The Netherlands. Vol. 21 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2013, 113–127.
    PDF, BibTeX.
  36. T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. September 26–29, 2012, Timisoara, Romania. IEEE Computer Society. © IEEE, 2013, 119–126.
    PDF, BibTeX.
  37. T. Kutsia, J. Levy, M. Villaret. Anti-Unification for Unranked Terms and Hedges. In: M. Schmidt-Schauss, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. May 30–June 1, 2011, Novi Sad, Serbia. Vol. 10 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2011, 219–234.
    PDF, BibTeX.
  38. J. Coelho, B. Dundua, M. Florido, T. Kutsia. A Rule-Based Approach to XML Processing and Web Reasoning. In: P. Hitzler and T. Lukasiewicz, editors, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010. September 22–24, 2010, Bressanone/Brixen, Italy. Volume 6333 of Lecture Notes in Computer Science. Springer, 2010, 164–172. © Springer.
    PDF, BibTeX.
  39. M. Marin, T. Kutsia. Regular Hedge Language Factorization Revisited. In: Sheng Yu, editor, Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010. August 17–19, 2010, London, Ontario, Canada. Volume 6224 of Lecture Notes in Computer Science. Springer, 2010, 328–339. © Springer.
    PDF, BibTeX.
  40. T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expression Sorts. In: Ch. Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010. July 11–13, 2010, Edinburgh, UK. Volume 6 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2010, 193–208.
    PDF, BibTeX.
  41. M. Marin, T. Kutsia. Linear Systems for Regular Hedge Languages. In: J. Grundspenkis, M. Kirikova, Y. Manolopoulos, L. Novickis, editors, Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers. September 7, 2009. Riga, Latvia. Volume 5968 of Lecture Notes in Computer Science. Springer, 2010, 104–112. © Springer.
    PDF, BibTeX.
  42. B. Dundua, T. Kutsia, M. Marin, Strategies in PρLog. In: M. Fernández, editor, 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009. June 28, 2009, Brasilia, Brazil. Electronic Proceedings in Theoretical Computer Science 15, 2010, 32–43.
    PDF, BibTeX.
  43. J. Coelho, M. Florido, T. Kutsia. Collaborative Schema Construction using Regular Sequence Types. In: Proceedings of the 2009 IEEE International Conference of Information Reuse and Integration, IRI 2009. August 10–12, 2009, Las-Vegas, USA. 290–295. © IEEE.
    PDF, BibTeX.
  44. J. Coelho, M. Florido, T. Kutsia. Sequence Disunification and its Application in Collaborative Schema Construction. In: M. Weske, M.-S. Hacid, C. Godart, editors, Web Information Systems - WISE 2007 Workshops. December 3–7, 2007. Nancy, France. Volume 4832 of Lecture Notes in Computer Science. Springer, 2007, 91–102. © Springer.
    PDF, BibTeX.
  45. T. Kutsia, J. Levy, M. Villaret. Sequence Unification Through Currying. In: F. Baader, editor, Proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007. June 26–28, 2007, Paris, France. Volume 4533 of the Lecture Notes in Computer Science. Springer, 2007, 288–302. © Springer.
    PDF, BibTeX.
  46. T. Kutsia, M. Marin. Matching with Regular Constraints. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR 2005. December 2–6, 2005, Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 215–229. © Springer.
    PDF, BibTeX.
  47. F. Piroi, T. Kutsia. The Theorema Environment for Interactive Proof Development. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR 2005. December 2–6, 2005. Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 261–275. © Springer.
    PDF, BibTeX.
  48. T. Kutsia. Solving Equations Involving Sequence Variables and Sequence Functions. In: B. Buchberger and J. Campbell, editors, Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004. September 22–24, 2004, Hagenberg, Austria. Volume 3249 of Lecture Notes in Artificial Intelligence. Springer, 2004, 157–170. © Springer.
    PDF, BibTeX. (Revised version)
  49. T. Kutsia, B. Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. In: A. Asperti, G. Bancerek, and A. Trybulec, editors, Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM 2004. September 19–21, 2004, Bialowieza, Poland. Volume 3119 of Lecture Notes in Computer Science. Springer, 2004, 205–219. © Springer.
    PDF, BibTeX.
  50. T. Kutsia. Equational Prover of Theorema. In: R. Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003. June 9–11, 2003, Valencia, Spain. Volume 2706 of Lecture Notes in Computer Science. Springer, 2003, 367–379. © Springer.
    PDF, BibTeX.
  51. T. Kutsia. Theorem Proving with Sequence Variables and Flexible Arity Symbols. In: M. Baaz and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 9th International Conference LPAR 2002. October 14–18, 2002, Tbilisi, Georgia. Volume 2514 of Lecture Notes in Artificial Intelligence. Springer, 2002, 278–291. © Springer.
    PDF, BibTeX.
  52. T. Kutsia. Unification with Sequence Variables and Flexible Arity Symbols and its Extension with Pattern-Terms. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, and V. Sorge, editors, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AISC-Calculemus 2002 Conference. July 1–5, 2002, Marseille, France. Volume 2385 of Lecture Notes in Artificial Intelligence. Springer, 2002, 290–304. © Springer.
    PDF, BibTeX.

Book Chapter

  1. T. Jebelean, B. Buchberger, T. Kutsia, N. Popov, W. Schreiner, W. Windsteiger. Automated Reasoning. In: B. Buchberger at al., editors, Hagenberg Research. Springer, 2009. 63–101.
    DOI: 10.1007/978-3-642-02127-5_3, BibTeX.

Miscellaneous

  1. G. Ferreira, D. Cerna, M. Ayala-Rincón, and T. Kutsia. Computing Generalizers over Intersection and Union Type Theories. S. Escobar and O. Fernández Gil, eds. 38th International Workshop on Unification, UNIF 2024.
    PDF.
  2. A. F. González Barragán, D. Cerna, M. Ayala-Rincón, and T. Kutsia. On Anti-Unification over Absorption, Associative, and Commutative Theories. S. Escobar and O. Fernández Gil, eds. 38th International Workshop on Unification, UNIF 2024.
    PDF.
  3. G. Ehling, T. Kutsia. Matching in Quantitative Equational Theories. V. Ravishankar and C. Ringeissen, eds. 37th International Workshop on Unification, UNIF 2023, hal-04128216.
    PDF.
  4. A. González, D. Cerna, M Ayala-Rincón, T. Kutsia. On Anti-unification in Absorption Theories. V. Ravishankar and C. Ringeissen, eds. 37th International Workshop on Unification, UNIF 2023, hal-04128203.
    PDF.
  5. T. Kutsia, C. Pau. Proximity-Based Unification with Arity Mismatch. T. Kutsia and A. M. Marshall, eds. 34th International Workshop on Unification, UNIF 2020, technical Report 20-10 in RISC Report Series, RISC, Johannes Kepler University Linz, 9:1–9:6.
    PDF.
  6. T. Kutsia, C. Pau. Solving Proximity Constraints. S. Erbatur and D. Nantes, eds. 33nd International Workshop on Unification, UNIF 2019, 7 pages.
    PDF.
  7. D. Cerna, T. Kutsia. Towards Generalization Methods for Purely Idempotent Equational Theories. M. Ayala-Rincon and Ph. Balbiani, eds. 32nd International Workshop on Unification, UNIF 2018, 5 pages.
    PDF.
  8. T. Kutsia, C. Pau. Proximity-Based Generalization. M. Ayala-Rincon and Ph. Balbiani, eds. 32nd International Workshop on Unification, UNIF 2018, 8 pages.
    PDF.
  9. 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.
  10. M. Ayala-Rincón, B. Dundua, T. Kutsia, M. Marin. Rewriting Logic from a ρLog Point of View. In: S. Alves and R. Wasserman, editors. Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2017.
    PDF.
  11. 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.
  12. W Schreiner, T Kutsia, M Krieger, B Ahmad, H Otto, M Rummerstorfer. Securing Device Communication by Predicate Logic Specifications. In: Matthias Sturm, editor, Embedded World Conference 2015. February 24–26 2015, Nuremberg, Germany.
    PDF, BibTeX.
  13. A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Nominal Anti-unification. In: T. Kutsia and Ch. Ringeissen, editors. 28th International Workshop on Unification, UNIF 2014. July 13, 2014, Vienna, Austria. 62–69.
    PDF, BibTeX.
  14. A. Baumgartner, T. Kutsia. Unranked Anti-Unification with Hedge and Context Variables. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, 2013, Eindhoven, The Netherlands.
    BibTeX.
  15. T. Kutsia. Anti-Unification: Algorithms and Applications. In: B. Morawska and K. Korovin, editors, 27th International Workshop on Unification, UNIF 2013. June 27, Eindhoven, The Netherlands.
    BibTeX.
  16. S. Alves, B. Dundua, M. Florido, T. Kutsia. A Confluent Pattern Calculus with Hedge Variables. In: N. Hirokawa and V. van Oostrom, editors, 2nd International Workshop on Confluence, IWC 2013. June 28, Eindhoven, The Netherlands. 41–45.
    BibTeX.
  17. T. Kutsia, M. Marin. Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables. In: A. Bouhoula and T. Ida, editors, Tunisia-Japan Workshop on Symbolic Computation in Software Science, SCSS 2009. September 22–24, Gammarth, Tunisia.
    PDF, BibTeX.
  18. T. Kutsia, M. Marin. Order-Sorted Unification with Regular Expression Sorts. In: Ch. Lynch and P. Narendran, editors, 23th International Workshop on Unification, UNIF 2009. August 2, 2009, Montreal, Canada.
    PDF, BibTeX.
  19. M. Marin, T. Kutsia. On the Computation of Quotients and Factors of Regular Languages. In Zhenjiang Hu and Jian Zhang, editors, Sixth Asian Workshop on Foundations of Software, AWFS 2009. April 6–8, 2009, Tokyo, Japan.
    PDF, BibTeX.
  20. T. Kutsia, M. Marin. Solving Regular Constraints for Hedges and Contexts. In: J. Levy, editor, Proceedings of the 20th International Workshop on Unification, UNIF 2006. August 11, 2006, Seattle, USA, 89–107.
    PDF, BibTeX.
  21. T. Kutsia, M. Marin. Can Context Sequence Matching be Used for Querying XML? In: L. Vigneron, editor, Proceedings of the 19th International Workshop on Unification, UNIF 2005. April 22, 2005, Nara, Japan, 77–92.
    PDF, BibTeX. (Revised version)
  22. M. Marin, T. Kutsia. A Rule-based Approach to the Implementation of Evaluation Strategies. Annals of West University of Timisoara. Volume XLII, Special Issue on Computer Science II, 2004, 117–134.
    BibTeX.
  23. T. Kutsia, M. Marin. Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract). Proceedings of the 18th International Workshop on Unification, UNIF 2004. July 5, 2004, Cork, Ireland.
    PDF, BibTeX.
  24. T. Kutsia. Unification Modulo Flatness. In: D. Petcu, D. Zaharie, V. Negru, and T. Jebelean, editors, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2003. October 1–4, 2003, Timisoara, Romania. Mirton Publishing Company, 2003, 135–148.
    BibTeX.
  25. M. Marin, T. Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In: B. Konev and R. Schmidt, editors, Proceedings of the 4th International Workshop on the Implementation of Logics, WIL 2003. September 26, 2003, Almaty, Kazakhstan. 55–68.
    PDF, BibTeX.
  26. M. Marin, T. Kutsia. Programming with Transformation Rules. Analele Universitatii de Vest din Timisoara. Seria Matematica-Informatica, Vol. XVI, Fasc. special, 2003, 163–175.
    BibTeX.
  27. T. Kutsia. Matching in Flat Theories. In: J. Levy, M. Kohlhase, J. Niehren, and M. Villaret, editors, Proceedings of the 17th International Workshop on Unification, UNIF 2003. June 8–9, 2003, Valencia, Spain. 57–64.
    PDF, BibTeX.
  28. T. Kutsia, K. Nakagawa. An Interface between Theorema and External Automated Deduction Systems. In: S. Linton and R. Sebastiani, editors, Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001. June 21–23, 2001, Siena, Italy, 178–182.
    PDF, BibTeX.
  29. T. Kutsia. Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols. In: F. Baader, V. Diekert, C. Tinelli, and R. Treinen, editors. Proceedings of 15th International Workshop on Unification, UNIF 2001. June 18–19, 2001, Siena, Italy.
    BibTeX.
  30. T. Kutsia. A Framework for Some Semantics of Normal Logic Programs (Extended Abstract). Reports of Enlarged Sessions of the Seminar of the Ilia Vekua Institute of Applied Mathematics, 13(4), 1998, Tbilisi University Press.
    BibTeX.
  31. T. Kutsia. Semantics and Proof Theory of Disjunctive Logic Programs with Implicative Goals. In: R. Cooper and Th. Gamkrelidze, editors. Proceedings of the 2nd International Symposium on Language, Logic and Computation, LLC 1997. September 15–20, 1997, Tbilisi, Georgia. Tbilisi University Press, 1997, 160–178.
    BibTeX.
  32. T. Kutsia. On Semantics and Proof Theory of Disjunctive Logic Programs with Classical Negation. Applied Mathematics and Informatics, 1(1), 96–110, 1996, Tbilisi University Press.
    BibTeX.
  33. T. Kutsia. Description of One Variant of Three-Valued Logic Programming. Reports of the Seminar of the Ilia Vekua Institute of Applied Mathematics, no. 22, 53–64, 1993, Tbilisi State University.
    Bibtex.