PHD.bib

@comment{{This file has been generated by bib2bib 1.95}}

@comment{{Command line: bib2bib -c $type="PHDTHESIS"|$type="MASTERSTHESIS"|$type="HABTHESIS" ../CV/publis.bib -ob PHD.bib}}

@mastersthesis{DEA2002-02,
  author = {Emmanuel Jeandel},
  title = {Indécidabilité sur les automates quantiques},
  school = {ENS Lyon},
  year = {2002},
  download = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/DEA/DEA2002/DEA2002-02.ps.gz},
  abstract = {Après avoir introduit les automates quantiques MO et MM, nous
  discuterons ici des principaux problèmes de décision qui se posent. 
  Alors que tous les problèmes naturels que l'on peut se poser sont
  indécidables pour le modèle stochastique, l'existence d'un mot accepté avec
  seuil strict par un automate quantique MO est montré décidable, par une méthode
  mathématique basée sur quelques propriétés
  remarquables des groupes de Lie. Tous les autres problèmes sont montrés
  indécidables par réduction à la correspondance de Post, en utilisant un
  encodage des mots par des matrices unitaires. Nous décrirons enfin comment
  les différents modèles rencontrés se simulent entre eux.},
  keywords = {Automates quantiques, Correspondance de Post, Groupes de matrices}
}

@phdthesis{Jeandel,
  author = {Emmanuel Jeandel},
  title = {{Techniques alg\'ebriques en calcul quantique}},
  school = {ENS Lyon},
  year = {2005},
  abstract = {Le principal probl\`eme \'etudi\'e est le calcul de l'adh\'erence de
Zariski de groupes alg\'ebriques, et leurs applications en calcul quantique.
On donne ici un algorithme en temps polynomial qui d\'ecide si un sous-groupe
finiment engendr\'e d'un groupe reductif est dense dans ce groupe. On
donne \'egalement un algorithme qui calcule pr\'ecis\'ement l'adh\'erence d'un groupe. Ces r\'esultats sont utilis\'es afin de r\'esoudre plusieurs probl\`emes en calcul quantique, en particulier li\'es aux circuits quantiques. Ainsi divers algorithmes qui d\'ecident si des jeux de portes sont universels, ou qui permettent de s\'eparer les diff\'erentes notions d'universalit\'e, sont donn\'es. Nous nous int\'eressons aussi ici aux automates finis. Nous introduisons ici un nouvel mod\`ele, les automates topologiques, qui permet de g\'en\'eraliser les mod\`eles existants. Nous montrons ainsi, dans un contexte unifi\'e, que tous les mod\`eles d'automates finis classiques, quantiques ou probabilistes ne reconnaissent que des langages rationnels par seuil isol\'e.},
  keywords = {Calcul quantique, groupes alg\'ebriques, automates quantiques, automates probabilistes.},
  download = {http://www.ens-lyon.fr/LIP/Pub/PhD2005.php}
}

@habthesis{Jeandel2,
  author = {Emmanuel Jeandel},
  title = {{Propri\'et\'es structurelles et calculatoires des pavages}},
  school = {Universit\'e Montpellier 2},
  year = {2011},
  download = {http://tel.archives-ouvertes.fr/tel-00653343/fr/}
}