Bjorner, Nikolaj

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Bjorner, Nikolaj
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjorner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
2Bjorner, Nikolaj ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore Dagstuhl Reports, Volume 11, Issue 9Report BerichtApr-2022
3Humenberger, Andreas ; Bjorner, Nikolaj ; Kovacs, Laura ; Dongol, Brijesh ; Troubitsyna, Elena Algebra-Based Loop SynthesisKonferenzbeitrag Inproceedings 2020
4Reger, Giles ; Bjorner, Nikolaj ; Suda, Martin ; Voronkov, Andrei AVATAR Modulo TheoriesKonferenzbeitrag Inproceedings 2016
5Bjorner, Nikolaj ; Kovacs, Laura Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsArtikel Article2012
6Bjorner, 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-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bjorner, Nikolaj ; Kovacs, Laura Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsBuch Book2012
2Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura ; Bjorner, Nikolaj ; Voronkov, Andrei r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
3Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
4Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen ; Bjorner, Nikolaj ; Voronkov, Andrei Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
5Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei ; Bjorner, Nikolaj ; Sofronie-Stokkermans, Viorica On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011