|
||
---|---|---|
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 ![]() |
||
hal-01306440v1
Reports
Automated reasoning for equivalences in the applied pi calculus with barriers [Research Report] RR-8906, Inria Paris. 2016, pp.54 |
||
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 |
||
hal-00755482v1
Reports
CCNx for Contiki: implementation details [Technical Report] RT-0432, INRIA. 2012, pp.52 |
||
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 |
||
|
||
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 |
||
|
||
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 |
||
hal-01357823v1
Reports
A reconstruction of Peters’s ten-place table of logarithms (volume 1, 1922) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357828v1
Reports
A reconstruction of Peters's multiplication and interpolation tables (1930) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357842v1
Reports
A reconstruction of Peters's table of 7-place logarithms (volume 2, 1940) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357844v1
Reports
A reconstruction of Peters's table of 7-place trigonometrical values for the new division(1941) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357837v1
Reports
A reconstruction of Peters's eight-place table of trigonometric functions (1939) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01357820v1
Reports
A reconstruction of Peters's table of logarithms to 6 places (1921) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
|
||
inria-00555008v1
Journal articles
Argument filterings and usable rules in higher-order rewrite systems IPSJ Transactions on Programming, IPSJ, 2011, 4 (2), pp.1-12 |
||
tel-01950884v2
Theses
Formal Verification for Real-World Cryptographic Protocols and Implementations Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English |
||
hal-01357793v1
Reports
A reconstruction of Peters's table of products (1909) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016 |
||
hal-01306998v1
Journal articles
A priori approach of real-time ridesharing problem with intermediate meeting locations Journal of Artificial Intelligence and Soft Computing Research, 2014, 4 (4), pp.287-299 |
||
|