Xin Chen

International Conference on Computer Aided Verification · with Sankaranarayanan · 2013

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

Whom Xin Chen trusts overall

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

  1. André Platzer
  2. Kyoko Makino
  3. Martin Berz

Who trusts Xin Chen overall

  1. Somil Bansal
  2. Mo Chen

Papers from Xin Chen's perspective

Ordered by how strongly the researchers Xin Chen 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