( en | de | ru )

 

Disambiguation of "Bjørner, Nikolaj S."

Author of the publication

copydeleteadd this publication to your clipboard
Decentralized cloud wide-area network traffic engineering with BLASTSHIELD.

, , , and . NSDI, page 325-338. USENIX Association, (2022)

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 Fischer

Nikolaj Beier

Nikolaj Belov

Nikolaj Stojkov

 

Other publications of authors with the same name

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)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)Arithmetic Solving in Z3., and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 26-41. Springer, (2024)Deductive Verification of Real-Time Systems Using STeP., , , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 22-43. Springer, (1997)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)Linear Functional Fixed-points., and . CAV, volume 5643 of Lecture Notes in Computer Science, page 124-139. Springer, (2009)SMT Solvers for Testing, Program Analysis and Verification at Microsoft.. SYNASC, page 15. IEEE Computer Society, (2009)