É. Goubault

Computational Theory and Mathematics · 2009–2013

A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 4 researchers here, as inferred from the citation graph.

Subfields

Whom É. Goubault trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Khalil Ghorbal
  2. Antoine Girard
  3. Sylvie Putot

Who trusts É. Goubault overall

  1. Timon Gehr
  2. Sylvie Putot
  3. Matthew Mirman
  4. Khalil Ghorbal

Papers from É. Goubault's perspective

Ordered by how strongly the researchers É. Goubault trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Automatic discovery of linear restraints among variables of a program
  3. The Zonotope Abstract Domain Taylor1+
  4. Reachability of Uncertain Linear Systems Using Zonotopes (International Conference on Hybrid Systems: Computation and Control)
  5. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
  6. Next-Generation Airborne Collision Avoidance System
  7. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (International Joint Conference on Automated Reasoning)
  8. Differential Dynamic Logic for Hybrid Systems (Journal of automated reasoning)
  9. Formal verification of distributed aircraft controllers
  10. Robust hybrid control for autonomous vehicle motion planning (Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187))

Their papers