Nikolai Kosmatov

2012–2015

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

Who trusts Nikolai Kosmatov overall

  1. Akshay Agrawal

Papers from Nikolai Kosmatov's perspective

Ordered by how strongly the researchers Nikolai Kosmatov 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. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  3. The ASTREÉ Analyzer
  4. An axiomatic basis for computer programming
  5. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
  6. A and V
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  9. The SLAM project: debugging system software via static analysis
  10. Lazy abstraction

Their papers