Publications

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.

Edited Books, Journal Special Issues, Proceedings

  1. L. Kovacs, T. Kutsia. Editorial. J. Applied Logic. Special issue on Automated Specification and Verification of Web Systems. (In press) DOI: 10.1016/j.jal.2011.11.001.
  2. D. Ballis, T. Kutsia. Foreword. J. 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.
  3. 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. BibTeX.
  4. T. Kutsia. Symbolic computation in software science: Foreword from the editor. J. 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.
  5. 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.

Journal Articles

  1. T. Kutsia, J. Levy, M. Villaret. On the Relation Between Context and Sequence Unification. J. Symbolic Computation. 45(1):74-95, 2010. DOI: 10.1016/j.jsc.2009.07.001.
    PDF, BibTeX.
  2. 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. Link to the publisher's version.
    PDF, BibTeX.
  3. T. Kutsia. Flat Matching. J. Symbolic Computation 43(12):858-873, 2008. DOI: 10.1016/j.jsc.2008.05.001.
    PDF, BibTeX.
  4. T. Kutsia. Solving Equations with Sequence Variables and Sequence Functions. J. Symbolic Computation, 42(3):352-388, 2007. DOI: 10.1016/j.jsc.2006.12.002.
    PDF, BibTeX.
  5. 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. J. Applied Logic, 4:470-504, 2006. DOI: 10.1016/j.jal.2005.10.006.
    Postscript (gzipped), PDF, BibTeX.
  6. M. Marin, T. Kutsia. Foundations of the Rule-Based System RhoLog. J. Applied Non-Classical Logics, 16(1-2):151-168, 2006.
    PDF, BibTeX.
  7. 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.
  8. 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. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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)
  13. 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.
  14. 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.
  15. 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.
  16. 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. Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Bruno Buchberger at al., editors, Hagenberg Research. Springer, 2009. 63-101.
    PDF from the publisher's site, BibTeX.

Miscellaneous

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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)
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.