Publications

of year 2014

Books and proceedings

  1. H. Betz, T. Frühwirth, and U. Schöning. A Unified Analytical Foundation for Constraint Handling Rules. Books on Demand, 2014. ISBN: 9783734732508.
  2. Philippe Blache, Henning Christiansen, and Verónica Dahl. Constraints and Language. Cambridge Scholars Publishing, 2014.
  3. R. Kowalski and T. Frühwirth. Logic for Problem Solving, Revisited, Computer science essentials. Books on Demand, 2014. ISBN: 9783837036299.
  4. Jacopo Mauro. Constraints Meet Concurrency. Atlantis Publishing Corporation, 2014. ISBN: 9462390665, 9789462390669.
  5. E. Tsang and T. Frühwirth. Foundations of Constraint Satisfaction: The Classic Text. Books on Demand, 2014. ISBN: 9783735723666. [WWW]
  6. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, 2014. IEEE Computer Society. ISBN: 978-1-4799-6572-4. [WWW]
  7. Susan Zvacek, Maria Teresa Restivo, James Onohuome Uhomoibhi, and Markus Helfert, editors. CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April, 2014, 2014. SciTePress. ISBN: 978-989-758-020-8.
  8. Erika Ábrahám and Klaus Havelund, editors. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, volume 8413 of Lecture Notes in Computer Science, 2014. Springer. ISBN: 978-3-642-54861-1. [WWW] [doi:10.1007/978-3-642-54862-8]

Articles in journal, book chapters

  1. Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. Coordination Avoidance in Database Systems. Proc. VLDB Endow., 8(3):185-196, November 2014. ISSN: 2150-8097. [WWW] [doi:10.14778/2735508.2735509]
  2. Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. Coordination-Avoiding Database Systems. CoRR, abs/1402.2237, 2014. [WWW]
  3. Gregory J. Duck, Rémy Haemmerlé, and Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 14:619-632, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000246]
  4. Daniel Gall and Thom Frühwirth. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory and Practice of Logic Programming, 14:525-538, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000180]
  5. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  6. Aya Saad, Thom Frühwirth, and Carmen Gervet. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Theory and Practice of Logic Programming, 14:461-475, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000143]
  7. Leonor Becerra-Bonache, Verónica Dahl, and M. Dolores Jiménez-López. Womb Grammars as a Bio-inspired Model for Grammar Induction, pages 79-86. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-07476-4. [WWW] [doi:10.1007/978-3-319-07476-4_10]
  8. Henning Christiansen. Constraint Logic Programming for Resolution of Relative Time Expressions, pages 93-102. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-08019-2. [WWW] [doi:10.1007/978-3-319-08019-2_10]
  9. Henning Christiansen. Constraint Programming for Context Comprehension, pages 401-418. Springer New York, New York, NY, 2014. ISBN: 978-1-4939-1887-4. [WWW] [doi:10.1007/978-1-4939-1887-4_25]
  10. Edmund S.L. Lam and Iliano Cervesato. Optimized Compilation of Multiset Rewriting with Comprehensions, pages 19-38. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-12736-1. [WWW] [doi:10.1007/978-3-319-12736-1_2]
  11. Frédéric Lardeux and Eric Monfroy. From Declarative Set Constraint Models to ``Good'' SAT Instances, pages 76-87. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-13770-4. [WWW] [doi:10.1007/978-3-319-13770-4_8]

Conference articles

  1. Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, and Francesco Santini. An Improved Role-Based Access to Android Applications with JCHR. In Proceedings of the 2014 Ninth International Conference on Availability, Reliability and Security, ARES '14, Washington, DC, USA, pages 341-348, 2014. IEEE Computer Society. ISBN: 978-1-4799-4223-7. [WWW] [doi:10.1109/ARES.2014.52]
  2. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. VeriMAP: A Tool for Verifying Programs through Transformations. In Erika Ábrahám and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, volume 8413 of Lecture Notes in Computer Science, pages 568-574, 2014. Springer. ISBN: 978-3-642-54861-1. [WWW] [doi:10.1007/978-3-642-54862-8_47]
  3. Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, PPDP '14, New York, NY, USA, pages 213-224, 2014. ACM. ISBN: 978-1-4503-2947-7. [WWW] [doi:10.1145/2643135.2643144] Keyword(s): CHR, CLP, backward & forward chaining, confluence.
  4. Rahul Singhal and Martin Henz. Automated Generation of Region Based Geometric Questions. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 838-845, 2014. IEEE Computer Society. ISBN: 978-1-4799-6572-4. [WWW] [doi:10.1109/ICTAI.2014.129]
  5. Rahul Singhal, Martin Henz, and Kevin McGee. Automated Generation of High School Geometric Questions Involving Implicit Construction. In Susan Zvacek, Maria Teresa Restivo, James Onohuome Uhomoibhi, and Markus Helfert, editors, CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April, 2014, pages 467-472, 2014. SciTePress. ISBN: 978-989-758-020-8. [WWW] [doi:10.5220/0004947904670472]

BACK TO INDEX