Philippe Devienne

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 8

Top Topics

Spiking Neural Networks

Handwritten Digit Recognition

Biologically Inspired

Top Venues

Pattern Recognit.

Publications

Hammouda Elbez, Mohammed Kamel Benhaoua, Philippe Devienne, Pierre Boulet
Progressive compression and weight reinforcement for spiking neural networks. Concurr. Comput. Pract. Exp. 34 (11) (2022)
Hammouda Elbez, Mohammed Kamel Benhaoua, Philippe Devienne, Pierre Boulet
VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. CBMI (2021)
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. IJCNN (2019)
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 Recognit. 93 (2019)
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? CoRR (2019)
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. CoRR (2019)
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
Mastering the Output Frequency in Spiking Neural Networks. IJCNN (2018)
Mazdak Fatahi, Mahmood Ahmadi, Mahyar Shahsavari, Arash Ahmadi, Philippe Devienne
evt_MNIST: A spike based version of traditional MNIST. CoRR (2016)
Ammar Aljer, Philippe Devienne
Co-Design and Refinement for Safety Critical Systems. DFT (2004)
Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano
BHDL: Circuit Design in B. ACSD (2003)
Jean-Marc Talbot, Philippe Devienne, Sophie Tison
Generalized Definite Set Constraints. Constraints An Int. J. 5 (1/2) (2000)
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
Co-definite Set Constraints with Membership Expressions. IJCSLP (1998)
Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes
Source-to-source Prolog Program Compression. IJCSLP (1998)
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
Solving Classes of Set Constraints with Tree Automata. CP (1997)
Jean-Marc Talbot, Sophie Tison, Philippe Devienne
Set-Based Analysis for Logic Programming and Tree Automata. SAS (1997)
Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
Smallest Horn Clause Programs. J. Log. Program. 27 (3) (1996)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz
One Binary Horn Clause is Enough. STACS (1994)
Philippe Devienne, Patrick Lebègue, Max Dauchet
Weighted Systems of Equations. Theor. Comput. Sci. 119 (1) (1993)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. ILPS (1993)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Halting Problem of One Binary Horn Clause is Undecidable. STACS (1993)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR (1992)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA (1992)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Halting Problem of One Binary Horn Clause id Undecidable. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Termination induction by means of an abstract OLDT resolution. JFPL (1992)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Weighted Systems Revisited. WSA (1992)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. JTASPEFT/WSA (1991)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA (1991)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Abstract Interpretation and Recursive Behaviour of Logic Programs. LOPSTR (1991)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Prolog Program Transformations and Meta-Interpreters. LOPSTR (1991)
Philippe Devienne
Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. Theor. Comput. Sci. 75 (1&2) (1990)
Philippe Devienne
WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. FGCS (1988)
Philippe Devienne, Patrick Lebègue
Weighted Graphs: A Tool for Logic Programming. CAAP (1986)