Helmut Veith

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

Computing, Computer Engineering, Computer Science +13

Efficient filtering in publish-subscribe systems using binary decision diagrams

Alexis Campailla, Sagar Chaki, Edmund M. Clarke et al. · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 2001 · 139 citations

Computing, Computer Science, Computer Systems +10

Secure two-party computations in ANSI C

Andreas Holzer, Martin Franz, Stefan Katzenbeisser et al. · 2012 · 128 citations

Computing, Computer Engineering, Computer Science +11

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Computing, Computer Science, Computer Systems +11

Datalog LITE

Georg Gottlob, Erich Grädel, Helmut Veith · ACM Transactions on Computational Logic · 2002 · 77 citations

Computing, Computer Science, Algorithms +14