Skip to Main content Skip to Navigation


...
tel-00008413v2  Theses
Hamoudi Kalla. Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
tel-01157160v1  Theses
Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
...
inria-00407778v1  Reports
Georges GonthierRoux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
...
tel-00357309v1  Theses
Taous-Meriem Laleg. Analyse de signaux par quantification semi-classique. Application à l'analyse des signaux de pression artérielle
Mathématiques [math]. Université de Versailles-Saint Quentin en Yvelines, 2008. Français
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
...
tel-00008599v1  Theses
Bilal Atfeh. Méthode des lignes de courant appliquée à la modélisation des bassins
Modélisation et simulation. Université de Provence - Aix-Marseille I, 2003. Français
...
tel-00671181v1  Theses
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
tel-01078911v1  Theses
Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair
Software Engineering [cs.SE]. Université Lille 1, 2014. English
...
tel-00832725v1  Theses
Aude Liefooghe. Matrices score-position, algorithmes et propriétés
Bio-informatique [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
...
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
...
inria-00634133v1  Journal articles
Willemien VisserAlexandre Morais. L'utilisation concurrente de différentes méthodes de recueil de données pour l'étude de l'activité de programmation
Psychologie Française, Elsevier Masson, 1988, Psychologie de l'expertise, 33, pp.127-132