Philippe Devienne

34 papers A 3B 3C 4Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2022 J jnl
Progressive compression and weight reinforcement for spiking neural networks.
Concurr. Comput. Pract. Exp.
Hammouda Elbez, Mohammed kamel Benhaoua, Philippe Devienne, Pierre Boulet
2021 C conf
VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks.
CBMI
Hammouda Elbez, Mohammed kamel Benhaoua, Philippe Devienne, Pierre Boulet
2019 B conf
Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP.
IJCNN
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
2019 J jnl
Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP.
CoRR
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
2019 — ch.
Spiking Neural Computing in Memristive Neuromorphic Platforms.
Handbook of Memristor Networks
Mahyar Shahsavari, Philippe Devienne, Pierre Boulet
2019 J jnl
Unsupervised Visual Feature Learning with Spike-timing-dependent Plasticity: How Far are we from Traditional Feature Learning Approaches?
CoRR
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
2019 J jnl
Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?
Pattern Recognit.
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
2018 B conf
Mastering the Output Frequency in Spiking Neural Networks.
IJCNN
Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet
2016 J jnl
evt_MNIST: A spike based version of traditional MNIST.
CoRR
Mazdak Fatahi, Mahmood Ahmadi, Mahyar Shahsavari, Arash Ahmadi, Philippe Devienne
2004 — conf
Co-Design and Refinement for Safety Critical Systems.
DFT
Ammar Aljer, Philippe Devienne
2003 — conf
BHDL: Circuit Design in B.
ACSD
Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano
2000 J jnl
Generalized Definite Set Constraints.
Constraints An Int. J.
Jean-Marc Talbot, Philippe Devienne, Sophie Tison
1998 — conf
Co-definite Set Constraints with Membership Expressions.
IJCSLP
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
1998 — conf
Source-to-source Prolog Program Compression.
IJCSLP
Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes
1997 B conf
Set-Based Analysis for Logic Programming and Tree Automata.
SAS
Jean-Marc Talbot, Sophie Tison, Philippe Devienne
1997 A conf
Solving Classes of Set Constraints with Tree Automata.
CP
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
1996 J jnl
Smallest Horn Clause Programs.
J. Log. Program.
Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
1994 A conf
One Binary Horn Clause is Enough.
STACS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz
1993 A conf
Halting Problem of One Binary Horn Clause is Undecidable.
STACS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1993 — conf
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.
ILPS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1993 J jnl
Weighted Systems of Equations.
Theor. Comput. Sci.
Philippe Devienne, Patrick Lebègue, Max Dauchet
1992 — conf
Halting Problem of One Binary Horn Clause id Undecidable.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1992 — ed.
JFPL'92, 1
JFPL
Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim
1992 — conf
Termination induction by means of an abstract OLDT resolution.
JFPL
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1992 C conf
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
LOPSTR
Anne Parrain, Philippe Devienne, Patrick Lebègue
1992 — conf
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.
WSA
Anne Parrain, Philippe Devienne, Patrick Lebègue
1992 — conf
Weighted Systems Revisited.
WSA
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1991 C conf
Abstract Interpretation and Recursive Behaviour of Logic Programs.
LOPSTR
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1991 C conf
Prolog Program Transformations and Meta-Interpreters.
LOPSTR
Anne Parrain, Philippe Devienne, Patrick Lebègue
1991 — conf
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
JTASPEFT/WSA
Anne Parrain, Philippe Devienne, Patrick Lebègue
1991 — conf
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
JTASPEFT/WSA
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1990 J jnl
Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming.
Theor. Comput. Sci.
Philippe Devienne
1988 — conf
WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.
FGCS
Philippe Devienne
1986 — conf
Weighted Graphs: A Tool for Logic Programming.
CAAP
Philippe Devienne, Patrick Lebègue