HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
tel-01668125v2  Theses
Geoffroy Couteau. Zero-knowledge proofs for secure computation
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩
tel-03126748v1  Theses
Imane Mahtout. Youla-Kucera based multi-objective controllers : Application to autonomous vehicles
Automatic Control Engineering. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM044⟩
tel-01251721v1  Theses
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
tel-03150354v1  Theses
Anthony Strock. Working memory in random recurrent neural networks
Numerical Analysis [cs.NA]. Université de Bordeaux, 2020. English. ⟨NNT : 2020BORD0195⟩
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
tel-00808651v1  Theses
Ichrak Amdouni. Wireless Self-adaptive Ad hoc and Sensor Networks: Energy Efficiency and Spatial Reuse
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. English
tel-03555123v1  Theses
Guillaume Le Gall. Wireless network for reliable electric vehicle battery management
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0258⟩
tel-01921596v1  Theses
Célestin Matte. Wi-Fi tracking : Fingerprinting attacks and counter-measures
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEI114⟩
tel-01309712v2  Theses
Gabriel Scherer. Which types have a unique inhabitant?
Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English
tel-00690456v1  Theses
Zyed Bouzarkouna. Well placement optimization
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112061⟩
tel-00178870v1  Theses
Doru Tanasa. Web Usage Mining: Contributions to Intersites Logs Preprocessing and Sequential Pattern Extraction with Low Support
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
tel-01925851v2  Theses
Dolière Francis Somé. Web applications security and privacy
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4085⟩
tel-00136630v1  Theses
Antoine Miné. Weakly Relational Numerical Abstract Domains
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English
tel-00761919v1  Theses
Pierre Dérian. Wavelets and Fluid Motion Estimation
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2012. English
tel-01750754v2  Theses
Martin Barrere. Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩
tel-00336379v1  Theses
Marie Samozino. Voronoi Centred Radial Basis Functions
Computer Science [cs]. Université Nice Sophia Antipolis, 2007. English
tel-00178274v1  Theses
Marie Samozino. Voronoi Centered Radial Basis Functions
Mathematics [math]. Université Nice Sophia Antipolis, 2007. English
tel-01681320v2  Theses
Benjamin Allain. Volumetric tracking of 3D deformable shapes
Computational Geometry [cs.CG]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM017⟩
tel-01748491v2  Theses
Mohamed Nassar. VoIP Networks Monitoring and Intrusion Detection
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10021⟩
tel-01748510v2  Theses
Humberto Abdelnur. Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10005⟩
tel-00347430v1  Theses
Andreas Pusch. Visuo-proprioceptive conflicts of the hand for 3D user interaction in Augmented Reality
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. English
tel-00498389v1  Theses
Hani Abdeen. Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English
tel-02872028v1  Theses
Damien Crémilleux. Visualization for information system security monitoring
Cryptography and Security [cs.CR]. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0013⟩
tel-01749330v2  Theses
Srikrishna Bhat. Visual words for pose computation
Signal and Image processing. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0001⟩
tel-01251173v1  Theses
Guillermo Polito. Virtualization Support for Application Runtime Specialization and Extension
Programming Languages [cs.PL]. Universit e des Sciences et Technologies de Lille, 2015. English
tel-01947560v2  Theses
Gauthier Voron. Virtualisation efficace d'architectures NUMA
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
tel-01247115v2  Theses
Nadime Francis. View-based query determinacy and rewritings over graph databases
Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English. ⟨NNT : 2015SACLN015⟩
tel-01137501v1  Theses
Ratnesh Kumar. Video segmentation and multiple object tracking
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4135⟩
tel-01093202v1  Theses
Mounira Ebdelli. Video inpainting techniques : application to object removal and error concealment
Image Processing [eess.IV]. Université de Rennes 1, 2014. English
tel-02437183v1  Theses
Tien Duc Cao. Vers une vérification automatique des affirmations statistiques
Programming Languages [cs.PL]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX051⟩
tel-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩
tel-01285624v1  Theses
Vincent Laporte. Verified static analyzes for low-level languages
Programming Languages [cs.PL]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S078⟩
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
tel-00647331v1  Theses
Romain Bardou. Verification of Pointer Programs Using Regions and Permissions
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112220⟩
tel-01103104v2  Theses
Miriam Paiola. Verification of cryptographic protocols with lists of unbounded lengths
Cryptography and Security [cs.CR]. Université Paris-Diderot (Paris 7), 2014. English
tel-01680213v2  Theses
Yannick Zakowski. Verification of a Concurrent Garbage Collector
Data Structures and Algorithms [cs.DS]. École normale supérieure de Rennes, 2017. English. ⟨NNT : 2017ENSR0010⟩