S. Abdennadher, C. Rigotti: Automatic generation of rule-based constraint solvers over finite domains. ACM Transactions on Computational Logic (TOCL), Volume 5 , Issue 2, April 2004, Abstract, Paper (pdf)

S. Abdennadher, T. Frühwirth, Integration and Optimization of Rule-based Constraint Solvers. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Selected papers,  Springer LNCS, 2004, Abstract, Paper (Postscript), Paper (pdf)

S. Abdennadher, T. Frühwirth, Integration and Optimization of Rule-based Constraint Solvers. International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Uppsala, Sweden, August 2003, Abstract, Paper

T. Frühwirth, S. Abdennadher, Essentials of Constraint Programming, Textbook, Springer Verlag, Februar 2003.

S. Abdennadher, C. Rigotti: Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming. International Workshop Logic Based Program Development and Transformation (LOPSTR'02), Selected Papers, Springer LNCS, 2003, Abstract (ASCII), Paper (Postscript, 400K)

S. Abdennadher, C. Rigotti: Automatic Generation of Rule-Based Constraint Solvers over Finite Domains. ACM Transactions on Computational Logic (TOCL). Accepted for publication, Abstract (ASCII), Paper (Postscript, 562K).

S. Abdennadher, C. Rigotti: Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming. International Workshop Logic Based Program Development and Transformation (LOPSTR'02), Madrid, Spain, September 2002.

S. Abdennadher, C. Rigotti: Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints. International Journal on Artificial Intelligence Tools 11(2): 283-302, 2002 Abstract (ASCII), Paper (Postscript, 176K).

S. Abdennadher, E. Krämer, M. Saft and M. Schmauss, JACK: A Java Constraint Kit, Electronic Notes in Theoretical Computer Science Volume 64, 2002 Abstract (ASCII), Paper (Postscript, 176K).

S. Abdennadher, T. Frühwirth, Using Program Analysis for Integration and Optimi zation of Rule-based Constraint Solvers, Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France, May 2002 Abstract (ASCII), Paper (Postscript, 163K).

S. Abdennadher and C. Rigotti, Towards Inductive Constraint Solving, Seventh International Conference on Principles and Practice of Constraint Programming, CP'2001, Paphos, Cyprus, Nov 26 - Dec 1, 2001 Abstract (ASCII), Paper (Postscript, 383K).

S. Abdennadher and C. Rigotti, Generation of Propagation Rules for Intentionally Defined Constraints, The Thirteenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001), Dallas, Texas, November 7-9, 2001 Abstract (ASCII), Paper (Postscript, 155K).

S. Abdennadher, M. Saft: A Visualization Tool for Constraint Handling Rules, he 11th Workshop on Logic Programming Environments, Paphos, Cyprus, 2001 Abstract (ASCII), Paper (Postscript, 216K).

S. Abdennadher, E. Krämer, M. Saft and M. Schmauss, JACK: A Java Constraint Kit, International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, 2001 Abstract (ASCII), Paper (Postscript, 143K).

S. Abdennadher and C. Rigotti, Using Confluence to Generate Rule-based Constraint Solvers, Third International Conference on Principles and Practice of Declarative Programming (PPDP01), Florence, Italy, 5-7 September 2001 Abstract (ASCII), Paper (Postscript, 217K).

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 of Theory and Practice of Logic Programming, Vol 1, Part 3, May 2001, Abstract (ASCII), Paper (gzipped Postscript, 115K).

S. Abdennadher, Rule-based Constraint Programming: Theory and Practice, Habilitation, Institut für Informatik, Ludwig-Maximilians-Universität München, July 2001, Abstract (ASCII), Paper (gzipped Postscript, 420K)

S. Abdennadher, U. Geske, and D. Seipel (Eds.), 15th Workshop on Logic Programming and Constraint Systems (WLP2000), Collocated ECAI 2000 Workshop, Berlin, August 25 - 27, 2000, GMD Report Nr. 110.

S. Abdennadher and H. Christiansen: An Experimental CLP Platform for Integrity Constraints and Abduction, Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland, 2000, Abstract (ASCII), Paper (Postscript, 154K).

S. Abdennadher and C. Rigotti, Automatic Generation of Propagation Rules for Finite Domains, Sixth International Conference on Principles and Practice of Constraint Programming, CP'2000, Singapore, 2000, Abstract (ASCII), Paper (Postscript, 413K).

S. Abdennadher, M. Saft and S. Will, Classroom Assignment using Constraint Logic Programming, The Second International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming, PACLP 2000, Manchester, April 2000, Abstract (ASCII), Paper (gzipped Postscript, 141K).

S. Abdennadher and M. Marte, University Course Timetabling using Constraint Handling Rules, Journal of Applied Artificial Intelligence, Special Issue on Constraint Handling Rules (C. Holzbaur and T. Frühwirth, Eds.), Taylor & Francis, to appear 2000, Abstract (ASCII), Paper (gzipped Postscript, 79K).

S. Abdennadher, A Language for Experimenting with Declarative Paradigms, Second Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000, Abstract (ASCII), Paper (gzipped Postscript, 99K)

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, 1999, Abstract (ASCII), Paper (gzipped Postscript, 83K)

S. Abdennadher, Constraint Handling Rules: Applications and Extensions, Invited Talk, 2nd International Workshop on Optimization and Simulation of Complex Industrial Systems. Extensions and Applications of Constraint-Logic Programming and 7th International Workshop on Deductive Databases and Logic Programming, Tokyo, Japan, in conjunction with the 12th International Conference on Applications of Prolog, INAP'99, 1999, Abstract (ASCII), Paper (gzipped Postscript, 59K)

S. Abdennadher and H. Schlenker, Nurse Scheduling using Constraint Logic Programming, Eleventh Annual Conference on Innovative Applications of Artificial Intelligence, IAAI-99, Orlando, Florida, July 1999, Abstract (ASCII), Paper (gzipped Postscript, 72K).

S. Abdennadher, T. Geisler and S. Panne, The Functional Rent Advisor, 8th International Workshop on Functional and Logic Programming, WFLP'99, Grenoble, France, Juni 1999 Abstract (ASCII), Paper (gzipped Postscript, 103K)

S. Abdennadher and H. Schlenker, INTERDIP - An Interactive Constraint Based Nurse Scheduler, The First International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming, PACLP99, London, April 1999, Abstract (ASCII), Paper (gzipped Postscript, 96K).

S. Abdennadher and M. Marte, Constraint-Based Heuristics for Grammar School Timetabling (Extended Abstract), Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR'99, Ferrara, Italy, February, 1999, Paper (gzipped Postscript, 37K)

S. Abdennadher and T. Frühwirth and H. Meuss, Confluence and Semantics of Constraint Simplification Rules, in Journal Constraints, Volume 4, Issue 2, Kluwer Academic Publishers, May 1999, Abstract (ASCII), Paper (gzipped Postscript, 111K)

S. Abdennadher and M. Marte, Constraintbasierte Stundenplanung für Universitäten (in German), 12. Workshop Planen und Konfigurieren, PuK-98, April 1998, Abstract (ASCII), Paper (gzipped Postscript, 52K).

S. Abdennadher and H. Schütz, CHR^v: A Flexible Query Language, International conference on Flexible Query Answering Systems, FQAS'98, Springer LNCS, Roskilde, Denmark, May 1998, Abstract (ASCII), Paper (gzipped Postscript, 91K).

S. Abdennadher and M. Marte, University Timetabling using Constraint Handling Rules, Journées Francophones de Programmation en Logique et programmation par Contraintes, JFPLC'98, Nantes, France, May 1998, Abstract (ASCII), Paper (gzipped Postscript, 28K).

S. Abdennadher and T. Frühwirth, On Completion of Constraint Handling Rules, Fourth International Conference on Principles and Practice of Constraint Programming, CP'98, Pisa, Italy, Springer LNCS, 1998, Abstract (ASCII), Paper (gzipped Postscript, 132K)

T. Frühwirth and S. Abdennadher, Anwendungen Constraintbasierter Programmierung (in German), GI-Jahrestagung 1997, Aachen, Springer Verlag, Abstract (ASCII), Paper (gzipped Postscript, 66K).

S. Abdennadher, Operational Semantics and Confluence of Constraint Propagation Rules, Third International Conference on Principles and Practice of Constraint Programming, CP'97, Schloss Hagenberg, Austria, Springer LNCS, 1997, Abstract (ASCII), Paper (gzipped Postscript, 54K).

S. Abdennadher and H. Schütz, Model Generation with Existentially Quantified Variables and Constraints, Sixth International Conference on Algebraic and Logic Programming, Springer LNCS, 1997, Abstract (ASCII), Paper (gzipped Postscript, 64K).

T. Frühwirth and S. Abdennadher, Constraint-Programmierung (in German), Textbook, Springer, September 1997.

S. Abdennadher and H. Schlenker, INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen (in German), 12. Workshop logische Programmierung, München, September 1997. Abstract (ASCII), Paper (gzipped Postscript, 87K)

S. Abdennadher, T. Frühwirth and H. Meuss, Implementing Constraint Solvers: Theory and Practice, Forum de la Recherche en Informatique'96, FRI'96, Tunis, Tunisia, July 1996, Abstract (ASCII), Paper (gzipped Postscript, 33K)

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, Abstract (ASCII), Paper (gzipped Postscript, 53K),Slides (gzipped Postscript, 44K).

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 (HTML), Paper (gzipped Postscript, 108K)