Sylvie Putot

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 Sylvie Putot trusts overall

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

  1. Khalil Ghorbal
  2. Antoine Girard
  3. É. Goubault

Who trusts Sylvie Putot overall

  1. Timon Gehr
  2. É. Goubault

Papers from Sylvie Putot's perspective

Ordered by how strongly the researchers Sylvie Putot 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