Alex Groce

Software · 2003–2019

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

Subfields

Whom Alex Groce trusts overall

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

  1. Gerard J. Holzmann
  2. Edmund M. Clarke
  3. Chih-Jen Lin
  4. Larry A. Wasserman
  5. George C. Necula
  6. Carlos Pacheco
  7. Alice X. Zheng
  8. Corinna Cortes
  9. Gregg Rothermel
  10. Thomas Ball

Who trusts Alex Groce overall

  1. Kexin Pei
  2. George Argyros
  3. Besmira Nushi
  4. Yuting Chen
  5. Kenneth L. McMillan
  6. Suman Sekhar Jana
  7. Andreas Podelski
  8. Yinzhi Cao
  9. Ioannis Stais

Papers from Alex Groce's perspective

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

  1. Support-Vector Networks
  2. The Elements of Statistical Learning
  3. Automatically validating temporal safety properties of interfaces (SPIN)
  4. Test Case Prioritization: A Family of Empirical Studies (IEEE Trans. Software Eng.)
  5. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  7. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  8. Feedback-Directed Random Test Generation (International Conference on Software Engineering)
  9. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  10. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)

Their papers