Olivier Michel

According to our database1, Olivier Michel authored at least 64 papers between 1989 and 2020.

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



In proceedings 
PhD thesis 


On csauthors.net:


Online mobile C-arm calibration using inertial sensors: a preliminary study in order to achieve CBCT.
Int. J. Comput. Assist. Radiol. Surg., 2020

Forewords of special issue on "GRETSI 2019" colloquium.
Ann. des Télécommunications, 2020

Code properties analysis for the implementation of a modulated wideband converter.
Proceedings of the 25th European Signal Processing Conference, 2017

Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

Refounding of the activity concept? Towards a federative paradigm for modeling and simulation.
Simul., 2013

A review of morphogenetic engineering.
Nat. Comput., 2013

Unconventional and Nested Computations in Spatial Computing.
Int. J. Unconv. Comput., 2013

Comput. J., 2013

Topological computation of activity regions.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes.
Proceedings of the Mathematics and Computation in Music - 4th International Conference, 2013


Spatial Computing in MGS.
Proceedings of the Unconventional Computation and Natural Computation, 2012

Interaction-Based Modeling of Morphogenesis in MGS.
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

Morphogenetic Engineering: Reconciling Self-Organization and Architecture.
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory Biosci., 2011

Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World.
ACM Trans. Auton. Adapt. Syst., 2011

Variable elimination for building interpreters
CoRR, 2010

Activity regions for the specification of discrete event systems.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Spatial Computing as Intensional Data Parallelism.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Spatial Programming for Music Representation and Analysis.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Declarative Mesh Subdivision Using Topological Rewriting in MGS.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Rule-based programming for integrative biological modeling.
Nat. Comput., 2009

Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Stochastic P systems and the simulation of biochemical processes with dynamic compartments.
Biosyst., 2008

RobotStadium: Online Humanoid Robot Soccer Simulation Competition.
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008

The Rat's Life benchmark: competing cognitive robots.
Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems, 2008

Rat's Life: A Cognitive Robotics Benchmark.
Proceedings of the Second European Robotics Symposium 2008, 2008

Représentation et manipulation de structures topologiques dans un langage fonctionnel.
Tech. Sci. Informatiques, 2007

Declarative modeling of a neurulation-like process.
Biosyst., 2007

There's Plenty of Room for Unconventional Programming Languages or Declarative Simulations of Dynamical Systems (with a Dynamical Structure).
, 2007

Aibo and Webots: Simulation, wireless remote control and controller transfer.
Robotics Auton. Syst., 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.
Int. J. Unconv. Comput., 2006

An Analysis of a Public Key Protocol with Membranes.
Proceedings of the Applications of Membrane Computing, 2006

Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling.
Proceedings of the Computational Science, 2005

Algorithmic Self-assembly by Accretion and by Carving in MGS.
Proceedings of the Artificial Evolution, 2005

WebotsTM: Professional Mobile Robot Simulation
CoRR, 2004

Computations in Space and Space in Computations.
Proceedings of the Unconventional Programming Paradigms, 2004

A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems.
Proceedings of the Cellular Automata, 2004

Filtrage et règles de réécriture sur des structures indexées par des groupes.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

Pattern-matching and rewriting rules for group indexed data structures.
ACM SIGPLAN Notices, 2002

The Topological Structures of Membrane Computing.
Fundam. Informaticae, 2002

Accretive Rules in Cayley P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

Data Structure as Topological Spaces.
Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

Pattern-matching and rewriting rules for group indexed data structures.
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, 2002

MGS: a Rule-Based Programming Language for Complex Objects and Collections.
Electron. Notes Theor. Comput. Sci., 2001

Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Webots: Symbiosis Between Virtual and Real Mobile Robots.
Proceedings of the Virtual Worlds, First International Conference, 1998

Vision Sensors on the Webots Simulator.
Proceedings of the Virtual Worlds, First International Conference, 1998

Artificial Neurogenesis: Applications to the Cart-Pole Problem and to an Autonomous Mobile Robot.
Int. J. Artif. Intell. Tools, 1997

Semantics and Compilation of Recursive Sequential Streams in 8½.
Proceedings of the Programming Languages: Implementations, 1997

Représentations dynamiques de l'espace dans un langage déclaratif de simulation. (Dynamical representation of spaces in a declarative simulation language).
PhD thesis, 1996

Design and Implementation of 8_½: A Declarative Data-Parallel Language.
Comput. Lang., 1996

Artificial Neurogenesis: An Application to Autonomous Robotics.
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

A Straightforward Translation of D0L Systems in the Declarative Data-Parallel Language 8½.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Introducing Dynamicity in the Data-Parallel Language 8½.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Effective SIMD Code Generation for the High-Level Declarative Data-Parallel Language 8 1/2.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

Morphogenesis of neural networks.
Neural Process. Lett., 1995

Group-Based Fields.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

From the Chromosome to the Neural Network.
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

An Artificial Life Approach for the Synthesis of Autonomous Agents.
Proceedings of the Artificial Evolution, European Conference, 1995

Design and Implementation of a Declarative Data-Parallel Language.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

Inférer rapidement la géométrie des collections.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Multiple source tracking using a high resolution method.
Proceedings of the 1991 International Conference on Acoustics, 1991

New simple implementation of the coherent signal subspace method for wide band direction of arrival estimation.
Proceedings of the IEEE International Conference on Acoustics, 1989