2006-phd.bib

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

@comment{{Command line: bib2bib -q -oc 2006-phd.cite -ob 2006-phd.bib -c 'year = 2006 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@phdthesis{andronick06these,
  author = {June Andronick},
  title = {Mod\'elisation et v\'erification formelles de syst\`emes embarqu\'es dans les cartes \`a microprocessur. Plateforme Java Card et Syst\`eme d'exploitation},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  type = {Th{\`e}se de Doctorat},
  month = mar,
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}

@phdthesis{Mandel2006phd,
  author = {Louis Mandel},
  title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
  school = {Universit{\'e} Paris 6},
  year = {2006},
  x-pdf = {http://www.lri.fr/~mandel/papers/Mandel-These.pdf},
  url = {http://www.lri.fr/~mandel/papers/Mandel-These.pdf},
  topics = {team},
  type_digiteo = {no},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}

@phdthesis{oury06these,
  author = {Nicolas Oury},
  title = {{\'E}galit{\'e}s et filtrages avec types d{\'e}pendants dans le Calcul des Constructions Inductives},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  month = sep,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}

@phdthesis{signoles06these,
  author = {Julien Signoles},
  title = {Extension de {ML} avec raffinement : syntaxe, s\'emantiques et syst\`eme de types},
  school = {Universit{\'e} Paris-Sud},
  year = 2006,
  month = jul,
  type = {Th{\`e}se de Doctorat},
  topics = {team},
  type_publi = {these},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport}
}