scispace - formally typeset
O

Olivier Michel

Researcher at University of Paris

Publications -  62
Citations -  1411

Olivier Michel is an academic researcher from University of Paris. The author has contributed to research in topics: Rewriting & Programming paradigm. The author has an hindex of 21, co-authored 62 publications receiving 1369 citations. Previous affiliations of Olivier Michel include Centre national de la recherche scientifique & University of Évry Val d'Essonne.

Papers
More filters
Book ChapterDOI

An Analysis of a Public Key Protocol with Membranes

TL;DR: This analysis of the Needham-Schroeder Public-Key Protocol is used to validate the protocol and exhibits, as expected, a well known logical attack.
Journal ArticleDOI

A review of morphogenetic engineering

TL;DR: Particular emphasis is set on the programmability and computational abilities of self-organization, properties that are often underappreciated in CS science—while, conversely, the benefits of self -organization areoften underapp appreciated in engineering methodologies.
Journal ArticleDOI

MGS: a Rule-Based Programming Language for Complex Objects and Collections

TL;DR: A pattern language based on the neighborhood relationship induced by the topology of the collection, which is devoted to the simulation of biological processes, especially those whose state space must be computed jointly with the current state of the system.
Journal Article

The Topological Structures of Membrane Computing

TL;DR: This paper presents an algebraic structure developped in combinatorial topology that can be used to describe finer adjacency relationships between membranes and proposes a unified view on several computational mechanisms initially inspired by biological processes.