Khalil Ghorbal

Computational Theory and Mathematics · 2009–2015

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

Subfields

Whom Khalil Ghorbal trusts overall

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

  1. Antoine Girard
  2. André Platzer
  3. Kousha Etessami
  4. É. Goubault
  5. Mykel J. Kochenderfer
  6. Sarah M. Loos

Who trusts Khalil Ghorbal overall

  1. Timon Gehr
  2. É. Goubault
  3. Sylvie Putot
  4. Matthew Mirman
  5. Guy Katz
  6. Gagandeep Singh
  7. Martin T. Vechev

Papers from Khalil Ghorbal's perspective

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

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

Their papers