C. J. Guernic

Computational Theory and Mathematics · 2006–2011

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

Subfields

• Computational Theory and Mathematics — 6 citations into it; #7,086 of 12,182 by trust here, #6,463 by citations

Whom C. J. Guernic trusts overall

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

1. Alongkrit Chutinan
2. Don Coppersmith
3. Antoine Girard

Who trusts C. J. Guernic overall

1. Rajeev Alur
2. Matthias Althoff
3. Kyoung-Dae Kim

Papers from C. J. Guernic's perspective

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

1. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
2. Convex Analysis and Optimization
3. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
4. Matrix multiplication via arithmetic progressions
5. Computational techniques for hybrid system verification (IEEE Transactions on Automatic Control)
6. Ellipsoidal Techniques for Reachability Analysis (International Conference on Hybrid Systems: Computation and Control)
7. Approximation of differential inclusions
8. I and i
9. Pipage Rounding: A New Method of Constructing Algorithms with Proven Performance Guarantee (Journal of combinatorial optimization)
10. "PROOF"

Their papers

• Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (2006) — 301 citations
• SpaceEx: Scalable Verification of Hybrid Systems (2011) — 987 citations