Edward A. Lee

Hardware and Architecture · 2001–2015

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

Subfields

Whom Edward A. Lee trusts overall

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

  1. Muthu Dayalan
  2. Gerard J. Holzmann
  3. Rajeev Alur
  4. Thomas A. Henzinger
  5. Gabor Karsai
  6. Thomas Ball
  7. Andrew Waterman
  8. Herb Sutter
  9. John E. Hopcroft
  10. Roy T. Fielding

Who trusts Edward A. Lee overall

  1. Patricia Derler
  2. Arthur Gatouillat
  3. Chuadhry Mujeeb Ahmed
  4. Anneke Zuiderwijk
  5. Ji Zhou
  6. Alberto L. Sangiovanni-Vincentelli
  7. Kazi Masudul Alam
  8. Xiaofei Wang
  9. Sabina Jeschke
  10. Siddhartha Kumar Khaitan

Papers from Edward A. Lee's perspective

Ordered by how strongly the researchers Edward A. Lee 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. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  3. Advances in network simulation (Computer)
  4. Interface automata (ESEC/FSE-9)
  5. The C++ programming language (2nd ed.)
  6. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  8. I and J
  9. Computer Architecture: A Quantitative Approach
  10. The SLAM project: debugging system software via static analysis

Their papers