Publications

of year 2017

Thesis

  1. Ed Robbins. Solvers for Type Recovery and Decompilation of Binaries. PhD thesis, University of Kent, 2017.

Articles in journal, book chapters

  1. Samer Abdallah. Automatic Differentiation using Constraint Handling Rules in Prolog. arXiv preprint arXiv:1706.00231, 2017.
  2. Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  3. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Program verification using constraint handling rules and array constraint generalizations. Fundamenta Informaticae, 150(1):73-117, 2017.
  4. Maja H. Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
  5. Alejandro Serrano and Jurriaan Hage. Constraint handling rules with binders, patterns and generic quantification. Theory and Practice of Logic Programming, 17(5-6):992-1009, 2017.
  6. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.

Conference articles

  1. Osvaldo Luiz De Oliveira and Ricardo José Martins. Computational Modeling of Abductive Reasoning: an experimental study employing the CHR language in an educational context. In IEEE Frontiers in Education Conference (FIE), pages 1-8, 2017. IEEE. [doi:10.1109/FIE.2017.8190684]
  2. Thom Frühwirth. Implementation of Logical Retraction in Constraint Handling Rules with Justifications. In 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017), 2017.
  3. Daniel Gall and Thom Frühwirth. A Decidable Confluence Test for Cognitive Models in ACT-R. In International Joint Conference on Rules and Reasoning (RuleML+RR 2017), July 2017.
  4. Vincent Nys and Danny De Schreye. Transforming Coroutining Logic Programs into Equivalent CHR Programs. In Fifth International Workshop on Verification and Program Transformation (VPT 2017), April 2017.
  5. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Automatic Interaction Detection and Annotation. In 21st International Conference Information Visualisation (iV2017), July 2017.
  6. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR-Graph: A Platform for Animating Tree and Graph Algorithms. In 21st International Conference Information Visualisation, IV, pages 11-14, July 2017.
  7. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Using Rules to Animate Prolog Programs. In Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), 2017.

BACK TO INDEX