Amir Pnueli

Journal of computer and system sciences (Print) · 1989–2006

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

Who trusts Amir Pnueli overall

  1. Nir Piterman
  2. Marcin Jurdzinski
  3. Krishnendu Chatterjee
  4. Roderick Bloem
  5. Moshe Y. Vardi
  6. Uri Alon
  7. Thomas A. Henzinger
  8. Augustus Odena
  9. Barbara Jobstmann
  10. Sumit Gulwani

Papers from Amir Pnueli's perspective

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

  1. On the synthesis of a reactive module
  2. Small Progress Measures for Solving Parity Games (Symposium on Theoretical Aspects of Computer Science)
  3. Bounded synthesis (International Journal on Software Tools for Technology Transfer (STTT))
  4. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  5. Application of Theorem Proving to Problem Solving
  6. Experiments with a deductive question-answering program
  7. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  9. Bounded model checking (Advances in Computing)
  10. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)

Their papers