Publications

{ "response":{ "numFound":51, "start":0, "numFoundExact":true, "docs":[{ "citationRef_s":"19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, IEEE, pp.78-86, 2024, 0-7695-2241-6. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/DFTVS.2004.1347827\">⟨10.1109/DFTVS.2004.1347827⟩</a>", "citationFull_s":"Ammar Aljer, Philippe Devienne. Co-design and refinement for safety critical systems. 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, IEEE, pp.78-86, 2024, 0-7695-2241-6. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/DFTVS.2004.1347827\">⟨10.1109/DFTVS.2004.1347827⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04490321v1\">⟨hal-04490321⟩</a>", "title_s":["Co-design and refinement for safety critical systems"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04490321", "docType_s":"PROCEEDINGS", "producedDateY_i":2024 },{ "citationRef_s":"2024, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:32b30f5955900513a66ff85538f15689230e3704;origin=https://gitlab.univ-lille.fr/bioinsp/VS2N;visit=swh:1:snp:0784d53eacffa7af6ceb50877fdd72be2046b22d;anchor=swh:1:rev:9137243552803edf584678da9dff488ceba9ff39\">⟨swh:1:dir:32b30f5955900513a66ff85538f15689230e3704;origin=https://gitlab.univ-lille.fr/bioinsp/VS2N;visit=swh:1:snp:0784d53eacffa7af6ceb50877fdd72be2046b22d;anchor=swh:1:rev:9137243552803edf584678da9dff488ceba9ff39⟩</a>", "citationFull_s":"Elbez Hammouda, Benhaoua Mohammed Kamel, Devienne Philippe, Boulet Pierre. VS2N (Visualization tool for Spiking Neural Networks). 2024, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:32b30f5955900513a66ff85538f15689230e3704;origin=https://gitlab.univ-lille.fr/bioinsp/VS2N;visit=swh:1:snp:0784d53eacffa7af6ceb50877fdd72be2046b22d;anchor=swh:1:rev:9137243552803edf584678da9dff488ceba9ff39\">⟨swh:1:dir:32b30f5955900513a66ff85538f15689230e3704;origin=https://gitlab.univ-lille.fr/bioinsp/VS2N;visit=swh:1:snp:0784d53eacffa7af6ceb50877fdd72be2046b22d;anchor=swh:1:rev:9137243552803edf584678da9dff488ceba9ff39⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04410929v1\">⟨hal-04410929⟩</a>", "title_s":["VS2N (Visualization tool for Spiking Neural Networks)"], "authFullName_s":["Elbez Hammouda","Benhaoua Mohammed Kamel","Devienne Philippe","Boulet Pierre"], "halId_s":"hal-04410929", "docType_s":"SOFTWARE", "producedDateY_i":2024 },{ "citationRef_s":"2024, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:d7f51c14135d5db826ff4e440621a3d21136913d;origin=https://gitlab.univ-lille.fr/bioinsp/falez-csnn-simulator;visit=swh:1:snp:8ed8bf7b7cd230015bd2d21f87d43f326b5db74a;anchor=swh:1:rev:4438b1bcb3c2d46094f4518e8d70c07d886ac381\">⟨swh:1:dir:d7f51c14135d5db826ff4e440621a3d21136913d;origin=https://gitlab.univ-lille.fr/bioinsp/falez-csnn-simulator;visit=swh:1:snp:8ed8bf7b7cd230015bd2d21f87d43f326b5db74a;anchor=swh:1:rev:4438b1bcb3c2d46094f4518e8d70c07d886ac381⟩</a>", "citationFull_s":"Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Devienne Philippe, Pierre Boulet. Convolutional Spiking Neural Network Simulator (CSNN). 2024, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:d7f51c14135d5db826ff4e440621a3d21136913d;origin=https://gitlab.univ-lille.fr/bioinsp/falez-csnn-simulator;visit=swh:1:snp:8ed8bf7b7cd230015bd2d21f87d43f326b5db74a;anchor=swh:1:rev:4438b1bcb3c2d46094f4518e8d70c07d886ac381\">⟨swh:1:dir:d7f51c14135d5db826ff4e440621a3d21136913d;origin=https://gitlab.univ-lille.fr/bioinsp/falez-csnn-simulator;visit=swh:1:snp:8ed8bf7b7cd230015bd2d21f87d43f326b5db74a;anchor=swh:1:rev:4438b1bcb3c2d46094f4518e8d70c07d886ac381⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04410960v1\">⟨hal-04410960⟩</a>", "title_s":["Convolutional Spiking Neural Network Simulator (CSNN)"], "authFullName_s":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Devienne Philippe","Pierre Boulet"], "halId_s":"hal-04410960", "docType_s":"SOFTWARE", "producedDateY_i":2024 },{ "citationRef_s":"Colloque BIOCOMP 2023, Nov 2023, Banyuls - sur - Mer, France", "citationFull_s":"Francois Danneville, Larach Hicham, Pierre Boulet, Philippe Devienne, Hervé Glotin, et al.. [Invited] Ultra low power Cochlea for biodiversity monitoring. Colloque BIOCOMP 2023, Nov 2023, Banyuls - sur - Mer, France. <a target=\"_blank\" href=\"https://hal.science/hal-04463709v2\">⟨hal-04463709v2⟩</a>", "title_s":["[Invited] Ultra low power Cochlea for biodiversity monitoring"], "authFullName_s":["Francois Danneville","Larach Hicham","Pierre Boulet","Philippe Devienne","Hervé Glotin","Christophe Loyez"], "halId_s":"hal-04463709", "docType_s":"COMM", "producedDateY_i":2023 },{ "citationRef_s":"OLA'2022 International Conference on Optimization and Learning, Jul 2023, Syracusa, Italy", "citationFull_s":"Farah Medjahed, Philippe Devienne, Hassan Benyamina, Mohammed Kamel Benhaoua. Audio Spectrogram Recognition with Neural Networks. OLA'2022 International Conference on Optimization and Learning, Jul 2023, Syracusa, Italy. <a target=\"_blank\" href=\"https://hal.science/hal-04162820v1\">⟨hal-04162820⟩</a>", "title_s":["Audio Spectrogram Recognition with Neural Networks"], "authFullName_s":["Farah Medjahed","Philippe Devienne","Hassan Benyamina","Mohammed Kamel Benhaoua"], "halId_s":"hal-04162820", "docType_s":"COMM", "producedDateY_i":2023 },{ "citationRef_s":"Marine Micropaleontology, 2023, 183, pp.102268. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.marmicro.2023.102268\">⟨10.1016/j.marmicro.2023.102268⟩</a>", "citationFull_s":"Veronica Carlsson, Taniel Danelian, Martin Tetard, Mathias Meunier, Pierre Boulet, et al.. Convolutional neural network application on a new middle Eocene radiolarian dataset. Marine Micropaleontology, 2023, 183, pp.102268. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.marmicro.2023.102268\">⟨10.1016/j.marmicro.2023.102268⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04207164v1\">⟨hal-04207164⟩</a>", "title_s":["Convolutional neural network application on a new middle Eocene radiolarian dataset"], "authFullName_s":["Veronica Carlsson","Taniel Danelian","Martin Tetard","Mathias Meunier","Pierre Boulet","Philippe Devienne","Sandra Ventalon"], "halId_s":"hal-04207164", "docType_s":"ART", "producedDateY_i":2023 },{ "citationRef_s":"Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, <a target=\"_blank\" href=\"https://dx.doi.org/10.1051/j3ea/20221023\">⟨10.1051/j3ea/20221023⟩</a>", "citationFull_s":"D. Henniquau, Christel Vanbesien, P. Falez, P. Devienne, Alexis Vlandas, et al.. Les systèmes neuroinspirés appliqués à la vision artificielle: pédagogie et interdisciplinarité. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, <a target=\"_blank\" href=\"https://dx.doi.org/10.1051/j3ea/20221023\">⟨10.1051/j3ea/20221023⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03464492v1\">⟨hal-03464492⟩</a>", "title_s":["Les systèmes neuroinspirés appliqués à la vision artificielle: pédagogie et interdisciplinarité"], "authFullName_s":["D. Henniquau","Christel Vanbesien","P. Falez","P. Devienne","Alexis Vlandas","A. Cappy","Virginie Hoel"], "halId_s":"hal-03464492", "docType_s":"ART", "producedDateY_i":2022 },{ "citationRef_s":"Concurrency and Computation: Practice and Experience, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/cpe.6891\">⟨10.1002/cpe.6891⟩</a>", "citationFull_s":"Hammouda Elbez, Kamel Benhaoua, Philippe Devienne, Pierre Boulet. Progressive Compression and Weight Reinforcement for Spiking Neural Networks. Concurrency and Computation: Practice and Experience, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/cpe.6891\">⟨10.1002/cpe.6891⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02737057v1\">⟨hal-02737057⟩</a>", "title_s":["Progressive Compression and Weight Reinforcement for Spiking Neural Networks","Compression progressive et renforcement du poids pour les réseaux de neurones a impulsions"], "authFullName_s":["Hammouda Elbez","Kamel Benhaoua","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-02737057", "docType_s":"ART", "producedDateY_i":2022 },{ "citationRef_s":"Journal of Micropalaeontology, 2022, 41 (2), pp.165-182. <a target=\"_blank\" href=\"https://dx.doi.org/10.5194/jm-41-165-2022\">⟨10.5194/jm-41-165-2022⟩</a>", "citationFull_s":"Veronica Carlsson, Taniel Danelian, Pierre Boulet, Philippe Devienne, Aurelien Laforge, et al.. Artificial intelligence applied to the classification of eight middle Eocene species of the genus Podocyrtis (polycystine radiolaria). Journal of Micropalaeontology, 2022, 41 (2), pp.165-182. <a target=\"_blank\" href=\"https://dx.doi.org/10.5194/jm-41-165-2022\">⟨10.5194/jm-41-165-2022⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03962996v1\">⟨hal-03962996⟩</a>", "title_s":["Artificial intelligence applied to the classification of eight middle Eocene species of the genus Podocyrtis (polycystine radiolaria)"], "authFullName_s":["Veronica Carlsson","Taniel Danelian","Pierre Boulet","Philippe Devienne","Aurelien Laforge","Johan Renaudie"], "halId_s":"hal-03962996", "docType_s":"ART", "producedDateY_i":2022 },{ "citationRef_s":"Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, 2035, 6 p. <a target=\"_blank\" href=\"https://dx.doi.org/10.1051/j3ea/20222035\">⟨10.1051/j3ea/20222035⟩</a>", "citationFull_s":"Dimitri Henniquau, Pierre Falez, Philippe Devienne, Christel Vanbesien, Alexis Vlandas, et al.. Système de vision neuro-inspirée : Application à la vision artificielle. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2022, 21, 2035, 6 p. <a target=\"_blank\" href=\"https://dx.doi.org/10.1051/j3ea/20222035\">⟨10.1051/j3ea/20222035⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03852943v1\">⟨hal-03852943⟩</a>", "title_s":["Système de vision neuro-inspirée : Application à la vision artificielle"], "authFullName_s":["Dimitri Henniquau","Pierre Falez","Philippe Devienne","Christel Vanbesien","Alexis Vlandas","A. Cappy","Virginie Hoel"], "halId_s":"hal-03852943", "docType_s":"ART", "producedDateY_i":2022 },{ "citationRef_s":"16emes journées pédagogiques du CNFM, JPCNFM’2021, Dec 2021, Saint-Malo, France", "citationFull_s":"D. Henniquau, Christel Vanbesien, P. Falez, P. Devienne, Alexis Vlandas, et al.. Les systèmes neuroinspirés appliqués à la vision artificielle: pédagogie et interdisciplinarité. 16emes journées pédagogiques du CNFM, JPCNFM’2021, Dec 2021, Saint-Malo, France. <a target=\"_blank\" href=\"https://hal.science/hal-03769589v1\">⟨hal-03769589⟩</a>", "title_s":["Les systèmes neuroinspirés appliqués à la vision artificielle: pédagogie et interdisciplinarité"], "authFullName_s":["D. Henniquau","Christel Vanbesien","P. Falez","P. Devienne","Alexis Vlandas","A. Cappy","Virginie Hoel"], "halId_s":"hal-03769589", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"27e édition de la Réunion des Sciences de la Terre, SGF, CNRS, Laboratoire de Géologie de Lyon ou l’étude de la Terre, des planètes et de l’environnement, Nov 2021, Lyon, France", "citationFull_s":"Veronica Carlsson, Taniel Danelian, Pierre Boulet, Philippe Devienne, Hammouda Elbez, et al.. Artificial Intelligence and Micropaleontology: a case study from the Eocene genus Podocyrtis. 27e édition de la Réunion des Sciences de la Terre, SGF, CNRS, Laboratoire de Géologie de Lyon ou l’étude de la Terre, des planètes et de l’environnement, Nov 2021, Lyon, France. <a target=\"_blank\" href=\"https://hal.science/hal-03587759v1\">⟨hal-03587759⟩</a>", "title_s":["Artificial Intelligence and Micropaleontology: a case study from the Eocene genus Podocyrtis"], "authFullName_s":["Veronica Carlsson","Taniel Danelian","Pierre Boulet","Philippe Devienne","Hammouda Elbez","Aurelien Laforge"], "halId_s":"hal-03587759", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"META 2021 :8th International Conference on Metaheuristics and Nature Inspired Computing, Oct 2021, Marrakech, Morocco", "citationFull_s":"Farah Medjahed, Philippe Devienne, Abou El Hassan Benyamina. Spiking Neural Networks and Audio Classification. META 2021 :8th International Conference on Metaheuristics and Nature Inspired Computing, Oct 2021, Marrakech, Morocco. <a target=\"_blank\" href=\"https://cnrs.hal.science/hal-03452737v1\">⟨hal-03452737⟩</a>", "title_s":["Spiking Neural Networks and Audio Classification"], "authFullName_s":["Farah Medjahed","Philippe Devienne","Abou El Hassan Benyamina"], "halId_s":"hal-03452737", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"Content-Based Multimedia Indexing, Jun 2021, Lille, France", "citationFull_s":"Hammouda Elbez, Mohammed Kamel Benhaoua, Philippe Devienne, Pierre Boulet. VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. Content-Based Multimedia Indexing, Jun 2021, Lille, France. <a target=\"_blank\" href=\"https://hal.science/hal-03267042v1\">⟨hal-03267042⟩</a>", "title_s":["VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks"], "authFullName_s":["Hammouda Elbez","Mohammed Kamel Benhaoua","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-03267042", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"14ème Colloque Enseignement des Technologies et des Sciences de l'Information et des Systèmes, CETSIS 2021, Jun 2021, Valenciennes, France. pp.197-202", "citationFull_s":"Dimitri Henniquau, Pierre Falez, Philippe Devienne, Christel Vanbesien, Alexis Vlandas, et al.. Système de vision neuro-inspirée: application à la vision artificielle. 14ème Colloque Enseignement des Technologies et des Sciences de l'Information et des Systèmes, CETSIS 2021, Jun 2021, Valenciennes, France. pp.197-202. <a target=\"_blank\" href=\"https://hal.science/hal-03329537v1\">⟨hal-03329537⟩</a>", "title_s":["Système de vision neuro-inspirée: application à la vision artificielle"], "authFullName_s":["Dimitri Henniquau","Pierre Falez","Philippe Devienne","Christel Vanbesien","Alexis Vlandas","A. Cappy","Virginie Hoel"], "halId_s":"hal-03329537", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"Springer Nature, Handbook of Memristor Networks, <a target=\"_blank\" href=\"http://Springer Nature Switzerland AG\"></a>, In press, 978-3-319-76375-0. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-76375-0_25\">⟨10.1007/978-3-319-76375-0_25⟩</a>", "citationFull_s":"Mahyar Shahsavari, Philippe Devienne, Pierre Boulet. Spiking Neural Computing in Memristive Neuromorphic Platforms. Springer Nature, Handbook of Memristor Networks, <a target=\"_blank\" href=\"http://Springer Nature Switzerland AG\"></a>, In press, 978-3-319-76375-0. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-319-76375-0_25\">⟨10.1007/978-3-319-76375-0_25⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02172472v1\">⟨hal-02172472⟩</a>", "title_s":["Spiking Neural Computing in Memristive Neuromorphic Platforms"], "authFullName_s":["Mahyar Shahsavari","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-02172472", "docType_s":"COUV", "producedDateY_i":2019 },{ "citationRef_s":"Pattern Recognition, 2019, 93, pp.418-429. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.patcog.2019.04.016\">⟨10.1016/j.patcog.2019.04.016⟩</a>", "citationFull_s":"Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?. Pattern Recognition, 2019, 93, pp.418-429. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.patcog.2019.04.016\">⟨10.1016/j.patcog.2019.04.016⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02146284v1\">⟨hal-02146284⟩</a>", "title_s":["Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?"], "authFullName_s":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-02146284", "docType_s":"ART", "producedDateY_i":2019 },{ "citationRef_s":"International Joint Conference on Neural Networks (IJCNN), Jul 2019, Budapest, Hungary", "citationFull_s":"Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. International Joint Conference on Neural Networks (IJCNN), Jul 2019, Budapest, Hungary. <a target=\"_blank\" href=\"https://hal.science/hal-02146289v1\">⟨hal-02146289⟩</a>", "title_s":["Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP"], "authFullName_s":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-02146289", "docType_s":"COMM", "producedDateY_i":2019 },{ "citationRef_s":"3rd International Conference on Multimedia Information Processing, CITIM’2018, Oct 2018, Mascara, Algeria", "citationFull_s":"Hammouda Elbez, Kamel Benhaoua, Philippe Devienne, Pierre Boulet. Visualization Techniques in SNN Simulators. 3rd International Conference on Multimedia Information Processing, CITIM’2018, Oct 2018, Mascara, Algeria. <a target=\"_blank\" href=\"https://hal.science/hal-02887481v1\">⟨hal-02887481⟩</a>", "title_s":["Visualization Techniques in SNN Simulators"], "authFullName_s":["Hammouda Elbez","Kamel Benhaoua","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-02887481", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"International Joint Conference on Neural Networks (IJCNN), Jul 2018, Rio de Janeiro, Brazil", "citationFull_s":"Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Mastering the Output Frequency in Spiking Neural Networks. International Joint Conference on Neural Networks (IJCNN), Jul 2018, Rio de Janeiro, Brazil. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01741500v1\">⟨hal-01741500⟩</a>", "title_s":["Mastering the Output Frequency in Spiking Neural Networks"], "authFullName_s":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-01741500", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Biologically Inspired Cognitive Architectures, 2018, 24, pp.59 - 69. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.bica.2018.04.009\">⟨10.1016/j.bica.2018.04.009⟩</a>", "citationFull_s":"Mazdak Fatahi, Mahyar Shahsavari, Mahmood Ahmadi, Arash Ahmadi, Pierre Boulet, et al.. Rate-coded DBN: An online strategy for spike-based deep belief networks. Biologically Inspired Cognitive Architectures, 2018, 24, pp.59 - 69. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.bica.2018.04.009\">⟨10.1016/j.bica.2018.04.009⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01808815v1\">⟨hal-01808815⟩</a>", "title_s":["Rate-coded DBN: An online strategy for spike-based deep belief networks"], "authFullName_s":["Mazdak Fatahi","Mahyar Shahsavari","Mahmood Ahmadi","Arash Ahmadi","Pierre Boulet","Philippe Devienne"], "halId_s":"hal-01808815", "docType_s":"ART", "producedDateY_i":2018 },{ "citationRef_s":"Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Nice Sophia Antipolis, France", "citationFull_s":"Pierre Falez, Philippe Devienne, Pierre Tirilly, Marius Bilasco, Christophe Loyez, et al.. Flexible Simulation for Neuromorphic Circuit Design: Motion Detection Case Study. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Nice Sophia Antipolis, France. <a target=\"_blank\" href=\"https://hal.science/hal-01538449v1\">⟨hal-01538449⟩</a>", "title_s":["Flexible Simulation for Neuromorphic Circuit Design: Motion Detection Case Study"], "authFullName_s":["Pierre Falez","Philippe Devienne","Pierre Tirilly","Marius Bilasco","Christophe Loyez","Ilias Sourikopoulos","Pierre Boulet"], "halId_s":"hal-01538449", "docType_s":"COMM", "producedDateY_i":2017 },{ "citationRef_s":"[Research Report] Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189. 2017", "citationFull_s":"Pierre Boulet, Philippe Devienne, Pierre Falez, Guillermo Polito, Mahyar Shahsavari, et al.. N2S3, an Open-Source Scalable Spiking Neuromorphic Hardware Simulator. [Research Report] Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189. 2017. <a target=\"_blank\" href=\"https://hal.science/hal-01432133v2\">⟨hal-01432133v2⟩</a>", "title_s":["N2S3, an Open-Source Scalable Spiking Neuromorphic Hardware Simulator"], "authFullName_s":["Pierre Boulet","Philippe Devienne","Pierre Falez","Guillermo Polito","Mahyar Shahsavari","Pierre Tirilly"], "halId_s":"hal-01432133", "docType_s":"REPORT", "producedDateY_i":2017 },{ "citationRef_s":"6th International Conference on Computer and Knowledge Engineering (ICCKE 2016), Oct 2016, Mashhad Iran", "citationFull_s":"Mazdak Fatahi, Mahmood Ahmadi, Arash Ahmadi, Mahyar Shahsavari, Philippe Devienne. Towards an Spiking Deep Belief Network for Face Recognition Application. 6th International Conference on Computer and Knowledge Engineering (ICCKE 2016), Oct 2016, Mashhad Iran. <a target=\"_blank\" href=\"https://hal.science/hal-01382624v1\">⟨hal-01382624⟩</a>", "title_s":["Towards an Spiking Deep Belief Network for Face Recognition Application"], "authFullName_s":["Mazdak Fatahi","Mahmood Ahmadi","Arash Ahmadi","Mahyar Shahsavari","Philippe Devienne"], "halId_s":"hal-01382624", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"1st International Conference on New Research Achievements in Electrical and Computer Engineering, May 2016, Teheran, Iran", "citationFull_s":"Mazdak Fatahi, Mahyar Shahsavari, Mahmood Ahmadi, Arash Ahmadi, Philippe Devienne. evt_MNIST: A spike based version of traditional MNIST an event-based MNIST. 1st International Conference on New Research Achievements in Electrical and Computer Engineering, May 2016, Teheran, Iran. <a target=\"_blank\" href=\"https://hal.science/hal-01382631v1\">⟨hal-01382631⟩</a>", "title_s":["evt_MNIST: A spike based version of traditional MNIST an event-based MNIST"], "authFullName_s":["Mazdak Fatahi","Mahyar Shahsavari","Mahmood Ahmadi","Arash Ahmadi","Philippe Devienne"], "halId_s":"hal-01382631", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"NeuComp 2015, Mar 2015, Grenoble, France. 2015", "citationFull_s":"Mahyar Shahsavari, Philippe Devienne, Pierre Boulet. N2S3, a Simulator for the Architecture Exploration of Neuromorphic Accelerators. NeuComp 2015, Mar 2015, Grenoble, France. 2015. <a target=\"_blank\" href=\"https://hal.science/hal-01240444v1\">⟨hal-01240444⟩</a>", "title_s":["N2S3, a Simulator for the Architecture Exploration of Neuromorphic Accelerators"], "authFullName_s":["Mahyar Shahsavari","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-01240444", "docType_s":"POSTER", "producedDateY_i":2015 },{ "citationRef_s":"physica status solidi (c), 2015, Issue physica status solidi (c) physica status solidi (c) Special Issue: E-MRS 2014 Spring Meeting – Symposium E • E-MRS 2014 Spring Meeting – Symposium F • E-MRS 2014 Spring Meeting – Symposium S, 12 (1-2), pp.222 - 228. <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/pssc.201400069\">⟨10.1002/pssc.201400069⟩</a>", "citationFull_s":"Mahyar Shahsavari, M Faisal Nadeem, S Arash Ostadzadeh, Philippe Devienne, Pierre Boulet. Unconventional digital computing approach: memristive nanodevice platform. physica status solidi (c), 2015, Issue physica status solidi (c) physica status solidi (c) Special Issue: E-MRS 2014 Spring Meeting – Symposium E • E-MRS 2014 Spring Meeting – Symposium F • E-MRS 2014 Spring Meeting – Symposium S, 12 (1-2), pp.222 - 228. <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/pssc.201400069\">⟨10.1002/pssc.201400069⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01116577v1\">⟨hal-01116577⟩</a>", "title_s":["Unconventional digital computing approach: memristive nanodevice platform"], "authFullName_s":["Mahyar Shahsavari","M Faisal Nadeem","S Arash Ostadzadeh","Philippe Devienne","Pierre Boulet"], "halId_s":"hal-01116577", "docType_s":"ART", "producedDateY_i":2015 },{ "citationRef_s":"2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark", "citationFull_s":"Ammar Aljer, Philippe Devienne. Formal and Fault Tolerant Design. 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark. <a target=\"_blank\" href=\"https://hal.science/hal-00832618v1\">⟨hal-00832618⟩</a>", "title_s":["Formal and Fault Tolerant Design"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-00832618", "docType_s":"COMM", "producedDateY_i":2012 },{ "citationRef_s":"8th European Conference on Modelling Foundations and Applications (ECMFA 2012), pp.269-248, 2012, 978-87-643-1014-6", "citationFull_s":"Ammar Aljer, Philippe Devienne. Formal and Fault Tolerant Design. 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), pp.269-248, 2012, 978-87-643-1014-6. <a target=\"_blank\" href=\"https://hal.science/hal-04491148v1\">⟨hal-04491148⟩</a>", "title_s":["Formal and Fault Tolerant Design"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04491148", "docType_s":"PROCEEDINGS", "producedDateY_i":2012 },{ "citationRef_s":"Ubiquitous Computing and Communication Journal , 2011, Special Issue on ICIT 2011", "citationFull_s":"Ammar Aljer, Philippe Devienne. Extended Model driven Architecture to B Method. Ubiquitous Computing and Communication Journal , 2011, Special Issue on ICIT 2011. <a target=\"_blank\" href=\"https://hal.science/hal-00832612v1\">⟨hal-00832612⟩</a>", "title_s":["Extended Model driven Architecture to B Method"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-00832612", "docType_s":"ART", "producedDateY_i":2011 },{ "citationRef_s":"The 5th Internatiional Conference On Information Technology (ICIT'11), May 2011, Amman, Jordan", "citationFull_s":"Ammar Aljer, Philippe Devienne. Extended Model Driven Architecture to B Method (short version). The 5th Internatiional Conference On Information Technology (ICIT'11), May 2011, Amman, Jordan. <a target=\"_blank\" href=\"https://hal.science/hal-00832605v1\">⟨hal-00832605⟩</a>", "title_s":["Extended Model Driven Architecture to B Method (short version)"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-00832605", "docType_s":"COMM", "producedDateY_i":2011 },{ "citationRef_s":"2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, Jun 2010, Athens, France. pp.73-78, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ctrq.2010.20\">⟨10.1109/ctrq.2010.20⟩</a>", "citationFull_s":"Ammar Aljer, Philippe Devienne. Formal Fault Tolerant Architecture. 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, Jun 2010, Athens, France. pp.73-78, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ctrq.2010.20\">⟨10.1109/ctrq.2010.20⟩</a>. <a target=\"_blank\" href=\"https://univ-artois.hal.science/hal-03526448v1\">⟨hal-03526448⟩</a>", "title_s":["Formal Fault Tolerant Architecture"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-03526448", "docType_s":"COMM", "producedDateY_i":2010 },{ "citationRef_s":"3rd International Conference on Communication Theory, Reliability & Quality of Service,, 2010", "citationFull_s":"Ammar Aljer, Philippe Devienne. Formal Fault Tolerant Architecture. 3rd International Conference on Communication Theory, Reliability & Quality of Service,, 2010. <a target=\"_blank\" href=\"https://hal.science/hal-04491181v1\">⟨hal-04491181⟩</a>", "title_s":["Formal Fault Tolerant Architecture"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04491181", "docType_s":"PROCEEDINGS", "producedDateY_i":2010 },{ "citationRef_s":"2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, IEEE, pp.73-78, 2010, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CTRQ.2010.20\">⟨10.1109/CTRQ.2010.20⟩</a>", "citationFull_s":"Ammar Aljer, Philippe Devienne. Formal Fault Tolerant Architecture. 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, IEEE, pp.73-78, 2010, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CTRQ.2010.20\">⟨10.1109/CTRQ.2010.20⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04492137v1\">⟨hal-04492137⟩</a>", "title_s":["Formal Fault Tolerant Architecture"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04492137", "docType_s":"PROCEEDINGS", "producedDateY_i":2010 },{ "citationRef_s":"Communication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, France. pp.1-6, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ictta.2008.4530351\">⟨10.1109/ictta.2008.4530351⟩</a>", "citationFull_s":"Ammar Aljer, Jean-Louis Boulanger, Philippe Devienne. Temporal Refinement in Co-Design. Communication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, France. pp.1-6, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ictta.2008.4530351\">⟨10.1109/ictta.2008.4530351⟩</a>. <a target=\"_blank\" href=\"https://univ-artois.hal.science/hal-03526461v1\">⟨hal-03526461⟩</a>", "title_s":["Temporal Refinement in Co-Design"], "authFullName_s":["Ammar Aljer","Jean-Louis Boulanger","Philippe Devienne"], "halId_s":"hal-03526461", "docType_s":"COMM", "producedDateY_i":2008 },{ "citationRef_s":"Communication Technologies: from Theory to Applications (ICTTA), IEEE, pp.1-6, 2008, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2008.4530351\">⟨10.1109/ICTTA.2008.4530351⟩</a>", "citationFull_s":"Ammar Aljer, Jean-Louis Boulanger, Philippe Devienne. Temporal Refinement in Co-Design. Communication Technologies: from Theory to Applications (ICTTA), IEEE, pp.1-6, 2008, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2008.4530351\">⟨10.1109/ICTTA.2008.4530351⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04491843v1\">⟨hal-04491843⟩</a>", "title_s":["Temporal Refinement in Co-Design"], "authFullName_s":["Ammar Aljer","Jean-Louis Boulanger","Philippe Devienne"], "halId_s":"hal-04491843", "docType_s":"PROCEEDINGS", "producedDateY_i":2008 },{ "citationRef_s":"International Conference on Safety and Reliability, 2007, 9780415447843", "citationFull_s":"Ammar Aljer, Philippe Devienne. B-HDL circuit and safety properties. International Conference on Safety and Reliability, 2007, 9780415447843. <a target=\"_blank\" href=\"https://hal.science/hal-04491897v1\">⟨hal-04491897⟩</a>", "title_s":["B-HDL circuit and safety properties"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04491897", "docType_s":"PROCEEDINGS", "producedDateY_i":2007 },{ "citationRef_s":"Communication Technologies: from Theory to Applications (ICTTA), IEEE, 2006", "citationFull_s":"Ammar Aljer, Philippe Devienne. Scenario of fault by refinement. Communication Technologies: from Theory to Applications (ICTTA), IEEE, 2006. <a target=\"_blank\" href=\"https://hal.science/hal-04491993v1\">⟨hal-04491993⟩</a>", "title_s":["Scenario of fault by refinement"], "authFullName_s":["Ammar Aljer","Philippe Devienne"], "halId_s":"hal-04491993", "docType_s":"PROCEEDINGS", "producedDateY_i":2006 },{ "citationRef_s":"19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings., IEEE, pp.78-86, 2004, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/DFTVS.2004.1347827\">⟨10.1109/DFTVS.2004.1347827⟩</a>", "citationFull_s":"Ammar Aljer, P. Devienne. Co-design and refinement for safety critical systems. 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings., IEEE, pp.78-86, 2004, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/DFTVS.2004.1347827\">⟨10.1109/DFTVS.2004.1347827⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04492242v1\">⟨hal-04492242⟩</a>", "title_s":["Co-design and refinement for safety critical systems"], "authFullName_s":["Ammar Aljer","P. Devienne"], "halId_s":"hal-04492242", "docType_s":"PROCEEDINGS", "producedDateY_i":2004 },{ "citationRef_s":"Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>", "citationFull_s":"Ammar Aljer, P. Devienne, S. Tison. Component based co-design and refinement. Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04492245v1\">⟨hal-04492245⟩</a>", "title_s":["Component based co-design and refinement"], "authFullName_s":["Ammar Aljer","P. Devienne","S. Tison"], "halId_s":"hal-04492245", "docType_s":"PROCEEDINGS", "producedDateY_i":2004 },{ "citationRef_s":"Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>", "citationFull_s":"Ammar Aljer, P. Devienne, S. Tison. Component based co-design and refinement. Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04490756v1\">⟨hal-04490756⟩</a>", "title_s":["Component based co-design and refinement"], "authFullName_s":["Ammar Aljer","P. Devienne","S. Tison"], "halId_s":"hal-04490756", "docType_s":"PROCEEDINGS", "producedDateY_i":2004 },{ "citationRef_s":"Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>", "citationFull_s":"Ammar Aljer, P. Devienne, S. Tison. Component based co-design and refinement. Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ICTTA.2004.1307893\">⟨10.1109/ICTTA.2004.1307893⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04490825v1\">⟨hal-04490825⟩</a>", "title_s":["Component based co-design and refinement"], "authFullName_s":["Ammar Aljer","P. Devienne","S. Tison"], "halId_s":"hal-04490825", "docType_s":"PROCEEDINGS", "producedDateY_i":2004 },{ "citationRef_s":"International Conference on Application of Concurrency to System Design (ACSD'2003), IEEE Comput. Soc, pp.241-242, 2003, 0-7695-1887-7. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CSD.2003.1207723\">⟨10.1109/CSD.2003.1207723⟩</a>", "citationFull_s":"Ammar Aljer, P. Devienne, S. Tison, J.-L. Boulanger, G. Mariano. BHDL: circuit design in B. International Conference on Application of Concurrency to System Design (ACSD'2003), IEEE Comput. Soc, pp.241-242, 2003, 0-7695-1887-7. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CSD.2003.1207723\">⟨10.1109/CSD.2003.1207723⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04490747v1\">⟨hal-04490747⟩</a>", "title_s":["BHDL: circuit design in B"], "authFullName_s":["Ammar Aljer","P. Devienne","S. Tison","J.-L. Boulanger","G. Mariano"], "halId_s":"hal-04490747", "docType_s":"PROCEEDINGS", "producedDateY_i":2003 },{ "citationRef_s":"International Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/csd.2003.1207723\">⟨10.1109/csd.2003.1207723⟩</a>", "citationFull_s":"A. Aljer, P. Devienne, S. Tison, J.-L. Boulanger, G. Mariano. BHDL: circuit design in B. International Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/csd.2003.1207723\">⟨10.1109/csd.2003.1207723⟩</a>. <a target=\"_blank\" href=\"https://univ-artois.hal.science/hal-03526474v1\">⟨hal-03526474⟩</a>", "title_s":["BHDL: circuit design in B"], "authFullName_s":["A. Aljer","P. Devienne","S. Tison","J.-L. Boulanger","G. Mariano"], "halId_s":"hal-03526474", "docType_s":"COMM", "producedDateY_i":2003 },{ "citationRef_s":"Constraints, 2000, 5 (1/2), pp.161-202. <a target=\"_blank\" href=\"https://dx.doi.org/10.1023/A:1009826603139\">⟨10.1023/A:1009826603139⟩</a>", "citationFull_s":"Jean-Marc Talbot, Philippe Devienne, Sophie Tison. Generalized Definite Set Constraints. Constraints, 2000, 5 (1/2), pp.161-202. <a target=\"_blank\" href=\"https://dx.doi.org/10.1023/A:1009826603139\">⟨10.1023/A:1009826603139⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02193768v1\">⟨hal-02193768⟩</a>", "title_s":["Generalized Definite Set Constraints"], "authFullName_s":["Jean-Marc Talbot","Philippe Devienne","Sophie Tison"], "halId_s":"hal-02193768", "docType_s":"ART", "producedDateY_i":2000 },{ "citationRef_s":"Static Analysis, 4th International Symposium, SAS '97, 1997, Paris, France. pp.127-140", "citationFull_s":"J. Talbot, S. Tison, P. Devienne. Set-based analysis for logic programming and tree automata. Static Analysis, 4th International Symposium, SAS '97, 1997, Paris, France. pp.127-140. <a target=\"_blank\" href=\"https://hal.science/hal-02193771v1\">⟨hal-02193771⟩</a>", "title_s":["Set-based analysis for logic programming and tree automata"], "authFullName_s":["J. Talbot","S. Tison","P. Devienne"], "halId_s":"hal-02193771", "docType_s":"COMM", "producedDateY_i":1997 },{ "citationRef_s":"Principles and Practice of Constraint Programming, CP97, 1997, Linz, Austria. pp.62-76", "citationFull_s":"P. Devienne, J. Talbot, S. Tison. Solving classes of set constraints with tree automata. Principles and Practice of Constraint Programming, CP97, 1997, Linz, Austria. pp.62-76. <a target=\"_blank\" href=\"https://hal.science/hal-02193791v1\">⟨hal-02193791⟩</a>", "title_s":["Solving classes of set constraints with tree automata"], "authFullName_s":["P. Devienne","J. Talbot","S. Tison"], "halId_s":"hal-02193791", "docType_s":"COMM", "producedDateY_i":1997 },{ "citationRef_s":"Journal of Logic Programming, 1996, pp.227-267", "citationFull_s":"Philippe Devienne, Patrick Lebã¨gue, Anne Parrain, Jean-Christophe Routier, Jã¶rg Wã¼rtz. Smallest Horn clause program. Journal of Logic Programming, 1996, pp.227-267. <a target=\"_blank\" href=\"https://hal.science/hal-00825539v1\">⟨hal-00825539⟩</a>", "title_s":["Smallest Horn clause program"], "authFullName_s":["Philippe Devienne","Patrick Lebã¨gue","Anne Parrain","Jean-Christophe Routier","Jã¶rg Wã¼rtz"], "halId_s":"hal-00825539", "docType_s":"ART", "producedDateY_i":1996 },{ "citationRef_s":"Proceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94), 1994, undef, France. pp.21--32", "citationFull_s":"Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz. One Binary Horn Clause is Enough. Proceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94), 1994, undef, France. pp.21--32. <a target=\"_blank\" href=\"https://hal.science/hal-00732054v1\">⟨hal-00732054⟩</a>", "title_s":["One Binary Horn Clause is Enough"], "authFullName_s":["Philippe Devienne","Patrick Lebègue","Jean-Christophe Routier","Jörg Würtz"], "halId_s":"hal-00732054", "docType_s":"COMM", "producedDateY_i":1994 },{ "citationRef_s":"Proceedings of 1993 Symposium on Theoretical Aspects of Computer Science (STACS'93), 1993, undef, France. pp.48--57", "citationFull_s":"Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The halting problem of one binary Horn clause is undecidable. Proceedings of 1993 Symposium on Theoretical Aspects of Computer Science (STACS'93), 1993, undef, France. pp.48--57. <a target=\"_blank\" href=\"https://hal.science/hal-00732053v1\">⟨hal-00732053⟩</a>", "title_s":["The halting problem of one binary Horn clause is undecidable"], "authFullName_s":["Philippe Devienne","Patrick Lebègue","Jean-Christophe Routier"], "halId_s":"hal-00732053", "docType_s":"COMM", "producedDateY_i":1993 },{ "citationRef_s":"Proceedings of 1993 International Symposium on Logic Programming (ILPS'93), 1993, undef, France. pp.250--265", "citationFull_s":"Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The emptiness problem of one binary Horn clause is undecidable. Proceedings of 1993 International Symposium on Logic Programming (ILPS'93), 1993, undef, France. pp.250--265. <a target=\"_blank\" href=\"https://hal.science/hal-00732005v1\">⟨hal-00732005⟩</a>", "title_s":["The emptiness problem of one binary Horn clause is undecidable"], "authFullName_s":["Philippe Devienne","Patrick Lebègue","Jean-Christophe Routier"], "halId_s":"hal-00732005", "docType_s":"COMM", "producedDateY_i":1993 }] } }