Nikolaj Bjorner

Identifiers

• name variant Nikolaj Bjorner 0.60 · backfill

Papers (4)

1. Reversible Pebbling Game for Quantum Memory Management quant-ph · 2019 · author #4
2. Constrained Image Generation Using Binarized Neural Networks with Decision Procedures cs.CV · 2018 · author #5
3. Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays cs.LO · 2015 · author #2
4. Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types cs.LO · 2013 · author #1

Mentions

• 1306.5264 #1 · backfill · confidence 0.70 Nikolaj Bjorner

Frequent Coauthors

• Andrey Rybalchenko 1 shared papers
• Anvesh Komuravelli 1 shared papers
• Arie Gurfinkel 1 shared papers
• Armando Tacchella 1 shared papers
• Giovanni De Micheli 1 shared papers
• Giulia Meuli 1 shared papers
• Ken McMillan 1 shared papers
• Kenneth L. McMillan 1 shared papers
• Luca Pulina 1 shared papers
• Martin Roetteler 1 shared papers
• Mathias Soeken 1 shared papers
• Mooly Sagiv 1 shared papers
• Nina Narodytska 1 shared papers
• Svyatoslav Korneev 1 shared papers