Skip to Main content Skip to Navigation

hal-03298750v1  Conference papers
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
Model and Data Engineering - 10th International Conference, , Jun 2021, TALLINN, France. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
hal-03297832v1  Conference papers
Sanne BeversSander KooijmansE. van de VeldeM EversS. Seghers et al.  Tuning LNPs to target antigen presenting cells in spleen induces CD8 T-cell responses and tumor regression in mice
18th CIMT Annual Meeting, CIMT Association for Cancer Immunotherapy, May 2021, Mainz, Germany
hal-03296186v1  Conference papers
Olivier DevillersCharles Duménil. Stochastic Analysis of Empty-Region Graphs
CCCG 2021 - 33rd Canadian Conference on Computational Geometry, Aug 2021, Halifax / Virtual, Canada
hal-03081725v1  Journal articles
Julien FrancqLoic BessonPaul HuynhPhilippe GuillotGilles Millérioux et al.  Non-triangular self-synchronizing stream ciphers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2020.3043714⟩
hal-03292416v1  Conference papers
Hamid BoukerrouGilles MilleriouxMarine Minier. Hybrid architecture of LPV dynamical systems in the context of cybersecurity
LPVS 2021 - 4th IFAC Workshop on Linear Parameter Varying Systems, Jul 2021, Milano / Virtual, Italy
hal-03287031v1  Journal articles
Gilles Simon. Jan Van Eyck's Perspectival System Elucidated Through Computer Vision
Proceedings of the ACM on Computer Graphics and Interactive Techniques, ACM, In press, 4 (2), ⟨10.1145/3465623⟩
tel-03286314v1  Habilitation à diriger des recherches
Sorin Stratulat. Noetherian Induction for Computer-Assisted First-Order Reasoning
Symbolic Computation [cs.SC]. Université de Lorraine, 2021
hal-03285178v1  Conference papers
W GomesP MauriceN SettembreJ TheurelL Wioland et al.  Biomechanical effects of using a passive back support exoskeleton during prone-positioning maneuver: A pilot study
46th Congress of the Society of Biomechanics, Oct 2021, Saint-Etienne, France