|
||
---|---|---|
|
||
hal-00654202v1
Reports
Rich Intrinsic Image Separation for Multi-View Outdoor Scenes [Research Report] RR-7851, INRIA. 2011, pp.28 |
||
hal-00854662v1
Journal articles
Dirichlet series associated to cubic fields with given quadratic resolvent Michigan Mathematical Journal, University of Michigan, 2014, 63, pp.253-273 ![]() |
||
tel-01357054v1
Habilitation à diriger des recherches
Composition non modulaire modulaire Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015 |
||
hal-01306440v1
Reports
Automated reasoning for equivalences in the applied pi calculus with barriers [Research Report] RR-8906, Inria Paris. 2016, pp.54 |
||
hal-01009703v1
Reports
Sur les carreaux B-spline ou NURBS de degré 2 [Rapport de recherche] RR-8550, INRIA. 2014, pp.59 |
||
hal-01406655v1
Book sections
A stochastic HJB equation for optimal control of forward-backward SDEs The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016 |
||
|
||
|
||
hal-01256384v1
Book sections
Aesthetics and randomness in cellular automata Andrew Adamatzky; Genaro J. Martínez. Designing Beauty: The Art of Cellular Automata, Springer, 2016, Emergence, Complexity and Computation, 978-3-319-27269-6. ⟨10.1007/978-3-319-27270-2_23⟩ |
||
inria-00445212v2
Journal articles
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding Journal of Applied Non-Classical Logics, Taylor & Francis, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩ |
||
hal-00356998v1
Other publications
A Language-based Approach for Robust and Efficient Network Application Protocol Implementations 2007 |
||
hal-01357485v1
Reports
Modeling the power consumption of a Wifibot and studying the role of communication cost in operation time [Technical Report] Inria Lille - Nord Europe. 2015 |
||
tel-00008413v2
Theses
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 |
||
hal-00755482v1
Reports
CCNx for Contiki: implementation details [Technical Report] RT-0432, INRIA. 2012, pp.52 |
||
hal-01357514v1
Journal articles
Comparaison d'algorithmes d'amincissement d'images sur machine à base de Transputers La Lettre du transputer et des calculateurs distribués, La Boucle informatique, 1992, pp.21-33 |
||
tel-01157160v1
Theses
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 |
||
|
||
hal-01352700v2
Reports
L'originalité des œuvres logicielles [Rapport de recherche] RR-8945, Inria Bordeaux Sud-Ouest; Université de bordeaux. 2016, pp.13 |
||
tel-02405839v1
Habilitation à diriger des recherches
About some Metamorphoses of Computer Programs Programming Languages [cs.PL]. Université Paris Diderot, 2019 |
||
|
||
tel-01749799v2
Theses
Natural Language Generation for Language Learning Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩ |
||
tel-00604647v1
Theses
Development of a tightly coupled composite Vision/Laser sensor for indoor SLAM Automatic. Ecole Nationale Supérieure des Mines de Paris, 2011. English. ⟨NNT : 2011ENMP0013⟩ |
||
|
||
hal-01676355v1
Book sections
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 |
||
hal-01107740v1
Reports
Evaluation of Distributed Congestion Control -Reactive DCC [Research Report] Inria. 2014 |
||
|
||
tel-00357309v1
Theses
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 |
||
hal-01357822v1
Reports
A reconstruction of Peters's table of logarithms to 7 places (1921) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357840v1
Reports
A reconstruction of Peters's table of 7-place logarithms (volume 1, 1940) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
|