publications:
- title: "Termination of Programs using Term Rewriting and SAT Solving"
  author:
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Peter Schneider-Kamp"
    link: "https://researchr.org/alias/peter-schneider-kamp"
  - name: "René Thiemann"
    link: "https://researchr.org/alias/ren%C3%A9-thiemann"
  - name: "Stephan Swiderski"
    link: "https://researchr.org/alias/stephan-swiderski"
  - name: "Manh Thang Nguyen"
    link: "https://researchr.org/alias/manh-thang-nguyen"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1248"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1248"
  tags:
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GieslSTSNSS07"
  cites: 0
  citedby: 0
  booktitle: "Deduction and Decision Procedures, 30.09. - 05.10.2007"
  editor:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  - name: "Byron Cook"
    link: "https://researchr.org/alias/byron-cook"
  - name: "Jürgen Giesl"
    link: "http://verify.rwth-aachen.de/giesl/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  volume: "07401"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "GieslSTSNSS07"
- title: "On Termination of Meta-Programs"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500517.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500517.htm"
  tags:
  - "meta programming"
  - "meta-model"
  - "termination"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/SerebrenikS01"
  cites: 0
  citedby: 0
  pages: "517-530"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2250"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42957-3"
  kind: "inproceedings"
  key: "SerebrenikS01"
- title: "Acceptability with General Orderings"
  author:
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm"
  researchr: "https://researchr.org/publication/SchreyeS02"
  cites: 0
  citedby: 0
  pages: "187-210"
  booktitle: "Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I"
  editor:
  - name: "Antonis C. Kakas"
    link: "https://researchr.org/alias/antonis-c.-kakas"
  - name: "Fariba Sadri"
    link: "https://researchr.org/alias/fariba-sadri"
  volume: "2407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43959-5"
  kind: "inproceedings"
  key: "SchreyeS02"
- title: "Inference of Termination Conditions for Numerical Loops in Prolog"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500654.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500654.htm"
  tags:
  - "Prolog"
  - "termination"
  researchr: "https://researchr.org/publication/SerebrenikS01a"
  cites: 0
  citedby: 0
  pages: "654-668"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings"
  editor:
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "2250"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42957-3"
  kind: "inproceedings"
  key: "SerebrenikS01a"
- title: "Inference of termination conditions for numerical loops in Prolog"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2004"
  tags:
  - "Prolog"
  - "termination"
  researchr: "https://researchr.org/publication/SerebrenikS04"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "4"
  number: "5-6"
  pages: "719-751"
  kind: "article"
  key: "SerebrenikS04"
- title: "Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm"
  tags:
  - "rule-based"
  - "program analysis"
  - "analysis"
  - "termination"
  - "logic programming"
  - "logic"
  - "higher-order transformations"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/SerebrenikS00a"
  cites: 0
  citedby: 0
  pages: "69-85"
  booktitle: "Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers"
  editor:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "SerebrenikS00a"
- title: "Hasta-La-Vista: Termination Analyser for Logic Programs"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2003"
  tags:
  - "termination"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/SerebrenikS03%3A0"
  cites: 0
  citedby: 0
  pages: "60-74"
  booktitle: "Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003"
  editor:
  - name: "Frédéric Mesnard"
    link: "http://personnel.univ-reunion.fr/fred/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  volume: "CW371"
  series: "Report"
  publisher: "Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)"
  kind: "inproceedings"
  key: "SerebrenikS03:0"
- title: "On Termination of Logic Programs with Floating Point Computations"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm"
  tags:
  - "termination"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/SerebrenikS02"
  cites: 0
  citedby: 0
  pages: "151-164"
  booktitle: "Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  volume: "2477"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44235-9"
  kind: "inproceedings"
  key: "SerebrenikS02"
- title: "Termination of Floating-Point Computations"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10817-005-6546-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10817-005-6546-z"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/SerebrenikS05%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "34"
  number: "2"
  pages: "141-177"
  kind: "article"
  key: "SerebrenikS05:0"
- title: "Non-tranformational termination analysis of logic programs, based on general term-orderings"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2000"
  doi: "ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z"
  tags:
  - "rule-based"
  - "program analysis"
  - "analysis"
  - "termination"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/SerebrenikS00"
  cites: 0
  citedby: 0
  booktitle: "Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers"
  editor:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "SerebrenikS00"
- title: "On termination of meta-programs"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S1471068404002248"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068404002248"
  tags:
  - "meta programming"
  - "meta-model"
  - "termination"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/SerebrenikS05"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "5"
  number: "3"
  pages: "355-390"
  kind: "article"
  key: "SerebrenikS05"
- title: "Proving Termination with Adornments"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Danny De Schreye"
    link: "http://people.cs.kuleuven.be/~danny.deschreye/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=108"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=108"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/SerebrenikS03"
  cites: 0
  citedby: 0
  pages: "108-109"
  booktitle: "Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  volume: "3018"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22174-3"
  kind: "inproceedings"
  key: "SerebrenikS03"