Department of Computer Science
101 – 110 of 1720
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Certified MaxSAT Preprocessing
Ihalainen, Hannes ; Oertel, Andy LU
; Tan, Yong Kiam
; Berg, Jeremias
; Järvisalo, Matti
; Myreen, Magnus O.
and Nordström, Jakob
LU
(2024)
12th International Joint Conference, IJCAR 2024
In Lecture Notes in Computer Science
14739.
p.396-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
; Paxian, Tobias
and Vandesande, Dieter
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
In Leibniz International Proceedings in Informatics (LIPIcs)
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob LU ; Oertel, Andy LU
and Sidorov, Konstantin
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
(2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enhancing DevOps with Autonomous Monitors: A Proactive Approach to Failure Detection
Hrusto, Adha LU
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
McCabe, Alan LU ; Björkman, Moa ; Engström, Joel ; Kuang, Peng LU
; Söderberg, Emma
LU
and Church, Luke
LU
(2024)
8th International Conference on the Art, Science, and Engineering of Programming
p.12-21
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Driving Assistance System with Obstacle Avoidance for Electric Wheelchairs
- Contribution to journal › Article
-
Mark
Mapping the Past : Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata
Ahlin, Axel ; Myrne, Alfred and Nugues, Pierre LU
(2024)
Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024
In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings
p.11040-11048
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Do Developers Approach Their First Bug in an Unfamiliar Code Base? : An Exploratory Study of Large Program Comprehension
Bexell, Andreas LU ; Söderberg, Emma LU
; Rydenfält, Christofer
LU
and Eldh, Sigrid
(2024)
35th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2024
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding