The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thom W. Frühwirth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro
    Polymorphically Typed Logic Programs. [Citation Graph (2, 0)][DBLP]
    ICLP, 1991, pp:379-393 [Conf]
  2. Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni
    Logic Programs as Types for Logic Programs [Citation Graph (1, 0)][DBLP]
    LICS, 1991, pp:300-309 [Conf]
  3. Thom W. Frühwirth, Christian Holzbaur
    Source-to-Source Transformation for a Class of Expressive Rules. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:386-397 [Conf]
  4. Thom W. Frühwirth
    Proving Termination of Constraint Solver Programs. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:298-317 [Conf]
  5. Slim Abdennadher, Thom W. Frühwirth
    On Completion of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:25-39 [Conf]
  6. Slim Abdennadher, Thom W. Frühwirth
    Operational Equivalence of CHR Programs and Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:43-57 [Conf]
  7. Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
    On Confluence of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:1-15 [Conf]
  8. Hariolf Betz, Thom W. Frühwirth
    A Linear-Logic Semantics for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:137-151 [Conf]
  9. Thom W. Frühwirth, Pascal Brisset
    Optimal Placement of Base Stations in Wireless Indoor Telecommunication. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:476-480 [Conf]
  10. Thom W. Frühwirth
    Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2005, pp:14-28 [Conf]
  11. Thom W. Frühwirth
    Polymorphic Type Checking with Subtypes in Prolog. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:121-130 [Conf]
  12. Thom W. Frühwirth, Slim Abdennadher
    Tutorial: Reasoning with, about and for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:192- [Conf]
  13. Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer
    JACK - Java Constraint Kit. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:47-58 [Conf]
  14. Thom W. Frühwirth, Slim Abdennadher
    Anwendungen Constraintbasierter Programmierung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:317-326 [Conf]
  15. Thom W. Frühwirth
    Type inference by program transformation and partial evaluation. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:347-354 [Conf]
  16. Angelo E. M. Ciarlini, Thom W. Frühwirth
    Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:606- [Conf]
  17. Thom W. Frühwirth
    Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:113-127 [Conf]
  18. Thom W. Frühwirth
    User-Defined Constraint Handling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:837-838 [Conf]
  19. Thom W. Frühwirth
    Temporal Logic and Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Executable Modal and Temporal Logics, 1993, pp:58-68 [Conf]
  20. Slim Abdennadher, Thom W. Frühwirth
    Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:257-0 [Conf]
  21. Thom W. Frühwirth
    Predicting Derivation Lengths in Rule-based Constraint Programs. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:89-108 [Conf]
  22. Thom W. Frühwirth
    As Time Goes by: Automatic Complexity Analysis of Simplified Rules. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:547-557 [Conf]
  23. Slim Abdennadher, Thom W. Frühwirth
    Integration and Optimization of Rule-Based Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:198-213 [Conf]
  24. Thom W. Frühwirth
    Specialization of Concurrent Guarded Multi-set Transformation Rules. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:133-148 [Conf]
  25. Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace
    Contraint Logic Programming - An Informal Introduction. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:3-35 [Conf]
  26. Thom W. Frühwirth
    Type Inference by Program Transformation and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:263-282 [Conf]
  27. Alessandra Raffaetà, Thom W. Frühwirth
    Spatio-temporal Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:259-273 [Conf]
  28. Thom W. Frühwirth
    Annotated Constraint Logic Programming Applied to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:230-243 [Conf]
  29. Thom W. Frühwirth, Philipp Hanschke
    Terminological Reasoning with Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:80-89 [Conf]
  30. Christian Holzbaur, Thom W. Frühwirth
    Compiling Constraint Handling Rules into Prolog with Attributed Variables. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:117-133 [Conf]
  31. Thom W. Frühwirth
    Constraint handling rules: the story so far. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:13-14 [Conf]
  32. Stefano Bistarelli, Thom W. Frühwirth, Michael Marte
    Soft constraint propagation and solving in CHRs. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:1-5 [Conf]
  33. Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
    Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:58-64 [Conf]
  34. Slim Abdennadher, Thom W. Frühwirth
    Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:15- [Conf]
  35. Thom W. Frühwirth
    Constraint Handling Rules (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:120-129 [Conf]
  36. Tom Schrijvers, Thom W. Frühwirth
    Analysing the CHR Implementation of Union-Find. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:135-146 [Conf]
  37. Christian Holzbaur, Thom W. Frühwirth
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:4, pp:309-310 [Journal]
  38. Christian Holzbaur, Thom W. Frühwirth
    A PROLOG Constraint Handling Rules Compiler and Runtime System. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:4, pp:369-388 [Journal]
  39. Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
    Confluence and Semantics of Constraint Simplification Rules. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:2, pp:133-165 [Journal]
  40. Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe
    Special Issue on Constraint Agents. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:1, pp:5-6 [Journal]
  41. Thom W. Frühwirth, Slim Abdennadher
    The Munich Rent Advisor: A Success for Logic Programming on the Internet [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  42. Thom W. Frühwirth
    On the number of rule applications in constraint programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  43. Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  44. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
    Automatic Implication Checking for CHR Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:93-111 [Journal]
  45. Thom W. Frühwirth, Pascal Brisset
    Placing Base Stations in Wireless Indoor Communication Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2000, v:15, n:1, pp:49-53 [Journal]
  46. Thom W. Frühwirth, Pascal Brisset, Jörg-Rainer Molwitz
    Planning Cordless Business Communication Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1996, v:11, n:1, pp:50-55 [Journal]
  47. Thom W. Frühwirth
    Theory and Practice of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:95-138 [Journal]
  48. Thom W. Frühwirth
    Temporal Annotated Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:555-583 [Journal]
  49. Thom W. Frühwirth, Slim Abdennadher
    Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung. [Citation Graph (0, 0)][DBLP]
    KI, 1997, v:11, n:1, pp:33-36 [Journal]
  50. Thom W. Frühwirth
    Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:90-107 [Journal]
  51. Thom W. Frühwirth
    As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
  52. Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
    Introduction to the Special Issue on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:401-402 [Journal]
  53. Thom W. Frühwirth, Slim Abdennadher
    The Munich Rent Advisor: A Success for Logic Programming on the Internet. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:3, pp:303-319 [Journal]
  54. Tom Schrijvers, Thom W. Frühwirth
    Optimal union-find in Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:1-2, pp:213-224 [Journal]
  55. Marc Meister, Khalil Djelloul, Thom W. Frühwirth
    Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2006, pp:139-153 [Conf]
  56. Khalil Djelloul, Thi-Bich-Hanh Dao, Thom Fruehwirth
    Theory of Finite or Infinite Trees Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  57. Tom Schrijvers, Thom Fruehwirth
    Optimal Union-Find in Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  58. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. [Citation Graph (, )][DBLP]


  59. Soft Constraint Propagation and Solving in Constraint Handling Rules. [Citation Graph (, )][DBLP]


  60. Analyzing Graph Transformation Systems through Constraint Handling Rules [Citation Graph (, )][DBLP]


  61. A Complete and Terminating Execution Model for Constraint Handling Rules [Citation Graph (, )][DBLP]


  62. Strong Joinability Analysis for Graph Transformation Systems in CHR. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002