Get started

Laboratoire Bordelais de Recherche en Informatique

Guidelines for the use and interpretation of assays for monitoring autophagy
2012 · Daniel J. Klionsky, Fabio C. Abdalla, et al. · Autophagy · 3,996
PDF
A review of classification algorithms for EEG-based brain–computer interfaces: a 10 year update
2018 · F Lotte, L Bougrain, et al. · Journal of Neural Engineering · 2,213
PDF
Genome evolution in yeasts
2004 · Bernard Dujon, David Sherman, et al. · Nature · 1,615
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
1990 · Bruno Courcelle · Information and Computation · 1,448
PDF
Interactive Theorem Proving and Program Development
2004 · Yves Bertot, Pierre Castéran · Texts in theoretical computer science · 1,353
StarPU: a unified platform for task scheduling on heterogeneous multicore architectures
2010 · Cédric Augonnet, Samuel Thibault, et al. · Concurrency and Computation Practice and Experience · 1,275
PDF
Hybrid scheduling for the parallel solution of linear systems
2005 · Patrick R. Amestoy, Abdou Guermouche, et al. · Parallel Computing · 1,072
Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.
2004 · Castéran, Pierre, Bertot, Yves · HAL (Le Centre pour la Communication Scientifique Directe) · 1,072
Visual Analytics: Definition, Process, and Challenges
2008 · Daniel Keim, Gennady Andrienko, et al. · Lecture notes in computer science · 1,063
PDF
Network Intrusion Detection for IoT Security Based on Learning Techniques
2019 · Nadia Chaabouni, Mohamed Mosbah, et al. · IEEE Communications Surveys & Tutorials · 940
BB8: A Scalable, Accurate, Robust to Partial Occlusion Method for Predicting the 3D Poses of Challenging Objects without Using Depth
2017 · Mahdi Rad, Vincent Lepetit · IEEE International Conference on Computer Vision (ICCV) · 843
The HUPO PSI's Molecular Interaction format—a community standard for the representation of protein interaction data
2004 · Henning Hermjakob, Luisa Montecchi-Palazzi, et al. · Nature Biotechnology · 627
volBrain: An Online MRI Brain Volumetry System
2016 · José V. Manjón, Pierrick Coupé · Frontiers in Neuroinformatics · 626
PDF
Upper bounds to the clique width of graphs
2000 · Bruno Courcelle, Stephan Olariu · Discrete Applied Mathematics · 618
PDF
Fine-grained and accurate source code differencing
2014 · Jean-Rémy Falleri, Floréal Morandat, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 549
Infinite games on finitely coloured graphs with applications to automata on infinite trees
1998 · Wieslaw Zielonka · Theoretical Computer Science · 489
PDF
New algorithms for fault trees analysis
1993 · Antoine Rauzy · Reliability Engineering & System Safety · 472
Toward interoperable bioscience data
2012 · Susanna-Assunta Sansone, Philippe Rocca-Serra, et al. · Nature Genetics · 450
PDF
An Inexpensive BRDF Model for Physically‐based Rendering
1994 · Christophe Schlick · Computer Graphics Forum · 447
Software Verification with BLAST
2003 · Thomas A. Henzinger, Ranjit Jhala, et al. · Lecture notes in computer science · 424
Diffusion Weighted Image Denoising Using Overcomplete Local PCA
2013 · José V. Manjón, Pierrick Coupé, et al. · PLoS ONE · 417
PDF
Scotch: A software package for static mapping by dual recursive bipartitioning of process and architecture graphs
1996 · François Pellegrini, Jean Roman · Lecture notes in computer science · 406
Consensus on the reporting and experimental design of clinical and cognitive-behavioural neurofeedback studies (CRED-nf checklist)
2020 · Tomas Ros, Stefanie Enriquez-Geppert, et al. · Brain · 397
PDF
hwloc: A Generic Framework for Managing Hardware Affinities in HPC Applications
2010 · Franois Broquedis, Jerome Clet-Ortega, et al. · Proceedings - Euromicro Workshop on Parallel and Distributed Processing/Proceedings · 395
Brain-Computer Interfaces
2010 · Clerc, Maureen, Bougrain, Laurent, et al. · Human-computer interaction series · 392
Works count: 9,909
Citation count: 219,700
Year
Topic
Type