Olivier Michel

43 papers B 1C 1Misc 1Journal 13Unranked 20
YearRankTypeTitle / Venue / Authors
2022 — conf
How to Integrate Environmental Challenges in Computing Curricula?
SIGCSE (1)
Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefèvre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, Olivier Michel
2015 — conf
Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures.
ECAL
Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
2013 J jnl
A review of morphogenetic engineering.
Nat. Comput.
René Doursat, Hiroki Sayama, Olivier Michel
2013 — conf
Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes.
MCM
Louis Bigo, Moreno Andreatta, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2013 J jnl
Editorial.
Comput. J.
Jacob Beal, Stefan Dulman, Olivier Michel, Antoine Spicher
2013 — conf
Topological computation of activity regions.
SIGSIM-PADS
Martin Potier, Antoine Spicher, Olivier Michel
2013 J jnl
Unconventional and Nested Computations in Spatial Computing.
Int. J. Unconv. Comput.
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2012 — conf
Gardening Cyber-Physical Systems.
UCNC
Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce J. MacLennan, Olivier Michel, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, Lidia Yamamoto
2012 — ch.
Interaction-Based Modeling of Morphogenesis in MGS.
Morphogenetic Engineering, Toward Programmable Complex Systems
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2012 — book
Morphogenetic Engineering, Toward Programmable Complex Systems
René Doursat, Hiroki Sayama, Olivier Michel
2012 — ch.
Morphogenetic Engineering: Reconciling Self-Organization and Architecture.
Morphogenetic Engineering, Toward Programmable Complex Systems
René Doursat, Hiroki Sayama, Olivier Michel
2012 — conf
Spatial Computing in MGS.
UCNC
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2011 J jnl
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory Biosci.
Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, Eshel Ben-Jacob, Gilles Bernot, Guillaume Beslon, Armelle Cabin, Eric Fanchon, Jean-Louis Giavitto, Nicolas Glade, Patrick Greussay, Yohann Grondin, James A. Foster, Guillaume Hutzler, Jürgen Jost, François Képès, Olivier Michel, Franck Molina, Jacqueline Signorini, Pasquale Stano, Alain R. Thierry
2011 J jnl
Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World.
ACM Trans. Auton. Adapt. Syst.
Jacob Beal, Olivier Michel, Ulrik Pagh Schultz
2010 B conf
Declarative Mesh Subdivision Using Topological Rewriting in MGS.
ICGT
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2010 — conf
Spatial Computing as Intensional Data Parallelism.
SASO Workshops
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2010 — conf
Spatial Programming for Music Representation and Analysis.
SASO Workshops
Louis Bigo, Antoine Spicher, Olivier Michel
2010 J jnl
Variable elimination for building interpreters
CoRR
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
2009 J jnl
Rule-based programming for integrative biological modeling.
Nat. Comput.
Olivier Michel, Antoine Spicher, Jean-Louis Giavitto
2008 — ch.
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.
Software-Intensive Systems and New Computing Paradigms
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2008 J jnl
Stochastic P systems and the simulation of biochemical processes with dynamic compartments.
Biosyst.
Antoine Spicher, Olivier Michel, Mikolaj Cieslak, Jean-Louis Giavitto, Przemyslaw Prusinkiewicz
2007 J jnl
Declarative modeling of a neurulation-like process.
Biosyst.
Antoine Spicher, Olivier Michel
2007 J jnl
Représentation et manipulation de structures topologiques dans un langage fonctionnel.
Tech. Sci. Informatiques
Antoine Spicher, Olivier Michel
2007 — book
There's Plenty of Room for Unconventional Programming Languages or Declarative Simulations of Dynamical Systems (with a Dynamical Structure).
Olivier Michel
2006 J jnl
Challenging Questions for the Rationale of Non-Classical Programming Languages.
Int. J. Unconv. Comput.
Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto
2005 — conf
Algorithmic Self-assembly by Accretion and by Carving in MGS.
Artificial Evolution
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2005 — ed.
Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
UPP
Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel
2005 Misc conf
Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling.
International Conference on Computational Science (1)
Antoine Spicher, Olivier Michel
2004 — conf
A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems.
ACRI
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2004 — conf
Computations in Space and Space in Computations.
UPP
Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher
2003 — conf
Filtrage et règles de réécriture sur des structures indexées par des groupes.
JFLA
Julien Cohen, Olivier Michel, Jean-Louis Giavitto
2002 — conf
Accretive Rules in Cayley P Systems.
WMC-CdeA
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
2002 — conf
Data Structure as Topological Spaces.
UMC
Jean-Louis Giavitto, Olivier Michel
2002 — conf
Pattern-matching and rewriting rules for group indexed data structures.
ACM SIGPLAN Workshop on Rule-Based Programming
Jean-Louis Giavitto, Olivier Michel
2002 J jnl
Pattern-matching and rewriting rules for group indexed data structures.
ACM SIGPLAN Notices
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
2002 J jnl
The Topological Structures of Membrane Computing.
Fundam. Informaticae
Jean-Louis Giavitto, Olivier Michel
2001 C conf
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains.
PPDP
Jean-Louis Giavitto, Olivier Michel
2001 — conf
MGS: a Rule-Based Programming Language for Complex Objects and Collections.
RULE@PLI
Jean-Louis Giavitto, Olivier Michel
1997 — conf
Semantics and Compilation of Recursive Sequential Streams in 8½.
PLILP
Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
1996 — —
Représentations dynamiques de l'espace dans un langage déclaratif de simulation. (Dynamical representation of spaces in a declarative simulation language).
Olivier Michel
1995 — conf
Group-Based Fields.
PSLS
Jean-Louis Giavitto, Olivier Michel, Jean-Paul Sansonnet
1994 — conf
Design and Implementation of a Declarative Data-Parallel Language.
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
Olivier Michel, Jean-Louis Giavitto
1992 — conf
Inférer rapidement la géométrie des collections.
WSA
Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel