| Theory and practice of constraint handling rules T Frühwirth The Journal of Logic Programming 37 (1), 95-138, 1998 | 953 | 1998 |
| Essentials of Constraint Programming T Frühwirth, S Abdennadher Springer, 2003 | 365 | 2003 |
| Constraint Handling Rules T Frühwirth Cambridge University Press, 2009 | 287 | 2009 |
| Constraint handling rules T Frühwirth Constraint programming: Basics and trends, LNCS 910, 90-107, 1995 | 280 | 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 | 224 | 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 | 163 | 1992 |
| Constraint-Programmierung: Grundlagen und Anwendungen T Frühwirth, S Abdennadher Berlin: Springer, 1997 | 121* | 1997 |
| Confluence and semantics of constraint simplification rules S Abdennadher, T Frühwirth, H Meuss Constraints 4, 133-165, 1999 | 106 | 1999 |
| Expertensysteme G Gottlob, T Frühwirth, W Horn Springer Verlag Wien - New York, 1990 | 97* | 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 | 71 | 2006 |
| On confluence of constraint handling rules S Abdennadher, T Frühwirth, H Meuss Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 66* | 1996 |
| A Prolog Constraint Handling Rules compiler and runtime system C Holzbaur, T Frühwirth Applied Artificial Intelligence 14 (4), 369-388, 2000 | 60 | 2000 |
| A linear-logic semantics for constraint handling rules H Betz, T Frühwirth International Conference on Principles and Practice of Constraint …, 2005 | 59 | 2005 |
| Compiling constraint handling rules into Prolog with attributed variables C Holzbaur, T Frühwirth Principles and Practice of Declarative Programming: International Conference …, 1999 | 55 | 1999 |
| Temporal annotated constraint logic programming T Frühwirth Journal of Symbolic Computation 22 (5), 555-584, 1996 | 55 | 1996 |
| 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 | 54 | 2005 |
| Constraint simplification rules T Frühwirth Workshop on Constraint Logic Programming at JICSLP'92, 1992 | 54 | 1992 |
| 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 | 50* | 1994 |
| Polymorphically Typed Logic Programs. E Yardeni, T Frühwirth, E Shapiro Types in Logic Programming, 63-90, 1992 | 48 | 1992 |
| Proving termination of constraint solver programs T Frühwirth Compulog Net/ERCIM Workshop on Constraints, 298-317, 1999 | 47 | 1999 |
Slim AbdennadherProfessor of Computer Science, German International University in CairoEmail verificata su giu-uni.de