Nikolaj S. Bjørner

Artificial Intelligence · 2007–2008

A researcher in the Science corpus: 2 papers; trusts 11 researchers and is trusted by 98 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 10 citations into it; #2,808 of 35,345 by trust here, #6,330 by citations
• Software — 10 citations into it; #461 of 1,227 by trust here, #965 by citations
• Computational Theory and Mathematics — 8 citations into it; #320 of 12,182 by trust here, #683 by citations

Whom Nikolaj S. Bjørner trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Greg Nelson
2. Leonardo de Moura
3. Mike Barnett
4. Bruno Dutertre
5. Thomas Ball
6. David Detlefs
7. K. Rustan
8. Manuel Costa
9. Sriram K. Rajamani
10. M. Leino

Who trusts Nikolaj S. Bjørner overall

1. The mathlib Community
2. Mostafa Hassan
3. Max Willsey
4. Rohit Sinha
5. Ranjit Jhala
6. Leonardo de Moura
7. Xinyun Chen
8. Augustus Odena
9. Kaiyu Yang
10. Johannes Krupp

Papers from Nikolaj S. Bjørner's perspective

Ordered by how strongly the researchers Nikolaj S. Bjørner trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
3. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
4. The SLAM project: debugging system software via static analysis
5. Vigilante: end-to-end containment of internet worms (Symposium on Operating Systems Principles)
6. Efficient E-Matching for SMT Solvers (CADE)
7. On the Complexity of Derivation in Propositional Calculus
8. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
9. Space/time trade-offs in hash coding with allowable errors
10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers

• Z3: An Efficient SMT Solver (2008) — 8,862 citations
• Efficient E-Matching for SMT Solvers (2007) — 329 citations