Skip to Main content Skip to Navigation

hal-01989726v1  Journal articles
Jasmin Christian BlanchetteLorenzo GheriAndrei PopescuDmitriy Traytel. Bindings as Bounded Natural Functors
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
lirmm-02307824v1  Journal articles
Francesco Maria PetriniGiacomo ValleMarko BumbasirevicFederica BarberiDario Bortolotti et al.  Enhancing functional abilities and cognitive integration of the lower limb prosthesis
Science Translational Medicine, American Association for the Advancement of Science, 2019, 11 (512), pp.eaav8939. ⟨10.1126/scitranslmed.aav8939⟩
hal-01643157v1  Journal articles
Jasmin Christian BlanchetteAndrei PopescuDmitriy Traytel. Soundness and Completeness Proofs by Coinductive Methods
Journal of Automated Reasoning, Springer Verlag, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩
inria-00548577v1  Conference papers
Alexander ThomasVittorio FerrariBastian LeibeTinne TuytelaarsBernt Schiele et al.  Towards multi-view object class detection
IEEE Conference on Computer Vision & Pattern Recognition (CPRV '06), Jun 2006, New York, United States. pp.1589, ⟨10.1109/CVPR.2006.311⟩
hal-01379218v1  Conference papers
Shiling WangFrancis ColasMing LiuFrancesco MondadaStéphane Magnenat. Localization of inexpensive robots with low-bandwidth sensors
13th International Symposium on Distributed Autonomous Robotic Systems, Nov 2016, London, United Kingdom
inria-00616173v1  Conference papers
Nicolas ToussaintStanley Durrleman​Maxime SermesantSebastian KozerkePhilip G. Batchelor. Error Assessment on myocardial fiber orientations from DTI measurements
Book of Abstracts, European Society of Magnetic Resonance in Medicine (ESMRMB) 26th Annual Scientific Meeting, 2009, Antalya, Turkey, Turkey. pp.59, ⟨10.1007/s10334-009-0175-1⟩
hal-02969613v1  Conference papers
Véronique CortierJoseph LallemandBogdan Warinschi. Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States
hal-02879289v1  Conference papers
Xavier GoaocEmo Welzl. Convex Hulls of Random Order Types
SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zürich / Virtual, Switzerland. pp.49:1--49:15, ⟨10.4230/LIPIcs.SoCG.2020.49⟩
hal-00748213v1  Conference papers
Claude CastellucciaEmiliano de CristofaroAurélien FrancillonMohamed Ali Kaafar. EphPub: Toward Robust Ephemeral Publishing
Network Protocols (ICNP), 2011 19th IEEE International Conference on, Oct 2011, Vancouver, Canada. pp.165--175
hal-01056600v1  Conference papers
Antoine MilliezGioacchino NorisIlya BaranStelian CorosMarie-Paule Cani et al.  Hierarchical Motion Brushes for Animation Instancing
NPAR '14 - Workshop on Non-Photorealistic Animation and Rendering, Aug 2014, Vancouver, Canada. pp.71-79, ⟨10.1145/2630397.2630402⟩
hal-01108284v1  Journal articles
Holger HeumannRalf Hiptmair. Eulerian and semi-Lagrangian methods for convection-diffusion for differential forms
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (4), pp.1471--1495. ⟨10.3934/dcds.2011.29.1471⟩
hal-01248140v1  Journal articles
Holger HeumannRalf HiptmairCecilia Pagliantini. Stabilized Galerkin for transient advection of differential forms
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2016, 9 (1), pp.185 - 214. ⟨10.3934/dcdss.2016.9.185⟩
hal-01108272v1  Journal articles
Holger HeumannRalf Hiptmair. Stabilized Galerkin methods for magnetic advection
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2013, 47 (6), pp.1713-1732. ⟨10.1051/m2an/2013085⟩
hal-01108297v1  Book sections
Holger HeumannRalf Hiptmair. Stabilized Galerkin for Linear Advection of Vector Fields
Numerical Mathematics and Advanced Applications - ENUMATH 2013, Springer, 2015, ⟨10.1007/978-3-319-10705-9_3⟩
hal-01108280v1  Journal articles
Holger HeumannRalf Hiptmair. Convergence of Lowest Order Semi-Lagrangian Schemes
Foundations of Computational Mathematics, Springer Verlag, 2013, 13 (2), pp.187-220. ⟨10.1007/s10208-012-9139-3⟩
hal-01108300v1  Journal articles
François HenrotteHolger HeumannEnno LangeKay Hameyer. Upwind 3-D Vector Potential Formulation for Electromagnetic Braking Simulations
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2010, 46 (8), pp.2835-2838. ⟨10.1109/TMAG.2010.2043938⟩
hal-00818482v1  Conference papers
Ludovic HenrioFabrice HuetZsolt István. Multi-threaded Active Objects
COORDINATION 2013, Jun 2013, Firenze, Italy
inria-00334353v1  Journal articles
Roy FriedmanDaniela GavidiaLuis RodriguesAline Carneiro VianaSpyros Voulgaris. Gossiping on MANETs: the Beauty and the Beast
Operating Systems Review, Association for Computing Machinery, 2007, 41 (5), pp.67-74
hal-01317464v1  Conference papers
Anwar HithnawiSu LiHossein ShafaghJames GrossSimon Duquennoy. CrossZig: Combating Cross-Technology Interference in Low-Power Wireless Networks
International Conference on Information Processing in Sensor Networks (ACM/IEEE IPSN 2016), Apr 2016, Vienna, Austria. ⟨10.1109/IPSN.2016.7460663⟩