Skip to navigation (Press Enter).
Skip to main content (Press Enter).
View
Edit
Edit Menu
History
Print
Olivier Bournez
Main.Categories (old fashioned version)
/
MainCategories (more fancy version of it)
Categories
click here for a more fancy version of same webpage
Continuous Time Models of Computations
Surveys / General Considerations
General Purpose Analog Computer / Ordinary Differential Equations with Polynomial Right-hand Side
R-Recursive Functions
Computations and dynamical systems
Complexity of questions related to dynamical systems
Dynamical Systems and Computations
Distributed Computing
Population Protocols and variants
Computing with Large Populations
Blum Shub Smale Model of Computation:
Learning in Games / Algorithmic Game Theory
Games and Distributed algorithms
Distributed Learning in games
Verification:
Frontier between decidability and undecidability in verification
Tools for verification / Model-Checking
Programming with rules and strategies / Rewriting
Rewriting with probabilities or fuzzyness
Generating Chemical Rules with Rewriting Rules & Strategies
Computer Vision
Misc.
Teaching documents / Polycopiés
General texts or surveys
Habilitation or PhD documents
Other stuffs