Pavol Cerný

Computational Theory and Mathematics · 2005

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

Subfields

Whom Pavol Cerný trusts overall

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

  1. Dana Angluin
  2. Thomas Ball
  3. John Whaley

Who trusts Pavol Cerný overall

  1. Andrzej Wasylkowski
  2. Wontae Choi
  3. Gail Weiss
  4. Mithun P. Acharya
  5. Paolo Milani Comparetti
  6. Tao Xie
  7. Hao Zhong
  8. Tung Thanh Nguyen

Papers from Pavol Cerný's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  5. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Automatic discovery of linear restraints among variables of a program
  7. Learning Regular Sets from Queries and Counterexamples
  8. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  9. Automatic extraction of object-oriented component interfaces (International Symposium on Software Testing and Analysis)
  10. Learning Assumptions for Compositional Verification (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers