Henny B. Sipma

Computational Theory and Mathematics · 2003–2006

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

Subfields

Whom Henny B. Sipma trusts overall

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

  1. Alexander Schrijver
  2. Clark W. Barrett

Who trusts Henny B. Sipma overall

  1. Bruno Dutertre

Papers from Henny B. Sipma's perspective

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

  1. Automatic discovery of linear restraints among variables of a program
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. The Temporal Rover and the ATG Rover (SPIN)
  4. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY
  5. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  6. Theory of linear and integer programming
  7. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. Why3 - Where Programs Meet Provers (European Symposium on Programming)
  9. Abstract Interpretation Frameworks
  10. Solution of a Large-Scale Traveling-Salesman Problem

Their papers