The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nikolaj Bjørner" ( http://dblp.L3S.de/Authors/Nikolaj_Bjørner )

URL (Homepage):  http://research.microsoft.com/en-us/people/nbjorner/  Author page on DBLP  Author page in RDF  Community of Nikolaj Bjørner in ASPL-2

Publication years (Num. hits)
1995-2008 (20) 2009-2010 (21) 2011-2012 (27) 2013-2014 (18) 2015 (16) 2016-2018 (21) 2019 (5)
Publication types (Num. hits)
article(30) incollection(2) inproceedings(87) proceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 129 publication records. Showing 128 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sébastien Bardin, Nikolaj Bjørner, Cristian Cadar Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Selsam, Nikolaj Bjørner NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli Reversible Pebbling Game for Quantum Memory Management. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli Reversible Pebbling Game for Quantum Memory Management. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Selsam, Nikolaj Bjørner Guiding High-Performance SAT Solvers with Unsat-Core Predictions. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Nikolaj Bjørner Preface for the special issue "FM15". Search on Bibsonomy Acta Inf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Arie Gurfinkel (eds.) 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  BibTeX  RDF
1Nikolaj Bjørner Z3 and SMT in Industrial R&D. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger Programming Z3. Search on Bibsonomy SETSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv Core-Guided Minimal Correction Set and Core Enumeration. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham Property-Directed Inference of Universal Invariants or Proving Their Absence. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg Monadic Decomposition. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Marco Canini, Nik Sultana Report on Networking and Programming Languages 2017. Search on Bibsonomy Computer Communication Review The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv Abduction for Learning Smart City Rules. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese Correct by Construction Networks Using Stepwise Refinement. Search on Bibsonomy NSDI The full citation details ... 2017 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf Abduction by Non-Experts. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1August Shi, Suresh Thummalapenta, Shuvendu K. Lahiri, Nikolaj Bjørner, Jacek Czerwonka Optimizing test placement for module-level regression testing. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giles Reger, Nikolaj Bjørner, Martin Suda 0001, Andrei Voronkov AVATAR Modulo Theories. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese Scaling network verification using symmetry and surgery. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese ddNF: An Efficient Data Structure for Header Spaces. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Klaus von Gleissenthall, Nikolaj Bjørner, Andrey Rybalchenko Cardinalities and universal quantifiers for verifying parameterized systems. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.) Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings Search on Bibsonomy ICDCIT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner SMT Solvers: Foundations and Applications. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Symbolic tree automata. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave Formal Foundations for Networking (Dagstuhl Seminar 15071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anvesh Komuravelli, Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, Andrey Rybalchenko Horn Clause Solvers for Program Verification. Search on Bibsonomy Fields of Logic and Computation II The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese Checking Beliefs in Dynamic Networks. Search on Bibsonomy NSDI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Arie Gurfinkel Property Directed Polyhedral Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anvesh Komuravelli, Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein νZ - An Optimizing SMT Solver. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham Property-Directed Inference of Universal Invariants or Proving Their Absence. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Mikolás Janota Playing with Quantified Satisfaction. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Mikolás Janota, William Klieber On Conflicts and Strategies in QBF. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Frank S. de Boer (eds.) FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Karthick Jayaraman Checking Cloud Contracts in Microsoft Azure. Search on Bibsonomy ICDCIT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Equivalence of Finite-Valued Symbolic Finite Transducers. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Nina Narodytska Maximum Satisfiability Using Cores and Correction Sets. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni (eds.) Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Leonardo Mendonça de Moura Tractability and Modern Satisfiability Modulo Theories Solvers. Search on Bibsonomy Tractability The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Anh-Dung Phan νZ - Maximal Satisfaction with Z3. Search on Bibsonomy SCSS The full citation details ... 2014 DBLP  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg Monadic Decomposition. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur Property-Directed Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Nikolaj Bjørner Computing All Implied Equalities via SMT-Based Partition Refinement. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky VeriCon: towards verifying controller programs in software-defined networks. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Willem Visser, Nikolaj Bjørner, Natarajan Shankar Software engineering and automated deduction. Search on Bibsonomy FOSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach Deduction and Arithmetic (Dagstuhl Seminar 13411). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Viorica Sofronie-Stokkermans Preface: Special Issue of Selected Extended Papers of CADE-23. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner Satisfiability modulo theories for high integrity development. Search on Bibsonomy HILT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ayanna Howard, David Johnson, Cristina Conati, Frederick W. Chen, Nikolaj Bjørner Invited Talk Abstracts. Search on Bibsonomy FLAIRS Conference The full citation details ... 2013 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko On Solving Universally Quantified Horn Clauses. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav Instantiations, Zippers and EPR Interpolation. Search on Bibsonomy LPAR (short papers) The full citation details ... 2013 DBLP  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg Effectively Monadic Predicates. Search on Bibsonomy LPAR (short papers) The full citation details ... 2013 DBLP  BibTeX  RDF
1Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger Resourceful Reachability as HORN-LA. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 Search on Bibsonomy SYNASC The full citation details ... 2013 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Laura Kovács Foreword. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Alternating simulation and IOCO. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. Search on Bibsonomy SPIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Guido de Caso, Yuri Gurevich From Primal Infon Logic with Individual Variables to Datalog. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner Detecting Specification Errors in Declarative Languages with Constraints. Search on Bibsonomy MoDELS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Moshe Gabel, Assaf Schuster, Ran Gilad-Bachrach, Nikolaj Bjørner Latent fault detection in large scale services. Search on Bibsonomy DSN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner Symbolic finite state transducers: algorithms and applications. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Symbolic Automata: The Toolkit. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner Engineering Theories with Z3. Search on Bibsonomy IWIL@LPAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nikolaj Bjørner SMT in Verification, Modeling, and Testing at Microsoft. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes SMT-LIB Sequences and Regular Expressions. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nikolaj Bjørner Taking Satisfiability to the Next Level with Z3 - (Abstract). Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov, Laura Kovács, Nikolaj Bjørner (eds.) Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010 Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Anh-Dung Phan, Nikolaj Bjørner, David Monniaux Anatomy of Alternating Quantifier Satisfiability (Work in progress). Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko Program Verification as Satisfiability Modulo Theories. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krystof Hoder, Nikolaj Bjørner Generalized Property Directed Reachability. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Nikolaj Bjørner Satisfiability modulo theories: introduction and applications. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Foundations of Finite Symbolic Tree Transducers. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Nikolaj Bjørner Engineering Theories with Z3. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner Engineering Theories with Z3. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura μZ- An Efficient Engine for Fixed Points with Constraints. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte Canonical Regular Types. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.) Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Symbolic Tree Transducers. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Andreas Blass, Yuri Gurevich Content-dependent chunking for differential compression, the local maximum approach. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergio Mera, Nikolaj Bjørner DKAL and Z3: A Logic Embedding Experiment. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov (eds.) Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010 Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Search on Bibsonomy Decision Procedures in Software, Hardware and Bioware The full citation details ... 2010 DBLP  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura Symbolic Automata Constraint Solving. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Alternating Simulation and IOCO. Search on Bibsonomy ICTSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Nikolaj Bjørner Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner Linear Quantifier Elimination as an Abstract Decision Procedure. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Nikolaj Bjørner Applications and Challenges in Satisfiability Modulo Theories. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte Symbolic Bounded Model Checking of Abstract State Machines. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2009 DBLP  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner Input-Output Model Programs. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 128 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license