Bjørner, Nikolaj

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Bjørner, Nikolaj
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
2Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
3Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
4Bjorner-2022-User-Propagation for Custom Theories in SMT Solving-vor.pdf.jpgBjorner, Nikolaj ; Eisenhofer, Clemens ; Kovacs, Laura User-Propagation for Custom Theories in SMT SolvingInproceedings Konferenzbeitrag 14-Aug-2022
5Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
6Humenberger, Andreas ; Bjørner, Nikolaj ; Kovacs, Laura Algebra-Based Loop SynthesisKonferenzbeitrag Inproceedings 2020
7Reger, Giles ; Bjørner, Nikolaj ; Suda, Martin ; Voronkov, Andrei AVATAR Modulo TheoriesKonferenzbeitrag Inproceedings 2016
8Bjørner, Nikolaj ; Kovacs, Laura ForewordArtikel ArticleDec-2012
9Bjørner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)Artikel Article2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bjørner, Nikolaj ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore Rigorous Methods for Smart ContractsReport BerichtApr-2022
2Brandic, Ivona Reducing Energy Consumption by Using CloudsKonferenzbeitrag Inproceedings2014
3Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
4Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
5Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
6Bjørner, Nikolaj ; Kovacs, Laura Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsBuch Book2012
7Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011