Niki Vazou

Artificial Intelligence · 2014

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

Subfields

Whom Niki Vazou trusts overall

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

  1. Cormac Flanagan
  2. Patrick Maxim Rondon
  3. Greg Nelson

Who trusts Niki Vazou overall

  1. Panagiotis Vekris

Papers from Niki Vazou's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Simplify: a theorem prover for program checking (JACM)
  3. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Z3: An Efficient SMT Solver
  6. Simple unification-based type inference for GADTs (ACM SIGPLAN International Conference on Functional Programming)
  7. On computable numbers
  8. On Computable Numbers, with an Application to the Entscheidungsproblem.
  9. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers