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: "First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Santiago Escobar"
    link: "https://researchr.org/alias/santiago-escobar"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  volume: "DSIC-II/03/05"
  publisher: "Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia"
  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: "Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings"
  editor:
  - name: "Pascal Hitzler"
    link: "https://researchr.org/alias/pascal-hitzler"
  - name: "Thomas Lukasiewicz"
    link: "https://researchr.org/alias/thomas-lukasiewicz"
  volume: "6333"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15917-6"
  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: "Journal of Applied Non-Classical Logics"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  volume: "4533"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73447-5"
  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: "Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK"
  editor:
  - name: "Christopher Lynch"
    link: "https://researchr.org/alias/christopher-lynch"
  volume: "6"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-18-7"
  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: "Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings"
  editor:
  - name: "Matthias Baaz"
    link: "https://researchr.org/alias/matthias-baaz"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2514"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00010-0"
  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: "Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings"
  editor:
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  - name: "John A. Campbell"
    link: "https://researchr.org/alias/john-a.-campbell"
  volume: "3249"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23212-5"
  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: "Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings"
  editor:
  - name: "Yuan Gao"
    link: "https://researchr.org/alias/yuan-gao"
  - name: "Hanlin Lu"
    link: "https://researchr.org/alias/hanlin-lu"
  - name: "Shinnosuke Seki"
    link: "https://researchr.org/alias/shinnosuke-seki"
  - name: "Sheng Yu"
    link: "https://researchr.org/alias/sheng-yu"
  volume: "6224"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14454-7"
  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: "Frontiers of Computer Science in China"
  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: "Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Revised Selected Papers"
  editor:
  - name: "Janis Grundspenkis"
    link: "https://researchr.org/alias/janis-grundspenkis"
  - name: "Marite Kirikova"
    link: "https://researchr.org/alias/marite-kirikova"
  - name: "Yannis Manolopoulos"
    link: "https://researchr.org/alias/yannis-manolopoulos"
  - name: "Leonids Novickis"
    link: "https://researchr.org/alias/leonids-novickis"
  volume: "5968"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12081-7"
  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: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "2706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40254-3"
  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: "Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2009, 10-12 August 2009, Las Vegas, Nevada, USA"
  publisher: "IEEE Systems, Man, and Cybernetics Society"
  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: "Journal of Symbolic Computation"
  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: "Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings"
  editor:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "3835"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30553-X"
  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: "Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings"
  editor:
  - name: "Jacques Calmet"
    link: "https://researchr.org/alias/jacques-calmet"
  - name: "Belaid Benhamou"
    link: "https://researchr.org/alias/belaid-benhamou"
  - name: "Olga Caprotti"
    link: "https://researchr.org/alias/olga-caprotti"
  - name: "Laurent Henocque"
    link: "https://researchr.org/alias/laurent-henocque"
  - name: "Volker Sorge"
    link: "https://researchr.org/alias/volker-sorge"
  volume: "2385"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43865-3"
  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: "Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings"
  editor:
  - name: "Andrea Asperti"
    link: "https://researchr.org/alias/andrea-asperti"
  - name: "Grzegorz Bancerek"
    link: "https://researchr.org/alias/grzegorz-bancerek"
  - name: "Andrzej Trybulec"
    link: "https://researchr.org/alias/andrzej-trybulec"
  volume: "3119"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23029-7"
  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: "Journal of Symbolic Computation"
  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: "Journal of Symbolic Computation"
  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: "Journal of Symbolic Computation"
  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: "Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia"
  editor:
  - name: "Manfred Schmidt-Schauß"
    link: "https://researchr.org/alias/manfred-schmidt-schau%26szlig%3B"
  volume: "10"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-30-9"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Journal of Symbolic Computation"
  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: "Web Information Systems Engineering - WISE 2007 Workshops, WISE 2007 International Workshops, Nancy, France, December 3, 2007, Proceedings"
  editor:
  - name: "Mathias Weske"
    link: "https://researchr.org/alias/mathias-weske"
  - name: "Mohand-Said Hacid"
    link: "https://researchr.org/alias/mohand-said-hacid"
  - name: "Claude Godart"
    link: "https://researchr.org/alias/claude-godart"
  volume: "4832"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77009-1"
  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: "J. Applied Logic"
  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: "Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings"
  editor:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "3835"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30553-X"
  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"