| Theory and practice of constraint handling rules T Frühwirth The Journal of Logic Programming 37 (1), 95-138, 1998 | 976 | 1998 |
| Essentials of Constraint Programming T Frühwirth, S Abdennadher Springer, 2003 | 380 | 2003 |
| Constraint Handling Rules T Frühwirth Cambridge University Press, 2009 | 309 | 2009 |
| Constraint handling rules T Frühwirth Constraint programming: Basics and trends, LNCS 910, 90-107, 1995 | 285 | 1995 |
| Logic programs as types for logic programs T Frühwirth, E Shapiro, MY Vardi, E Yardeni Logic in Computer Science, 1991. LICS'91. Proceedings of Sixth Annual IEEE …, 1991 | 227 | 1991 |
| Constraint Logic Programming - An informal introduction T Frühwirth, A Herold, V Küchenhoff, T Le Provost, P Lim, E Monfroy, ... Logic Programming in Action, 3-35, 1992 | 160 | 1992 |
| Constraint-Programmierung: Grundlagen und Anwendungen T Frühwirth, S Abdennadher Berlin: Springer, 1997 | 119* | 1997 |
| Confluence and semantics of constraint simplification rules S Abdennadher, T Frühwirth, H Meuss Constraints 4 (2), 133-165, 1999 | 112 | 1999 |
| Expertensysteme G Gottlob, T Frühwirth, W Horn Springer Verlag Wien - New York, 1990 | 102* | 1990 |
| Optimal union-find in constraint handling rules T Schrijvers, T Frühwirth Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006 | 75 | 2006 |
| On confluence of constraint handling rules S Abdennadher, T Frühwirth, H Meuss International Conference on Principles and Practice of Constraint …, 1996 | 70* | 1996 |
| A Prolog Constraint Handling Rules compiler and runtime system C Holzbaur, T Frühwirth Applied Artificial Intelligence 14 (4), 369-388, 2000 | 67 | 2000 |
| A linear-logic semantics for constraint handling rules H Betz, T Frühwirth International Conference on Principles and Practice of Constraint …, 2005 | 63 | 2005 |
| Compiling constraint handling rules into Prolog with attributed variables C Holzbaur, T Frühwirth International Conference on Principles and Practice of Declarative …, 1999 | 59 | 1999 |
| Parallelizing union-find in Constraint Handling Rules using confluence analysis T Frühwirth Proceedings of the 21st Conference on Logic Programming ICLP 2005, 113-127, 2005 | 57 | 2005 |
| Constraint simplification rules T Frühwirth Workshop on Constraint Logic Programming at JICSLP'92, 1992 | 56 | 1992 |
| Temporal annotated constraint logic programming T Frühwirth Journal of Symbolic Computation 22 (5), 555-584, 1996 | 54 | 1996 |
| Proving termination of constraint solver programs T Frühwirth Compulog Net/ERCIM Workshop on Constraints, 298-317, 1999 | 52 | 1999 |
| Operational equivalence of CHR programs and constraints S Abdennadher, T Frühwirth International Conference on Principles and Practice of Constraint …, 1999 | 48* | 1999 |
| ECLiPSe Extensions User Manual P Brisset, T Fruehwirth, P Lim, M Meier, TL Provost, J Schimpf, M Wallace European Computer-Industry Research Centre, Munich, 1994 | 48* | 1994 |
Slim AbdennadherProfessor of Computer Science, German International University in CairoVerified email at giu-uni.de
