Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications for year 1997

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


International Refereed Journals (12)


[limetretyDMTCS-97]
S. Limet and P. Rety, E-Unification by Means of Tree Tuple Synchronized Grammars, Discrete Mathematics and Theoretical Computer Science (http://www.dmtcs.loria.fr), Vol.1, MIMD ed., pp.69-98, 1997 Bibtex entry
[GR1997]
V. Giakoumakis and I. Rusu, Weighted parameters in $(P_5, \barP_5)$-free graphs, Discrete Applied Mathematics, Vol.80, pp.255-261, 1997 Bibtex entry
[Rusu1997B]
I. Rusu, Building counter-examples, Discrete Mathematics, Vol.171, pp.213-227, 1997 Bibtex entry
[FMRT97]
J.L. Fouquet, F. Maire, I. Rusu and H. Thuillier, On 2-transversals in minimal imperfect graphs, Discrete Mathematics, Vol.165-166, pp.301-312, 1997 Bibtex entry
[GRT197]
V. Giakoumakis, F. Roussel and H. Thuillier, Scattering number and modular decomposition, Discrete Mathematics, Vol.165-166, pp.321-342, 1997 Bibtex entry
[GRT297]
V. Giakoumakis, F. Roussel and H. Thuillier, On $P_4$-tidy graphs, Discr. Math. \& Th. Comp. Sciences, Vol.1, pp.17-41, 1997 Bibtex entry
[FPT97]
J.L. Fouquet, I. Parfenoff and H. Thuillier, An O(n)-time algorithm for maximum matching in $P_4$-tidy graphs, Information Processing Letter, Vol.62, pp.281-287, 1997 Bibtex entry
[Richard-Saubion-igpl97]
G. Richard and F. Saubion, Answer Synthesis for CLP Programs with Negation, Journal of the Interest Group in Pure and Applied Logic, Oxford University Press, Vol.5, No.3, april 1997, Note: (long version of Proceedings of the 12th European Conference on Artificial Intelligence ECAI'96, W.Wahlster (ed.), pages 200-204, Budapest (Hungary), August 1996. John Wiley and Sons LTD.) Bibtex entry
[benhamou-granvil-reliable97]
F. Benhamou and L. Granvilliers, Automatic Generation of Numerical Redundancies for Non-linear Constraint Solving, Reliable Computing, Vol.3, No.3, pp.335-344, 1997 Bibtex entry
[VHenMicBen97]
P. Van Hentenryck, L. Michel and F. Benhamou, Newton - Constraint Programming over non-linear Constraints, Science of Programming, 1997 Bibtex entry
[benhamou-applying]
F. Benhamou and W. J. Older, Applying Interval Arithmetic to Real, Integer and Boolean Constraints, Journal of Logic Programming, Vol.32(1), pp.1-24, 1997 Bibtex entry
[BO.CA.LG.UT.VI.96]
L. Boug\é, D. Cachera, Y. Le Guyadec, G. Utard and B. Virot, Formal Validation of Data-Parallel Programs: a Two-Component Assertional Proof System for a Simple Language, Theoretical Computer Science, Vol.189, No.1-2, pp.71-107, 1997 Bibtex entry


Books or Book Chapters


[BenVHen97]
F. Benhamou and P. Van Hentenryck ed., Constraints: Special issue on Interval Constraints, Kluwer, 1997 Bibtex entry


International Conferences with Proceedings (11)


[Correnson1997]
L. Correnson, E. Duris, D. Parigot and G. Roussel, Attribute Grammar and Functional Programming Deforestation, in SAS'97 International Static Analysis Symposium (Poster session), No.1302, Lecture Notes in Computer Science, Paris, Springer, September, 1997 Bibtex entry
[MV97-ISMIS]
L. Martin and C. Vrain, Efficient Induction of Numerical Constraints, in 10th International Symposium on Methodologies for Intelligent Systems, ISMIS 97, Z.W. Ras and A. Skowron ed., LNAI 1325, pp.167-176, Charlotte (NC), USA, Springer Verlag, 1997 Bibtex entry
[MV97-ECML]
L. Martin and C. Vrain, Learning Linear Constraints in Inductive Logic Programming, in European Conference on Machine Learning, ECML 97, M. van Someren and G. Widmer ed., LNAI 1224, pp.162-169, Prague, Czech Republic, Springer Verlag, 1997 Bibtex entry
[Laribi-RIAO97]
S. A. Laribi, G. Desrocques, A. Laribi and J.-C. Bassano, Using Simulated Annealing to Understand Natural Language Texts, in Proceedings of RIAO97, pp.188-199, Montr\éal, June, 1997 Bibtex entry
[ls-amast97]
S. Limet and F. Saubion, On Partial Validation of Logic Programs, in Proceedings of the 6th internationnal Conference on Algebraic Methodology and Software Technology AMAST'97, LNCS, Sidney, Australia, Springer Verlag, 1997 Bibtex entry
[Loulergue-europar97]
F. Loulergue and G. Hains, Parallel Functional Programming with Explicit Processes: Beyond SPMD, in Euro-Par'97 Parallel Processing, C. Lengauer, M. Griebl and S. Gorlatch ed., No.1300, Lecture Notes in Computer Science, pp.530-537, Passau, Germany, Springer, August, 1997 Bibtex entry
[RST-GULP97]
A. Tellez-Arenas, G. Richard and F. Saubion, Intentional Set Constraints, in Proceedings of the joint conference on declarative programming APIA-GULP-PRODE'97, pp.479-489, Grado, Italy, june 16-19, 1997 Bibtex entry
[Hains-pacrim97]
G. Hains and M. H. van Emden, Towards High-Quality, High-Speed Numerical Computation, in PACRIM'97, Pacific Rim Conference on Communications, Computers and Signal Processing, University of Victoria, B.C., Canada, IEEE, August, 1997 Bibtex entry
[GranvilScan97]
L. Granvilliers, A Symbolic-Numeric Framework for Solving Real Constraints, in Proceedings of SCAN'97, the GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, pp.13-16, Lyon, France, 1997 Bibtex entry
[rstPOSTER97]
A. Tellez-Arenas and F. Saubion, Intensional Sets using Explicit Substitution, in International Conference on Functional Programming (poster session), pp.318, Amsterdam, The Netherlands, ACM SIGPLAN, june, 1997 Bibtex entry
[limetretyCAAP97]
S. Limet and P. Rety, E-Unification by Means of Tree Tuple Synchronized Grammars, in proc of the 6th Colloquium on Trees in Algebra and Programming, No.1214, Lecture Notes in Computer Science, Lille, France, Springer-Verlag, 1997 Bibtex entry


International Workshops with Proceedings (14)


[LimetUNIF1997]
S. Limet and P. R\éty, Solving Disequations Modulo some Class of Rewrite Systems, in International Workshop on Unification, UNIF'97, 1997, Note: Research Report RR-LIFO-97-08, LIFO, Universit\é d'Orl\éans Bibtex entry
[Tendeau1997]
F. Tendeau, An Earley Algorithm for Generic Attribute Augmented Grammars and Applications, in Fifth International Workshop on Parsing Technologies, MIT, Cambridge (MA) USA, 1997 Bibtex entry
[discipl-aadebug-97]
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski and G. Puebla, On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs, in Proceedings of the 3rd Int'l Workshop on Automated Debugging (AADEBUG'97), M. Kamkar ed., pp.155-170, Linkoping, Sweden, U. of Linkoping Press, 1997 Bibtex entry
[MV97-ILP]
L. Martin and C. Vrain, Systematic Predicate Invention in Inductive Logic Programming, in 7th International Workshop on Inductive Logic Programming, ILP-97, N. Lavrac and S. Dzeroski ed., LNAI 1297, pp.189-204, Prague, Czech Republic, Springer Verlag, 1997 Bibtex entry
[Fabris-aadebug-97]
A. Aggoun, F. Bueno, M. Carro, P.Deransart, M. Fabris, W. Drabent, G. Ferrand, M. Hermenegildo, C. Lai, J. Lloyd, J. Maluszynski, G. Puebla and A. Tessier, CP Debugging Needs and Tools, in Proceedings of the 3rd Int'l Workshop on Automated Debugging (AADEBUG'97), Mariam Kamkar ed., pp.103-122, Linkoping, Sweden, 1997 Bibtex entry
[AndriaBJM-97]
N.Andrianarivelo, W.Bousdira, J.Chabin and Z.Maazouzi, A Conditional Rewrite based Method for designing Circuits, in 11th International Workshop on Unification (UNIF'97), Orl\éans, France, 1997 Bibtex entry
[Tessier-aadebug-97]
G. Ferrand and A. Tessier, Positive and Negative Diagnosis for Constraint Logic Programs in terms of Proof Skeletons, in Proceedings of the 3rd Int'l Workshop on Automated Debugging (AADEBUG'97), Mariam Kamkar ed., pp.141-154, Linkoping, Sweden, 1997 Bibtex entry
[Deplagne-Unif97]
E. Deplagne and A. Tellez-Arenas, A Practical Analysis of Explicit Substitutions Calculi, No.97-8, Universit\é d'Orl\éans, LIFO, 1997, Note: Proceedings of $11^th$ International Workshop on Unification UNIF'97 Bibtex entry
[Deplagne-Lisboa-97]
E. Deplagne, G. Richard and A. Tellez, A Practical Analysis of Explicit Substitutions Calculi, in Proceedings of the Workshop on Constraint Logic Programming and Natural Language Processing, Lisboa, Portugal, July, 1997 Bibtex entry
[BenGoualardGranvilProgramming]
F. Benhamou, F. Goualard and L. Granvilliers, Programming with the DecLIC Language, in Proceedings of the International Workshop on Interval Constraints, Port Jefferson, USA, 1997 Bibtex entry
[GoualardGranvilExtWAM]
F. Goualard and L. Granvilliers, An Extension of the WAM for Cooperative Interval Solvers, in Proceedings of the International Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson, USA, 1997 Bibtex entry
[BenGoualardStructuring]
F. Benhamou and F. Goualard, Towards Structuring the Constraint Store, in Proceedings of the International Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson, USA, 1997 Bibtex entry
[ME.RA.RE.VI.96]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, A General but Simple Technique to Handle Asynchronous Data-Parallel Control Structures, in 5th EuroMicro Workshop on Parallel and Distributed Processing (PDP'97), London, IEEE Computer Society Press, January, 1997 Bibtex entry
[ME.RA.RE.VI.97]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, SCL-CHAN: An Asynchronous Data-Parallel Language for Irregular Algorithms, in Second International Workshop on High-Level Parallel Programming Models and Supportive Environments (IPPS'97-HIPS'97), Geneva, Switzerland, April, 1997 Bibtex entry


National Conferences/Workshops with Proceedings (5)


[Duris1997]
E. Duris, D. Parigot, G. Roussel and M. Jourdan, Grammaires Attribu\ées et Folds: Op\érateurs de Contrôle G\én\ériques, in JFLA'97 Journ\ées Francophones des Langages Applicatifs, No.16, Collection Didactique, Dolomieu, Isère (France), INRIA, Janvier, 1997 Bibtex entry
[AL-JFPLC97]
A. Lallouet, DP-LOG : un langage logique data-parallèle, in Journ\ées Francophones de la Programmation Logique et de la Programmation par Contraintes, JFPLC, Fr\éd\éric Benhamou ed., pp.53-70, Orl\éans, France, Hermes, May, 26-28, 1997 Bibtex entry
[JHRety-jfplc97]
J.-H. Rety, Un langage distribu\é concurrent avec contraintes, in Journ\ées Francophones de la Programmation Logique et de la Programmation par Contraintes, JFPLC'97, Fr\éd\éric Benhamou ed., pp.53-70, Orl\éans, France, Hermes, May, 26-28, 1997 Bibtex entry
[GranvilJfplc97]
L. Granvilliers, Transformations symboliques et consistance de bloc de CSP continus, in Proceedings of JFPLC'97, the Sixth French Conference on Logic and Constraint Programming, pp.195-209, Orl\éans, France, Hermès, 1997 Bibtex entry
[Loulergue.jfla97]
F. Loulergue and G. Hains, Programmation Fonctionnelle Parallèle en Processus Statiques: Une Approche D\énotationnelle, in Journ\ées Francophones des Langages Applicatifs JFLA'97, INRIA, Janvier, 1997 Bibtex entry


Miscellaneous (15)


[VL97]
C. Vrain and D. Laurent, Apprentissage et mise à jour de bases de donn\ées., No.186, LI/E3I, Universit\é de Tours, 1997 Bibtex entry
[Tessier-gdr-97]
A. Tessier, Clarification of the bases of Declarative Diagnosers for CLP, in Journ\ées du GDR Programmation du CNRS, Olivier Ridoux ed., pp.219-230, Rennes, France, 1997 Bibtex entry
[ME.RA.RE.VI.97.3]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, A Structured Synchronization and Communication Model Fitting Irregular Data Accesses, Research Report, No.97-3, LIFO, Universit\é d'Orl\éans, 1997 Bibtex entry
[ME.RA.RE.VI.97.4]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, A Unifying Approach of Data and Task Parallelism Based on Structural Clock Communication Paradigm (EXtended Version), Research Report, No.97-7, LIFO, Universit\é d'Orl\éans, 1997 Bibtex entry
[ME.RA.RE.VI.97.5]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, An Automatic Distribution of Sequential Code Fitting Irregular Data Accesses, Research Report, No.97-15, LIFO, Universit\é d'Orl\éans, 1997 Bibtex entry
[Loulergue-lifo97-13]
F. Loulergue and G. Hains, Design of an Event-Oriented Functional Parallel Language: the Finite Case, Rapport de Recherche, No.97-13, LIFO, Universit\é d'Orl\éans, 1997 Bibtex entry
[Bamha-lifo97-12]
M. Bamha and G. Hains, Pr\évision des performances de la $\Theta$-jointure et de la multi-jointure pour des machines SN, Rapport de Recherche, No.97-12, LIFO, Universit\é d'Orl\éans, 1997 Bibtex entry
[Tessier-discipl-demo-97]
A. Tessier and M. Bergère, Declarative debugging in Gödel, 1997, Note: Debugging Systems for Constraint Programming demo meeting (ESPRIT 22532) Bibtex entry
[Tessier-discipl-97]
A. Tessier, The notions of Symptom and Error for Constraint Logic Programs, 1997, Note: Debugging Systems for Constraint Programming meeting (ESPRIT 22532) Bibtex entry
[Tessier-discipl-deliverable-97]
G. Ferrand and A. Tessier, Clarification of the bases of Declarative Diagnosers for CLP, Debugging Systems for Constraint Programming (ESPRIT 22532), 1997, Note: Deliverable D.WP2.1.M1.1-1 Bibtex entry
[bl97a]
F. Bentayeb and D. Laurent, Inversion de l'Algèbre Relationnelle et Mises à jour, No.09, LIFO, Orl\éans, France, Juin, 1997 Bibtex entry
[bl97b]
F. Bentayeb and D. Laurent, Inversion de l'Algèbre Relationnelle et Mises à jour, in 13èmes Journ\ées Bases de Donn\ées Avanc\ées, pp.199-218, september, 1997 Bibtex entry
[GAF-96]
G. Richard, A. Tellez-Arenas and F. Saubion, Intensional Set Constraints, No.97-5, Laboratoire d'Informatique Fondamentale d'Orleans, Orleans University, 1997 Bibtex entry
[RR97-02]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, SPMD Parallelization of Arbitrary Doacross Loops, No.RR97-02, LIFO, Orl\éans, France, February, 1997, Note: http://web.univ-orleans.fr/~virot Bibtex entry
[RR97-01]
E. Melin, B. Raffin, X. Rebeuf and B. Virot, A Unifying Approach of Data and Task Parallelism Based on Structural Clock Communication Paradigm, No.RR97-01, LIFO, Orl\éans, France, February, 1997, Note: http://web.univ-orleans.fr/~virot Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.