Nikolaj S. Bjørner

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Laura Kovács

> Home > Persons > Nikolaj S. Bjørner

Publications

2024
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RathEKBK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RathEKBK24
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács:
PolySAT: Word-level Bit-vector Reasoning in Z3. VSTTE 2024: 47-69
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-04696
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-04696
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács:
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR abs/2406.04696 (2024)
2023
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BjornerEK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BjornerEK23
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Satisfiability Modulo Custom Theories in Z3. VMCAI 2023: 91-105
2022
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HumenbergerABK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HumenbergerABK22
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. Formal Aspects Comput. 34(1): 1-31 (2022)
[c98]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/smt/BjornerEK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/BjornerEK22
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
User-Propagators for Custom Theories in SMT Solving. SMT 2022: 71-79
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-11495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-11495
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. CoRR abs/2206.11495 (2022)
2020
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HumenbergerBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HumenbergerBK20
Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Loop Synthesis. IFM 2020: 440-459
2012
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BjornerK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BjornerK12
Nikolaj S. Bjørner, Laura Kovács:
Foreword. J. Symb. Comput. 47(12): 1413-1415 (2012)
[e4]
- view
- export record
  dblp key:
  - conf/cade/2010wing
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2010wing
Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner:
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. EPiC Series in Computing 1, EasyChair 2012 [contents]
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BjornerCKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BjornerCKM12
Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar:
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports 2(11): 45-65 (2012)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.