{"@attributes":{"name":"Philippe Devienne","pid":"d\/PDevienne","n":"35"},"person":{"@attributes":{"key":"homepages\/d\/PDevienne","mdate":"2016-02-03"},"author":"Philippe Devienne","note":"LIFL Lille, France","url":"http:\/\/www.lifl.fr\/annuaire\/employee.php?login=devienne"},"r":[{"article":{"@attributes":{"key":"journals\/jsa\/MedjahedDBFB26","mdate":"2026-06-02"},"author":["Farah Medjahed","Philippe Devienne","Abou El Hassan Benyamina","Mazdak Fatahi","Pierre Boulet"],"title":"Energy-efficient neural networks for passive acoustic monitoring: A spiking neural network approach.","year":"2026","pages":"103815","volume":"176","journal":"J. Syst. Archit.","ee":"https:\/\/doi.org\/10.1016\/j.sysarc.2026.103815","url":"db\/journals\/jsa\/jsa176.html#MedjahedDBFB26","stream":"streams\/journals\/jsa"}},{"article":{"@attributes":{"key":"journals\/concurrency\/ElbezBDB22","mdate":"2023-03-21"},"author":["Hammouda Elbez","Mohammed Kamel Benhaoua","Philippe Devienne","Pierre Boulet"],"title":"Progressive compression and weight reinforcement for spiking neural networks.","year":"2022","volume":"34","journal":"Concurr. Comput. Pract. Exp.","number":"11","ee":["https:\/\/doi.org\/10.1002\/cpe.6891","https:\/\/www.wikidata.org\/entity\/Q111522906"],"url":"db\/journals\/concurrency\/concurrency34.html#ElbezBDB22"}},{"inproceedings":{"@attributes":{"key":"conf\/cbmi\/ElbezBDB21","mdate":"2022-12-07"},"author":["Hammouda Elbez","Mohammed Kamel Benhaoua","Philippe Devienne","Pierre Boulet"],"title":"VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks.","pages":"1-6","year":"2021","booktitle":"CBMI","ee":"https:\/\/doi.org\/10.1109\/CBMI50038.2021.9461916","crossref":"conf\/cbmi\/2021","url":"db\/conf\/cbmi\/cbmi2021.html#ElbezBDB21"}},{"article":{"@attributes":{"key":"journals\/pr\/FalezTBDB19","mdate":"2020-12-29"},"author":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"],"title":"Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?","pages":"418-429","year":"2019","volume":"93","journal":"Pattern Recognit.","ee":"https:\/\/doi.org\/10.1016\/j.patcog.2019.04.016","url":"db\/journals\/pr\/pr93.html#FalezTBDB19"}},{"inproceedings":{"@attributes":{"key":"conf\/ijcnn\/FalezTBDB19","mdate":"2019-10-02"},"author":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"],"title":"Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP.","pages":"1-8","year":"2019","booktitle":"IJCNN","ee":"https:\/\/doi.org\/10.1109\/IJCNN.2019.8852346","crossref":"conf\/ijcnn\/2019","url":"db\/conf\/ijcnn\/ijcnn2019.html#FalezTBDB19"}},{"incollection":{"@attributes":{"key":"books\/sp\/19\/ShahsavariDB19","mdate":"2020-12-29"},"author":["Mahyar Shahsavari","Philippe Devienne","Pierre Boulet"],"title":"Spiking Neural Computing in Memristive Neuromorphic Platforms.","pages":"691-728","year":"2019","booktitle":"Handbook of Memristor Networks","ee":"https:\/\/doi.org\/10.1007\/978-3-319-76375-0_25","crossref":"books\/sp\/19\/CSA2019","url":"db\/books\/collections\/CSA2019.html#ShahsavariDB19"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-1901-04392","mdate":"2020-12-29"},"author":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"],"title":"Unsupervised Visual Feature Learning with Spike-timing-dependent Plasticity: How Far are we from Traditional Feature Learning Approaches?","year":"2019","volume":"abs\/1901.04392","journal":"CoRR","ee":"http:\/\/arxiv.org\/abs\/1901.04392","url":"db\/journals\/corr\/corr1901.html#abs-1901-04392"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-1904-01908","mdate":"2021-01-23"},"author":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"],"title":"Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP.","year":"2019","volume":"abs\/1904.01908","journal":"CoRR","ee":"http:\/\/arxiv.org\/abs\/1904.01908","url":"db\/journals\/corr\/corr1904.html#abs-1904-01908"}},{"inproceedings":{"@attributes":{"key":"conf\/ijcnn\/FalezTBDB18","mdate":"2019-09-16"},"author":["Pierre Falez","Pierre Tirilly","Ioan Marius Bilasco","Philippe Devienne","Pierre Boulet"],"title":"Mastering the Output Frequency in Spiking Neural Networks.","pages":"1-8","year":"2018","booktitle":"IJCNN","ee":"https:\/\/doi.org\/10.1109\/IJCNN.2018.8489410","crossref":"conf\/ijcnn\/2018","url":"db\/conf\/ijcnn\/ijcnn2018.html#FalezTBDB18"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/FatahiASAD16","mdate":"2018-08-13"},"author":["Mazdak Fatahi","Mahmood Ahmadi","Mahyar Shahsavari","Arash Ahmadi","Philippe Devienne"],"title":"evt_MNIST: A spike based version of traditional MNIST.","year":"2016","volume":"abs\/1604.06751","journal":"CoRR","ee":"http:\/\/arxiv.org\/abs\/1604.06751","url":"db\/journals\/corr\/corr1604.html#FatahiASAD16"}},{"inproceedings":{"@attributes":{"key":"conf\/dft\/AljerD04","mdate":"2023-03-24"},"author":["Ammar Aljer","Philippe Devienne"],"title":"Co-Design and Refinement for Safety Critical Systems.","pages":"78-86","year":"2004","crossref":"conf\/dft\/2004","booktitle":"DFT","ee":"https:\/\/doi.ieeecomputersociety.org\/10.1109\/DFT.2004.16","url":"db\/conf\/dft\/dft2004.html#AljerD04"}},{"inproceedings":{"@attributes":{"key":"conf\/acsd\/AljerDTBM03","mdate":"2023-03-24"},"author":["Ammar Aljer","Philippe Devienne","Sophie Tison","Jean-Louis Boulanger","Georges Mariano"],"title":"BHDL: Circuit Design in B.","pages":"241-242","year":"2003","crossref":"conf\/acsd\/2003","booktitle":"ACSD","ee":["https:\/\/doi.org\/10.1109\/CSD.2003.1207723","https:\/\/doi.ieeecomputersociety.org\/10.1109\/CSD.2003.1207723"],"url":"db\/conf\/acsd\/acsd2003.html#AljerDTBM03"}},{"article":{"@attributes":{"key":"journals\/constraints\/TalbotDT00","mdate":"2020-03-13"},"author":["Jean-Marc Talbot","Philippe Devienne","Sophie Tison"],"title":"Generalized Definite Set Constraints.","pages":"161-202","year":"2000","volume":"5","journal":"Constraints An Int. J.","number":"1\/2","url":"db\/journals\/constraints\/constraints5.html#TalbotDT00","ee":"https:\/\/doi.org\/10.1023\/A:1009826603139"}},{"inproceedings":{"@attributes":{"key":"conf\/iclp\/DevienneTT98","mdate":"2013-12-02"},"author":["Philippe Devienne","Jean-Marc Talbot","Sophie Tison"],"title":"Co-definite Set Constraints with Membership Expressions.","pages":"25-39","year":"1998","crossref":"conf\/iclp\/1998","booktitle":"IJCSLP","url":"db\/conf\/iclp\/iclp98.html#DevienneTT98"}},{"inproceedings":{"@attributes":{"key":"conf\/iclp\/DeviennePTV98","mdate":"2013-12-02"},"author":["Philippe Devienne","Anne Parrain","Patrick Taillibert","S. Varennes"],"title":"Source-to-source Prolog Program Compression.","pages":"205-219","year":"1998","crossref":"conf\/iclp\/1998","booktitle":"IJCSLP","url":"db\/conf\/iclp\/iclp98.html#DeviennePTV98"}},{"inproceedings":{"@attributes":{"key":"conf\/cp\/DevienneTT97","mdate":"2017-06-15"},"author":["Philippe Devienne","Jean-Marc Talbot","Sophie Tison"],"title":"Solving Classes of Set Constraints with Tree Automata.","pages":"62-76","year":"1997","crossref":"conf\/cp\/1997","booktitle":"CP","url":"db\/conf\/cp\/cp97.html#DevienneTT97","ee":"https:\/\/doi.org\/10.1007\/BFb0017430"}},{"inproceedings":{"@attributes":{"key":"conf\/sas\/TalbotTD97","mdate":"2017-06-15"},"author":["Jean-Marc Talbot","Sophie Tison","Philippe Devienne"],"title":"Set-Based Analysis for Logic Programming and Tree Automata.","pages":"127-140","year":"1997","crossref":"conf\/sas\/1997","booktitle":"SAS","url":"db\/conf\/sas\/sas97.html#TalbotTD97","ee":"https:\/\/doi.org\/10.1007\/BFb0032738"}},{"article":{"@attributes":{"key":"journals\/jlp\/DevienneLPRW96","mdate":"2025-01-19"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Anne Parrain","Jean-Christophe Routier","J\u00f6rg W\u00fcrtz"],"title":"Smallest Horn Clause Programs.","pages":"227-267","year":"1996","volume":"27","journal":"J. Log. Program.","number":"3","url":"db\/journals\/jlp\/jlp27.html#DevienneLPRW96","ee":["https:\/\/doi.org\/10.1016\/0743-1066(95)00122-0","https:\/\/www.wikidata.org\/entity\/Q127087508"]}},{"inproceedings":{"@attributes":{"key":"conf\/stacs\/DevienneLRW94","mdate":"2018-11-14"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Jean-Christophe Routier","J\u00f6rg W\u00fcrtz"],"title":"One Binary Horn Clause is Enough.","pages":"21-32","year":"1994","crossref":"conf\/stacs\/1994","booktitle":"STACS","url":"db\/conf\/stacs\/stacs94.html#DevienneLRW94","ee":["https:\/\/doi.org\/10.1007\/3-540-57785-8_128","https:\/\/www.wikidata.org\/entity\/Q56505178"]}},{"article":{"@attributes":{"key":"journals\/tcs\/DevienneLD93","mdate":"2021-02-17"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Max Dauchet"],"title":"Weighted Systems of Equations.","pages":"39-62","year":"1993","volume":"119","journal":"Theor. Comput. Sci.","number":"1","url":"db\/journals\/tcs\/tcs119.html#DevienneLD93","ee":"https:\/\/doi.org\/10.1016\/0304-3975(93)90339-U"}},{"inproceedings":{"@attributes":{"key":"conf\/slp\/DevienneLR93","mdate":"2013-12-04"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Jean-Christophe Routier"],"title":"The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.","pages":"250-265","year":"1993","crossref":"conf\/slp\/1993","booktitle":"ILPS","url":"db\/conf\/slp\/slp93.html#DevienneLR93"}},{"inproceedings":{"@attributes":{"key":"conf\/stacs\/DevienneLR93","mdate":"2017-05-20"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Jean-Christophe Routier"],"title":"Halting Problem of One Binary Horn Clause is Undecidable.","pages":"48-57","year":"1993","crossref":"conf\/stacs\/1993","booktitle":"STACS","url":"db\/conf\/stacs\/stacs93.html#DevienneLR93","ee":"https:\/\/doi.org\/10.1007\/3-540-56503-5_7"}},{"inproceedings":{"@attributes":{"key":"conf\/iclp\/DevienneLR92","mdate":"2013-12-02"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Jean-Christophe Routier"],"title":"Halting Problem of One Binary Horn Clause id Undecidable.","pages":"5-14","year":"1992","crossref":"conf\/iclp\/1992w1","booktitle":"Structural Complexity and Recursion-theoretic methods in Logic-Programming","url":"db\/conf\/iclp\/iclp92-w1.html#DevienneLR92"}},{"inproceedings":{"@attributes":{"key":"conf\/jfplc\/LecoutreDL92","mdate":"2004-06-25"},"author":["Christophe Lecoutre","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Termination induction by means of an abstract OLDT resolution.","pages":"353-373","year":"1992","crossref":"conf\/jfplc\/1992","booktitle":"JFPL","url":"db\/conf\/jfplc\/jfpl1992.html#LecoutreDL92"}},{"inproceedings":{"@attributes":{"key":"conf\/lopstr\/ParrainDL92","mdate":"2019-06-21"},"author":["Anne Parrain","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.","pages":"228-241","year":"1992","crossref":"conf\/lopstr\/1992","booktitle":"LOPSTR","url":"db\/conf\/lopstr\/lopstr92.html#ParrainDL92","ee":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_16"}},{"inproceedings":{"@attributes":{"key":"conf\/sas\/DevienneLR92","mdate":"2015-09-02"},"author":["Philippe Devienne","Patrick Leb\u00e8gue","Jean-Christophe Routier"],"title":"Weighted Systems Revisited.","pages":"163-173","year":"1992","crossref":"conf\/sas\/1992","booktitle":"WSA","url":"db\/conf\/sas\/wsa92.html#DevienneLR92"}},{"inproceedings":{"@attributes":{"key":"conf\/sas\/ParrainDL92","mdate":"2015-09-02"},"author":["Anne Parrain","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.","pages":"295-303","year":"1992","crossref":"conf\/sas\/1992","booktitle":"WSA","url":"db\/conf\/sas\/wsa92.html#ParrainDL92"}},{"proceedings":{"@attributes":{"key":"conf\/jfplc\/1992","mdate":"2004-06-25"},"editor":["Jean-Paul Delahaye","Philippe Devienne","Philippe Mathieu","Pascal Yim"],"title":"JFPL'92, 1 Journ\u00e9es Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France","booktitle":"JFPL","year":"1992","url":"db\/conf\/jfplc\/jfpl1992.html"}},{"inproceedings":{"@attributes":{"key":"conf\/lopstr\/LecoutreDL91","mdate":"2019-06-21"},"author":["Christophe Lecoutre","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Abstract Interpretation and Recursive Behaviour of Logic Programs.","pages":"147-166","year":"1991","crossref":"conf\/lopstr\/1991","booktitle":"LOPSTR","url":"db\/conf\/lopstr\/lopstr91.html#LecoutreDL91","ee":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_12"}},{"inproceedings":{"@attributes":{"key":"conf\/lopstr\/ParrainDL91","mdate":"2019-06-21"},"author":["Anne Parrain","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Prolog Program Transformations and Meta-Interpreters.","pages":"238-251","year":"1991","crossref":"conf\/lopstr\/1991","booktitle":"LOPSTR","url":"db\/conf\/lopstr\/lopstr91.html#ParrainDL91","ee":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_17"}},{"inproceedings":{"@attributes":{"key":"conf\/sas\/LecoutreDL91","mdate":"2015-09-02"},"author":["Christophe Lecoutre","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Une analyse du comportement r\u00e9cursif de programmes Prolog par une interpr\u00e9tation abstraite.","pages":"62-69","year":"1991","crossref":"conf\/sas\/1991","booktitle":"JTASPEFT\/WSA","url":"db\/conf\/sas\/wsa91.html#LecoutreDL91"}},{"inproceedings":{"@attributes":{"key":"conf\/sas\/ParrainDL91","mdate":"2015-09-02"},"author":["Anne Parrain","Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Techniques de transformations de programmes Prolog g\u00e9n\u00e9raux et validation de m\u00e9ta-interpr\u00e9teurs.","pages":"132-138","year":"1991","crossref":"conf\/sas\/1991","booktitle":"JTASPEFT\/WSA","url":"db\/conf\/sas\/wsa91.html#ParrainDL91"}},{"article":{"@attributes":{"key":"journals\/tcs\/Devienne90","mdate":"2021-02-17"},"author":"Philippe Devienne","title":"Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming.","pages":"157-215","year":"1990","volume":"75","journal":"Theor. Comput. Sci.","number":"1&2","url":"db\/journals\/tcs\/tcs75.html#Devienne90","ee":"https:\/\/doi.org\/10.1016\/0304-3975(90)90066-Q"}},{"inproceedings":{"@attributes":{"key":"conf\/fgcs\/Devienne88","mdate":"2019-07-31"},"author":"Philippe Devienne","title":"WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.","pages":"397-404","year":"1988","crossref":"conf\/fgcs\/1988","booktitle":"FGCS","url":"db\/conf\/fgcs\/fgcs88.html#Devienne88"}},{"inproceedings":{"@attributes":{"key":"conf\/caap\/DevienneL86","mdate":"2017-05-19"},"author":["Philippe Devienne","Patrick Leb\u00e8gue"],"title":"Weighted Graphs: A Tool for Logic Programming.","pages":"100-111","year":"1986","crossref":"conf\/caap\/1986","booktitle":"CAAP","url":"db\/conf\/caap\/caap86.html#DevienneL86","ee":"https:\/\/doi.org\/10.1007\/BFb0022662"}}],"coauthors":{"@attributes":{"n":"28","nc":"2"},"co":[{"@attributes":{"c":"1"},"na":"Arash Ahmadi"},{"@attributes":{"c":"1"},"na":"Mahmood Ahmadi"},{"@attributes":{"c":"0"},"na":"Ammar Aljer"},{"@attributes":{"c":"1","n":"2"},"na":["Mohammed kamel Benhaoua","Mohammed Kamel Benhaoua"]},{"@attributes":{"c":"1"},"na":"Abou El Hassan Benyamina"},{"@attributes":{"c":"1"},"na":"Ioan Marius Bilasco"},{"@attributes":{"c":"0"},"na":"Jean-Louis Boulanger"},{"@attributes":{"c":"1"},"na":"Pierre Boulet"},{"@attributes":{"c":"0"},"na":"Max Dauchet"},{"@attributes":{"c":"0"},"na":"Jean-Paul Delahaye"},{"@attributes":{"c":"1"},"na":"Hammouda Elbez"},{"@attributes":{"c":"1"},"na":"Pierre Falez"},{"@attributes":{"c":"1"},"na":"Mazdak Fatahi"},{"@attributes":{"c":"0"},"na":"Patrick Leb\u00e8gue"},{"@attributes":{"c":"0"},"na":"Christophe Lecoutre"},{"@attributes":{"c":"0"},"na":"Georges Mariano"},{"@attributes":{"c":"0"},"na":"Philippe Mathieu"},{"@attributes":{"c":"1"},"na":"Farah Medjahed"},{"@attributes":{"c":"0"},"na":"Anne Parrain"},{"@attributes":{"c":"0"},"na":"Jean-Christophe Routier"},{"@attributes":{"c":"1"},"na":"Mahyar Shahsavari"},{"@attributes":{"c":"0"},"na":"Patrick Taillibert"},{"@attributes":{"c":"0"},"na":"Jean-Marc Talbot"},{"@attributes":{"c":"1"},"na":"Pierre Tirilly"},{"@attributes":{"c":"0"},"na":"Sophie Tison"},{"@attributes":{"c":"0"},"na":"S. Varennes"},{"@attributes":{"c":"0"},"na":"J\u00f6rg W\u00fcrtz"},{"@attributes":{"c":"0"},"na":"Pascal Yim"}]}}