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

Lifo > Publications de l'année 1997

 English Version



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



Accès aux publications de l'année : 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


Revues internationales à comité de lecture (12)


[limetretyDMTCS-97]
S. Limet et 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 et 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 et 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 et H. Thuillier, Scattering number and modular decomposition, Discrete Mathematics, Vol.165-166, pp.321-342, 1997 Bibtex entry
[GRT297]
V. Giakoumakis, F. Roussel et 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 et 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 et 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 et 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 et F. Benhamou, Newton - Constraint Programming over non-linear Constraints, Science of Programming, 1997 Bibtex entry
[benhamou-applying]
F. Benhamou et 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 et 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


Livres et chapitres de livres


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


Conférences internationales avec actes et comité de lecture (11)


[Correnson1997]
L. Correnson, E. Duris, D. Parigot et 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 et C. Vrain, Efficient Induction of Numerical Constraints, in 10th International Symposium on Methodologies for Intelligent Systems, ISMIS 97, Z.W. Ras et A. Skowron ed., LNAI 1325, pp.167-176, Charlotte (NC), USA, Springer Verlag, 1997 Bibtex entry
[MV97-ECML]
L. Martin et C. Vrain, Learning Linear Constraints in Inductive Logic Programming, in European Conference on Machine Learning, ECML 97, M. van Someren et 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 et 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 et 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 et G. Hains, Parallel Functional Programming with Explicit Processes: Beyond SPMD, in Euro-Par'97 Parallel Processing, C. Lengauer, M. Griebl et 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 et 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 et 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 et 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 et 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


Workshops internationaux avec actes et comité de lecture (14)


[LimetUNIF1997]
S. Limet et 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 et 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 et C. Vrain, Systematic Predicate Invention in Inductive Logic Programming, in 7th International Workshop on Inductive Logic Programming, ILP-97, N. Lavrac et 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 et 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 et 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 et 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 et 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 et 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 et 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 et 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 et 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 et 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 et 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


Conférences/workshops nationaux avec actes (5)


[Duris1997]
E. Duris, D. Parigot, G. Roussel et 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 et 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


Divers (15)


[VL97]
C. Vrain et 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 et 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 et 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 et 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 et 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 et 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 et 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 et 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 et D. Laurent, Inversion de l'Algèbre Relationnelle et Mises à jour, No.09, LIFO, Orl\éans, France, Juin, 1997 Bibtex entry
[bl97b]
F. Bentayeb et 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 et 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 et 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 et 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.