TY  - THES
DP  - http://www.theses.fr/2011PA066007
TI  - Towards a denotational semantics for mobility
AU  - Bialkiewicz, Joël-Alexis
A3  - El Fallah Seghrouchni, Amal
PY  - 2011
SP  - 1 vol. (XXVIII-127 p.)
N1  - Thèse de doctorat Informatique Paris 6 2011
N1  - 2011PA066007
ER  - 

TY  - THES
DP  - http://www.theses.fr/2008EPXX0017
TI  - Analyse statique par interprétation abstraite de systèmes hybrides
AU  - Bouissou, Olivier
A3  - Martel, Matthieu
PY  - 2008
SP  - 1 vol. ( 185 p.)
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 2008
N1  - 2008EPXX0017
ER  - 

TY  - THES
DP  - http://www.theses.fr/2009AIX22080
TI  - La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle
AU  - Duchesne, Etienne
A3  - Régnier, Laurent
PY  - 2009
SP  - 1 vol. (111 p.)
N1  - Thèse de doctorat Mathématiques Aix-Marseille 2 2009
N1  - 2009AIX22080
ER  - 

TY  - THES
DP  - http://www.theses.fr/1988ORLE2041
TI  - Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml
AU  - Anglade, Sophie
A3  - Lorho, Bernard
PY  - 1988
SP  - 1 vol. (260 P.)
N1  - Thèse de doctorat Sciences appliquées Orléans 1988
N1  - 1988ORLE2041
ER  - 

TY  - THES
DP  - http://www.theses.fr/2018USPCC144
TI  - Reflexive spaces of smooth functions : a logical account of linear partial differential equations
AU  - Kerjean, Marie
A3  - Ehrhard, Thomas
PY  - 2018
N1  - Thèse de doctorat Informatique. Informatique fondamentale Sorbonne Paris Cité 2018
N1  - 2018USPCC144
UR  - http://www.theses.fr/2018USPCC144/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1992GRE10171
TI  - Vérification formelle des circuits digitaux décrits en VHDL
AU  - Salem, Ashraf Mohamed El-Farghly
A3  - Borrione, Dominique
PY  - 1992
SP  - 1 vol. (131 f.)
N1  - Thèse de doctorat Electronique Grenoble 1 1992
N1  - 1992GRE10171
UR  - http://www.theses.fr/1992GRE10171/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1990ESAE0016
TI  - Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation
AU  - Boulahia, Nora
A3  - Durieux, Jean-Louis
PY  - 1990
SP  - 1 vol. (VI-189 p.)
N1  - Thèse de doctorat Informatique Toulouse, ENSAE 1990
N1  - 1990ESAE0016
ER  - 

TY  - THES
DP  - http://www.theses.fr/2014EPXX0051
TI  - Non idempotent-intersection types to refine strong normalisation with quantitative information
AU  - Bernadet, Alexis
A3  - Werner, Benjamin
PY  - 2014
SP  - 1 vol. (110 p.)
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 2014
N1  - 2014EPXX0051
UR  - http://www.theses.fr/2014EPXX0051/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1996COMP966S
TI  - Vers un langage de requête général pour les images
AU  - El Ansari, Mohamed
A3  - Chen, Liming
PY  - 1996
SP  - 153 P.
N1  - Thèse de doctorat Sciences appliquées Compiègne 1996
N1  - 1996COMP966S
ER  - 

TY  - THES
DP  - http://www.theses.fr/1988INPG0032
TI  - Sémantique et compilation de LUSTRE, un langage déclaratif synchrone
AU  - Plaice, John
A3  - Halbwachs, Nicolas
PY  - 1988
SP  - 122 f
N1  - Thèse de doctorat Informatique Grenoble INPG 1988
N1  - 1988INPG0032
ER  - 

TY  - THES
DP  - http://www.theses.fr/1996GRE10227
TI  - Un modèle d'exécution paramétrique pour systèmes de bases de données actifs
AU  - Coupaye, Thierry
A3  - Collet, Christine
PY  - 1996
SP  - 1 vol. (196 P.)
N1  - Thèse de doctorat Informatique Grenoble 1 1996
N1  - 1996GRE10227
UR  - http://www.theses.fr/1996GRE10227/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2020LYSEN056
TI  - Sémantique des Jeux Quantique
AU  - De Visme, Marc
A3  - Laurent, Olivier; Winskel, Glynn
PY  - 2020
N1  - Thèse de doctorat Informatique Lyon 2020
N1  - 2020LYSEN056
UR  - http://www.theses.fr/2020LYSEN056/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2014ENSL0919
TI  - On the semantics of disjunctive logic programs
AU  - Tsouanas, Athanasios
A3  - Laurent, Olivier
PY  - 2014
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2014
N1  - 2014ENSL0919
ER  - 

TY  - THES
DP  - http://www.theses.fr/2017LYSEN034
TI  - Structures concurrentes en sémantique des jeux
AU  - Castellan, Simon
A3  - Laurent, Olivier
PY  - 2017
N1  - Thèse de doctorat Informatique Lyon 2017
N1  - 2017LYSEN034
UR  - http://www.theses.fr/2017LYSEN034/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1995PA077203
TI  - Etude des théories équationelles et des propriétés algébriques des modèles stables du Lambda-calcul
AU  - Gouy, Xavier
A3  - Berline, Chantal
PY  - 1995
SP  - 1 vol. (89 p.)
N1  - Thèse de doctorat Mathématiques. Logique et fondements de l'informatique Paris 7 1995
N1  - 1995PA077203
ER  - 

TY  - THES
DP  - http://www.theses.fr/1986TOU30170
TI  - Compilation dirigee par la semantique : une methode constructive
AU  - Royer, Véronique
A3  - Vignolle, Jean
PY  - 1986
SP  - 1 vol. (210 P.)
N1  - Thèse de doctorat Sciences appliquées Toulouse 3 1986
N1  - 1986TOU30170
ER  - 

TY  - THES
DP  - http://www.theses.fr/2019AIXM0099
TI  - Réalisabilité classique : nouveaux outils et applications
AU  - Geoffroy, Guillaume
A3  - Régnier, Laurent
PY  - 2019
N1  - Thèse de doctorat Mathématiques Aix-Marseille 2019
N1  - 2019AIXM0099
UR  - http://www.theses.fr/2019AIXM0099/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991PA066631
TI  - Theorie et pratique de sqil, un langage intermediaire pour la compilation des langages fonctionnels
AU  - SENIAK, NITSAN
A3  - Queinnec, Christian
PY  - 1991
N1  - Thèse de doctorat Sciences appliquées Paris 6 1991
N1  - 1991PA066631
ER  - 

TY  - THES
DP  - http://www.theses.fr/1995AIX22008
TI  - Sémantique cohérente des exponentielles : de la logique linéaire à la logique classique
AU  - Quatrini, Myriam
A3  - Blanc, Georges
PY  - 1995
SP  - 101 P.
N1  - Thèse de doctorat Sciences et techniques communes Aix-Marseille 2 1995
N1  - 1995AIX22008
ER  - 

TY  - THES
DP  - http://www.theses.fr/2019LYSEN054
TI  - Jeux concurrents enrichis : témoins pour les preuves et les ressources
AU  - Alcolei, Aurore
A3  - Laurent, Olivier; Winskel, Glynn
PY  - 2019
N1  - Thèse de doctorat Informatique Lyon 2019
N1  - Thèse de doctorat Informatique University of Cambridge 2019
N1  - 2019LYSEN054
UR  - http://www.theses.fr/2019LYSEN054/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991PA077003
TI  - Structure des logiques et logique des structures. Logiques, categories, esquisses
AU  - Ageron, Pierre
A3  - Girard, Jean-Yves
PY  - 1991
N1  - Thèse de doctorat Mathématiques Paris 7 1991
N1  - 1991PA077003
ER  - 

TY  - THES
DP  - http://www.theses.fr/1990LIL10002
TI  - Une logique trivaluée appliquée à la programmation logique
AU  - Thibau, Violaine
A3  - Delahaye, Jean-Paul
PY  - 1990
SP  - 1 vol. (204 p.)
N1  - Thèse de doctorat Informatique Lille 1 1990
N1  - 1990LIL10002
ER  - 

TY  - THES
DP  - http://www.theses.fr/1995GRE10135
TI  - Une approche pour la maintenance et la ré-ingénierie globale des logiciels
AU  - Favre, Jean-Marie
A3  - Estublier, Jacky
PY  - 1995
SP  - 1 vol. (372 p.)
N1  - Thèse de doctorat Informatique Grenoble 1 1995
N1  - 1995GRE10135
UR  - http://www.theses.fr/1995GRE10135/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1999AIX22007
TI  - Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction
AU  - Baillot, Patrick
A3  - Girard, Jean-Yves
PY  - 1999
SP  - 1 vol. ( 162 p.)
N1  - Thèse de doctorat Mathématiques discrètes et fondements de l'informatique Aix-Marseille 2 1999
N1  - 1999AIX22007
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991AIX11333
TI  - Sémantique fonctionnelle des micro-processeurs : l'environnement de spécification et de preuve "muSPEED"
AU  - Collavizza, Hélène
A3  - Borrione, Dominique
PY  - 1991
SP  - 224 p
N1  - Thèse de doctorat Mathématiques appliquées à l'informatique Aix-Marseille 1 1991
N1  - 1991AIX11333
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991AIX22033
TI  - Intériorisation de la négation en programmation logique
AU  - Gil, Bernard
A3  - Blanc, Georges
PY  - 1991
SP  - 135 f.
N1  - Thèse de doctorat Mathématiques. Informatique Aix-Marseille 2 1991
N1  - 1991AIX22033
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991BESA2035
TI  - Compilation de systemes d'equations recurrentes en reseaux de processus communicants
AU  - EGLIN-LECLERC, MARIE-CHRISTINE
A3  - Perrin, Guy-René
PY  - 1991
SP  - 246 p.
N1  - Thèse de doctorat Sciences appliquées Besançon 1991
N1  - 1991BESA2035
ER  - 

TY  - THES
DP  - http://www.theses.fr/1996PA077143
TI  - Contribution a l'etude du comportement intentionnel des algorithmes : le cas de la recursion primitive
AU  - Valarcher, Pierre
A3  - Grigorieff, Serge
PY  - 1996
SP  - 70 P.
N1  - Thèse de doctorat Sciences appliquées Paris 7 1996
N1  - 1996PA077143
ER  - 

TY  - THES
DP  - http://www.theses.fr/1999AIX11031
TI  - Vérification formelle de descriptions VHDL comportementales
AU  - Nicoli, Félix
A3  - Paillet, Jean-Luc
PY  - 1999
SP  - 209 f
N1  - Thèse de doctorat Informat. Aix-Marseille 1 1999
N1  - 1999AIX11031
ER  - 

TY  - THES
DP  - http://www.theses.fr/2012PA077019
TI  - A truly concurrent semantics for processes sharing quantified resources
AU  - Teodosiu, Dan
A3  - Gastin, Paul
PY  - 2012
SP  - 1 vol. (X-114 pf.)
N1  - Thèse de doctorat Informatique Paris 7 2012
N1  - 2012PA077019
ER  - 

TY  - THES
DP  - http://www.theses.fr/1991VALE0004
TI  - 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
AU  - Ouriachi, Khadir
A3  - Bourton, Michel
PY  - 1991
SP  - 1 vol. (226 f.)
N1  - Thèse de doctorat Informatique Valenciennes 1991
N1  - 1991VALE0004
ER  - 

TY  - THES
DP  - http://www.theses.fr/1993ISAT0041
TI  - Étude et réalisation d'un langage orienté acteurs : application à la simulation hiérarchisée
AU  - Aribaud, Albert
A3  - Geffroy, Jean-Claude
PY  - 1993
SP  - 1 vol. ([3]-206 f.)
N1  - Thèse de doctorat Automatique. Informatique industrielle Toulouse, INSA 1993
N1  - 1993ISAT0041
ER  - 

TY  - THES
DP  - http://www.theses.fr/2012PA112372
TI  - Semantics-Based Testing for Circus
AU  - Feliachi, Abderrahmane
A3  - Gaudel, Marie-Claude
PY  - 2012
N1  - Thèse de doctorat Informatique Paris 11 2012
N1  - 2012PA112372
UR  - http://www.theses.fr/2012PA112372/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2011INPL075N
TI  - Sémantique algébrique des ressources pour la logique classique
AU  - Novakovic, Novak
A3  - Lamarche, François
PY  - 2011
N1  - Thèse de doctorat Informatique Vandoeuvre-les-Nancy, INPL 2011
N1  - 2011INPL075N
UR  - http://www.theses.fr/2011INPL075N/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2007NAN10032
TI  - Structures et modèles de calculs de réécriture
AU  - Faure, Germain
A3  - Kirchner, Claude
PY  - 2007
SP  - 1 vol. (VI-222 p.)
N1  - Thèse de doctorat Informatique Nancy 1 2007
N1  - 2007NAN10032
UR  - http://www.theses.fr/2007NAN10032/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2012AIXM4064
TI  - Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité
AU  - Seiller, Thomas
A3  - Girard, Jean-Yves
PY  - 2012
N1  - Thèse de doctorat Mathématiques Aix-Marseille 2012
N1  - 2012AIXM4064
ER  - 

TY  - THES
DP  - http://www.theses.fr/2015ENSL1001
TI  - Investigating the expressivity of linear logic subsystems characterizing polynomial time
AU  - Perrinel, Matthieu
A3  - Baillot, Patrick
PY  - 2015
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2015
N1  - 2015ENSL1001
UR  - http://www.theses.fr/2015ENSL1001/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2013LYO10275
TI  - Castor : a constraint-based SPARQL engine with active filter processing
AU  - Le Clement de Saint-Marcq, Vianney
A3  - Solnon, Christine; Deville, Yves
PY  - 2013
N1  - Thèse de doctorat Informatique Lyon 1 2013
N1  - Thèse de doctorat Informatique Université catholique de Louvain (1970-....) 2013
N1  - 2013LYO10275
UR  - http://www.theses.fr/2013LYO10275/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2009PA077033
TI  - Nets between determinism and nondeterminism
AU  - Tranquilli, Paolo
A3  - Tortora de Falco, Lorenzo; Bucciarelli, Antonio
PY  - 2009
SP  - 1 vol. (168 f.)
N1  - Thèse de doctorat Informatique Paris 7 2009
N1  - 2009PA077033
ER  - 

TY  - THES
DP  - http://www.theses.fr/2009PA077188
TI  - Sémantique et syntaxe vectorielles de la logique linéaire
AU  - Tasson, Christine
A3  - Curien, Pierre-Louis
PY  - 2009
SP  - 1 vol. (244 p.)
N1  - Thèse de doctorat Informatique Paris 7 2009
N1  - 2009PA077188
ER  - 

TY  - THES
DP  - http://www.theses.fr/2008NICE4010
TI  - Mise en oeuvre d'un langage à mobilité forte
AU  - Epardaud, Stéphane
A3  - Serrano, Manuel; Boudol, Gérard
PY  - 2008
SP  - 1 vol. (viii-217 p.)
N1  - Thèse de doctorat Informatique Nice 2008
N1  - 2008NICE4010
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016USPCD069
TI  - Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus
AU  - Ruoppolo, Domenico
A3  - Guerrini, Stefano
PY  - 2016
N1  - Thèse de doctorat Informatique Sorbonne Paris Cité 2016
N1  - 2016USPCD069
UR  - http://www.theses.fr/2016USPCD069/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2018SACLS282
TI  - Formalizing Time and Causality in Polychronous Polytimed Models
AU  - Nguyen Van, Hai
A3  - Wolff, Burkhart
PY  - 2018
N1  - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2018
N1  - 2018SACLS282
UR  - http://www.theses.fr/2018SACLS282/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2013PA112202
TI  - 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
AU  - Gérard, Léonard
A3  - Pouzet, Marc
PY  - 2013
N1  - Thèse de doctorat Informatique Paris 11 2013
N1  - 2013PA112202
UR  - http://www.theses.fr/2013PA112202/document
ER  -