Olivier Ly

According to our database1, Olivier Ly authored at least 36 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FootstepNet: an Efficient Actor-Critic Method for Fast On-line Bipedal Footstep Planning and Forecasting.
CoRR, 2024

2023
Rhoban Football Club: RoboCup Humanoid Kid-Size 2023 Champion Team Paper.
Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023

2022
Robot Soccer Kit: Omniwheel Tracked Soccer Robots for Education.
Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2022

2019
Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper.
Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019

2018
Bridging the Gap - On a Humanoid Robotics Rookie League.
Proceedings of the RoboCup 2018: Robot World Cup XXII [Montreal, 2018

2017
Design of an industrial human-robot system through participative simulations - Tank cleaning case study.
Proceedings of the IEEE/SICE International Symposium on System Integration, 2017

Rhoban Football Club: RoboCup Humanoid Kid-Size 2017 Champion Team Paper.
Proceedings of the RoboCup 2017: Robot World Cup XXI [Nagoya, Japan, July 27-31, 2017]., 2017

2016
Dynaban, an Open-Source Alternative Firmware for Dynamixel Servo-Motors.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Rhoban Football Club: RoboCup Humanoid Kid-Size 2016 Champion Team Paper.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Optimizing Morphology and Locomotion on a Corpus of Parametric Legged Robots.
Proceedings of the Biomimetic and Biohybrid Systems - 5th International Conference, 2016

Learning the odometry on a small humanoid robot.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Metabot: A Low-Cost Legged Robotics Platform for Education.
Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

2015
Insight: An Open Binary Analysis Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Fully Autonomous Robot for Putting Posts for Trellising Vineyard with Centimetric Accuracy.
Proceedings of the 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 2015

Low-cost force sensors for small size humanoid robot.
Proceedings of the 15th IEEE-RAS International Conference on Humanoid Robots, 2015

2014
On effective construction of the greatest solution of language inequality XA ⊆ BX.
Theor. Comput. Sci., 2014

2013
An experiment of low cost entertainment robotics.
Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication, 2013

2011
Modeling Long-Term Signature Validation for Resolution of Dispute.
Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

Automated extraction of polymorphic virus signatures using abstract interpretation.
Proceedings of the 5th International Conference on Network and System Security, 2011

Bio-inspired vertebral column, compliance and semi-passive dynamics in a lightweight humanoid robot.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Exploring robust, intuitive and emergent physical human-robot interaction with the humanoid robot Acroban.
Proceedings of the 11th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2011), 2011

Maturational constraints for motor learning in high-dimensions: The case of biped walking.
Proceedings of the 11th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2011), 2011

The BINCOA Framework for Binary Code Analysis.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Acroban the humanoid: playful and compliant physical child-robot interaction.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2010

Acroban the humanoid: Compliance for stabilization and human interaction.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Automated Software Protection through Program Externalization on Memory-Limited Secure Devices.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009
A Smart Card Power Analysis Simulator.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Context-Free Categorical Grammars.
Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008
Pullback Grammars Are Context-Free.
Proceedings of the Graph Transformations, 4th International Conference, 2008

VisAA: Visual analyzer for assembler.
Proceedings of the CRiSIS '08, 2008

2005
Distance Labeling in Hyperbolic Graphs.
Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

2004
Compositional Verification: Decidability Issues Using Graph Substitutions.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003
Automatic graphs and D0L-sequences of finite graphs.
J. Comput. Syst. Sci., 2003

Using Coq to Verify Java Card Applet Isolation Properties.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2000
Automatic Graphs and Graph <i>D</i>0<i>L</i>-Systems.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000


  Loading...