.  ASIC  Automate cellulaire  Automates cellulaires  Automates de sable  Automates programmables  Automates temporisés  Biologie computationnelle  Calcul naturel  Calcul à temps infini  Calculabilité  Calculs numériques  Capteurs mobiles  Carrés latins  Chaos  Circuit chaotique  Complexité  Complexité de calcul  Complétude computationelle  Complétude, Théorème de  Conséquences  Cryptographie  Cryptographie appliquée  Cryptographie matérielle  Degrés Turing  Distribution uniforme  Dynamique directionnelle  Dynamique symbolique  Décidabilité  Ensemble mu-limite  Langages formels  Modèles de calcul  Simulation  Sous-shifts  Systèmes dynamiques  Systèmes dynamiques discrets  

Enrico Formenti a rédigé la thèse suivante :

Automates cellulaires et chaos : de la vision topologique a la vision algorithmique

par Enrico Formenti sous la direction de Bruno Durand - École normale supérieure (Lyon ; 1987-2009)

Sciences appliquées

Soutenue en 1998

Enrico Formenti a dirigé les 6 thèses suivantes :

Factorisation de systèmes dynamiques discrets

par Sara Riva sous la direction de Enrico Formenti et de Alberto Dennunzio . - Université Côte d'Azur

Informatique

Soutenue le 21-11-2022

Automates cellulaires, fonctions booléennes et dessins combinatoires

par Luca Mariot sous la direction de Enrico Formenti et de Alberto Leporati . - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 09-03-2018

Les piles de sable Kadanoff

par Kévin Perrot sous la direction de Eric Remila et de Enrico Formenti . - Lyon, École normale supérieure

Informatique

Soutenue le 27-06-2013

Automates cellulaires non-uniformes

par Julien Provillard sous la direction de Enrico Formenti - Nice

Informatique

Soutenue en 2012

Automates cellulaires : dynamiques, simulations, traces

par Pierre Guillon sous la direction de Enrico Formenti et de Julien Cervelle . - Paris Est

Informatique

Soutenue le 24-11-2008

Des piles de sable aux automates de sable

par Benoît Masson sous la direction de Enrico Formenti - Nice

Informatique

Soutenue en 2006

Enrico Formenti a été président de jury des 3 thèses suivantes :

Hardware implementation of a pseudo random number generator based on chaotic iteration

par Mohammed Bakiri sous la direction de Jean-François Couchot et de Abdelkrim Kamel Oudjida . - Bourgogne Franche-Comté

Informatique

Soutenue le 08-01-2018

Construction de liens entre algorithmique et logique par du calcul à temps infini

par Sabrina Ouazzani sous la direction de Bruno Durand - Montpellier

Informatique

Soutenue le 02-12-2016

Automates cellulaires : dynamique directionnelle et asymptotique typique

par Martin Delacourt sous la direction de Bruno Durand et de Victor Poupet . - Aix-Marseille 1

Informatique

Soutenue le 05-12-2011

Enrico Formenti a été rapporteur des 4 thèses suivantes :

Automates cellulaires pour l'observation de systèmes complexes

par Théo Plenet sous la direction de Samira El Yacoubi et de Laurent Lefèvre . - Perpignan

Mathématiques appliquées

Soutenue le 07-12-2022

On automata networks dynamics : an approach based on computational complexity theory

par Martin Rios Wilson sous la direction de Sylvain Sené , Alejandro Maass , Guillaume Theyssier et de Eric Goles . - Aix-Marseille

Informatique

Soutenue le 31-05-2021

Viab-Cell, développement d'un logiciel viabiliste sur processeur multicoeurs pour la simulation de la morphogénèse

par Abdoulaye Sarr sous la direction de Vincent Rodin - Brest

Informatique

Soutenue le 08-12-2016

Construction de liens entre algorithmique et logique par du calcul à temps infini

par Sabrina Ouazzani sous la direction de Bruno Durand - Montpellier

Informatique

Soutenue le 02-12-2016

Enrico Formenti a été membre de jury des 3 thèses suivantes :

Simulation entre modèles de calcul naturel et modularité des réseaux d'automates

par Pacôme Perrotin sous la direction de Sylvain Sené et de Kévin Perrot . - Aix-Marseille

Informatique

Soutenue le 12-01-2021

On the Power and Universality of Biologically-inspired Models of Computation

par Sergiu Ivanov sous la direction de Serghei Verlan - Paris Est

Informatique

Soutenue le 23-06-2015

Pavages : périodicité et complexité calculatoire

par Pascal Vanier sous la direction de Emmanuel Jeandel - Aix-Marseille

Informatique

Soutenue le 22-11-2012