@PHDTHESIS{bialk2011,
url = "http://www.theses.fr/2011PA066007",
title = "Towards a denotational semantics for mobility",
author = "Bialkiewicz, Joël-Alexis",
year = "2011",
pages = "1 vol. (XXVIII-127 p.)",
note = "Thèse de doctorat dirigée par El Fallah Seghrouchni, Amal Informatique Paris 6 2011",
note = "2011PA066007",
}

@PHDTHESIS{bouis2008,
url = "http://www.theses.fr/2008EPXX0017",
title = "Analyse statique par interprétation abstraite de systèmes hybrides",
author = "Bouissou, Olivier",
year = "2008",
pages = "1 vol. ( 185 p.)",
note = "Thèse de doctorat dirigée par Martel, Matthieu Informatique Palaiseau, Ecole polytechnique 2008",
note = "2008EPXX0017",
}

@PHDTHESIS{duche2009,
url = "http://www.theses.fr/2009AIX22080",
title = "La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle",
author = "Duchesne, Etienne",
year = "2009",
pages = "1 vol. (111 p.)",
note = "Thèse de doctorat dirigée par Régnier, Laurent Mathématiques Aix-Marseille 2 2009",
note = "2009AIX22080",
}

@PHDTHESIS{angla1988,
url = "http://www.theses.fr/1988ORLE2041",
title = "Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml",
author = "Anglade, Sophie",
year = "1988",
pages = "260 P.",
note = "Thèse de doctorat dirigée par Lorho, Bernard Sciences appliquées Orléans 1988",
note = "1988ORLE2041",
}

@PHDTHESIS{kerje2018,
url = "http://www.theses.fr/2018USPCC144",
title = "Reflexive spaces of smooth functions : a logical account of linear partial differential equations",
author = "Kerjean, Marie",
year = "2018",
note = "Thèse de doctorat dirigée par Ehrhard, Thomas Informatique. Informatique fondamentale Sorbonne Paris Cité 2018",
note = "2018USPCC144",
url = "http://www.theses.fr/2018USPCC144/document",
}

@PHDTHESIS{salem1992,
url = "http://www.theses.fr/1992GRE10171",
title = "Vérification formelle des circuits digitaux décrits en VHDL",
author = "Salem, Ashraf Mohamed El-Farghly",
year = "1992",
pages = "1 vol. (131 f.)",
note = "Thèse de doctorat dirigée par Borrione, Dominique Electronique Grenoble 1 1992",
note = "1992GRE10171",
url = "http://www.theses.fr/1992GRE10171/document",
}

@PHDTHESIS{boula1990,
url = "http://www.theses.fr/1990ESAE0016",
title = "Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation",
author = "Boulahia, Nora",
year = "1990",
pages = "1 vol. (VI-189 p.)",
note = "Thèse de doctorat dirigée par Durieux, Jean-Louis Informatique Toulouse, ENSAE 1990",
note = "1990ESAE0016",
}

@PHDTHESIS{berna2014,
url = "http://www.theses.fr/2014EPXX0051",
title = "Non idempotent-intersection types to refine strong normalisation with quantitative information",
author = "Bernadet, Alexis",
year = "2014",
pages = "1 vol. (110 p.)",
note = "Thèse de doctorat dirigée par Werner, Benjamin Informatique Palaiseau, Ecole polytechnique 2014",
note = "2014EPXX0051",
url = "http://www.theses.fr/2014EPXX0051/document",
}

@PHDTHESIS{elans1996,
url = "http://www.theses.fr/1996COMP966S",
title = "Vers un langage de requête général pour les images",
author = "El Ansari, Mohamed",
year = "1996",
pages = "153 P.",
note = "Thèse de doctorat dirigée par Chen, Liming Sciences appliquées Compiègne 1996",
note = "1996COMP966S",
}

@PHDTHESIS{plaic1988,
url = "http://www.theses.fr/1988INPG0032",
title = "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone",
author = "Plaice, John",
year = "1988",
pages = "122 f",
note = "Thèse de doctorat dirigée par Halbwachs, Nicolas Informatique Grenoble INPG 1988",
note = "1988INPG0032",
}

@PHDTHESIS{coupa1996,
url = "http://www.theses.fr/1996GRE10227",
title = "Un modèle d'exécution paramétrique pour systèmes de bases de données actifs",
author = "Coupaye, Thierry",
year = "1996",
pages = "1 vol. (196 P.)",
note = "Thèse de doctorat dirigée par Collet, Christine Informatique Grenoble 1 1996",
note = "1996GRE10227",
url = "http://www.theses.fr/1996GRE10227/document",
}

@PHDTHESIS{devis2020,
url = "http://www.theses.fr/2020LYSEN056",
title = "Sémantique des Jeux Quantique",
author = "De Visme, Marc",
year = "2020",
note = "Thèse de doctorat dirigée par Laurent, Olivier et Winskel, Glynn Informatique Lyon 2020",
note = "2020LYSEN056",
url = "http://www.theses.fr/2020LYSEN056/document",
}

@PHDTHESIS{tsoua2014,
url = "http://www.theses.fr/2014ENSL0919",
title = "On the semantics of disjunctive logic programs",
author = "Tsouanas, Athanasios",
year = "2014",
note = "Thèse de doctorat dirigée par Laurent, Olivier Informatique Lyon, École normale supérieure 2014",
note = "2014ENSL0919",
}

@PHDTHESIS{caste2017,
url = "http://www.theses.fr/2017LYSEN034",
title = "Structures concurrentes en sémantique des jeux",
author = "Castellan, Simon",
year = "2017",
note = "Thèse de doctorat dirigée par Laurent, Olivier Informatique Lyon 2017",
note = "2017LYSEN034",
url = "http://www.theses.fr/2017LYSEN034/document",
}

@PHDTHESIS{geoff2019,
url = "http://www.theses.fr/2019AIXM0099",
title = "Réalisabilité classique : nouveaux outils et applications",
author = "Geoffroy, Guillaume",
year = "2019",
note = "Thèse de doctorat dirigée par Régnier, Laurent Mathématiques Aix-Marseille 2019",
note = "2019AIXM0099",
url = "http://www.theses.fr/2019AIXM0099/document",
}

@PHDTHESIS{Gouy1995,
url = "http://www.theses.fr/1995PA077203",
title = "Etude des théories équationelles et des propriétés algébriques des modèles stables du Lambda-calcul",
author = "Gouy, Xavier",
year = "1995",
pages = "1 vol. (89 p.)",
note = "Thèse de doctorat dirigée par Berline, Chantal Mathématiques. Logique et fondements de l'informatique Paris 7 1995",
note = "1995PA077203",
}

@PHDTHESIS{senia1991,
url = "http://www.theses.fr/1991PA066631",
title = "Theorie et pratique de sqil, un langage intermediaire pour la compilation des langages fonctionnels",
author = "SENIAK, NITSAN",
year = "1991",
note = "Thèse de doctorat dirigée par Queinnec, Christian Sciences appliquées Paris 6 1991",
note = "1991PA066631",
}

@PHDTHESIS{quatr1995,
url = "http://www.theses.fr/1995AIX22008",
title = "Sémantique cohérente des exponentielles : de la logique linéaire à la logique classique",
author = "Quatrini, Myriam",
year = "1995",
pages = "101 P.",
note = "Thèse de doctorat dirigée par Blanc, Georges Sciences et techniques communes Aix-Marseille 2 1995",
note = "1995AIX22008",
}

@PHDTHESIS{alcol2019,
url = "http://www.theses.fr/2019LYSEN054",
title = "Jeux concurrents enrichis : témoins pour les preuves et les ressources",
author = "Alcolei, Aurore",
year = "2019",
note = "Thèse de doctorat dirigée par Laurent, Olivier et Winskel, Glynn Informatique Lyon 2019",
note = "Thèse de doctorat Informatique University of Cambridge 2019",
note = "2019LYSEN054",
url = "http://www.theses.fr/2019LYSEN054/document",
}

@PHDTHESIS{agero1991,
url = "http://www.theses.fr/1991PA077003",
title = "Structure des logiques et logique des structures. Logiques, categories, esquisses",
author = "Ageron, Pierre",
year = "1991",
note = "Thèse de doctorat dirigée par Girard, Jean-Yves Mathématiques Paris 7 1991",
note = "1991PA077003",
}

@PHDTHESIS{thiba1990,
url = "http://www.theses.fr/1990LIL10002",
title = "Une logique trivaluée appliquée à la programmation logique",
author = "Thibau, Violaine",
year = "1990",
pages = "1 vol. (204 p.)",
note = "Thèse de doctorat dirigée par Delahaye, Jean-Paul Informatique Lille 1 1990",
note = "1990LIL10002",
}

@PHDTHESIS{favre1995,
url = "http://www.theses.fr/1995GRE10135",
title = "Une approche pour la maintenance et la ré-ingénierie globale des logiciels",
author = "Favre, Jean-Marie",
year = "1995",
pages = "1 vol. (372 p.)",
note = "Thèse de doctorat dirigée par Estublier, Jacky Informatique Grenoble 1 1995",
note = "1995GRE10135",
url = "http://www.theses.fr/1995GRE10135/document",
}

@PHDTHESIS{baill1999,
url = "http://www.theses.fr/1999AIX22007",
title = "Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction",
author = "Baillot, Patrick",
year = "1999",
pages = "1 vol. ( 162 p.)",
note = "Thèse de doctorat dirigée par Girard, Jean-Yves Mathématiques discrètes et fondements de l'informatique Aix-Marseille 2 1999",
note = "1999AIX22007",
}

@PHDTHESIS{nicol1999,
url = "http://www.theses.fr/1999AIX11031",
title = "Vérification formelle de descriptions VHDL comportementales",
author = "Nicoli, Félix",
year = "1999",
pages = "209 f",
note = "Thèse de doctorat dirigée par Paillet, Jean-Luc Informat. Aix-Marseille 1 1999",
note = "1999AIX11031",
}

@PHDTHESIS{Gil1991,
url = "http://www.theses.fr/1991AIX22033",
title = "Intériorisation de la négation en programmation logique",
author = "Gil, Bernard",
year = "1991",
pages = "135 f.",
note = "Thèse de doctorat dirigée par Blanc, Georges Mathématiques. Informatique Aix-Marseille 2 1991",
note = "1991AIX22033",
}

@PHDTHESIS{colla1991,
url = "http://www.theses.fr/1991AIX11333",
title = "Sémantique fonctionnelle des micro-processeurs : l'environnement de spécification et de preuve "muSPEED"",
author = "Collavizza, Hélène",
year = "1991",
pages = "224 p",
note = "Thèse de doctorat dirigée par Borrione, Dominique Mathématiques appliquées à l'informatique Aix-Marseille 1 1991",
note = "1991AIX11333",
}

@PHDTHESIS{valar1996,
url = "http://www.theses.fr/1996PA077143",
title = "Contribution a l'etude du comportement intentionnel des algorithmes : le cas de la recursion primitive",
author = "Valarcher, Pierre",
year = "1996",
pages = "70 P.",
note = "Thèse de doctorat dirigée par Grigorieff, Serge Sciences appliquées Paris 7 1996",
note = "1996PA077143",
}

@PHDTHESIS{eglin1991,
url = "http://www.theses.fr/1991BESA2035",
title = "Compilation de systemes d'equations recurrentes en reseaux de processus communicants",
author = "EGLIN-LECLERC, MARIE-CHRISTINE",
year = "1991",
pages = "246 p.",
note = "Thèse de doctorat dirigée par Perrin, Guy-René Sciences appliquées Besançon 1991",
note = "1991BESA2035",
}

@PHDTHESIS{teodo2012,
url = "http://www.theses.fr/2012PA077019",
title = "A truly concurrent semantics for processes sharing quantified resources",
author = "Teodosiu, Dan",
year = "2012",
pages = "1 vol. (X-114 pf.)",
note = "Thèse de doctorat dirigée par Gastin, Paul Informatique Paris 7 2012",
note = "2012PA077019",
}

@PHDTHESIS{ariba1993,
url = "http://www.theses.fr/1993ISAT0041",
title = "Étude et réalisation d'un langage orienté acteurs : application à la simulation hiérarchisée",
author = "Aribaud, Albert",
year = "1993",
pages = "1 vol. ([3]-206 f.)",
note = "Thèse de doctorat dirigée par Geffroy, Jean-Claude Automatique. Informatique industrielle Toulouse, INSA 1993",
note = "1993ISAT0041",
}

@PHDTHESIS{ouria1991,
url = "http://www.theses.fr/1991VALE0004",
title = "Contribution à la spécification formelle des tâches opératoires : outils en vue d'une approche fonctionnelle basée sur l'agrégation des données",
author = "Ouriachi, Khadir",
year = "1991",
pages = "1 vol. (226 f.)",
note = "Thèse de doctorat dirigée par Bourton, Michel Informatique Valenciennes 1991",
note = "1991VALE0004",
}

@PHDTHESIS{felia2012,
url = "http://www.theses.fr/2012PA112372",
title = "Semantics-Based Testing for Circus",
author = "Feliachi, Abderrahmane",
year = "2012",
note = "Thèse de doctorat dirigée par Gaudel, Marie-Claude Informatique Paris 11 2012",
note = "2012PA112372",
url = "http://www.theses.fr/2012PA112372/document",
}

@PHDTHESIS{novak2011,
url = "http://www.theses.fr/2011INPL075N",
title = "Sémantique algébrique des ressources pour la logique classique",
author = "Novakovic, Novak",
year = "2011",
note = "Thèse de doctorat dirigée par Lamarche, François Informatique Vandoeuvre-les-Nancy, INPL 2011",
note = "2011INPL075N",
url = "http://www.theses.fr/2011INPL075N/document",
}

@PHDTHESIS{faure2007,
url = "http://www.theses.fr/2007NAN10032",
title = "Structures et modèles de calculs de réécriture",
author = "Faure, Germain",
year = "2007",
pages = "1 vol. (VI-222 p.)",
note = "Thèse de doctorat dirigée par Kirchner, Claude Informatique Nancy 1 2007",
note = "2007NAN10032",
url = "http://www.theses.fr/2007NAN10032/document",
}

@PHDTHESIS{seill2012,
url = "http://www.theses.fr/2012AIXM4064",
title = "Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité",
author = "Seiller, Thomas",
year = "2012",
note = "Thèse de doctorat dirigée par Girard, Jean-Yves Mathématiques Aix-Marseille 2012",
note = "2012AIXM4064",
}

@PHDTHESIS{perri2015,
url = "http://www.theses.fr/2015ENSL1001",
title = "Investigating the expressivity of linear logic subsystems characterizing polynomial time",
author = "Perrinel, Matthieu",
year = "2015",
note = "Thèse de doctorat dirigée par Baillot, Patrick Informatique Lyon, École normale supérieure 2015",
note = "2015ENSL1001",
url = "http://www.theses.fr/2015ENSL1001/document",
}

@PHDTHESIS{lecle2013,
url = "http://www.theses.fr/2013LYO10275",
title = "Castor : a constraint-based SPARQL engine with active filter processing",
author = "Le Clement de Saint-Marcq, Vianney",
year = "2013",
note = "Thèse de doctorat dirigée par Solnon, Christine et Deville, Yves Informatique Lyon 1 2013",
note = "Thèse de doctorat Informatique Université catholique de Louvain (1970-....) 2013",
note = "2013LYO10275",
url = "http://www.theses.fr/2013LYO10275/document",
}

@PHDTHESIS{nguye2018,
url = "http://www.theses.fr/2018SACLS282",
title = "Formalizing Time and Causality in Polychronous Polytimed Models",
author = "Nguyen Van, Hai",
year = "2018",
note = "Thèse de doctorat dirigée par Wolff, Burkhart Informatique Université Paris-Saclay (ComUE) 2018",
note = "2018SACLS282",
url = "http://www.theses.fr/2018SACLS282/document",
}

@PHDTHESIS{ruopp2016,
url = "http://www.theses.fr/2016USPCD069",
title = "Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus",
author = "Ruoppolo, Domenico",
year = "2016",
note = "Thèse de doctorat dirigée par Guerrini, Stefano Informatique Sorbonne Paris Cité 2016",
note = "2016USPCD069",
url = "http://www.theses.fr/2016USPCD069/document",
}

@PHDTHESIS{tasso2009,
url = "http://www.theses.fr/2009PA077188",
title = "Sémantique et syntaxe vectorielles de la logique linéaire",
author = "Tasson, Christine",
year = "2009",
pages = "1 vol. (244 p.)",
note = "Thèse de doctorat dirigée par Curien, Pierre-Louis Informatique Paris 7 2009",
note = "2009PA077188",
}

@PHDTHESIS{epard2008,
url = "http://www.theses.fr/2008NICE4010",
title = "Mise en oeuvre d'un langage à mobilité forte",
author = "Epardaud, Stéphane",
year = "2008",
pages = "1 vol. (viii-217 p.)",
note = "Thèse de doctorat dirigée par Serrano, Manuel et Boudol, Gérard Informatique Nice 2008",
note = "2008NICE4010",
}

@PHDTHESIS{tranq2009,
url = "http://www.theses.fr/2009PA077033",
title = "Nets between determinism and nondeterminism",
author = "Tranquilli, Paolo",
year = "2009",
pages = "1 vol. (168 f.)",
note = "Thèse de doctorat dirigée par Tortora de Falco, Lorenzo et Bucciarelli, Antonio Informatique Paris 7 2009",
note = "2009PA077033",
}

@PHDTHESIS{gérar2013,
url = "http://www.theses.fr/2013PA112202",
title = "Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone",
author = "Gérard, Léonard",
year = "2013",
note = "Thèse de doctorat dirigée par Pouzet, Marc Informatique Paris 11 2013",
note = "2013PA112202",
url = "http://www.theses.fr/2013PA112202/document",
}