Publications of Thom Frühwirth

The listing does not include tutorial notes, project deliverables and internal reports.
    Most cited publications of Thom Frühwirth.

    Recent Publications

    Publications in 2013

  1. Hariolf Betz and Thom Fruehwirth. Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction, Journal ACM Transactions on Computational Logic (TOCL) Volume 14:1, p. 1-37, ACM New York, USA, February 2013.

    2. Publications in 2012

  2. Aya Saad, Carmen Gervet and Thom Fruehwirth. CDF-Intervals Revisited, The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012), Quebec City, Canada, October 2012. [ .pdf ]
  3. Jan Wielemaker, Thom Fruehwirth, Leslie De Koninck, Markus Triska and Marcus Uneson. SWI Prolog Reference Manual 6.2.2, ISBN 978-3-84-822617-7, BOD, September 2012.
  4. Jon Sneyers and Thom Fruehwirth (editors). Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012), Report CW 624, Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium, September 2012. [ .pdf ]
  5. Alia El Bolock, Amira Zaki and Thom Fruehwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012. [ .pdf ]
  6. Amira Zaki, Thom Fruehwirth and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012. [ .pdf ]
  7. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta and Thom Fruehwirth. Compiling CHR to parallel hardware, PPDP 2012: 14th International Symposium on Principles and Practice of Declarative Programming, Leuven, Belgium, September 2012. [ .pdf ]

    8. Publications in 2011

  8. Johannes Langbein, Roland Stelzer, Thom Frühwirth. A Rule-based Approach to Long-term Routing for Autonomous Sailboats. 4th International Robotic Sailing Conference (WRSC 2011), August 2011, Lübeck, Germany. [ .pdf ]
  9. Thom Frühwirth and Frank Raiser (editors). Constraint Handling Rules: Compilation, Execution, and Analysis. ISBN 978-3-83-911591-6, BOD, March 2011.
  10. Thom Frühwirth and Frank Raiser. Foreword and Appendix, Chapters in Constraint Handling Rules: Compilation, Execution, and Analysis. ISBN 978-3-83-911591-6, BOD, March 2011.
  11. Frank Raiser and Thom Frühwirth. Analysing graph transformation systems through constraint handling rules. Theory and Practice of Logic Programming, TPLP 11 (1):65-109, 2011. [ DOI|.pdf ]

    12. Publications in 2010

  12. Florian Geiselhart, Frank Raiser, Jon Sneyers, Thom Frühwirth. MTSeq - multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
  13. Johannes Langbein, Frank Raiser, Thom Frühwirth. A state equivalence and confluence checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
  14. Hariolf Betz, Frank Raiser, Thom Frühwirth. A complete and terminating execution model for constraint handling rules. Ulmer Informatik Berichte 2010-01, Ulm University, January 2010. [ .pdf ]
  15. Hariolf Betz, Frank Raiser, Thom Frühwirth. Persistent constraints in constraint handling rules. In Ulrich Geske and Armin Wolf, editors, 23rd Workshop on (Constraint) Logic Programming. Universitätsverlag Potsdam, 2010. [ .pdf ]
  16. Hariolf Betz, Frank Raiser, Thom W. Frühwirth. A complete and terminating execution model for Constraint Handling Rules. Theory and Practice of Logic Programming, 10(4-6):597-610, 2010. [ DOI | .pdf ]
  17. Ahmed Magdy, Frank Raiser, Thom Frühwirth. Implementing dynamic programming recurrences in constraint handling rules with rule priorities. In 24th Workshop on (Constraint) Logic Programming, 2010. [ .pdf ]
  18. Frank Raiser and Thom Frühwirth. Exhaustive parallel rewriting with multiple removals. In 24th Workshop on (Constraint) Logic Programming, 2010. [ .pdf ]
  19. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, Thom Frühwirth. Constraint-based hardware synthesis. In 24th Workshop on (Constraint) Logic Programming, 2010. [ .pdf ]

    20. Publications in 2009

  20. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. Electronic Notes in Theoretical Computer Science - Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), 253(4):91-111, November 2009. [ DOI | .pdf ]
  21. Thom Frühwirth, Constraint Handling Rules, Cambridge University Press, August 2009.
  22. Frank Raiser, Hariolf Betz, Thom Frühwirth, Equivalence of CHR states revisited, 6th International Workshop on Constraint Handling Rules (CHR'09) at ICLP'09, Pasadena, CA, USA, July 2009. [ .pdf ]
  23. Frank Raiser and Thom Frühwirth, Operational equivalence of graph transformation systems, 6th International Workshop on Constraint Handling Rules (CHR'09) at ICLP'09, Pasadena, CA, USA, July 2009. [ .pdf ]

    24. Publications in 2008

  24. Tom Schrijvers, Thom Frühwirth, Eds., Constraint Handling Rules: Current Research Topics, Springer LNAI 5388, December 2008.
  25. Thom Frühwirth, Welcome to Constraint Handling Rules, Tom Schrijvers, Thom Frühwirth, Eds., Constraint Handling Rules: Current Research Topics Springer LNAI 5388, December 2008.
  26. Tom Schrijvers, Frank Raiser, Thom Frühwirth, Eds., Proceedings of the 5th Workshop on Constraint Handling Rules (CHR 2008), RISC-Linz Report Series 08-10, Hagenberg/Linz, Austria, July 2008.
  27. Frank Raiser and Thom Frühwirth, Towards Term Rewriting Systems in Constraint Handling Rules, 5th Workshop on Constraint Handling Rules (CHR 2008), Hagenberg/Linz, Austria, July 2008.
  28. Jon Sneyers and Thom Frühwirth, Generalized CHR Machines, 5th Workshop on Constraint Handling Rules (CHR 2008), Hagenberg/Linz, Austria, July 2008.
  29. Thom Frühwirth, Quasi-Linear-Time Algorithms by Generalisation of Union-Find, F. Fages, F. Rossi, S. Soliman , Eds., Recent Advances in Constraints (CSCLP 2007), Springer LNAI 5129, 2008.
  30. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Theory of Finite or Infinite Trees Revisited, TPLP Journal 8 (4): 431-489, Cambridge University Press, 2008.

    31. Publications in 2007

  31. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees, C. C. Hung, A. Rosa, Eds., The 2007 ACM Symposium on Applied Computing (SAC 2007), ACM Press, 2007.
  32. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Extension au premier ordre de l'unification des termes par CHR, Troisiemes Journees Francophones de Programmation par Contraintes (JFPC07), INRIA, Rocquencourt, France, 2007.
  33. Frühwirth, T., Description Logic and Rules the CHR Way (Extended Abstract), [Slides], in K. Djelloul, G. J. Duck, M. Sulzmann, Eds., Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Porto, Portugal, September 2007.
  34. M. Meister, K. Djelloul, T. Frühwirth, Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees, in F. Azevedo, P. Barahona, F. Fages, F. Rossi, Eds., Recent Advances in Constraints, Springer LNAI 4651, 2007.
  35. M. Meister, T. Frühwirth, Reconstructing almost-linear Tree Equation Solving Algorithms in CHR, in F. Fages, F. Rossi, S. Soliman, Eds., Constraint Solving and Constraint Logic Programming (CSCLP'07), 12th Annual ERCIM Workshop, Paris, June 2007.

    36. Publications in 2006

  36. T. Schrijvers, T. Frühwirth, Eds., Proceedings of CHR 2006 Third Workshop on Constraint Handling Rules, Technical Report CW 452, Departement Computerwetenschappen, Katholieke Universiteit Leuven, Belgium, July 2006.
  37. T. Frühwirth, Deriving Linear-Time Algorithms from Union-Find in CHR, [Slides], CHR 2006, Venice, Italy, July 2006.
  38. M. Meister, T. Frühwirth, Complexity of the CHR Rational Tree Equation Solver, CHR 2006, Venice, Italy, July 2006.
  39. T. Frühwirth, Constraint Handling Rules - The Story So Far, [Slides], Invited Tutorial, PPDP'06, Venice, Italy, July 2006.
  40. T. Frühwirth, L. Michel and C. Schulte, Constraints in Procedural and Concurrent Languages, Chapter 13 in Handbook of Constraint Programming, F. Rossi, P. van Beek, T. Walsh , Eds., Elsevier, 2006.
  41. T. Frühwirth, Constraint Systems and Solvers for Constraint Programming, Special Issue of Archives of Control Sciences (ACS) on Constraint Programming for Decision and Control, R. Bartak, Ed., Silesian University of Technology, Gliwice, Poland, 2006.
  42. T. Frühwirth, Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains, Recent Advances in Constraints 2005 (CSCLP 2005), B. Hnich, M. Carlson, F. Fages, F. Rossi, Eds., Springer LNAI 3978, 2006.
  43. Tom Schrijvers and Thom Frühwirth, Optimal Union-Find in Constraint Handling Rules, [material], Programming Pearl, Theory and Practice of Logic Programming, Cambridge University Press, Vol 6(1), 2006. 
  44. T. Schrijvers, B. Demoen, G. Duck, P. Stuckey, T. Frühwirth, Automatic implication checking for CHR constraints, [report], 6th International Workshop on Rule-Based Programming, Nara, Japan, April 2005, published in ENTCS 147:1, January 2006.

    45. Publications in 2005

  45. Hariolf Betz and T. Frühwirth, A Linear-Logic Semantics for Constraint Handling Rules, [slides (ppt)], 11th Conference on Principles and Practice of Constraint Programming CP 2005, LNCS 3709, Springer Verlag, October 2005.
  46. T. Frühwirth, Parallelizing Union-Find in Constraint Handling Rules Using Confluence, [slides], [material], 21st Conference on Logic Programming ICLP 2005, LNCS 3668, Springer Verlag, October 2005.
  47. T. Frühwirth, Logical Rules for a Lexicographic Order Constraint Solver, [slides], Second Workshop on Constraint Handling Rules (CHR 2005), Barcelona/Sitges, Spain, October 2005.
  48. T. Schrijvers and T. Frühwirth, Eds., Proceedings of the Second Workshop on Constraint Handling Rules (CHR 2005), at ICLP'05, Barcelona/Sitges, Spain, October 2005.
  49. S. Abdennadher, T. Frühwirth and C. Holzbaur, Eds., Special Issue on Constraint Handling Rules, Journal on Theory and Practice of Logic Programming (TPLP), Cambridge University Press, Vol 5(4&5), July & September 2005.
  50. Thom Frühwirth, Specialization of Concurrent Guarded Multi-Set Transformation Rules, Logic Based Program Synthesis and Transformation - LOPSTR 2004, Revised Selected Papers, (Sandro Etalle, Ed.), LNCS 3573, Springer Verlag, 2005.
  51. Armin Wolf, Thom Frühwirth, Marc Meister, Eds., 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, Ulmer Informatik-Berichte Nr. 2005-01, University of Ulm, February, 2005.
  52. T. Schrijvers and T. Frühwirth, Analysing the CHR Implementation of Union-Find, [slides], [material], 19th Workshop on (Constraint) Logic Programming, University of Ulm, February, 2005.

    Publications in 2004

  53. Susanne Biundo, Thom Frühwirth, Günther Palm, Eds., KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence, Springer LNAI 3238, 2004.
  54. Susanne Biundo, Thom Frühwirth, Günther Palm, Eds., Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence, Ulmer Informatik-Berichte Nr. 2004-03, University of Ulm, Germany, September 2004.
  55. Tom Schrijvers and Thom Frühwirth, Implementing and Analysing Union-Find in CHR, K.U.Leuven, Department of Computer Science, Technical Report CW 389, July 2004.
  56. Thom Frühwirth, Marc Meister, Eds., First Workshop on Constraint Handling Rules: Selected Contributions, Ulmer Informatik-Berichte Nr. 2004-01, University of Ulm, Germany, May 2004.
  57. S. Abdennadher and T. Frühwirth, Integration and Optimization of Rule-Based Constraint Solvers, Logic Based Program Synthesis and Transformation - LOPSTR 2003, Revised Selected Papers, (M. Bruynooghe, ed.), LNCS 3018, Springer Verlag, 2004.
  58. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in Constraint Handling Rules, Special Issue on Preferences in AI and CP, (U. Junker, ed.), Computational Intelligence 20(2), Blackwell Publishing, May 2004.

    Publications in 2003

  59. T. Frühwirth and C. Holzbaur, Source-to-Source Transformation for a Class of Expressive Rules, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Reggio Calabria, Italy, September 2003.
  60. S. Abdennadher and T. Frühwirth, Integration and Optimization of Rule-based Constraint Solvers, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03), Uppsala, Sweden, August 2003.
  61. T. Frühwirth and S. Abdennadher, Essentials of Constraint Programming, Springer Verlag, February 2003.

    Publications in 2002

  62. T. Frühwirth, A. Di Pierro and H. Wiklicky, Probabilistic Constraint Handling Rules, 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Selected Papers, Marco Comini and Moreno Falaschi, Eds., Vol. 76 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002.
  63. T. Frühwirth, As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs, QAPL'01 - Quantitative Aspects of Programming Laguages, Selected Papers, Alessandra Di Pierro and Herbert Wiklicky, Eds., Vol. 59, No.3 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002.
  64. T. Frühwirth, A. Di Pierro and H. Wiklicky, An Implementation of Probabilistic Constraint Handling Rules, 11th International Workshop on Functional and (constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, University of Udine, Italy, June 2002.
  65. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, CHR to model Soft Constraint Propagation and Solving, 11th International Workshop on Functional and (constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, University of Udine, Italy, June 2002.
  66. S. Abdennadher and T. Frühwirth, Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers, Onziemes JournŽées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France, May 2002.
  67. T. Frühwirth, As Time Goes By: Automatic Complexity Analysis of Simplification Rules, 8th Intl Conf on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2002.
  68. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in CHR (short, revised version), ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, March 2002.
  69. P. S. Eaton, T. Frühwirth and M. Tambe, Eds., Constraint Agents, Special Issue Constraints Journal 7(1), Kluwer, January 2002.

    Publications in 2001

  70. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in CHR, Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus, December 2001.
  71. T. Frühwirth, A. Di Pierro, H. Wiklicky, Towards Probabilistic Constraint Handling Rules, Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus, December 2001.
  72. T. Frühwirth, As Time Goes By: Complexity Analysis of Simplification Rules, Workshop on Quantitative Aspects of Programming Laguages (QAPL'01) at the Conference on Principles, Logics, and Implementations of high-level programming languages (PLI'01), Firenze, Italy, September 2001.
  73. T. Frühwirth, On the Number of Rule Applications in Constraint Programs, Joint Conference on Declarative Programming AGP'00, (A. Dovier, M. C. Meo, A. Omicini, Eds.), Electronic Notes on Theoretical Computer Science (ENTCS), Vol 48, June 2001.
  74. T. Frühwirth and S. Abdennadher, The Munich Rent Advisor: A Success for Logic Programming on the Internet, Special Issue on Logic Programming and the Internet (M. Hermenegildo, L. Naish and L. Sterling, Eds.), Journal on Theory and Practice of Logic Programming (TPLP), Cambridge University Press, Vol 1(3), May 2001.
  75. A. Raffaeta and T. Frühwirth, Spatio-Temporal Annotated Constraint Logic Programming, Third International Workshop on Practical Aspects of Declarative Languages (PADL'01), Las Vegas, USA, March 2001.

    Publications in 2000

  76. C. Holzbaur and T. Frühwirth, Constraint Handling Rules Manual for Yap 4.13 Prolog, (L. Damas and V.S. Costa, Eds.), Universidade do Porto, December 2000.
  77. T. Frühwirth, Predicting Derivation Lengths in Rule-based Constraint Programs, Neuviemes Journees Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2000), Marseille, France, June 2000. Paper.
  78. T. Frühwirth, Proving Termination of Constraint Solver Programs, in New Trends in Constraints, Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999, (K.R. Apt, A.C. Kakas, E. Monfroy and F. Rossi, Eds.), Springer LNAI 1865, May 2000. Paper.
  79. A. Raffaeta and T. Frühwirth, Semantics for Temporal Annotated Constraint Logic Programming, in Labelled Deduction (D. Basin, M. D'Agostino, D. Gabbay, S. Matthews and L. Vigano, Eds.), Applied Logic Series, Kluwer Academic Publishers, May 2000. Paper.
  80. M. Wirsing and T. Frühwirth, Eds., AMAST'96, Special Issue of Theoretical Computer Science, Vol 239/1, Elsevier, May 2000.
  81. C. Holzbaur and T. Frühwirth, A Prolog Constraint Handling Rules Compiler and Runtime System, Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules (C. Holzbaur and T. Frühwirth, Eds.), Taylor & Francis, Vol 14(4), April 2000. Paper.
  82. C. Holzbaur and T. Frühwirth, Eds., Constraint Handling Rules, Special Issue Journal of Applied Artificial Intelligence, Taylor & Francis, Vol 14(4), April 2000. CHR Special.
  83. A. E. M. Ciarlini and T. Frühwirth, Automatic Derivation of Meaningful Experiments for Hybrid Systems, ACM SIGSIM Conference on AI, Simulation and Planning (AIS'2000), Tucson, Arizona, USA, March 2000. Paper [slides].
  84. A. Raffaeta and T. Frühwirth, Two Semantics for Temporal Annotated Constraint Logic Programming, in Intensional Programming II, Based on the Papers at ISLIP'99, (M. Gergatsoulis and P. Rondogiannis, Eds.), World Scientific Singapore, pp. 78-92, March 2000. Paper.
  85. T. Frühwirth, Constraint Solving with Constraint Handling Rules, in Intensional Programming II, Based on the Papers at ISLIP'99, (M. Gergatsoulis and P. Rondogiannis, Eds.), World Scientific Singapore, pp. 14-30, March 2000. Paper. [slides].
  86. T. Frühwirth and P. Brisset, Optimal Placement of Base Stations in Wireless Indoor Communication Networks, Special Issue on Practical Applications of Constraint Technology, (M. Wallace and G. Freuder, Eds.), IEEE Intelligent Systems Magazine Vol 15(1), IEEE Press, USA, January/February 2000. Paper.
  87. S. Abdennadher and T. Frühwirth, Definition von angepassten Constraint-Solvern mit Constraint Handling Rules, F. Bry, U. Geske, D. Seipel (Eds.), 14. Workshop Logische Programmierung (WLP 2000), Würzburg, Germany, GMD Report No. 90, January 2000.

    88. Publications in 1999

  88. A. E. M. Ciarlini and T. Frühwirth, Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems, Poster, Sixteenth International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, December 1999. Poster.
  89. T. Frühwirth, Termination of CHR Constraint Solvers, ERCIM Working Group on Constraints / CompulogNet Area on Constraint Programming Workshop, Paphos, Cyprus, October 1999. [slides].
  90. S. Abdennadher and T. Frühwirth, Operational Equivalence of CHR Programs and Constraints, Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandra, Virginia, USA, Springer LNCS, October 1999. Paper. Paper with proofs. [slides].
  91. C. Holzbaur and T. Frühwirth, Compiling Constraint Handling Rules into Prolog with Attributed Variables, International Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris, France, September/October 1999. Paper.
  92. C. Holzbaur and T. Frühwirth, A Compiler for Constraint Handling Rules based on Partial Evaluation, 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, Italy, September 1999. Paper.
  93. S. Abdennadher, T. Frühwirth and H. Meuss, Semantics and Confluence of Constraint Simplification Rules, Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming (E. Freuder, ed.), Kluwer Academic Publishers, Vol 4(2), May 1999. Paper.
  94. A. E. M. Ciarlini and T. Frühwirth, Using Constraint Logic Programming for Software Validation, Fifth Workshop on the German-Brazilian Bilateral Programme for Scientific and Technological Cooperation, Koenigswinter, Germany, March 1999, Paper. [slides].

    Publications in 1998

  95. C. Holzbaur and T. Frühwirth, Constraint Handling Rules Reference Manual for Sicstus Prolog, Technical Report TR-98-01, Österreichisches Forschungsinstitut für Artificial Intelligence, Vienna, Austria, July 1998, CHR Manual (html) , CHR Manual.
  96. T. Frühwirth, A declarative language for constraint systems, Habilitation, Institut für Informatik, Ludwig-Maximilians-University Munich, Germany, July 1998.
  97. C. Holzbaur and T. Frühwirth, Compiling Constraint Handling Rules (CHR), Third ERCIM/Compulog Network Workshop on Constraints, CWI Amsterdam, The Netherlands, September 1998, Paper.
  98. C. Holzbaur and T. Frühwirth, Join Evaluation Schemata for Constraint Handling Rules, 13th Workshop Logische Programmierung WLP'98, TU Vienna, Austria, September 1998, Paper.
  99. T. Frühwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998, Paper.
  100. S. Abdennadher and T. Frühwirth, On Completion of Constraint Handling Rules, Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Pisa, Italy, October 1998, Paper. [slides].
  101. T. Frühwirth and P. Brisset, Optimal Placement of Base Stations in Wireless Indoor Telecommunication, Winner of telecom application contest, Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Pisa, Italy, October 1998, [slides], Paper.
  102. M. Wirsing and T. Frühwirth, Eds., An der Schwelle zum nächsten Jahrtausend: Informatik für Menschen, Organisationen, Forschung und Lehre, Proceedings Tag der Informatik, LMU Munich, December 1998.

    103. Publications in 1997

  103. T. Frühwirth and P. Brisset, Optimal Planning of Digital Cordless Telecommunication Systems, Third International Conference on The Practical Application of Constraint Technology (PACT97), London, U.K., April 1997, [slides], Paper.
  104. T. Frühwirth and S. Abdennadher, Der Mietspiegel im Internet, Ein Fall f"ur Constraint-Logikprogrammierung (in German), KI - K"unstliche Intelligenz 1/97, Themenheft Constraints (H. W. Guesgen and J. Hertzberg, Eds.), April 1997, Paper.
  105. T. Frühwirth and S. Abdennadher, Anwendungen Constraintbasierter Programmierung (in German), GI Informatik 97 Jahrestagung, Springer LNCS, Aachen, September 1997, Paper.
  106. T. Frühwirth and S. Abdennadher, Constraint-Programmierung (in German), Textbook, Springer, September 1997, More (html).

    Publications in 1996

  107. S. Abdennadher, T. Frühwirth and H. Meuss, Confluent Simplification Rules, Technical Report PMS-FB-1996-7, Institute for Informatics, Ludwig-Maximilians-University Munich, Germany, January 1996, [abstract], Paper.
  108. T. Frühwirth, J.-R. Molwitz and P. Brisset, Planning Cordless Business Communication Systems, IEEE Expert Magazine, Special Track on Intelligent Telecommunications, February 1996.
  109. T. Frühwirth, Temporal Annotated Constraint Logic Programming, Journal of Symbolic Computation, Special issue on Executable Temporal Logics (M. Fisher, M. Orgun and S. Kono, Eds.), Vol. 22, pp. 555-583, Academic Press, 1996, Paper.
  110. S. Abdennadher, T. Frühwirth and P. Blenninger, Rent Estimates with Constraints over the Internet - System Description, Journees Francophones de Programmation en Logique et programmation par Contraintes (JFPLC'96), Clermont Ferrand, France, June 1996, also Technical Report PMS-FB-1996-9, [abstract], Short Paper.
  111. T. Frühwirth, S. Abdennadher and H. Meuss, Implementing Constraint Solvers: Theory and Practice, Forum de la Recherche en Informatique'96 (FRI'96), Tunis, Tunesia, July 1996 (also Technical Report PMS-FB-1996-14).
  112. S. Abdennadher, T. Frühwirth and H. Meuss, On Confluence of Constraint Handling Rules, Second International Conference on Principles and Practice of Constraint Programming CP'96, Cambridge, USA, Springer LNCS, August 1996, also Technical Report PMS-FB-1996-8, [abstract], Paper.
  113. T. Frühwirth and S. Abdennadher, The Munich Rent Advisor, 1st Workshop on Logic Programming Tools for Internet Applications in conjunction with JICSLP'96, Bonn, Germany, September 1996, Paper.

    114. Publications in 1995

  114. T. Frühwirth and P. Hanschke, Terminological Reasoning with Constraint Handling Rules, Chapter in Principles and Practice of Constraint Programming (P. Van Hentenryck and V.J. Saraswat, Eds.), MIT Press, April 1995.
  115. S. Abdennadher, T. Frühwirth, H. Meuss and M. Meuss, A Confluence Test for Concurrent Constraint Programs, Technical Report PMS-FB-1995-4, Institut für Informatik, Ludwig-Maximilians-University Munich, April 1995.
  116. T. Frühwirth, Constraint Handling Rules, Chapter in "Constraint Programming: Basics and Trends" (A. Podelski, ed.), Springer LNCS 910, March 1995, pp. 90ff, Paper.
  117. T. Frühwirth, Temporal Logic and Annotated Constraint Logic Programming, Chapter in Executable Modal and Temporal Logics (M. Fisher, ed.), Springer LNAI 897, pp.58-68, March 1995.
  118. T. Frühwirth and P. Brisset, High-Level Implementations of Constraint Handling Rules, Technical Report ECRC-95-20, ECRC Munich, Germany, June 1995.
  119. T. Frühwirth, J.-R. Molwitz and P. Brisset, Planning Cordless Business Communication Systems, Technical Report ECRC-95-32, ECRC Munich, Germany, November 1995.

    120. Publications in 1994

  120. T. Frühwirth and Ph. Hanschke, Terminological Reasoning with Constraint Handling Rules, Technical Report ECRC-94-6, ECRC Munich, Germany, February 1994.
  121. T. Frühwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-94-5, ECRC Munich, Germany, February 1994, (first published as internal report CORE-93-8, January 1993).
  122. T. Frühwirth, Temporal Annotated Constraint Logic Programming, Workshop on Logic and Change, Marseille, France, March 1994.
  123. T. Frühwirth and P. Brisset, The Constraint Handling Rules Library, Chapter in ECLiPSe 3.4 ff Extensions User Manual, ECRC Munich, Germany, July 1994. Manual Eclipse 5.10.
  124. T. Frühwirth, Annotating Non-Atomic Formulas with Temporal Information, Workshop on Logic and Change at ECAI 94, Amsterdam, The Netherlands, August 1994.
  125. T. Frühwirth, Constraint Handling Rules (Extended Abstract), Norbert E. Fuchs, Georg Gottlob (Eds.), Proceedings of the Tenth Logic Programming Workshop (WLP 94), Technical Report 94/10, Institut für Informatik, University of Zurich, September 1994.
  126. T. Frühwirth, Annotated Constraint Logic Programming Applied to Temporal Reasoning, Programming Language Implementation and Logic Programming (PLILP), Madrid, Spain, Springer LNCS, September 1994, also available as Technical Report ECRC-94-22.

    127. Publications in 1993

  127. T. Frühwirth, A. Herold, V. Küchenhoff, T. Le Provost, P. Lim, E. Monfroy and M. Wallace. Constraint Logic Programming - An Informal Introduction, Chapter in Logic Programming in Action (G. Comyn, N.E. Fuchs, M.J. Ratcliffe, Eds.), Springer LNCS 636, September 1992 (also Technical Report ECRC-93-5, ECRC Munich, Germany, February 1993).
  128. T. Frühwirth, Entailment Simplification and Constraint Constructors for User-Defined Constraints, 3rd Workshop on Constraint Logic Programming (WCLP 93), Marseille, France, March 1993.
  129. T. Frühwirth and Ph. Hanschke, Terminological Reasoning with Constraint Handling Rules, Workshop on Principles and Practice of Constraint Programming, Newport, RI, USA, April 1993 (also ECRC internal report CORE-93-13, February 1993).
  130. T. Frühwirth, User-Defined Constraint Handling, Poster, International Conference on Logic Programming (ICLP 93), Budapest, Hungary, MIT Press, June 1993.
  131. T. Frühwirth, Temporal Logic and Annotated Constraint Logic Programming, IJCAI 93 Workshop on Executable Modal and Temporal Logic, Chambery, France, August 1993.

    132. Publications in 1992

  132. T. Frühwirth, Constraint Simplification Rules, Technical Report ECRC-92-18, ECRC Munich, Germany, July 1992, Presented at JICSLP'92 Workshop on Constraint Logic Programming, Washington D.C., USA, November 1992.
  133. T. Frühwirth, A. Herold, V. Küchenhoff, T. Le Provost, P. Lim, E. Monfroy and M. Wallace, The CORE Approach to Constraint Logic Programming, FGCS 92, Workshop on Constraint Logic Programming, Tokyo, Japan, June 1992.

    134. Publications in 1991

  134. T. Frühwirth, Introducing Simplification Rules, Presented at the Workshop Logisches Programmieren, Goosen/Berlin, Germany, October 1991 and the Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991 (also Internal Report ECRC-LP-63, ECRC Munich, Germany, October 1991).
  135. E. Yardeni, T. Frühwirth, E. Shapiro, Polymorphically Typed Logic Programs, 8th International Conference on Logic Programming (ICLP), pp. 379-393, (K. Furukuwa and P. Deransart, eds.) MIT Press, June 1991.
  136. T. Frühwirth, E. Shapiro, M. Vardi and E. Yardeni, Logic Programs as Types for Logic Programs, 6th Annual IEEE Symposium on Logic in Computer Science (LICS), (G. Kahn, ed.), Amsterdam, July 1991, pp. 300-309, corrected version.
  137. E. Yardeni, T. Frühwirth, E. Shapiro, Polymorphically Typed Logic Programs, Chapter 2 in Types in Logic Programming (F. Pfenning, ed.), MIT Press, 1992, also available as Technical Report ECRC-LP-61, ECRC Munich, Germany, 1991.

    138. Publications in 1990

  138. T. Frühwirth, Types in Logic Programming, PhD. Thesis, Technical University Vienna, Inst. f. Angew. Informatik, Austria, March 1990.
  139. T. Frühwirth, Prolog und Meta-Interpreter (in German), Chapter 5 in Expertensysteme - Grundlagen und Anwendungen, (T. Frühwirth, G. Gottlob and W. Horn, eds.), Reihe Angewandte Informatik, Springer Verlag, Austria, 1990.
  140. T. Frühwirth, G. Gottlob and W. Horn, eds., Expertensysteme - Grundlagen und Anwendungen, Reihe Angewandte Informatik, Springer Verlag, Austria, 1990.
  141. T. Frühwirth, Using Meta-interpreters for Polymorphic Type Checking, 2nd Workshop on Meta-Programming in Logic (META 90), K.U. Leuven, Belgium, April 1990.
  142. T. Frühwirth, Polymorphic Type Checking with Subtypes, Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO 90), Capri, Italy, Springer LNCS, April 1990.
  143. T. Frühwirth, Constraint Logic Programming - An Overview, Technical Report E181-2, Christian Doppler Laboratory For Expert Systems, Vienna, Austria, August 1990.

    144. Publications in 1989

  144. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, Chapter in Meta-Programming in Logic Programming (H. Abramson and M. H. Rogers, eds.), MIT Press, 1989.
  145. T. Frühwirth, On Fixpoint Semantics for Types in Logic Programming Languages, Technical Report, CS at SUNY at Stony Brook, USA, July 1989.
  146. T. Frühwirth, Towards a Fully Polymorphic Type System for Prolog, Technical Report TR 89/26, State University of New York at Stony Brook, Department of Computer Science, Presented at the Workshop on Types in Logic Programming at the North American Conference on Logic Programming (NACLP 89), October 1989.
  147. T. Frühwirth, A Polymorphic Type Checking System for Prolog in HiLog, 6th Israel Conference on Artificial Intelligence and Computer Vision, Ramat Gan, Israel, December 1989.

    148. Publications in 1988

  148. T. Frühwirth, Some Thoughts on Type Inference in Prolog, 10th Conf. Computers at the University, Cavtat, Yugoslavia, June 1988.
  149. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, First Workshop on Meta-Programming in Logic Programming (META 88), Bristol, UK, June 1988.
  150. T. Frühwirth, Introducing Type Inference by Program Transformation, 8th SCCC Int. Conf. on Computer Science, Santiago, Chile, July 1988.
  151. T. Frühwirth, A Type Language for Prolog and Its Application to Type Inference, Int. Conf. on Computational Intelligence (DISCO 88), Milano, Italy, September 1988.
  152. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, IEEE Int. Conf. on Computer Languages '88, Miami Beach, FL, USA, October 1988, IEEE Press.

    153. Publications in 1987

  153. T. Frühwirth and E. Kühn, VIP-DBS: Ein integriertes logik-orientiertes Datenbank Management System (in German), Workshop Logisches Programmieren at GMD, St. Augustin, Germany, September 1987.

    154. Publications in 1986

  154. T. Frühwirth, Prolog, Logik und Datenbanken (in German), Master Thesis, Inst. f. Prakt. Informatik, Technical University Vienna, Austria, May 1986.
  155. T. Frühwirth and E. Kühn, VIP-DBS: Ein integriertes logik-orientiertes Datenbank Management System, Fachtagung Die Zukunft der Informationssysteme, Linz, Austria, Springer Verlag, September 1986.

    156. Publications in 1985

  156. T. Frühwirth, A. Krall, E. Kühn et al., VIP - A Prolog Programming Environment, Technical Report VIP TR 1802/85/1, Technical University Vienna, Austria, January 1985.
  157. T. Frühwirth and E. Kühn, VIP-DBS: An Integrated Logic Database System Based on Prolog, Technical Report VIP TR 1802/85/4, Technical University Vienna, Austria, November 1985.

Thom Frühwirth, March 8, 2013