Nikolaj Bjørner
Publication Activity (10 Years)
Years Active: 1995-2023
Publications (10 Years): 49
Publications (10 Years): 49
Publications
- Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
- Nikolaj Bjørner, Lev Nachmanson
- Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
- Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham
- Arie Gurfinkel, Nikolaj Bjørner
- Daniel Selsam, Nikolaj Bjørner
- Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
- Daniel Selsam, Nikolaj Bjørner
- Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
- Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield
- Nina Narodytska, Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv
- Nikolaj Bjørner
- Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
- Frank S. de Boer, Nikolaj Bjørner
- Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv
- Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
- Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
- Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
- Nikolaj Bjørner, Marco Canini, Nik Sultana
- Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
- Giles Reger, Nikolaj Bjørner, Martin Suda, Andrei Voronkov
- Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
- Margus Veanes, Nikolaj Bjørner
- Nikolaj Bjørner, Arie Gurfinkel
- Nikolaj Bjørner, Nina Narodytska
- Nikolaj Bjørner, Karthick Jayaraman
- Nikolaj Bjørner, Mikolás Janota, William Klieber
- Nikolaj Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave
- Margus Veanes, Nikolaj Bjørner
- Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein
- Nikolaj Bjørner, Mikolás Janota
- Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
- Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
- Nikolaj Bjørner, Anh-Dung Phan
- Josh Berdine, Nikolaj Bjørner
- Willem Visser, Nikolaj Bjørner, Natarajan Shankar
- Nikolaj Bjørner
- Ayanna M. Howard, David Johnson, Cristina Conati, Frederick W. Chen, Nikolaj Bjørner
- Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
- Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach
- Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko
- Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
- Nikolaj Bjørner, Viorica Sofronie-Stokkermans
- Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav
- Anh-Dung Phan, Nikolaj Bjørner, David Monniaux
- Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
- Nikolaj Bjørner
- Moshe Gabel, Assaf Schuster, Ran Gilad-Bachrach, Nikolaj Bjørner
- Margus Veanes, Nikolaj Bjørner
- Nikolaj Bjørner
- Margus Veanes, Nikolaj Bjørner
- Nikolaj Bjørner, Laura Kovács
- Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
- Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko
- Krystof Hoder, Nikolaj Bjørner
- Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar
- Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Nikolaj Bjørner
- Margus Veanes, Nikolaj Bjørner
- Margus Veanes, Nikolaj Bjørner
- Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura
- Nikolaj Bjørner
- Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte
- Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura
- Nikolaj Bjørner, Andreas Blass, Yuri Gurevich
- Margus Veanes, Nikolaj Bjørner
- Nikolaj Bjørner
- Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner
- Sergio Mera, Nikolaj Bjørner
- Nikolaj Bjørner, Joe Hendrix
- Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov