Search dblp for Publications

export results for "Jean-Louis Imbert"

 download as .bib file

@article{DBLP:journals/biaa/Imbert01,
  author       = {Jean{-}Louis Imbert},
  title        = {Introduction a l'algorithmique: notions de bases et tableaux},
  journal      = {Bull. dInformatique Approfondie et Appl.},
  volume       = {58},
  pages        = {7--38},
  year         = {2001},
  url          = {http://biaa.eu/-upload/BIAA58.pdf},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biaa/Imbert01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/biaa/Imbert01a,
  author       = {Jean{-}Louis Imbert},
  title        = {Introduction a l'algorithmique: les fichiers},
  journal      = {Bull. dInformatique Approfondie et Appl.},
  volume       = {59},
  pages        = {5--34},
  year         = {2001},
  url          = {http://biaa.eu/-upload/BIAA59.pdf},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biaa/Imbert01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ImbertH96,
  author       = {Jean{-}Louis Imbert and
                  Pascal Van Hentenryck},
  title        = {Redundancy Elimination with a Lexicographic Solved Form},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {17},
  number       = {1-2},
  pages        = {85--106},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02284625},
  doi          = {10.1007/BF02284625},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ImbertH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfplc/1996,
  editor       = {Jean{-}Louis Imbert},
  title        = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  publisher    = {Hermes},
  year         = {1996},
  isbn         = {2-86601-544-4},
  timestamp    = {Thu, 27 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Imbert94,
  author       = {Jean{-}Louis Imbert},
  editor       = {Marc{-}Michel Corsini},
  title        = {Redondances, {\'{e}}limination de variables et dis{\'{e}}quations
                  lin{\'{e}}aires},
  booktitle    = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 1994, Bordeaux, France},
  pages        = {143--158},
  year         = {1994},
  timestamp    = {Mon, 07 Jun 2004 11:16:21 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Imbert94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/Imbert94,
  author       = {Jean{-}Louis Imbert},
  editor       = {Maurice Bruynooghe},
  title        = {Redundancy, Variable Elimination and Linear Disequations},
  booktitle    = {Logic Programming, Proceedings of the 1994 International Symposium,
                  Ithaca, New York, USA, November 13-17, 1994},
  pages        = {139--153},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/Imbert94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/lncs/Imbert94,
  author       = {Jean{-}Louis Imbert},
  editor       = {Andreas Podelski},
  title        = {Linear Constraint Solving in CLP-Languages},
  booktitle    = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
                  School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {910},
  pages        = {108--127},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-59155-9\_7},
  doi          = {10.1007/3-540-59155-9\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/Imbert94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Imbert93,
  author       = {Jean{-}Louis Imbert},
  title        = {Variable Elimination for Disequations in Generalized Linear Constraint
                  Systems},
  journal      = {Comput. J.},
  volume       = {36},
  number       = {5},
  pages        = {473--484},
  year         = {1993},
  url          = {https://doi.org/10.1093/comjnl/36.5.473},
  doi          = {10.1093/COMJNL/36.5.473},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Imbert93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ImbertCW93,
  author       = {Jean{-}Louis Imbert and
                  Jacques Cohen and
                  Marie{-}Dominique Weeger},
  title        = {An Algorithm for Linear Constraint Solving: Its Incorporation in a
                  Prolog Meta-Interpreter for {CLP}},
  journal      = {J. Log. Program.},
  volume       = {16},
  number       = {3},
  pages        = {235--253},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90044-H},
  doi          = {10.1016/0743-1066(93)90044-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ImbertCW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Imbert93,
  author       = {Jean{-}Louis Imbert},
  editor       = {David Scott Warren},
  title        = {Variable Elimination for Generalized Linear Constraints},
  booktitle    = {Logic Programming, Proceedings of the Tenth International Conference
                  on Logic Programming, Budapest, Hungary, June 21-25, 1993},
  pages        = {499--516},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Imbert93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Imbert93,
  author       = {Jean{-}Louis Imbert},
  editor       = {Philippe {\'{E}}z{\'{e}}quel},
  title        = {{\'{E}}limination de Fourier: que choisir?},
  booktitle    = {2{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique
                  {(JFPL} 93), Nimes, France},
  pages        = {273--294},
  publisher    = {{TEKNEA}},
  year         = {1993},
  timestamp    = {Mon, 07 Jun 2004 11:07:19 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Imbert93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Imbert93a,
  author       = {Jean{-}Louis Imbert},
  editor       = {Philippe {\'{E}}z{\'{e}}quel},
  title        = {{\'{E}}limination de variables dans les syst{\`{e}}mes de contraintes
                  lin{\'{e}}aires},
  booktitle    = {2{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique
                  {(JFPL} 93), Nimes, France},
  pages        = {295--318},
  publisher    = {{TEKNEA}},
  year         = {1993},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/Imbert93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppcp/Imbert93,
  author       = {Jean{-}Louis Imbert},
  title        = {Fourier's Elimination: Which to Choose?},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {117--129},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/Imbert93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ImbertH91,
  author       = {Jean{-}Louis Imbert and
                  Pascal Van Hentenryck},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {A propos des redondances dans les syst{\`{e}}mes d'in{\'{e}}quations
                  lin{\'{e}}aires},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {210--216},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ImbertH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/ImbertH91,
  author       = {Jean{-}Louis Imbert and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {On the Handling of Disequations in {CLP} over Linear Rational Arithmetic},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {49--71},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 16:42:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/ImbertH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/Imbert90,
  author       = {Jean{-}Louis Imbert},
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {About Redundant Inequalities Generated by Fourier's Algorithm},
  booktitle    = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
                  Proceedings of the Fourth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
                  September 19-22, 1990},
  pages        = {117--127},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 16 Mar 2017 14:36:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/Imbert90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.