Publications related to formal languages

This section contains papers that are related to formal languages and automata and their applications. It includes both refereed publications and reports, but not edited books or volumes. Entries in this section may appear in the others as well.

Journal and conference papers

  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.

Workshop papers and technical reports

  • 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.
  • M. Marin, T. Kutsia. Computational Methods in an Algebra of Regular Hedge Expressions. Technical report no. 09-03 in RISC Report Series, RISC, Johannes Kepler University Linz, Austria. March 2009.
    PDF, BibTeX.
  • 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.
  • 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.
  • 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.
  • T. Kutsia, M. Marin. A Rule-Based Framework for Solving Regular Context Sequence Constraints. RISC, Johannes Kepler University Linz, Austria. Technical report, 2006.
    PDF, BibTeX.