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.