The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite. - Olivier Ly (FSTTCS, 2000)

Automatic Graphs and Graph D0L-Systems. - Olivier Ly (MFCS, 2000)

Using Coq to Verify Java Card Applet Isolation Properties. - June Andronick; Boutheina Chetali; Olivier Ly (TPHOLs, 2003)

Automatic graphs and D0L-sequences of finite graphs. - Olivier Ly (J. Comput. Syst. Sci., 2003)

Compositional Verification: Decidability Issues Using Graph Substitutions. - Olivier Ly (MFCS, 2004)

Distance Labeling in Hyperbolic Graphs. - Cyril Gavoille; Olivier Ly (ISAAC, 2005)

VisAA: Visual analyzer for assembler. - Philippe Andouard; Olivier Ly; Davy Rouillard (CRiSIS, 2008)

Pullback Grammars Are Context-Free. - Michel Bauderon; Rui Chen; Olivier Ly (ICGT, 2008)

Context-Free Categorical Grammars. - Michel Bauderon; Rui Chen; Olivier Ly (CAI, 2009)

A Smart Card Power Analysis Simulator. - Céline Thuillet; Philippe Andouard; Olivier Ly (CSE (2), 2009)

Automated Software Protection through Program Externalization on Memory-Limited Secure Devices. - Serge Chaumette; Olivier Ly; Renaud Tabary (EUC, 2010)

Acroban the humanoid: Compliance for stabilization and human interaction. - Olivier Ly; Pierre-Yves Oudeyer (IROS, 2010)

Acroban the humanoid: playful and compliant physical child-robot interaction. - Olivier Ly; Pierre-Yves Oudeyer (SIGGRAPH Emerging Technologies, 2010)

The BINCOA Framework for Binary Code Analysis. - Sébastien Bardin; Philippe Herrmann; Jérôme Leroux; Olivier Ly; Renaud Tabary; Aymeric Vincent (CAV, 2011)

Maturational constraints for motor learning in high-dimensions: The case of biped walking. - Matthieu Lapeyre; Olivier Ly; Pierre-Yves Oudeyer (Humanoids, 2011)

Exploring robust, intuitive and emergent physical human-robot interaction with the humanoid robot Acroban. - Pierre-Yves Oudeyer; Olivier Ly; Pierre Rouanet (Humanoids, 2011)

Bio-inspired vertebral column, compliance and semi-passive dynamics in a lightweight humanoid robot. - Olivier Ly; Matthieu Lapeyre; Pierre-Yves Oudeyer (IROS, 2011)

Automated extraction of polymorphic virus signatures using abstract interpretation. - Serge Chaumette; Olivier Ly; Renaud Tabary (NSS, 2011)

Modeling Long-Term Signature Validation for Resolution of Dispute. - Moez Ben MBarka; Francine Krief; Olivier Ly (TOSCA, 2011)

An experiment of low cost entertainment robotics. - Paul Fudal; Hugo Gimbert; Loïc Gondry; Ludovic Hofer; Olivier Ly; Gregoire Passault (RO-MAN, 2013)

On effective construction of the greatest solution of language inequality XA ⊆ BX. - Olivier Ly; Zhilin Wu (Theor. Comput. Sci., 2014)

Low-cost force sensors for small size humanoid robot. - Gregoire Passault; Quentin Rouxel; Ludovic Hofer; Steve N'Guyen; Olivier Ly (Humanoids, 2015)

A Fully Autonomous Robot for Putting Posts for Trellising Vineyard with Centimetric Accuracy. - Olivier Ly; Hugo Gimbert; Gregoire Passault; Gerald Baron (ICARSC, 2015)

Insight: An Open Binary Analysis Framework. - Emmanuel Fleury; Olivier Ly; Gérald Point; Aymeric Vincent (TACAS, 2015)

Metabot: A Low-Cost Legged Robotics Platform for Education. - Gregoire Passault; Quentin Rouxel; François Petit; Olivier Ly (ICARSC, 2016)

Learning the odometry on a small humanoid robot. - Quentin Rouxel; Gregoire Passault; Ludovic Hofer; Steve N'Guyen; Olivier Ly (ICRA, 2016)

Optimizing Morphology and Locomotion on a Corpus of Parametric Legged Robots. - Grégoire Passault; Quentin Rouxel; Rémi Fabre; Steve N'Guyen; Olivier Ly (Living Machines, 2016)

Rhoban Football Club: RoboCup Humanoid Kid-Size 2016 Champion Team Paper. - Julien Allali; Louis Deguillaume; Rémi Fabre; Loïc Gondry; Ludovic Hofer; Olivier Ly; Steve N'Guyen; Grégoire Passault; Antoine Pirrone; Quentin Rouxel (RoboCup, 2016)

Dynaban, an Open-Source Alternative Firmware for Dynamixel Servo-Motors. - Rémi Fabre; Quentin Rouxel; Grégoire Passault; Steve N'Guyen; Olivier Ly (RoboCup, 2016)

Rhoban Football Club: RoboCup Humanoid Kid-Size 2017 Champion Team Paper. - Julien Allali; Rémi Fabre; Loïc Gondry; Ludovic Hofer; Olivier Ly; Steve N'Guyen; Grégoire Passault; Antoine Pirrone; Quentin Rouxel (RoboCup, 2017)

Design of an industrial human-robot system through participative simulations - Tank cleaning case study. - David Bitonneau; Theo Moulieres-Seban; Julie Dumora; Olivier Ly; Jean-Francois Thibault; Jean Marc Salotti; Bernard Claverie (SII, 2017)

Bridging the Gap - On a Humanoid Robotics Rookie League. - Reinhard Gerndt; Maike Paetzel; Jacky Baltes; Olivier Ly (RoboCup, 2018)

Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper. - Loïc Gondry; Ludovic Hofer; Patxi Laborde-Zubieta; Olivier Ly; Lucie Mathé; Grégoire Passault; Antoine Pirrone; Antun Skuric (RoboCup, 2019)

Robot Soccer Kit: Omniwheel Tracked Soccer Robots for Education. - Grégoire Passault; Clément Gaspard; Olivier Ly (ICARSC, 2022)

Rhoban Football Club: RoboCup Humanoid Kid-Size 2023 Champion Team Paper. - Julien Allali; Adrien Boussicault; Cyprien Brocaire; Céline Dobigeon; Marc Duclusaud; Clément Gaspard; Hugo Gimbert; Loïc Gondry; Olivier Ly; Grégoire Passault; Antoine Pirrone (RoboCup, 2023)

FootstepNet: an Efficient Actor-Critic Method for Fast On-line Bipedal Footstep Planning and Forecasting. - Clément Gaspard; Grégoire Passault; Mélodie Daniel; Olivier Ly (IROS, 2024)

Extended Friction Models for the Physics Simulation of Servo Actuators. - Marc Duclusaud; Grégoire Passault; Vincent Padois; Olivier Ly (CoRR, 2024)

FRASA: An End-to-End Reinforcement Learning Agent for Fall Recovery and Stand Up of Humanoid Robots. - Clément Gaspard; Marc Duclusaud; Grégoire Passault; Mélodie Daniel; Olivier Ly (CoRR, 2024)