Weighted Graphs: A Tool for Logic Programming. - Philippe Devienne; Patrick Lebègue (CAAP, 1986)

WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. - Philippe Devienne (FGCS, 1988)

Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. - Philippe Devienne (Theor. Comput. Sci., 1990)

Abstract Interpretation and Recursive Behaviour of Logic Programs. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (LOPSTR, 1991)

Prolog Program Transformations and Meta-Interpreters. - Anne Parrain; Philippe Devienne; Patrick Lebègue (LOPSTR, 1991)

Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (JTASPEFT/WSA, 1991)

Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. - Anne Parrain; Philippe Devienne; Patrick Lebègue (JTASPEFT/WSA, 1991)

Halting Problem of One Binary Horn Clause id Undecidable. - Philippe Devienne; Patrick Lebègue; Jean-Christophe Routier (Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992)

Termination induction by means of an abstract OLDT resolution. - Christophe Lecoutre; Philippe Devienne; Patrick Lebègue (JFPL, 1992)

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. - Anne Parrain; Philippe Devienne; Patrick Lebègue (LOPSTR, 1992)

Weighted Systems Revisited. - Philippe Devienne; Patrick Lebègue; Jean-Christophe Routier (WSA, 1992)

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. - Philippe Devienne; Patrick Lebègue; Jean-Christophe Routier (ILPS, 1993)

Halting Problem of One Binary Horn Clause is Undecidable. - Philippe Devienne; Patrick Lebègue; Jean-Christophe Routier (STACS, 1993)

Weighted Systems of Equations. - Philippe Devienne; Patrick Lebègue; Max Dauchet (Theor. Comput. Sci., 1993)

One Binary Horn Clause is Enough. - Philippe Devienne; Patrick Lebègue; Jean-Christophe Routier; Jörg Würtz (STACS, 1994)

Smallest Horn Clause Programs. - Philippe Devienne; Patrick Lebègue; Anne Parrain; Jean-Christophe Routier; Jörg Würtz (J. Log. Program., 1996)

Solving Classes of Set Constraints with Tree Automata. - Philippe Devienne; Jean-Marc Talbot; Sophie Tison (CP, 1997)

Set-Based Analysis for Logic Programming and Tree Automata. - Jean-Marc Talbot; Sophie Tison; Philippe Devienne (SAS, 1997)

Source-to-source Prolog Program Compression. - Philippe Devienne; Anne Parrain; Patrick Taillibert; S. Varennes (IJCSLP, 1998)

Co-definite Set Constraints with Membership Expressions. - Philippe Devienne; Jean-Marc Talbot; Sophie Tison (IJCSLP, 1998)

Generalized Definite Set Constraints. - Jean-Marc Talbot; Philippe Devienne; Sophie Tison (Constraints An Int. J., 2000)

BHDL: Circuit Design in B. - Ammar Aljer; Philippe Devienne; Sophie Tison; Jean-Louis Boulanger; Georges Mariano (ACSD, 2003)

Co-Design and Refinement for Safety Critical Systems. - Ammar Aljer; Philippe Devienne (DFT, 2004)

evt_MNIST: A spike based version of traditional MNIST. - Mazdak Fatahi; Mahmood Ahmadi; Mahyar Shahsavari; Arash Ahmadi; Philippe Devienne (CoRR, 2016)

Mastering the Output Frequency in Spiking Neural Networks. - Pierre Falez; Pierre Tirilly; Ioan Marius Bilasco; Philippe Devienne; Pierre Boulet (IJCNN, 2018)

Spiking Neural Computing in Memristive Neuromorphic Platforms. - Mahyar Shahsavari; Philippe Devienne; Pierre Boulet (Handbook of Memristor Networks, 2019)

Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. - Pierre Falez; Pierre Tirilly; Ioan Marius Bilasco; Philippe Devienne; Pierre Boulet (IJCNN, 2019)

Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches? - Pierre Falez; Pierre Tirilly; Ioan Marius Bilasco; Philippe Devienne; Pierre Boulet (Pattern Recognit., 2019)

VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. - Hammouda Elbez; Mohammed Kamel Benhaoua; Philippe Devienne; Pierre Boulet (CBMI, 2021)

Progressive compression and weight reinforcement for spiking neural networks. - Hammouda Elbez; Mohammed Kamel Benhaoua; Philippe Devienne; Pierre Boulet (Concurr. Comput. Pract. Exp., 2022)