N. Bjørner

发表

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, TACAS.

L. D. Moura, N. Bjørner, 2007 .

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, SMT@CAV.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2007, CADE.

Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko, 2013, SMT@IJCAR.

Nikolaj Bjørner, Leonardo Mendonça de Moura, Krystof Hoder, 2011, CAV.

Nikolaj Bjørner, Benjamin Livshits, Margus Veanes, 2012, POPL '12.

N. Bjørner, M. Veanes, Margus Veanes, 2011 .

Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov, 2009, TACAS.

Nikolaj Bjørner, Tomás E. Uribe, Mark E. Stickel, 1997, CADE.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2009, 2009 Formal Methods in Computer-Aided Design.

Z. Manna, N. Bjørner, Nikolaj S. Bjørner, 1998 .

Nikolaj Bjørner, Krystof Hoder, N. Bjørner, 2012, SAT.

Nikolaj Bjørner, Margus Veanes, Leonardo Mendonça de Moura, 2010, LPAR.

Nikolaj Bjørner, Lev Nachmanson, N. Bjørner, 2020, SBMF.

N. Bjørner, Lev Nachmanson, 2018 .

Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2012, MODELS'12.

Ruzica Piskac, Nikolaj Bjørner, Leonardo Mendonça de Moura, 2010, Journal of Automated Reasoning.

L. D. Moura, N. Bjørner, R. Piskac, 2008 .

Nikolaj Bjørner, Yuri Gurevich, Guido de Caso, 2012, Correct Reasoning.

Nikolaj Bjørner, Ran Gilad-Bachrach, Assaf Schuster, 2011 .

Nikolaj Bjørner, Anh-Dung Phan, N. Bjørner, 2014, SCSS.

Sergey Bereg, Nikolaj Bjørner, Margus Veanes, 2014, CAV.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, IJCAR.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2011, Commun. ACM.

Nikolaj Bjørner, Margus Veanes, Wolfram Schulte, 2009, Int. J. Softw. Informatics.

L. D. Moura, N. Bjørner, N. Tillmann, 2008 .

L. D. Moura, N. Bjørner, 2011, Commun. ACM.

N. Bjørner, Himanshu Raj, Umesh Krishnaswamy, 2022, NSDI.

N. Bjørner, D. Terry, G. Varghese, 2016 .

N. Bjørner, L. Kovács, Andreas Humenberger, 2022, Formal Aspects of Computing.

Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.

Nikolaj Bjørner, Noam Rinetzky, Shachar Itzhaky, 2015, CAV.

Nikolaj Bjørner, Ran Gilad-Bachrach, Assaf Schuster, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012).

Nikolaj Bjørner, Daniel Selsam, N. Bjørner, 2019, SAT.

Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, 2010, J. Comput. Syst. Sci..

Mikolás Janota, Nikolaj Bjørner, N. Bjørner, 2015, LPAR.

Giovanni De Micheli, Mathias Soeken, Nikolaj Bjørner, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Sergey Bereg, Nikolaj Bjørner, Margus Veanes, 2014, CAV.

Michael Schapira, Nikolaj Bjørner, Aaron Gember, 2014, PLDI.

Nikolaj Bjørner, Jitendra Padhye, Ashish Bhargava, 2019, SIGCOMM.

Jean-Baptiste Jeannin, George Varghese, Leonid Ryzhyk, 2017, NSDI.

George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2015, NSDI.

Nikolaj Bjørner, Karthick Jayaraman, Charlie Kaufman, 2014 .

Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2009, SC@TOOLS.

Nikolaj Bjørner, Margus Veanes, Thomas Ball, 2012, SPIN.

Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..

Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.

Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, Theor. Comput. Sci..

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2009, SBMF.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2009, FORMATS.

Nikolaj Bjørner, Joe Hendrix, N. Bjørner, 2009, CAV.

Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.

Nikolaj Bjørner, Margus Veanes, Alexander Raschke, 2008, FORTE.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2014, Tractability.

Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.

Nikolaj Bjørner, Arie Gurfinkel, N. Bjørner, 2019, 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).

Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, Fields of Logic and Computation II.

George Varghese, Nikolaj Bjørner, Gordon D. Plotkin, 2016, POPL.

Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2011, Bull. EATCS.

Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2011, Ershov Memorial Conference.

Nikolaj Bjørner, Karthick Jayaraman, N. Bjørner, 2015, ICDCIT.

Nikolaj Bjørner, Lev Nachmanson, Christoph M. Wintersteiger, 2018, SETSS.

Natarajan Shankar, Nikolaj Bjørner, Willem Visser, 2014, FOSE.

Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2009, ICTAC.

Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2009, Ershov Memorial Conference.

Nikolaj Bjørner, Frank S. de Boer, N. Bjørner, 2015, Lecture Notes in Computer Science.

Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, LPAR Workshops.

Nikolaj Bjørner, Tancrède Lepoint, Philipp Rümmer, 2017, LPAR.

Nikolaj Bjørner, Andrei Voronkov, Martin Suda, 2016, GCAI.

Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein, 2015, TACAS.

Nikolaj Bjørner, N. Bjørner, 2010, IJCAR.

Nikolaj Bjørner, Andrey Rybalchenko, Klaus von Gleissenthall, 2016, PLDI.

Nikolaj Bjørner, Nik Sultana, Marco Canini, 2017, CCRV.

George Varghese, Nikolaj Bjørner, Garvit Juniwal, 2016, Haifa Verification Conference.

George Varghese, Nick McKeown, Nikolaj Bjørner, 2016 .

George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2013 .

N. Bjørner, Ratul Mahajan, G. Varghese, 2016 .

Nikolaj Bjørner, N. Bjørner, 2012, Haifa Verification Conference.

Michael Schapira, Nikolaj Bjørner, Ishai Menache, 2019, SIGCOMM.

Nikolaj Bjørner, Thomas W. Reps, Shmuel Sagiv, 2014, CAV.

Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko, 2013, SAS.

Nikolaj Bjørner, N. Bjørner, 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Nikolaj Bjørner, Shmuel Sagiv, Maria-Cristina V. Marinescu, 2017, GCAI.