Knowledge Tree

researcher / Jean-Éric Pin

Jean-Éric Pin

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Mathematics

Edit Merge See Links

Directed Thesis:

Méthodes algébriques pour la théorie des automates

Circuits booléens, prédicats modulaires et langages réguliers

Comportements asymptotiques des automates Max-plus et Min-plus

Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

Semi-groupes ordonnés et opérations sur les langages rationnels

Etude du comportement en moyenne des automates finis et des langages rationnels

Le produit de concatenation et ses variantes

Evaluation partielle symbolique : une analyse semantique des programmes c en vue de leur verification

Une approche pour la verification des systemes paralleles : application au domaine de la securite

Rangs des relations binaires et semigroupes de relations non ambigus

Opérations implicites et variétés de semi-groupes finis

Classes de circuits booleens et varietes de monoides

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Etude algebrique de la logique temporelle

Operations de comptage sur les langages rationnels et caracterisations syntactiques