Skip to Main content Skip to Navigation
New interface


...
tel-00430446v1  Theses
Carlos Olarte. Universal Temporal Concurrent Constraint Programming
Modeling and Simulation. Ecole Polytechnique X, 2009. English
...
tel-01293212v1  Theses
Ronan Bocquillon. Data distribution optimization in a system of collaborative systems
Operations Research [cs.RO]. Université de Technologie de Compiègne, 2015. English. ⟨NNT : 2015COMP2232⟩
...
tel-01295003v1  Theses
Datta Ramadasan. SLAM temporel à contraintes multiples
Autre. Université Blaise Pascal - Clermont-Ferrand II, 2015. Français. ⟨NNT : 2015CLF22653⟩
...
tel-02924854v2  Theses
Pierre Talbot. Spacetime programming : a synchronous language for constraint search
Artificial Intelligence [cs.AI]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS416⟩
...
tel-00482208v1  Theses
Raphaël Chenouard. Résolution par satisfation de contraintes appliquée à l'aide à la décision en conception architecturale
Informatique [cs]. Ecole nationale supérieure d'arts et métiers - ENSAM, 2007. Français. ⟨NNT : ⟩
...
tel-01096401v1  Habilitation à diriger des recherches
Xavier Lorca. Éléments de flexibilité et d'efficacité en programmation par contraintes
Informatique [cs]. Université de Nantes, 2014
...
tel-00408225v1  Theses
Besnik Seljimi. Test de logiciels synchrones avec la PLC
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009. Français
...
tel-01861173v1  Theses
Nicolas Barnier. Application de la programmation par contraintes à des problèmes de gestion du trafic aérien
Intelligence artificielle [cs.AI]. Institut National Polytechnique De Toulouse, 2002. Français
...
tel-02408009v1  Theses
Giovanni Christian Lo Bianco Accou. Estimating the number of solutions on cardinality constraints
Combinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
...
tel-00699260v1  Habilitation à diriger des recherches
Arnaud Gotlieb. Contributions à la génération de tests à base de contraintes
Génie logiciel [cs.SE]. Université Européenne de Bretagne, 2011
...
tel-00630122v1  Theses
Arnaud Malapert. Techniques d'ordonnancement d'atelier et de fournées basées sur la programmation par contraintes
Autre [cs.OH]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2011. Français
...
tel-01191760v1  Theses
Mohamed Rezgui. Parallélisme en programmation par contraintes
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4040⟩
...
tel-01085253v1  Theses
Jean-Guillaume Fages. Exploitation de structures de graphe en programmation par contraintes
Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0190⟩
...
tel-01403712v1  Habilitation à diriger des recherches
Sylvain Soliman. A structural perspective on the dynamics of biochemical systems
Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016
...
tel-01111979v1  Theses
Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English
...
pastel-00000864v1  Theses
Sorin Craciunescu. Vérification des programmes logiques.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
...
tel-00293905v1  Habilitation à diriger des recherches
Narendra Jussien. The versatility of using explanations within constraint programming
Other [cs.OH]. Université de Nantes, 2003
...
tel-03419041v1  Theses
Auguste Bourgois. Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English. ⟨NNT : 2021ENTA0002⟩
...
tel-01346105v1  Habilitation à diriger des recherches
Claude Michel. Contraintes sur les réels et contraintes sur les flottants: contributions.
Informatique [cs]. Universite Nice Sophia Antipolis, 2016
...
tel-03276802v1  Theses
Adriana Pacheco. Hierarchical decision techniques for task allocation and scheduling
Engineering Sciences [physics]. UNIVERSITE DE TOULOUSE, 2020. English