| Theory and practice of constraint handling rules T Frühwirth The Journal of Logic Programming 37 (1), 95-138, 1998 | 928 | 1998 |
| Essentials of Constraint Programming T Frühwirth, S Abdennadher Springer, 2003 | 354 | 2003 |
| Constraint Handling Rules T Frühwirth Cambridge University Press, 2009 | 283 | 2009 |
| Constraint handling rules T Frühwirth Constraint programming: Basics and trends, LNCS 910, 90-107, 1995 | 282* | 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 | 217 | 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 | 154 | 1992 |
| Constraint-Programmierung: Grundlagen und Anwendungen T Frühwirth, S Abdennadher Berlin: Springer, 1997 | 114* | 1997 |
| Confluence and semantics of constraint simplification rules S Abdennadher, T Frühwirth, H Meuss Constraints 4, 133-165, 1999 | 107 | 1999 |
| Expertensysteme G Gottlob, T Frühwirth, W Horn Springer Verlag Wien - New York, 1990 | 94* | 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 | 72 | 2006 |
| On confluence of constraint handling rules S Abdennadher, T Frühwirth, H Meuss Principles and Practice of Constraint Programming—CP96: Second …, 1996 | 63* | 1996 |
| A linear-logic semantics for constraint handling rules H Betz, T Frühwirth Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005 | 61 | 2005 |
| Compiling constraint handling rules into Prolog with attributed variables C Holzbaur, T Frühwirth PPDP 99, 117-133, 1999 | 59 | 1999 |
| A Prolog Constraint Handling Rules compiler and runtime system C Holzbaur, T Frühwirth Applied Artificial Intelligence 14 (4), 369-388, 2000 | 57 | 2000 |
| Temporal annotated constraint logic programming T Frühwirth Journal of Symbolic Computation 22 (5), 555-584, 1996 | 57 | 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 | 55 | 2005 |
| Constraint simplification rules T Frühwirth Workshop on Constraint Logic Programming at JICSLP'92, 1992 | 53 | 1992 |
| Proving termination of constraint solver programs T Frühwirth New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus …, 2001 | 48 | 2001 |
| Polymorphically Typed Logic Programs. E Yardeni, T Frühwirth, E Shapiro Types in Logic Programming, 63-90, 1992 | 48 | 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 | 46* | 1994 |
Slim AbdennadherProfessor of Computer Science, German International University in CairoVerified email at giu-uni.de
