( en | de | ru )

 

Disambiguierung von "Bjørner, Nikolaj S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
OneWAN is better than two: Unifying a split WAN architecture.

, , , , , , , , , , , , , und . NSDI, Seite 515-529. USENIX Association, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulf Björner

Nikolaj Belov

Nikolaj Fischer

Nikolaj Beier

Nikolaj Sobolev

 

Weitere Publikationen von Autoren mit dem selben Namen

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