Department of Computer Science
161 – 170 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
KRW Composition Theorems via Lifting
Rezende, Susanna F.de LU
; Meir, Or
; Nordström, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(2024)
In Computational Complexity
33(1).
- Contribution to journal › Article
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
Yaman, Ilayda LU ; Tian, Guoda LU ; Larsson, Martin LU
; Persson, Patrik
LU
; Sandra, Michiel
LU
; Dürr, Alexander
LU
; Tegler, Erik
LU
; Challa, Nikhil
; Garde, Henrik
LU
and Tufvesson, Fredrik
LU
, et al.
(2024)
2024 IEEE International Conference on Robotics and Automation, ICRA 2024
p.11920-11926
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof Logging for the Circuit Constraint
(2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- 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
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
Towards the exact complexity of realizability for Safety LTL
- Contribution to journal › Article
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Heander, Lo LU
; Söderberg, Emma
LU
and Rydenfält, Christofer
LU
(2024)
10th Edition of the Programming Experience Workshop, PX/24
p.57-67
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Poster: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Heander, Lo LU
; Söderberg, Emma
LU
and Rydenfält, Christofer
LU
(2024)
10th Edition of the Programming Experience Workshop, PX/24
- Contribution to conference › Poster
-
Mark
Continuous quality assurance and ML pipelines under the AI Act
Wagner, Matthias LU
(2024)
3rd International Conference on AI Engineering, CAIN 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024
In Proceedings - 2024 IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI, CAIN 2024
p.247-249
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding