Skip to Main content Skip to Navigation


...
hal-01798576v1  Journal articles
Andrii ShachykovPatrick HenaffOlexandr Shulyak. Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека
Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩
hal-00732901v1  Journal articles
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩
...
hal-01952304v1  Journal articles
Benjamin CamusJulien VaubourgThomas ParisYannick PresseChristine Bourjot et al.  Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2017, 36 (3-6), pp.185-215. ⟨10.3166/tsi.2017.00010⟩
inria-00543927v1  Journal articles
Kaveh GhaziVincent LefèvrePhilippe ThévenyPaul Zimmermann. Why and How to Use Arbitrary Precision
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
...
inria-00537943v1  Journal articles
Mohsen RouachedWalid FdhilaClaude Godart. Web Services Compositions Modelling and Choreographies Analysis
International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩
...
hal-01712628v1  Journal articles
Olivier DevillersLouis Noizet. Walking in a Planar Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2018, 28 (3), pp.255-269. ⟨10.1142/S0218195918500061⟩
...
hal-00875171v1  Journal articles
Martín BarrèreRémi BadonnelOlivier Festor. Vulnerability Assessment in Autonomic Networks and Services: A Survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2014, 16 (2), pp. 988-1004. ⟨10.1109/SURV.2013.082713.00154⟩
hal-01350400v1  Journal articles
Véronique CortierSteve Kremer. Vote par Internet
Interstices, INRIA, 2017
hal-01303811v1  Journal articles
Romain MerlandGuillaume CaumonBruno LévyPauline Collon. Voronoi grids conforming to 3D structural features
Computational Geosciences, Springer Verlag, 2014, 18 (3-4, SI), pp.373-383. ⟨10.1007/s10596-014-9408-0⟩
...
hal-00762918v1  Journal articles
Jean-Yves Marion. Viruses in Turing's Garden
ERCIM News, ERCIM, 2012, 2012 (91)
...
hal-02279616v1  Journal articles
Pierre RolinMarie-Odile BergerFrédéric Sur. View synthesis for pose computation
Machine Vision and Applications, Springer Verlag, 2019, 30 (7-8), pp.1209-1227. ⟨10.1007/s00138-019-01045-5⟩
...
hal-01226619v1  Journal articles
Frédéric FondementPierre-Alain MullerBrice WittmanFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
inria-00108376v1  Journal articles
Véronique Cortier. Vérifier les protocoles cryptographiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005
inria-00181761v1  Journal articles
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9
...
hal-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
...
hal-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
...
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩