• 
  Sebti Mouelhi, Antoine Girard, Gregor Gössler. CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions. 16th international conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩. ⟨hal-04482406⟩
• 
  Pierre Karpman, Benjamin Grégoire. The Littlun S-box and the Fly block cipher. Lightweight Cryptography Workshop, Oct 2016, Gaithersburg, United States. ⟨hal-03543497⟩
• 
  Antoine Girard. Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, 2013, 10, pp.34-44. ⟨10.1016/j.nahs.2013.02.001⟩. ⟨hal-00839610⟩
• 
  Samuel Martin, Antoine Girard, Arastoo Fazeli, Ali Jadbabaie. Multi-agent flocking under general communication rule. IEEE Transactions on Control of Network Systems, 2014, 1 (2), pp.155-166. ⟨10.1109/TCNS.2014.2316994⟩. ⟨hal-01133202⟩
• 
  Aude Maignan. Modélisation des systèmes dynamiques évolutifs. 2009. ⟨hal-02525067⟩
• 
  Jean-Guillaume Dumas, Erich Kaltofen. Essentially optimal interactive certificates in linear algebra. ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩. ⟨hal-00932846v4⟩
• 
  Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩. ⟨hal-01266041v3⟩
• 
  Clément Pernet, Arne Storjohann. Time and space efficient generators for quasiseparable matrices. Journal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩. ⟨hal-01424252v2⟩
• 
  Jean-Guillaume Dumas, David Lucas, Clément Pernet. Certificates for triangular equivalence and rank profiles. ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩. ⟨hal-01466093v2⟩
• 
  Pascal Lafourcade, Jean-Guillaume Dumas. Bitcoin : une monnaie dématérialisée. Les Big Data à découvert, CNRS Editions, 2017. ⟨hal-02291296⟩
• 
  Guillaume James, Dmitry E. Pelinovsky. Breather continuation from infinity in nonlinear oscillator chains. Discrete and Continuous Dynamical Systems - Series A, 2012, 32 (5), pp.1775-1799. ⟨10.3934/dcds.2012.32.1775⟩. ⟨hal-00765684⟩
• 
  Jesus Cuevas, Guillaume James, Panayotis G. Kevrekidis, Kody Law. Vortex solutions of the defocusing discrete nonlinear Schrödinger equation. ICNAAM 2009 - 7th International Conference on Numerical Analysis and Applied Mathematics, Sep 2009, Rethymno, Crete, Greece. pp.135-138, ⟨10.1063/1.3241338⟩. ⟨hal-00769565⟩
• 
  Guillaume James, Antoine Levitt, Cynthia Ferreira. Continuation of discrete breathers from infinity in a nonlinear model for DNA breathing. Applicable Analysis, 2010, Mathematics of Nonlinear Lattices, 89 (9), pp.1447-1465. ⟨10.1080/00036810903437788⟩. ⟨hal-00765599⟩
• 
  Cynthia Ferreira, Guillaume James, Michel Peyrard. Nonlinear lattice models for biopolymers: Dynamical coupling to a ionic cloud and application to actin filaments. Discrete and Continuous Dynamical Systems - Series S, 2011, 4 (5), pp.1147-1166. ⟨10.3934/dcdss.2011.4.1147⟩. ⟨hal-00765666⟩
• 
  Jean-Baptiste Orfila. Evaluation de la confiance dans les architectures de sécurité. Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM034⟩. ⟨tel-01985183⟩
• 
  Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩. ⟨hal-01898048⟩
• 
  Rodney Coleman, Laurent Zwald. Hilbertian fields and Hilbert's irreducibility theorem. 2018. ⟨hal-01883575⟩
• 
  Jean-Guillaume Dumas. Proof-of-work certificates that can be efficiently computed in the cloud. The 20th International Workshop on Computer Algebra in Scientific Computing (CASC 2018), Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩. ⟨hal-01825779v2⟩
• 
  Dominique Duval. Logical rules as fractions and logics as sketches. 2018. ⟨hal-01829617⟩
• 
  David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde. Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. 2018. ⟨hal-01829139v1⟩

163

175