Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (7)
  • Sorbonne Paris Cité (7)
  • Université Paris-Saclay (ComUE) (5)
  • Paris, CNAM (3)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble Alpes (2)
  • Nice (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Grenoble (1)
  • Institut polytechnique de Paris (1)
  • Lyon (1)
  • Normandie (1)
  • Orléans (1)
  • Paris 11 (1)
  • Paris 3 (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Rennes, École normale supérieure (1)
  • Toulouse 2 (1)
  • Toulouse 3 (1)
  • Universidad de la República (Montevideo) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (30)
  • Informatique. Informatique fondamentale (2)
  • Anglais (1)
  • Informatique et télécommunication (1)
  • Informatique, données, IA (1)
  • Informatique. Théorie des jeux (1)
  • Linguistique anglaise (1)
  • Mathématiques (1)
  • Mathématiques et informatique (1)
  • Philosophie, épistémologie. Epistémologie, histoire des sciences et des techniques (1)
  • Sciences appliquées (1)
  • Signal, Image, Vision (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (6)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • MATHSTIC (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (36)
  • français (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (3)
  • Blazy Sandrine (2)
  • Dubois Catherine (2)
  • Pichardie David (2)
  • Adam Sébastien (1)
  • Alba Winckler Marco Antonio (1)
  • Attali Isabelle (1)
  • Baelde David (1)
  • Baudry Benoit (1)
  • Bensalem Saddek (1)
  • Benzaken Véronique (1)
  • Bhargavan Karthikeyan (1)
  • Boussinot Frédéric (1)
  • Cachera David (1)
  • Carrive Jean (1)
  • Castellani Ilaria (1)
  • Catren Gabriel (1)
  • Curien Pierre-Louis (1)
  • De Sainte-Catherine Myriam (1)
  • Delahaye David (1)
  • Delaune Stéphanie (1)
  • Delmas Claude (1)
  • Di Cosmo Roberto (1)
  • Echahed Rachid (1)
  • Filliâtre Jean-Christophe (1)
  • Gava Frédéric (1)
  • Genest Blaise (1)
  • Gravier Guillaume (1)
  • Guerrini Stefano (1)
  • Herbelin Hugo (1)
  • Hermant Olivier (1)
  • Joloboff Vania (1)
  • Kervrann Charles (1)
  • Kesner Delia (1)
  • Loulergue Frédéric (1)
  • Manceny Matthieu (1)
  • Manolescu Goujot Ioana Gabriela (1)
  • Marché Claude (1)
  • Maret Pierre (1)
  • Martini Simone (1)
  • Mauny Michel (1)
  • Mazza Damiano (1)
  • Mentré David (1)
  • Miller Dale (1)
  • Miquel Alexandre (1)
  • Monin Jean-François (1)
  • Pawlak Renaud (1)
  • Philps Dennis (1)
  • Rioboo Renaud (1)
  • Rueda Camilo (1)
  • Régnier Laurent (1)
  • Saint-Dizier Patrick (1)
  • Saurin Alexis (1)
  • Schmitt Alan (1)
  • Zielonka Wieslaw (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (33)
  • Mathématiques (4)
  • Informatique, information, généralités (3)
  • Sciences de l'ingénieur (3)
  • Langue anglaise. Anglo-saxon (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Physique (1)

Domaines :

Fullscreen

42 thèses pour Big-step semantics

Informatique

Soutenue le 03-07-2018
thèse soutenue

....2. CORRELATING ORACLES: OPERATIONAL SEMANTICS FOR DIFFERENCES 593.2.1.2 Universal oracleThe universal oracle can...

Accéder en ligne
Informatique

Soutenue le 12-12-2013
thèse soutenue
Informatique

Soutenue le 14-12-2018
thèse soutenue

...Pretty-Big-Step semantics [16] is not only concise, it has beenshown to scale to complex programming...

Accéder en ligne
Sciences appliquées

Soutenue en 1997
thèse soutenue

...— small or big step — that isclarified when we firstly need to assign a cost for them (Section 6.2). With...

Accéder en ligne
Linguistique anglaise

Soutenue le 31-05-2011
thèse soutenue

..., 37. III. Questionnaire 3 [1] This is a big step you are taking, is that really what you want?359...

Accéder en ligne
Informatique

Soutenue le 11-12-2019
thèse soutenue

...2) is an abstraction of the sequential semantics. To do that, we first definea small-step variant...

Accéder en ligne

...semantics, and makeit a greater challenge to verify SSA-based optimizations. They do not provide an...

Accéder en ligne

Résultats 1 à 10