Christoph M. Kirsch

Proceedings of the IEEE · 2001

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

Who trusts Christoph M. Kirsch

  1. Edward A. Lee (in Hardware and Architecture)

Papers from Christoph M. Kirsch's perspective

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

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. The unified modeling language reference manual
  3. On hardware-in-the-loop simulation (Proceedings of the 44th IEEE Conference on Decision and Control)
  4. I Computational Complexity
  5. Numerical Recipes in C: The Art of Scientific Computing
  6. Cooperating sequential processes
  7. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Automatic discovery of linear restraints among variables of a program
  9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Abstract Interpretation Frameworks

Their papers