• 
  Antoine Girard. Low-complexity quantized switching controllers using approximate bisimulation. Nonlinear Analysis: Hybrid Systems, Elsevier, 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, IEEE, 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, Elsevier, 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 Pelinovsky. Breather continuation from infinity in nonlinear oscillator chains. Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 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, Taylor & Francis, 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, American Institute of Mathematical Sciences, 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, 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 Roche, Johan Rosenkilde. Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. 2018. ⟨hal-01829139v1⟩
• 
  Soledad Berríos, Julio Fenner, Aude Maignan. Simulating aggregates of bivalents in 2n = 40 mouse meiotic spermatocytes through inhomogeneous site percolation processes. Journal of Mathematical Biology, Springer Verlag (Germany), 2018, 77 (5), pp.1341-1362. ⟨10.1007/s00285-018-1254-6⟩. ⟨hal-01814944⟩
• 
  Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩. ⟨hal-01251223v2⟩

158

179