Login / Signup
Cédric Girard Riboulleau
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 2
Top Topics
Timed Automata
Spiking Neural Networks
Symbolic Model Checking
Reactive Systems
Top Venues
Frontiers Bioinform.
BIOINFORMATICS
</>
Publications
</>
Marin Truchi
,
Caroline Lacoux
,
Cyprien Gille
,
Julien Fassy
,
Virginie Magnone
,
Rafael Lopes Goncalves
,
Cédric Girard Riboulleau
,
Iris Manosalva-Pena
,
Marine Gautier-Isola
,
Kevin Lebrigand
,
Pascal Barbry
,
Salvatore Spicuglia
,
Georges Vassaux
,
Roger Rezzonico
,
Michel Barlaud
,
Bernard Mari
Detecting subtle transcriptomic perturbations induced by lncRNAs knock-down in single-cell CRISPRi screening using a new sparse supervised autoencoder neural network.
Frontiers Bioinform.
4 (2024)
Elisabetta De Maria
,
Daniel Gaffé
,
Cédric Girard Riboulleau
,
Annie Ressouche
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS
(2018)