Erika Ábrahám

International Conference on Computer Aided Verification · 2010–2013

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

Whom Erika Ábrahám trusts overall

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

  1. André Platzer
  2. Kyoko Makino

Who trusts Erika Ábrahám overall

  1. Somil Bansal

Papers from Erika Ábrahám's perspective

Ordered by how strongly the researchers Erika Ábrahám trusts endorse each paper. Same corpus, a different order for every researcher.

  1. TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS
  2. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
  3. SpaceEx: Scalable Verification of Hybrid Systems (International Conference on Computer Aided Verification)
  4. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure (Journal on Satisfiability, Boolean Modeling and Computation)
  5. Computational techniques for hybrid system verification (IEEE Transactions on Automatic Control)
  6. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
  7. Convex Analysis and Optimization
  8. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
  9. On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
  10. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)

Their papers