BibTeX records: Philippe Devienne

download as .bib file

@article{DBLP:journals/pr/FalezTBDB19,
  author    = {Pierre Falez and
               Pierre Tirilly and
               Ioan Marius Bilasco and
               Philippe Devienne and
               Pierre Boulet},
  title     = {Unsupervised visual feature learning with spike-timing-dependent plasticity:
               How far are we from traditional feature learning approaches?},
  journal   = {Pattern Recognition},
  volume    = {93},
  pages     = {418--429},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.patcog.2019.04.016},
  doi       = {10.1016/j.patcog.2019.04.016},
  timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pr/FalezTBDB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/FalezTBDB19,
  author    = {Pierre Falez and
               Pierre Tirilly and
               Ioan Marius Bilasco and
               Philippe Devienne and
               Pierre Boulet},
  title     = {Multi-layered Spiking Neural Network with Target Timestamp Threshold
               Adaptation and {STDP}},
  booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
               Hungary, July 14-19, 2019},
  pages     = {1--8},
  year      = {2019},
  crossref  = {DBLP:conf/ijcnn/2019},
  url       = {https://doi.org/10.1109/IJCNN.2019.8852346},
  doi       = {10.1109/IJCNN.2019.8852346},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/FalezTBDB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04392,
  author    = {Pierre Falez and
               Pierre Tirilly and
               Ioan Marius Bilasco and
               Philippe Devienne and
               Pierre Boulet},
  title     = {Unsupervised Visual Feature Learning with Spike-timing-dependent Plasticity:
               How Far are we from Traditional Feature Learning Approaches?},
  journal   = {CoRR},
  volume    = {abs/1901.04392},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.04392},
  archivePrefix = {arXiv},
  eprint    = {1901.04392},
  timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-04392},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01908,
  author    = {Pierre Falez and
               Pierre Tirilly and
               Ioan Marius Bilasco and
               Philippe Devienne and
               Pierre Boulet},
  title     = {Multi-layered Spiking Neural Network with Target Timestamp Threshold
               Adaptation and {STDP}},
  journal   = {CoRR},
  volume    = {abs/1904.01908},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.01908},
  archivePrefix = {arXiv},
  eprint    = {1904.01908},
  timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-01908},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/FalezTBDB18,
  author    = {Pierre Falez and
               Pierre Tirilly and
               Ioan Marius Bilasco and
               Philippe Devienne and
               Pierre Boulet},
  title     = {Mastering the Output Frequency in Spiking Neural Networks},
  booktitle = {2018 International Joint Conference on Neural Networks, {IJCNN} 2018,
               Rio de Janeiro, Brazil, July 8-13, 2018},
  pages     = {1--8},
  year      = {2018},
  crossref  = {DBLP:conf/ijcnn/2018},
  url       = {https://doi.org/10.1109/IJCNN.2018.8489410},
  doi       = {10.1109/IJCNN.2018.8489410},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/FalezTBDB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FatahiASAD16,
  author    = {Mazdak Fatahi and
               Mahmood Ahmadi and
               Mahyar Shahsavari and
               Arash Ahmadi and
               Philippe Devienne},
  title     = {evt{\_}MNIST: {A} spike based version of traditional {MNIST}},
  journal   = {CoRR},
  volume    = {abs/1604.06751},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.06751},
  archivePrefix = {arXiv},
  eprint    = {1604.06751},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FatahiASAD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/AljerD04,
  author    = {Ammar Aljer and
               Philippe Devienne},
  title     = {Co-Design and Refinement for Safety Critical Systems},
  booktitle = {19th {IEEE} International Symposium on Defect and Fault-Tolerance
               in {VLSI} Systems {(DFT} 2004), 10-13 October 2004, Cannes, France,
               Proceedings},
  pages     = {78--86},
  year      = {2004},
  crossref  = {DBLP:conf/dft/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/DFT.2004.16},
  doi       = {10.1109/DFT.2004.16},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dft/AljerD04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AljerDTBM03,
  author    = {Ammar Aljer and
               Philippe Devienne and
               Sophie Tison and
               Jean{-}Louis Boulanger and
               Georges Mariano},
  title     = {{BHDL:} Circuit Design in {B}},
  booktitle = {3rd International Conference on Application of Concurrency to System
               Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages     = {241--242},
  year      = {2003},
  crossref  = {DBLP:conf/acsd/2003},
  url       = {https://doi.org/10.1109/CSD.2003.1207723},
  doi       = {10.1109/CSD.2003.1207723},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/AljerDTBM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/TalbotDT00,
  author    = {Jean{-}Marc Talbot and
               Philippe Devienne and
               Sophie Tison},
  title     = {Generalized Definite Set Constraints},
  journal   = {Constraints},
  volume    = {5},
  number    = {1/2},
  pages     = {161--202},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1009826603139},
  doi       = {10.1023/A:1009826603139},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/TalbotDT00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DevienneTT98,
  author    = {Philippe Devienne and
               Jean{-}Marc Talbot and
               Sophie Tison},
  title     = {Co-definite Set Constraints with Membership Expressions},
  booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
               on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages     = {25--39},
  year      = {1998},
  crossref  = {DBLP:conf/iclp/1998},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/DevienneTT98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeviennePTV98,
  author    = {Philippe Devienne and
               Anne Parrain and
               Patrick Taillibert and
               S. Varennes},
  title     = {Source-to-source Prolog Program Compression},
  booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
               on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages     = {205--219},
  year      = {1998},
  crossref  = {DBLP:conf/iclp/1998},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/DeviennePTV98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DevienneTT97,
  author    = {Philippe Devienne and
               Jean{-}Marc Talbot and
               Sophie Tison},
  title     = {Solving Classes of Set Constraints with Tree Automata},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {62--76},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017430},
  doi       = {10.1007/BFb0017430},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/DevienneTT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalbotTD97,
  author    = {Jean{-}Marc Talbot and
               Sophie Tison and
               Philippe Devienne},
  title     = {Set-Based Analysis for Logic Programming and Tree Automata},
  booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  pages     = {127--140},
  year      = {1997},
  crossref  = {DBLP:conf/sas/1997},
  url       = {https://doi.org/10.1007/BFb0032738},
  doi       = {10.1007/BFb0032738},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/TalbotTD97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DevienneLPRW96,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Anne Parrain and
               Jean{-}Christophe Routier and
               J{\"{o}}rg W{\"{u}}rtz},
  title     = {Smallest Horn Clause Programs},
  journal   = {J. Log. Program.},
  volume    = {27},
  number    = {3},
  pages     = {227--267},
  year      = {1996},
  url       = {https://doi.org/10.1016/0743-1066(95)00122-0},
  doi       = {10.1016/0743-1066(95)00122-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/DevienneLPRW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DevienneLRW94,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Jean{-}Christophe Routier and
               J{\"{o}}rg W{\"{u}}rtz},
  title     = {One Binary Horn Clause is Enough},
  booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
               Science, Caen, France, February 24-26, 1994, Proceedings},
  pages     = {21--32},
  year      = {1994},
  crossref  = {DBLP:conf/stacs/1994},
  url       = {https://doi.org/10.1007/3-540-57785-8\_128},
  doi       = {10.1007/3-540-57785-8\_128},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/DevienneLRW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DevienneLD93,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Max Dauchet},
  title     = {Weighted Systems of Equations},
  journal   = {Theor. Comput. Sci.},
  volume    = {119},
  number    = {1},
  pages     = {39--62},
  year      = {1993},
  url       = {https://doi.org/10.1016/0304-3975(93)90339-U},
  doi       = {10.1016/0304-3975(93)90339-U},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DevienneLD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DevienneLR93,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Jean{-}Christophe Routier},
  title     = {The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable},
  booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
               Vancouver, British Columbia, Canada, October 26-29, 1993},
  pages     = {250--265},
  year      = {1993},
  crossref  = {DBLP:conf/slp/1993},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/DevienneLR93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DevienneLR93,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Jean{-}Christophe Routier},
  title     = {Halting Problem of One Binary Horn Clause is Undecidable},
  booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
               Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  pages     = {48--57},
  year      = {1993},
  crossref  = {DBLP:conf/stacs/1993},
  url       = {https://doi.org/10.1007/3-540-56503-5\_7},
  doi       = {10.1007/3-540-56503-5\_7},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/DevienneLR93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DevienneLR92,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Jean{-}Christophe Routier},
  title     = {Halting Problem of One Binary Horn Clause id Undecidable},
  booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
               methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
  pages     = {5--14},
  year      = {1992},
  crossref  = {DBLP:conf/iclp/1992w1},
  timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/DevienneLR92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LecoutreDL92,
  author    = {Christophe Lecoutre and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Termination induction by means of an abstract {OLDT} resolution},
  booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
               de Programmation Logique, 25-27 Mai 1992, Lille, France},
  pages     = {353--373},
  year      = {1992},
  crossref  = {DBLP:conf/jfplc/1992},
  timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/LecoutreDL92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ParrainDL92,
  author    = {Anne Parrain and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation},
  booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               92, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 2-3 July 1992},
  pages     = {228--241},
  year      = {1992},
  crossref  = {DBLP:conf/lopstr/1992},
  url       = {https://doi.org/10.1007/978-1-4471-3560-9\_16},
  doi       = {10.1007/978-1-4471-3560-9\_16},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ParrainDL92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DevienneLR92,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue and
               Jean{-}Christophe Routier},
  title     = {Weighted Systems Revisited},
  booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
               1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
               Proceedings},
  pages     = {163--173},
  year      = {1992},
  crossref  = {DBLP:conf/sas/1992},
  timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/DevienneLR92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ParrainDL92,
  author    = {Anne Parrain and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Towards Optimization of Full Prolog Programs guided by Abstract Interpretation},
  booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
               1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
               Proceedings},
  pages     = {295--303},
  year      = {1992},
  crossref  = {DBLP:conf/sas/1992},
  timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/ParrainDL92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1992,
  editor    = {Jean{-}Paul Delahaye and
               Philippe Devienne and
               Philippe Mathieu and
               Pascal Yim},
  title     = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
               de Programmation Logique, 25-27 Mai 1992, Lille, France},
  year      = {1992},
  timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LecoutreDL91,
  author    = {Christophe Lecoutre and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Abstract Interpretation and Recursive Behaviour of Logic Programs},
  booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               91, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 4-5 July 1991},
  pages     = {147--166},
  year      = {1991},
  crossref  = {DBLP:conf/lopstr/1991},
  url       = {https://doi.org/10.1007/978-1-4471-3494-7\_12},
  doi       = {10.1007/978-1-4471-3494-7\_12},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/LecoutreDL91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ParrainDL91,
  author    = {Anne Parrain and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Prolog Program Transformations and Meta-Interpreters},
  booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               91, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 4-5 July 1991},
  pages     = {238--251},
  year      = {1991},
  crossref  = {DBLP:conf/lopstr/1991},
  url       = {https://doi.org/10.1007/978-1-4471-3494-7\_17},
  doi       = {10.1007/978-1-4471-3494-7\_17},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/ParrainDL91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LecoutreDL91,
  author    = {Christophe Lecoutre and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Une analyse du comportement r{\'{e}}cursif de programmes Prolog
               par une interpr{\'{e}}tation abstraite},
  booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
               de Recherche en Informatique (LaBRI), Proceedings},
  pages     = {62--69},
  year      = {1991},
  crossref  = {DBLP:conf/sas/1991},
  timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/LecoutreDL91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ParrainDL91,
  author    = {Anne Parrain and
               Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Techniques de transformations de programmes Prolog g{\'{e}}n{\'{e}}raux
               et validation de m{\'{e}}ta-interpr{\'{e}}teurs},
  booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
               de Recherche en Informatique (LaBRI), Proceedings},
  pages     = {132--138},
  year      = {1991},
  crossref  = {DBLP:conf/sas/1991},
  timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/ParrainDL91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Devienne90,
  author    = {Philippe Devienne},
  title     = {Weighted Graphs: {A} Tool for Studying the Halting Problem and Time
               Complexity in Term Rewriting Systems and Logic Programming},
  journal   = {Theor. Comput. Sci.},
  volume    = {75},
  number    = {1{\&}2},
  pages     = {157--215},
  year      = {1990},
  url       = {https://doi.org/10.1016/0304-3975(90)90066-Q},
  doi       = {10.1016/0304-3975(90)90066-Q},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Devienne90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Devienne88,
  author    = {Philippe Devienne},
  title     = {{WEIGHTED} GRAPHS, {A} Tool for Expressing the Behavious of Recursive
               Rules in Logic Programming},
  booktitle = {Proceedings of the International Conference on Fifth Generation Computer
               Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988.},
  pages     = {397--404},
  year      = {1988},
  crossref  = {DBLP:conf/fgcs/1988},
  timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fgcs/Devienne88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/DevienneL86,
  author    = {Philippe Devienne and
               Patrick Leb{\`{e}}gue},
  title     = {Weighted Graphs: {A} Tool for Logic Programming},
  booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
               France, March 24-26, 1986, Proceedings},
  pages     = {100--111},
  year      = {1986},
  crossref  = {DBLP:conf/caap/1986},
  url       = {https://doi.org/10.1007/BFb0022662},
  doi       = {10.1007/BFb0022662},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caap/DevienneL86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcnn/2019,
  title     = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
               Hungary, July 14-19, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8840768/proceeding},
  isbn      = {978-1-7281-1985-4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcnn/2018,
  title     = {2018 International Joint Conference on Neural Networks, {IJCNN} 2018,
               Rio de Janeiro, Brazil, July 8-13, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8465565/proceeding},
  isbn      = {978-1-5090-6014-6},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dft/2004,
  title     = {19th {IEEE} International Symposium on Defect and Fault-Tolerance
               in {VLSI} Systems {(DFT} 2004), 10-13 October 2004, Cannes, France,
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9332/proceeding},
  isbn      = {0-7695-2241-6},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dft/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2003,
  title     = {3rd International Conference on Application of Concurrency to System
               Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8583/proceeding},
  isbn      = {0-7695-1887-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1998,
  editor    = {Joxan Jaffar},
  title     = {Proceedings of the 1998 Joint International Conference and Symposium
               on Logic Programming, Manchester, UK, June 15-19, 1998},
  publisher = {{MIT} Press},
  year      = {1998},
  isbn      = {0-262-60031-5},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1997,
  editor    = {Gert Smolka},
  title     = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1330},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0017424},
  doi       = {10.1007/BFb0017424},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1997,
  editor    = {Pascal Van Hentenryck},
  title     = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1302},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0032729},
  doi       = {10.1007/BFb0032729},
  isbn      = {3-540-63468-1},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1994,
  editor    = {Patrice Enjalbert and
               Ernst W. Mayr and
               Klaus W. Wagner},
  title     = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
               Science, Caen, France, February 24-26, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {775},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-57785-8},
  doi       = {10.1007/3-540-57785-8},
  isbn      = {3-540-57785-8},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1993,
  editor    = {Dale Miller},
  title     = {Logic Programming, Proceedings of the 1993 International Symposium,
               Vancouver, British Columbia, Canada, October 26-29, 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-63152-0},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1993,
  editor    = {Patrice Enjalbert and
               Alain Finkel and
               Klaus W. Wagner},
  title     = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
               Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {665},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56503-5},
  doi       = {10.1007/3-540-56503-5},
  isbn      = {3-540-56503-5},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1992w1,
  editor    = {Howard A. Blair and
               V. Wiktor Marek and
               Anil Nerode and
               Jeffrey B. Remmel},
  title     = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
               methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
  publisher = {Mathematical Sciences Institute, Cornell University},
  year      = {1992},
  timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1992w1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1992,
  editor    = {Jean{-}Paul Delahaye and
               Philippe Devienne and
               Philippe Mathieu and
               Pascal Yim},
  title     = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
               de Programmation Logique, 25-27 Mai 1992, Lille, France},
  year      = {1992},
  timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1992,
  editor    = {Kung{-}Kiu Lau and
               Tim Clement},
  title     = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               92, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 2-3 July 1992},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/978-1-4471-3560-9},
  doi       = {10.1007/978-1-4471-3560-9},
  isbn      = {3-540-19806-7},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1992,
  editor    = {Michel Billaud and
               Pierre Cast{\'{e}}ran and
               Marc{-}Michel Corsini and
               Kaninda Musumbu and
               Antoine Rauzy},
  title     = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
               1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
               Proceedings},
  series    = {Series Bigre},
  volume    = {81-82},
  publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year      = {1992},
  timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1991,
  editor    = {Timothy Paul Clement and
               Kung{-}Kiu Lau},
  title     = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               91, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, UK, 4-5 July 1991},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/978-1-4471-3494-7},
  doi       = {10.1007/978-1-4471-3494-7},
  isbn      = {3-540-19742-7},
  timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1991,
  editor    = {Michel Billaud and
               Pierre Cast{\'{e}}ran and
               Marc{-}Michel Corsini and
               Kaninda Musumbu and
               Antoine Rauzy},
  title     = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
               de Recherche en Informatique (LaBRI), Proceedings},
  series    = {Series Bigre},
  volume    = {74},
  publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year      = {1991},
  timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fgcs/1988,
  title     = {Proceedings of the International Conference on Fifth Generation Computer
               Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
  publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
  year      = {1988},
  isbn      = {3-540-19558-0},
  timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fgcs/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caap/1986,
  editor    = {Paul Franchi{-}Zannettacci},
  title     = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
               France, March 24-26, 1986, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {214},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/BFb0022653},
  doi       = {10.1007/BFb0022653},
  isbn      = {3-540-16443-X},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caap/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics