Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (11)
  • Université Paris-Saclay (ComUE) (8)
  • Rennes 1 (6)
  • Grenoble (4)
  • Nancy 1 (4)
  • Université de Lorraine (4)
  • Angers (2)
  • Lyon (2)
  • Paris, CNAM (2)
  • Sorbonne Paris Cité (2)
  • Sorbonne université (2)
  • Toulouse, ISAE (2)
  • Bordeaux (1)
  • CentraleSupélec (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Georgia institute of technology (1)
  • Grenoble 1 (1)
  • Institut polytechnique de Paris (1)
  • Montpellier (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 6 (1)
  • Pau (1)
  • Prove & Run (1)
  • Rennes, École normale supérieure (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi della Calabria (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (51)
  • Informatique et Télécommunications (2)
  • Automatique (1)
  • Automatique - productique (1)
  • Informatique (STIC) (1)
  • Informatique et applications (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique, données, IA (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et informatique (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Réseaux, information et communications (1)
  • Réseaux, télécom, système et architecture (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (14)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (6)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • MATISSE (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • IAEM Lorraine (1)
  • MATHSTIC (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale Mathématiques, informatique et télécommunications (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (44)
  • français (18)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Conchon Sylvain (3)
  • Maler Oded (3)
  • Merz Stephan (3)
  • Monfroy Éric (3)
  • Bensalem Saddek (2)
  • Delahaye David (2)
  • Le Gall Pascale (2)
  • Monniaux David (2)
  • Mounier Laurent (2)
  • Potet Marie-Laure (2)
  • Quinson Martin (2)
  • Saubion Frédéric (2)
  • Agón Carlos (1)
  • Aniorté Philippe (1)
  • Bajard Jean-Claude (1)
  • Barais Olivier (1)
  • Barkaoui Kamel (1)
  • Baudry Benoit (1)
  • Benavides David (1)
  • Berkani Karim (1)
  • Blackburn Patrick (1)
  • Blazy Sandrine (1)
  • Bozga Dorel Marius (1)
  • Calimeri Francesco (1)
  • Chiprianov Vanea (1)
  • Contassot-Vivier Sylvain (1)
  • Dague Philippe (1)
  • Debar Hervé (1)
  • Demri Stéphane (1)
  • Déharbe David (1)
  • Di Cosmo Roberto (1)
  • Dowek Gilles (1)
  • Dubois Catherine (1)
  • Echenim Bertrand Mnacho (1)
  • Elbaz-Vincent Philippe (1)
  • Esling Philippe (1)
  • Feron Eric (1)
  • Fontaine Pascal (1)
  • Fradet Pascal (1)
  • Garoche Pierre-Loïc (1)
  • Gasquet Olivier (1)
  • Ghilardi Silvio (1)
  • Girault Alain (1)
  • Gonnord Laure (1)
  • Graillat Stef (1)
  • Guillemin Fabrice (1)
  • Haddad Serge (1)
  • Halbwachs Nicolas (1)
  • Hilaire Thibault (1)
  • Huchard Marianne (1)
  • Iosif Radu (1)
  • Jensen Thomas (1)
  • Jéron Thierry (1)
  • Jézéquel Jean-Marc (1)
  • Kieffer Michel (1)
  • Kirchner Hélène (1)
  • Kushik Natalia (1)
  • Lauter Christoph Quirin (1)
  • Lengrand Stéphane (1)
  • Longin Dominique (1)
  • Lozes Etienne (1)
  • Maraninchi Florence (1)
  • Margenstern Maurice (1)
  • Mateescu Radu (1)
  • Mauny Michel (1)
  • Mentré David (1)
  • Michel Claude (1)
  • Moy Matthieu (1)
  • Mé Ludovic (1)
  • Noulard Eric (1)
  • Pagetti Claire (1)
  • Parissis Ioannis (1)
  • Peltier Nicolas (1)
  • Pinchinat Sophie (1)
  • Poplavko Petro (1)
  • Ranise Silvio (1)
  • Rueher Michel (1)
  • Rusinowitch Michaël (1)
  • Sappey-Marinier Dominique (1)
  • Siles Vincent (1)
  • Simon Laurent (1)
  • Stratulat Sorin (1)
  • Terracina Giorgio (1)
  • Thiriet Jean-Marc (1)
  • Vernadat François (1)
  • Vivien Frédéric (1)
  • Wolff Burkhart (1)
  • Yakobowski Boris (1)
  • Zeghlache Djamal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (59)
  • Sciences de l'ingénieur (4)
  • Informatique, information, généralités (2)
  • Mathématiques (2)
  • Médecine et santé (1)

Domaines :

Fullscreen

...laboratoire Verimaget de l’école doctorale MSTIIFinding Inductive Invariants UsingSatisfiability Modulo...

Accéder en ligne

...domain.2.3.2 Satisfiability Modulo TheoriesThe theory of arithmetic has been a central topic in logic ever...

Accéder en ligne
Informatique

Soutenue le 19-12-2018
 thèse en cours de préparation

...among1SMT: Satisfiability Modulo Theories.2The theory axiomatization is implicit in these problems...

Accéder en ligne

Procédures de décision pour logiques de séparation

par Alessio Mansutti sous la direction de Stéphane Demri et de Etienne Lozes. - université Paris-Saclay

Informatique

En préparation depuis le 01-09-2017
 thèse en cours de préparation

...International Workshop on Satisfiability Modulo Theories (Edin-burgh, UK), 2010.[10] Clark Barrett and Cesare...

Accéder en ligne

...Satisfiability Modulo Theories (SMT) sol-ver. Compared to Integer Linear Programming (ILP),more common in the VNE...

Accéder en ligne

...-order theories involved. The proofs ofthe decidability results suggest that efficient Satisfiability Modulo...

Accéder en ligne

Résultats 1 à 10