Nikolaj Bjørner

Satisfiability modulo theories

Leonardo de Moura, Nikolaj Bjørner · Communications of the ACM · 2011 · 629 citations

Computing, Computer Science, Algorithms +9

Automatic generation of invariants and intermediate assertions

Nikolaj Bjørner, Anca Browne, Zohar Manna · Theoretical Computer Science · 1997 · 157 citations · Full text

Computing, Computer Science, Formal Methods +16

VeriCon

Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · 2014 · 144 citations

Computing, Computer Science, Computer Systems +17

Generalized, efficient array decision procedures

Leonardo de Moura, Nikolaj Bjørner · 2009 · 132 citations

Computing, Computer Engineering, Computer Science +13

Checking beliefs in dynamic networks

Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid et al. · 2015 · 128 citations

Computing, Computer Science, Computer Systems +14