Electronic Notes in Theoretical Computer Science

Parameterized Complexity

Michael R. Fellows · 2002 · 2.9K citations · Full text

Computing, Computer Science, Mathematics +12

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

A Taxonomy of Model Transformation

Tom Mens, Pieter Van Gorp · 2006 · 880 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +16

Valgrind

Nicholas Nethercote, Julian Seward · 2003 · 458 citations · Full text

Computing, Computer Engineering, Computer Science +5

Automated Security Protocol Analysis With the AVISPA Tool

Luca Viganò · 2006 · 451 citations · Full text

Computing, Computer Science, Cybersecurity +16