( en | de | ru )

 

Disambiguation of "Bjørner, Nikolaj S."

Author of the publication

copydeleteadd this publication to your clipboard
SMT Solvers for Testing, Program Analysis and Verification at Microsoft.

. SYNASC, page 15. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulf Björner

Nikolaj Belov

Nikolaj Fischer

Nikolaj Beier

Nikolaj Sobolev

 

Other publications of authors with the same name

Z3: An Efficient SMT Solver., and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 337-340. Springer, (2008)Abduction for Learning Smart City Rules., , and . GCAI, volume 50 of EPiC Series in Computing, page 233-238. EasyChair, (2017)Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , and . FORMAL METHODS IN SYSTEM DESIGN, page 2000. (2000)Preface: Special Issue of Selected Extended Papers of CADE-23., and . J. Autom. Reason., 51 (1): 1-2 (2013)Deductive Verification of Real-Time Systems Using STeP., , , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 22-43. Springer, (1997)Linear Functional Fixed-points., and . CAV, volume 5643 of Lecture Notes in Computer Science, page 124-139. Springer, (2009)Generalized, efficient array decision procedures., and . FMCAD, page 45-52. IEEE, (2009)Symbolic Automata: The Toolkit., and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 472-477. Springer, (2012)Arithmetic Solving in Z3., and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 26-41. Springer, (2024)SMT Solvers for Testing, Program Analysis and Verification at Microsoft.. SYNASC, page 15. IEEE Computer Society, (2009)