Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Laurent Henocque
@inproceedings{DBLP:conf/ictai/AlbertHK08,
author = {Patrick Albert and
Laurent Henocque and
Mathias Kleiner},
title = {Ant Colony Optimization for Configuration},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {247--254},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.144},
doi = {10.1109/ICTAI.2008.144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AlbertHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AlbertHK08a,
author = {Patrick Albert and
Laurent Henocque and
Mathias Kleiner},
title = {An End-to-End Configuration-Based Framework for Automatic {SWS} Composition},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {351--358},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.145},
doi = {10.1109/ICTAI.2008.145},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AlbertHK08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AudemardBH06,
author = {Gilles Audemard and
Belaid Benhamou and
Laurent Henocque},
title = {Predicting and Detecting Symmetries in {FOL} Finite Model Search},
journal = {J. Autom. Reason.},
volume = {36},
number = {3},
pages = {177--212},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9040-3},
doi = {10.1007/S10817-006-9040-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AudemardBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlbertHK05,
author = {Patrick Albert and
Laurent Henocque and
Mathias Kleiner},
editor = {Christoph Bussler and
Armin Haller},
title = {A Constrained Object Model for Configuration Based Workflow Composition},
booktitle = {Business Process Management Workshops, {BPM} 2005 International Workshops,
BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005,
Revised Selected Papers},
volume = {3812},
pages = {102--115},
year = {2005},
url = {https://doi.org/10.1007/11678564\_10},
doi = {10.1007/11678564\_10},
timestamp = {Tue, 30 May 2017 16:36:53 +0200},
biburl = {https://dblp.org/rec/conf/bpm/AlbertHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HenocqueKP05,
author = {Laurent Henocque and
Mathias Kleiner and
Nicolas Prcovic},
editor = {Peter van Beek},
title = {Advances in Polytime Isomorph Elimination for Configuration},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {301--313},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_24},
doi = {10.1007/11564751\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HenocqueKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/AlbertHK05,
author = {Patrick Albert and
Laurent Henocque and
Mathias Kleiner},
title = {Configuration-Based Workflow Composition},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {285--292},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.38},
doi = {10.1109/ICWS.2005.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/AlbertHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506031,
author = {Patrick Albert and
Laurent Henocque and
Mathias Kleiner},
title = {A Constrained Object Model for Configuration Based Workflow Composition},
journal = {CoRR},
volume = {abs/cs/0506031},
year = {2005},
url = {http://arxiv.org/abs/cs/0506031},
eprinttype = {arXiv},
eprint = {cs/0506031},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cslp/EstratatH04,
author = {Mathieu Estratat and
Laurent Henocque},
editor = {Henning Christiansen and
Peter Rossen Skadhauge and
J{\o}rgen Villadsen},
title = {An Intuitive Tool for Constraint Based Grammars},
booktitle = {Constraint Solving and Language Processing, First International Workshop,
{CSLP} 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3438},
pages = {121--139},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11424574\_8},
doi = {10.1007/11424574\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cslp/EstratatH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EstratatH04,
author = {Mathieu Estratat and
Laurent Henocque},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Parsing Languages with a Configurator},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {591--595},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EstratatH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HenocqueP04,
author = {Laurent Henocque and
Nicolas Prcovic},
title = {Practically Handling Some Configuration Isomorphisms},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.101},
doi = {10.1109/ICTAI.2004.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/HenocqueP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taln/EstratatH04,
author = {Mathieu Estratat and
Laurent Henocque},
editor = {Philippe Blache and
No{\"{e}}l Nguyen and
Nouredine Chenfour and
Abdenbi Rajouani},
title = {Application des programmes de contraintes orient{\'{e}}s objet
{\`{a}} l'analyse du langage naturel},
booktitle = {Actes de la 11{\`{e}}me conf{\'{e}}rence sur le Traitement Automatique
des Langues Naturelles. Articles longs, {TALN} 2004, F{\`{e}}s, Maroc,
April 2004},
pages = {209--218},
publisher = {{ATALA}},
year = {2004},
url = {https://aclanthology.org/2004.jeptalnrecital-long.22/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taln/EstratatH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrandcolasHP03,
author = {St{\'{e}}phane Grandcolas and
Laurent Henocque and
Nicolas Prcovic},
editor = {Francesca Rossi},
title = {A Canonicity Test for Configuration},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {853--857},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_66},
doi = {10.1007/978-3-540-45193-8\_66},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/GrandcolasHP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0306135,
author = {St{\'{e}}phane Grandcolas and
Laurent Henocque and
Nicolas Prcovic},
title = {Pruning Isomorphic Structural Sub-problems in Configuration},
journal = {CoRR},
volume = {cs.AI/0306135},
year = {2003},
url = {http://arxiv.org/abs/cs/0306135},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0306135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312020,
author = {Laurent Henocque},
title = {Modeling Object Oriented Constraint Programs in {Z}},
journal = {CoRR},
volume = {cs.AI/0312020},
year = {2003},
url = {http://arxiv.org/abs/cs/0312020},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0312020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5},
doi = {10.1007/3-540-45470-5},
isbn = {3-540-43865-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AudemardH01,
author = {Gilles Audemard and
Laurent Henocque},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {The eXtended Least Number Heuristic},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {427--442},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_35},
doi = {10.1007/3-540-45744-5\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AudemardH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AudemardBH00,
author = {Gilles Audemard and
Belaid Benhamou and
Laurent Henocque},
editor = {David A. McAllester},
title = {Two Techniques to Improve Finite Model Search},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {302--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_24},
doi = {10.1007/10721959\_24},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/AudemardBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BenhamouH99,
author = {Belaid Benhamou and
Laurent Henocque},
title = {A Hybrid Method for Finite Model Search in Equational Theories},
journal = {Fundam. Informaticae},
volume = {39},
number = {1-2},
pages = {21--38},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-391202},
doi = {10.3233/FI-1999-391202},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BenhamouH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/BenhamouH98,
author = {Belaid Benhamou and
Laurent Henocque},
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Finite Model Search for Equational Theories {(FMSET)}},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
pages = {84--93},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055904},
doi = {10.1007/BFB0055904},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/BenhamouH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Henocque93,
author = {Laurent Henocque},
editor = {Philippe {\'{E}}z{\'{e}}quel},
title = {Model search with equality: a language and incremental proof procedure
for discourse analysis},
booktitle = {2{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique
{(JFPL} 93), Nimes, France},
pages = {109--125},
publisher = {{TEKNEA}},
year = {1993},
timestamp = {Mon, 07 Jun 2004 11:07:19 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Henocque93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
