Department of Computer Science

41 – 50 of 1720

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/organization/v1000234?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
4
5
6
7
…
172
next »

2024
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
McIlree, Matthew J. ; McCreesh, Ciaran and Nordström, Jakob ^LU (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 MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, Alexander ; Oertel, Andy ^LU ; Gleixner, Ambros and Nordström, Jakob ^LU (2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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 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 Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance : A Survey
Kuang, Peng ^LU ; Söderberg, Emma ^LU and Höst, Martin ^LU (2024) 8th International Conference on on the Art, Science, and Engineering of Programming, Programming Companion 2024 p.108-116
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Quantum Automating TC⁰-Frege Is LWE-Hard
Arteche, Noel ^LU ; Carenini, Gaia and Gray, Matthew (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)

« previous
1
…
4
5
6
7
…
172
next »

Publications

Open access (%)

Authors/Editors

(225)
(131)
(113)
(113)
(100)
(89)
(73)
(73)
(62)
(62)
(60)
(59)
(57)
(54)
(53)
(51)
(45)
(44)
(44)
(42)
(40)
(40)
(33)
(32)
(31)
(31)
(31)
(29)
(29)
(28)
(27)
(27)
(26)
(26)
(25)
(24)
(23)
(22)
(22)
(21)
(20)
(20)
(19)
(17)
(17)
(17)
(17)
(16)
(16)
(15)

your query:: Remove department: Department of Computer Science