Calculated based on number of publications stored in Pure and citations from Scopus
20012023

Research activity per year

Filter
Chapter

Search results

  • 2004

    Counterexample guided abstraction refinement via program execution

    Kroening, D., Groce, A. & Clarke, E., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag, p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    43 Scopus citations
  • Error explanation with distance metrics

    Groce, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer-Verlag, p. 108-122 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    73 Scopus citations
  • Understanding counterexamples with explain

    Groce, A., Kroening, D. & Lerda, F., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag, p. 453-456 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    46 Scopus citations
  • 2003

    Predicate abstraction with minimum predicates

    Chaki, S., Clarke, E., Groce, A. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer-Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    34 Scopus citations