publications:
- title: "Context Sequence Matching for XML"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2005"
  tags:
  - "XML"
  - "XML Schema"
  - "context-aware"
  researchr: "https://researchr.org/publication/Kutsia05"
  cites: 0
  citedby: 0
  pages: "103-119"
  booktitle: "wwv"
  kind: "inproceedings"
  key: "Kutsia05"
- title: "A Rule-Based Approach to XML Processing and Web Reasoning"
  author:
  - name: "Jorge Coelho"
    link: "https://researchr.org/alias/jorge-coelho"
  - name: "Besik Dundua"
    link: "https://researchr.org/alias/besik-dundua"
  - name: "Mário Florido"
    link: "https://researchr.org/alias/m%C3%A1rio-florido"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15918-3_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15918-3_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rr/CoelhoDFK10"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "rules"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CoelhoDFK10"
  cites: 0
  citedby: 0
  pages: "164-172"
  booktitle: "rr"
  kind: "inproceedings"
  key: "CoelhoDFK10"
- title: "Foundations of the rule-based system rLog"
  author:
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2006"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/MarinK06"
  cites: 0
  citedby: 0
  journal: "jancl"
  volume: "16"
  number: "1-2"
  pages: "151-168"
  kind: "article"
  key: "MarinK06"
- title: "Pattern Unification with Sequence Variables, Flexible Arity Symbols"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/52/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/52/show/Products/notes/index.htt#005"
  researchr: "https://researchr.org/publication/Kutsia02%3A1"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "66"
  number: "5"
  pages: "52-69"
  kind: "article"
  key: "Kutsia02:1"
- title: "Sequence Unification Through Currying"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Jordi Levy"
    link: "https://researchr.org/alias/jordi-levy"
  - name: "Mateu Villaret"
    link: "https://researchr.org/alias/mateu-villaret"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_22"
  researchr: "https://researchr.org/publication/KutsiaLV07"
  cites: 0
  citedby: 0
  pages: "288-302"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "KutsiaLV07"
- title: "Order-Sorted Unification with Regular Expression Sorts"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  year: "2010"
  doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.193"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.193"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/KutsiaM10"
  researchr: "https://researchr.org/publication/KutsiaM10"
  cites: 0
  citedby: 0
  pages: "193-208"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "KutsiaM10"
- title: "Theorem Proving with Sequence Variables and Flexible Arity Symbols"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm"
  researchr: "https://researchr.org/publication/Kutsia02"
  cites: 0
  citedby: 0
  pages: "278-291"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "Kutsia02"
- title: "Solving Equations Involving Sequence Variables and Sequence Functions"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3249&spage=157"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3249&spage=157"
  researchr: "https://researchr.org/publication/Kutsia04"
  cites: 0
  citedby: 0
  pages: "157-170"
  booktitle: "AISC"
  kind: "inproceedings"
  key: "Kutsia04"
- title: "Regular Hedge Language Factorization Revisited"
  author:
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14455-4_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14455-4_30"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dlt/MarinK10"
  researchr: "https://researchr.org/publication/MarinK10"
  cites: 0
  citedby: 0
  pages: "328-339"
  booktitle: "dlt"
  kind: "inproceedings"
  key: "MarinK10"
- title: "On the computation of quotients and factors of regular languages"
  author:
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s11704-010-0154-8"
  links:
    doi: "http://dx.doi.org/10.1007/s11704-010-0154-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fcsc/MarinK10"
  researchr: "https://researchr.org/publication/MarinK10-0"
  cites: 0
  citedby: 0
  journal: "fcsc"
  volume: "4"
  number: "2"
  pages: "173-184"
  kind: "article"
  key: "MarinK10-0"
- title: "Linear Systems for Regular Hedge Languages"
  author:
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12082-4_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12082-4_14"
  researchr: "https://researchr.org/publication/MarinK09"
  cites: 0
  citedby: 0
  pages: "104-112"
  booktitle: "adbis"
  kind: "inproceedings"
  key: "MarinK09"
- title: "Equational Prover of THEOREMA"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060367.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060367.htm"
  researchr: "https://researchr.org/publication/Kutsia03"
  cites: 0
  citedby: 0
  pages: "367-379"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "Kutsia03"
- title: "Collaborative Schema Construction using Regular Sequence Types"
  author:
  - name: "Jorge Coelho"
    link: "https://researchr.org/alias/jorge-coelho"
  - name: "Mário Florido"
    link: "https://researchr.org/alias/m%C3%A1rio-florido"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/IRI.2009.5211567"
  links:
    doi: "http://dx.doi.org/10.1109/IRI.2009.5211567"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iri/CoelhoFK09"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/CoelhoFK09"
  cites: 0
  citedby: 0
  pages: "290-295"
  booktitle: "iri"
  kind: "inproceedings"
  key: "CoelhoFK09"
- title: "On the relation between Context and Sequence Unification"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Jordi Levy"
    link: "https://researchr.org/alias/jordi-levy"
  - name: "Mateu Villaret"
    link: "https://researchr.org/alias/mateu-villaret"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jsc.2009.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2009.07.001"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/KutsiaLV10"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "45"
  number: "1"
  pages: "74-95"
  kind: "article"
  key: "KutsiaLV10"
- title: "Matching with Regular Constraints"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Mircea Marin"
    link: "https://researchr.org/alias/mircea-marin"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11591191_16"
  links:
    doi: "http://dx.doi.org/10.1007/11591191_16"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/KutsiaM05"
  cites: 0
  citedby: 0
  pages: "215-229"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "KutsiaM05"
- title: "Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2385/23850290.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2385/23850290.htm"
  researchr: "https://researchr.org/publication/Kutsia02%3A0"
  cites: 0
  citedby: 0
  pages: "290-304"
  booktitle: "AISC"
  kind: "inproceedings"
  key: "Kutsia02:0"
- title: "Predicate Logic with Sequence Variables and Sequence Function Symbols"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3119&spage=205"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3119&spage=205"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/KutsiaB04"
  cites: 0
  citedby: 0
  pages: "205-219"
  booktitle: "mkm"
  kind: "inproceedings"
  key: "KutsiaB04"
- title: "Solving equations with sequence variables and sequence functions"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jsc.2006.12.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2006.12.002"
  researchr: "https://researchr.org/publication/Kutsia07"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "42"
  number: "3"
  pages: "352-388"
  kind: "article"
  key: "Kutsia07"
- title: "Symbolic computation in software science: Foreword from the editor"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jsc.2010.01.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2010.01.005"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jsc/Kutsia10"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Kutsia10"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "45"
  number: "5"
  pages: "499-500"
  kind: "article"
  key: "Kutsia10"
- title: "Flat matching"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jsc.2008.05.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2008.05.001"
  researchr: "https://researchr.org/publication/Kutsia08"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "43"
  number: "12"
  pages: "858-873"
  kind: "article"
  key: "Kutsia08"
- title: "Anti-Unification for Unranked Terms and Hedges"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Jordi Levy"
    link: "https://researchr.org/alias/jordi-levy"
  - name: "Mateu Villaret"
    link: "https://researchr.org/alias/mateu-villaret"
  year: "2011"
  doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2011.219"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2011.219"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/KutsiaLV11"
  researchr: "https://researchr.org/publication/KutsiaLV11"
  cites: 0
  citedby: 0
  pages: "219-234"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "KutsiaLV11"
- title: "Context Sequence Matching for XML"
  author:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.045"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.045"
  tags:
  - "XML"
  - "XML Schema"
  - "context-aware"
  researchr: "https://researchr.org/publication/Kutsia06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "157"
  number: "2"
  pages: "47-65"
  kind: "article"
  key: "Kutsia06"
- title: "Foreword"
  author:
  - name: "Demis Ballis"
    link: "https://researchr.org/alias/demis-ballis"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.jsc.2010.08.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2010.08.003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jsc/BallisK11"
  researchr: "https://researchr.org/publication/BallisK11"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "46"
  number: "2"
  pages: "93-94"
  kind: "article"
  key: "BallisK11"
- title: "Sequence Disunification and Its Application in Collaborative Schema Construction"
  author:
  - name: "Jorge Coelho"
    link: "https://researchr.org/alias/jorge-coelho"
  - name: "Mário Florido"
    link: "https://researchr.org/alias/m%C3%A1rio-florido"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77010-7_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77010-7_10"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/CoelhoFK07"
  cites: 0
  citedby: 0
  pages: "91-102"
  booktitle: "wise"
  kind: "inproceedings"
  key: "CoelhoFK07"
- title: "Theorema: Towards computer-aided mathematical theory exploration"
  author:
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  - name: "Adrian Craciun"
    link: "https://researchr.org/alias/adrian-craciun"
  - name: "Tudor Jebelean"
    link: "https://researchr.org/alias/tudor-jebelean"
  - name: "Laura Kovács"
    link: "https://researchr.org/alias/laura-kov%C3%A1cs"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Koji Nakagawa"
    link: "https://researchr.org/alias/koji-nakagawa"
  - name: "Florina Piroi"
    link: "https://researchr.org/alias/florina-piroi"
  - name: "Nikolaj Popov"
    link: "http://www.risc.uni-linz.ac.at/home/npopov"
  - name: "Judit Robu"
    link: "https://researchr.org/alias/judit-robu"
  - name: "Markus Rosenkranz"
    link: "https://researchr.org/alias/markus-rosenkranz"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jal.2005.10.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2005.10.006"
  researchr: "https://researchr.org/publication/BuchbergerCJKKNPPRR06"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "4"
  number: "4"
  pages: "470-504"
  kind: "article"
  key: "BuchbergerCJKKNPPRR06"
- title: "The Theorema Environment for Interactive Proof Development"
  author:
  - name: "Florina Piroi"
    link: "https://researchr.org/alias/florina-piroi"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11591191_19"
  links:
    doi: "http://dx.doi.org/10.1007/11591191_19"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PiroiK05"
  cites: 0
  citedby: 0
  pages: "261-275"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "PiroiK05"
- title: "Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppdp/2010"
  tags:
  - "principles"
  - "programming"
  researchr: "https://researchr.org/publication/ppdp-2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria"
  conference: "ppdp"
  editor:
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  - name: "Wolfgang Schreiner"
    link: "https://researchr.org/alias/wolfgang-schreiner"
  - name: "Maribel Fernández"
    link: "https://researchr.org/alias/maribel-fern%C3%A1ndez"
  publisher: "ACM"
  isbn: "978-1-4503-0132-9"
  kind: "proceedings"
  key: "ppdp-2010"
- title: "Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings"
  year: "2007"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/ab%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings"
  editor:
  - name: "Hirokazu Anai"
    link: "https://researchr.org/alias/hirokazu-anai"
  - name: "Katsuhisa Horimoto"
    link: "https://researchr.org/alias/katsuhisa-horimoto"
  - name: "Temur Kutsia"
    link: "http://www.risc.uni-linz.ac.at/people/tkutsia/"
  volume: "4545"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73432-1"
  kind: "proceedings"
  key: "ab:2007"