Nikolaj Bjørner

发表

Nikolaj Bjørner, 2011, CPP.
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Nikolaj Bjørner, Viorica Sofronie-Stokkermans, 2013, Journal of Automated Reasoning.
Nikolaj Bjørner, 2013 .
Nikolaj Bjørner, Lev Nachmanson, N. Bjørner, 2020, SBMF.
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, Leonardo Mendonça de Moura, L. D. Moura, 2009, SBMF.
Nikolaj Bjørner, Viorica Sofronie-Stokkermans, 2011 .
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, ARTS.
Sergey Bereg, Nikolaj Bjørner, Margus Veanes, 2013, LPAR.
Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko, 2013, ArXiv.
Zohar Manna, Nikolaj Bjørner, Anca Browne, 1997, Theor. Comput. Sci..
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1996, CAV.
Helmut Veith, Nikolaj Bjørner, Andrei Voronkov, 2010, Decision Procedures in Software, Hardware and Bioware.
Nikolaj Bjørner, Cristian Cadar, Sébastien Bardin, 2019, Dagstuhl Reports.
Jean-Baptiste Jeannin, George Varghese, Leonid Ryzhyk, 2017, NSDI.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2012, MODELS'12.
Nikolaj Bjørner, Yuri Gurevich, Dan Teodosiu, 2005 .
Nikolaj Bjørner, Yuri Gurevich, Guido de Caso, 2012, Correct Reasoning.
Nikolaj Bjørner, Noam Rinetzky, Shachar Itzhaky, 2015, CAV.
Nikolaj Bjørner, Thomas W. Reps, Shmuel Sagiv, 2014, CAV.
Natarajan Shankar, Nikolaj Bjørner, Willem Visser, 2014, FOSE.
Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2009, Ershov Memorial Conference.
Nikolaj Bjørner, Benjamin Livshits, Margus Veanes, 2012, POPL '12.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, IJCAR.
Nikolaj Bjørner, Margus Veanes, Alexander Raschke, 2008, FORTE.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, Theor. Comput. Sci..
Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko, 2014 .
Nikolaj Bjørner, Ishai Menache, Monia, 2018 .
Nikolaj Bjørner, Tancrède Lepoint, Philipp Rümmer, 2017, LPAR.
Ruzica Piskac, Nikolaj Bjørner, Sharon Shoham, 2020, VMCAI.
Mikolás Janota, Nikolaj Bjørner, N. Bjørner, 2015, LPAR.
Ruzica Piskac, Nikolaj Bjørner, Leonardo Mendonça de Moura, 2010, Journal of Automated Reasoning.
Nikolaj Bjørner, Margus Veanes, 2010, ICTSS.
Nikolaj Bjørner, Margus Veanes, Wolfram Schulte, 2009, Int. J. Softw. Informatics.
Nikolaj Bjørner, N. Bjørner, 2010, IJCAR.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..
Sergey Bereg, Nikolaj Bjørner, Margus Veanes, 2014, CAV.
Nikolaj Bjørner, Nikolaj S. Bjørner, 2018, FM.
Nikolaj Bjørner, Noam Rinetzky, Shachar Itzhaky, 2015, CAV.
George Varghese, Nick McKeown, Nikolaj Bjørner, 2016 .
Nikolaj Bjørner, Margus Veanes, Thomas Ball, 2012, SPIN.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2008, SMT@CAV.
Nikolaj Bjørner, Nina Narodytska, Shmuel Sagiv, 2018, IJCAI.
Nikolaj Bjørner, 2016, Dependable Software Systems Engineering.
Nikolaj Bjørner, Andrei Voronkov, Martin Suda, 2016, GCAI.
Nikolaj Bjørner, Margus Veanes, 2015, Inf. Process. Lett..
Nikolaj Bjørner, Leonardo Mendonça de Moura, 2008, IJCAR.
Nikolaj Bjørner, Margus Veanes, 2012, TACAS.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1995 .
Nikolaj Bjørner, Leonardo Mendonça de Moura, Krystof Hoder, 2011, CAV.
Nikolaj Bjørner, Joe Hendrix, N. Bjørner, 2009, CAV.
Cristina Conati, Nikolaj Bjørner, Ayanna M. Howard, 2013, FLAIRS Conference.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.
Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2011, Bull. EATCS.
Helmut Veith, Nikolaj Bjørner, Andrei Voronkov, 2011, Dagstuhl Reports.
Mikolás Janota, Nikolaj Bjørner, William Klieber, 2015, LPAR.
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.
Nikolaj Bjørner, Luca Pulina, Armando Tacchella, 2018, SAT.
Nikolaj Bjørner, Leonardo Mendonça de Moura, 2010, IJCAR.
Zohar Manna, Nikolaj Bjørner, Anca Browne, 1995, CP.
Nate Foster, Nikolaj Bjørner, Brighten Godfrey, 2015, Dagstuhl Reports.
Nikolaj Bjørner, Frank S. de Boer, 2018, Acta Informatica.
Nikolaj Bjørner, Arie Gurfinkel, Ori Lahav, 2013, LPAR.
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, 2010, J. Comput. Syst. Sci..
Michael Schapira, Nikolaj Bjørner, Ishai Menache, 2019, SIGCOMM.
Nikolaj Bjørner, Samin Ishtiaq, Josh Berdine, 2013, LPAR.
Nikolaj Bjørner, Margus Veanes, Leonardo Mendonça de Moura, 2010, LPAR.
Nikolaj Bjørner, Tomás E. Uribe, Mark E. Stickel, 1997, CADE.
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, Leonardo Mendonça de Moura, L. D. Moura, 2008, TACAS.
Michael Schapira, Nikolaj Bjørner, Aaron Gember, 2014, PLDI.
Nikolaj Bjørner, Margus Veanes, Ando Saabas, 2008 .
Nikolaj Bjørner, N. Bjørner, 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Nikolaj Bjørner, Leonardo Mendonça de Moura, 2010, WING@ETAPS/IJCAR.
Nikolaj Bjørner, 1999 .
Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.
Nikolaj Bjørner, Margus Veanes, Vijay Ganesh, 2012, SMT@IJCAR.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2009, SC@TOOLS.
Nikolaj Bjørner, Sergio Mera, S. Mera, 2010, Fields of Logic and Computation.
Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein, 2015, TACAS.
Nikolaj Bjørner, Arie Gurfinkel, 2015, VMCAI.
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, 2008, ArXiv.
Nikolaj Bjørner, Ran Gilad-Bachrach, Assaf Schuster, 2011 .
Nikolaj Bjørner, Andrey Rybalchenko, Klaus von Gleissenthall, 2016, PLDI.
Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko, 2013, SAS.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2009, FORMATS.
Christoph Weidenbach, Nikolaj Bjørner, Viorica Sofronie-Stokkermans, 2015, Dagstuhl Reports.
Tobias Nipkow, Christoph Weidenbach, Nikolaj Bjørner, 2013, Dagstuhl Reports.
Helmut Veith, Nikolaj Bjørner, Andrei Voronkov, 2010, Decision Procedures in Software, Hardware and Bioware.
Nikolaj Bjørner, Nik Sultana, Marco Canini, 2017, CCRV.
Nikolaj Bjørner, Margus Veanes, 2015, Ershov Memorial Conference.
Giovanni De Micheli, Mathias Soeken, Nikolaj Bjørner, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.
Nikolaj Bjørner, N. Bjørner, 2012, Haifa Verification Conference.
Nikolaj Bjørner, Karthick Jayaraman, N. Bjørner, 2015, ICDCIT.
Nikolaj Bjørner, Karthick Jayaraman, Charlie Kaufman, 2014 .
Nikolaj Bjørner, 2007, Formal Methods and Hybrid Real-Time Systems.
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2011, ICLP.
Nikolaj Bjørner, David Monniaux, Anh-Dung Phan, 2012, SMT@IJCAR.
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, Leonardo Mendonça de Moura, L. D. Moura, 2014, Tractability.
Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield, 2018, Formal Aspects of Computing.
Nikolaj Bjørner, Markus M. Breunig, Dan Teodosiu, 2001 .
Nikolaj Bjørner, Nina Narodytska, Nina Narodytska, 2015, IJCAI.
Nikolaj Bjørner, Margus Veanes, 2011, International Journal on Software Tools for Technology Transfer.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2011, Commun. ACM.
Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2009, ICTAC.
Nikolaj Bjørner, César A. Muñoz, 2000, RTA.
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, Fields of Logic and Computation II.
Nikolaj Bjørner, Mark C. Pichora, 1998, TACAS.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2007, CADE.
Nikolaj Bjørner, Leonardo Mendonça de Moura, L. D. Moura, 2009, 2009 Formal Methods in Computer-Aided Design.
Nikolaj Bjørner, Shmuel Sagiv, Maria-Cristina V. Marinescu, 2017, GCAI.
Nikolaj Bjørner, Rupak Majumdar, Krishnendu Chatterjee, 2012, Dagstuhl Reports.
Nikolaj Bjørner, Lev Nachmanson, Christoph M. Wintersteiger, 2018, SETSS.
Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko, 2013, SMT@IJCAR.
George Varghese, Nikolaj Bjørner, Gordon D. Plotkin, 2016, POPL.
Nikolaj Bjørner, Shuvendu K. Lahiri, Suresh Thummalapenta, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Nikolaj Bjørner, 2011, APLAS.
Nikolaj Bjørner, Jitendra Padhye, Ashish Bhargava, 2019, SIGCOMM.
George Varghese, Nikolaj Bjørner, Garvit Juniwal, 2016, Haifa Verification Conference.
George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2013 .
Nikolaj Bjørner, Wolfram Schulte, Ethan K. Jackson, 2013 .
Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov, 2009, TACAS.
George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2015, NSDI.
Nikolaj Bjørner, Margus Veanes, N. Bjørner, 2011, Ershov Memorial Conference.
Sergey Bereg, Nikolaj Bjørner, Margus Veanes, 2014, CAV.
Nikolaj Bjørner, Anh-Dung Phan, N. Bjørner, 2014, SCSS.
Nikolaj Bjørner, Krystof Hoder, N. Bjørner, 2012, SAT.
Nikolaj Bjørner, Nikolaj S. Bjørner, 2012, IJCAR.
Nikolaj Bjørner, Andrey Rybalchenko, Chandrasekar Vuppalapati, 2021, CPAIOR.
Nikolaj Bjørner, Margus Veanes, Caleb Stanford, 2021, Artifact Digital Object Group.
Nikolaj Bjørner, Yawei Yin, Sharon Shoham, 2021, SIGCOMM.
Nikolaj Bjørner, Arie Gurfinkel, 2021, Formal Methods Syst. Des..
Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein, 2015 .