Bibliographie

Ouvrages et articles de référence de l'équipe

1
A. BOUHOULA, M. RUSINOWITCH,
« Implicit Induction in Conditional Theories »,
Journal of Automated Reasoning 14, 2, 1995, p. 189-235.
2
A. BOUHOULA,
« Automated Theorem Proving by Test Set Induction »,
Journal of Symbolic Computation 23, 1, 1997, p. 47-77.
3
C. CASTRO,
« Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies »,
Fundamenta Informaticae 34, 3, 1998, p. 263-293.
4
N. HERMANN, P.-G. KOLAITIS,
« The Complexity of Counting Problems in Equational Matching »,
Journal of Symbolic Computation 20, 3, septembre 1995, p. 343-362,
L'article et le numéro de la revue sont parus effectivement en avril 1996 mais antidatés par l'éditeur.
5
C. HINTERMEIER, C. KIRCHNER, H. KIRCHNER,
« Dynamically-Typed Computations for Order-Sorted Equational Presentations »,
Journal of Symbolic Computation 25, 4, avril 1998, p. 455-526.
6
C. KIRCHNER, H. KIRCHNER, M. RUSINOWITCH,
« Deduction with Symbolic Constraints »,
Revue d'Intelligence Artificielle 4, 3, 1990, p. 9-52.
7
C. KIRCHNER, H. KIRCHNER, M. VITTEK,
« Designing Constraint Logic Programming Languages using Computational Systems »,
in: Principles and Practice of Constraint Programming. The Newport Papers, V. Saraswat et P. Van Hentenryck (éditeurs),
The MIT Press, 1995, ch. 1, p. 131-158.
8
C. KIRCHNER, C. RINGEISSEN,
« Rule-Based Constraint Programming »,
Fundamenta Informaticae 34, 1998, p. 225-262.
9
H. KIRCHNER, C. RINGEISSEN,
« Combining Symbolic Constraint Solvers on Algebraic Domains »,
J. Symbolic Computation 18, 2, août 1994, p. 113-155.
10
M. RUSINOWITCH, L. VIGNERON,
« Automated Deduction with Associative Commutative Operators »,
Applicable Algebra in Engineering, Communication and Computing 6, 1, janvier 1995, p. 23-56.

Livres et monographies

11
M. CERIOLI, M. GOGOLLA, H. KIRCHNER, B. KRIEG-BRUECKNER, Z. QIAN, M. WOLF,
Algebraic System Specification and Developement:Survey and Annotated Bibliography, Monographs of the Bremen Institute of Safe Systems, 3,
Shaker Verlag, Bremen, Germany, août 1999.

Thèses et habilitations à diriger des recherches

12
L. JUBAN,
Sur les problèmes de complexité en déduction automatique: base de Hilbert, modèles uniques et minimaux,
Thèse de doctorat d'université, Université Henri Poincaré - Nancy 1, Décembre 1999.
13
P.-E. MOREAU,
Compilation de règles de réécriture et de stratégies non-déterministes,
Thèse d'université, Nancy, juin 1999 .
14
C. SCHARFF,
Déduction avec contraintes et simplification dans les théories équationnelles,
Thèse de doctorat d'université, Université Henri Poincaré - Nancy 1, Septembre 1999.

Articles et chapitres de livre

15
A. BOCKMAYR, F. EISENBRAND, M. HARTMANN, A. S. SCHULZ,
« On the Chvátal Rank of Polytopes in the 0/1 Cube »,
Discrete Applied Mathematics 98, 1999, p. 21-27.
16
P. BOROVANSKY, C. KIRCHNER, H. KIRCHNER, C. RINGEISSEN,
« Rewriting with strategies in ELAN: a functional semantics. »,
International Journal of Foundations of Computer Science, 1999.
17
H. GANZINGER, F. JACQUEMARD, M. VEANES,
« Rigid reachability, the non-symmetric form of rigid E-unification »,
International Journal of Foundations of Computer Science , IJFCS, 1999.
18
M. HERMANN, P. G. KOLAITIS,
« Computational Complexity of Simultaneous Elementary Matching Problems »,
Journal of Automated Reasoning 23, 2, août 1999, p. 107-136.
19
C. KIRCHNER, H. COMON, M. DINCBAS, J.-P. JOUANNAUD,
« A Methodological View of Constraint Solving »,
Constraints, décembre 1999.
20
H. KIRCHNER,
« Term Rewriting »,
in: Algebraic Foundations of Systems Specifications, IFIP State-of-the-Art Reports,
Springer, septembre 1999, ch. 9, p. 273-320.
21
E. MONFROY, C. RINGEISSEN,
« An Open Automated Framework for Constraint Solver Extension: the SoleX Approach »,
Fundamenta Informaticae 39, 1999, p. 167-187.

Communications à des congrès, colloques, etc.

22
A. BOCKMAYR, Y. DIMOPOULOS,
« Integer Programs and Valid Inequalities for Planning Problems »,
in: 5th European Conference on Planning, ECP-99, Durham, United Kingdom, Lecture Notes in Computer Science, Springer,
1999.
23
A. BOUHOULA, A. JEBALI, M. RUSINOWITCH,
« Reasoning about Object Behaviours with Rewriting. »,
in: OOSDS'99 Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages , PLI99), Paris,
septembre 1999.
24
H. CIRSTEA, C. KIRCHNER,
« Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN »,
in: FroCoS'98, Amsterdam,
1999.
25
H. CIRSTEA,
« Specifying Authentication Protocols Using ELAN »,
in: Workshop on Modelling and Verification,
décembre 1999,
http://www.loria.fr/publications/1999/99-R-246/99-R-246.ps.
26
V. CORTIER, H. GANZINGER, F. JACQUEMARD, M. VEANES,
« Decidable fragments of simultaneous rigid reachability »,
in: ICALP, Prague, Czech Republic, LNCS, 1644, Springer-Verlag, p. 250-260,
juillet 1999.
27
G. DOWEK, T. HARDIN, C. KIRCHNER,
« HOL- $ \lambda$$ \sigma$ an intentional first-order expression of higher-order logic »,
in: RTA'99,
juin 1999.
28
H. DUBOIS, H. KIRCHNER,
« Rule Based Programming with Constraints and Strategies »,
in: Workshop of the ERCIM Working Group on Constraints, Paphos, Chypre,
octobre 1999,
http://www.loria.fr/publications/1999/99-R-084/99-R-084.ps.
29
A. DURAND, M. HERMANN, L. JUBAN,
« On the complexity of recognizing the Hilbert basis of a linear Diophantine system »,
in: 24th International Symposium on Mathematical Foundations of Computer Science (MFCS'99), Szklarska Poreba (Poland), Lecture Notes in Computer Science, Springer-Verlag,
septembre 1999.
30
M. HERMANN, L. JUBAN, P. G. KOLAITIS,
« On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System »,
in: 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Tbilisi ,Republic of Georgia, Lecture Notes in Computer Science (in Artificial Intelligence), 1705, Springer-Verlag, p. 13-32,
septembre 1999.
31
L. JUBAN,
« Dichotomy Theorem for the Generalized Unique Satisfiability Problem »,
in: Fundamentals of Computation Theory (FCT'99), Iasi (Romania), Lecture Notes in Computer Science, 1684, Springer-Verlag, p. 327-337,
août 1999.
32
H. KIRCHNER, P. D. MOSSES,
« Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models »,
in: 7th International Conference onAlgebraic Methodology and Software Technology - AMAST'98, Amazonia, Bresil, Lecture Notes in Computer Science, 1548, Springer, p. 373-388,
janvier 1999.
33
H. KIRCHNER,
« ELAN »,
in: JFPLC'99 Journées Francophones de Programmation Logique et programmation par Contraintes, Lyon, France, F.Fages, HERMES Science Publications, p. 241-248,
Paris, mai 1999.
34
F. KLAY, M. RUSINOWITCH, S. STRATULAT,
« Analysing Feature Interactions with Automated Deduction Systems »,
in: 7th International Conference on Telecommunication Systems Modeling and Analysis, Nashville, Tennessee, USA, Bezalel Gavish,
mars 1999.
35
G. KUCHEROV, M. RUSINOWITCH,
« Patterns in words versus patterns in trees : a brief survey and new results »,
in: International Conference "Perspectives of Systems Informatics", Novosibirsk, LNCS, Springer-Verlag,
juillet 1999.
36
P. NARENDRAN, M. RUSINOWITCH,
« Rewriting Techniques and Applications. 10th International Conference, RTA'99 »,
in: RTA'99, Trento, Italy, LNCS, 1631, Springer Verlag, p. 1-396,
juillet 1999.
37
M. RUSINOWITCH, S. STRATULAT, F. KLAY,
« Mechanical Verification of a Generic Incremental ABR Conformance Algorithm »,
in: Workshop on Modelling and Verification, Besancon,
décembre 1999.
38
L. VIGNERON, A. WASILEWSKA,
« Rough Sets based Proofs Visualisation »,
in: 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS'99), invited session on Granular Computing and Rough Sets, New York, IEEE, p. 805-808,
juin 1999,
http://www.loria.fr/publications/1999/99-R-056/99-R-056.ps.

Rapports de recherche et publications internes

39
A. ARMANDO, G. DEFOURNEAUX, M. RUSINOWITCH, S. STRATULAT,
« Integrating decision procedures in Spike »,
Rapport de recherche, mai 1999.
40
R. AZAIEZ,
« Vérification des Systèmes Réactifs Dans le Modèle Synchrone »,
Stage de dea, LORIA, juin 1999.
41
H. DUBOIS, H. KIRCHNER,
« Modelling Planning Problems with Rules and Strategies »,
Rapport de recherche, mars 1999,
http://www.loria.fr/publications/1999/99-R-029/99-R-029.ps.
42
I. GNAEDIG, H. KIRCHNER, T. GENET,
« Induction for Termination »,
Rapport de recherche, décembre 1999.
43
A. JEBALI,
« Vérification Observationnelle »,
Stage de dea, Université Henri Poincaré Nancy I, juin 1999.
44
H. KIRCHNER, C. RINGEISSEN,
« Executing CASL Equational Specifications with the ELAN Rewrite Engine »,
Rapport de recherche, 1999,
Note T-9 of CoFI, ESPRIT Working Group 29432.
45
J. MUSSET,
« Preuves de systèmes réactifs dans le modèle synchrone »,
Stage de dea, Dea d'Informatique de Lyon, juillet 1999.

Bibliographie générale

BKK+98
P. BOROVANSKY, C. KIRCHNER, H. KIRCHNER, P.-E. MOREAU, C. RINGEISSEN,
« An Overview of ELAN »,
in: Second Workshop on Rewriting Logic and its Applications WRLA'98, Pont-à-Mousson, France, C. Kirchner, H. Kirchner (éditeurs), Electronic Notes in Theoretical Computer Science, 15, Elsevier Science B. V.,
1998. URL: http://www.elsevier.nl/locate/entcs/volume15.html.
BR95
A. BOUHOULA, M. RUSINOWITCH,
« Implicit Induction in Conditional Theories »,
Journal of Automated Reasoning 14, 2, 1995, p. 189-235.
BRRT99
L. BACHMAIR, C. R. RAMAKRISHNAN, I. V. RAMAKRISHNAN, A. TIWARI,
« Normalization via Rewrite Closures »,
in: Proceedings of the 10th International Conference on Rewriting Techniques and Applications, P. Narendran, M. Rusinowitch (éditeurs), Springer-Verlag, p. 190-204,
Trento (Italy), juillet 1999.
Cas98
C. CASTRO,
Une approche déductive de la résolution de problèmes de satisfaction de contraintes,
Thèse d'université, LORIA, 1998.
Col96
G. COLATA,
« With Major Math Proof, Brute Computers Show Flash of Reasoning Power »,
The New York Times, 1996,
Tuesday December 10.
Jia97
Z. JIANYANG,
Calcul de plus petits produits cartésiens d'intervalles,
thèse de doctorat, Université d'Aix-Marseille II, LIM, 163, Avenue de Luminy, 13288 MARSEILLE, FRANCE, March 1997.
JK91
J.-P. JOUANNAUD, C. KIRCHNER,
« Solving equations in abstract algebras: a rule-based survey of unification »,
in: Computational Logic. Essays in honor of Alan Robinson, J.-L. Lassez et G. Plotkin (éditeurs),
The MIT press, Cambridge (MA, USA), 1991, ch. 8, p. 257-321.
KB70
D. E. KNUTH, P. B. BENDIX,
« Simple word problems in universal algebras »,
in: Computational Problems in Abstract Algebra, J. Leech (éditeur),
Pergamon Press, Oxford, 1970, p. 263-297.
Mes92
J. MESEGUER,
« Conditional rewriting logic as a unified model of concurrency »,
TCS 96, 1, 1992, p. 73-155.
Mos97
P. MOSSES,
« CoFI: The Common Framework Initiative for Algebraic Specification and Development »,
in: Proceedings of TAPSOFT '97: Theory and Practice of Software Development, Lecture Notes in Computer Science, 1214, Springer Verlag, p. 115-137,
1997.
Vig94
L. VIGNERON,
Déduction automatique avec contraintes symboliques dans les théories équationnelles,
Th. univ., Université Henri Poincaré - Nancy 1, novembre 1994.