| 2021 | CBMI | VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. | Hammouda Elbez, Mohammed Kamel Benhaoua, Philippe Devienne, Pierre Boulet |
| 2019 | IJCNN | Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. | Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet |
| 2018 | IJCNN | Mastering the Output Frequency in Spiking Neural Networks. | Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet |
| 1998 | ICLP | Source-to-source Prolog Program Compression. | Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes |
| 1998 | ICLP | Co-definite Set Constraints with Membership Expressions. | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
| 1997 | CP | Solving Classes of Set Constraints with Tree Automata. | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
| 1997 | SAS | Set-Based Analysis for Logic Programming and Tree Automata. | Jean-Marc Talbot, Sophie Tison, Philippe Devienne |
| 1994 | STACS | One Binary Horn Clause is Enough. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier, Jrg Wrtz |
| 1993 | STACS | Halting Problem of One Binary Horn Clause is Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | ICLP | Halting Problem of One Binary Horn Clause id Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | LOPSTR | Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1992 | SAS | Weighted Systems Revisited. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1992 | SAS | Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | LOPSTR | Abstract Interpretation and Recursive Behaviour of Logic Programs. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | LOPSTR | Prolog Program Transformations and Meta-Interpreters. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Une analyse du comportement rcursif de programmes Prolog par une interprtation abstraite. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Techniques de transformations de programmes Prolog gnraux et validation de mta-interprteurs. | Anne Parrain, Philippe Devienne, Patrick Lebgue |