Publications | Lund University Publications

31 – 40 of 1713

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/publication?embed=1&q=department+exact+V1000234&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

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

2024
Mark Learning with Skill-based Robot Systems : Combining Planning & Knowledge Representation with Reinforcement Learning
Mayr, Matthias ^LU (2024)
- Thesis › Doctoral thesis (compilation)
Mark A theory of factors affecting continuous experimentation (FACE)
Ros, Rasmus ^LU ; Bjarnason, Elizabeth ^LU and Runeson, Per ^LU (2024) In Empirical Software Engineering 29(1).
- Contribution to journal › Article
Mark Perpetual maintenance of machines with different urgency requirements
Gasieniec, Leszek ; Jurdziński, Tomasz ; Klasing, Ralf ; Levcopoulos, Christos ^LU ; Lingas, Andrzej ^LU ; Min, Jie and Radzik, Tomasz (2024) In Journal of Computer and System Sciences 139.
- Contribution to journal › Article
Mark Mutation testing optimisations using the Clang front-end
Vercammen, Sten ^LU ; Demeyer, Serge ^LU ; Borg, Markus ^LU ; Pettersson, Niklas and Hedin, Görel ^LU (2024) In Software Testing Verification and Reliability 34(1).
- Contribution to journal › Article
Mark Navigating the upcoming European Union AI act
Wagner, Matthias ^LU ; Borg, Markus ^LU and Runeson, Per ^LU (2024) In IEEE Software 41(1). p.19-24
- Contribution to journal › Article
Mark Increasing, not Diminishing : Investigating the Returns of Highly Maintainable Code
Borg, Markus ^LU ; Pruvost, Ilyana ; Mones, Enys and Tornhill, Adam (2024) 7th ACM/IEEE International Conference on Technical Debt, TechDebt 2024, co-located with the International Conference on Software Engineering, ICSE 2024 p.21-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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

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

your query:: Remove department: Department of Computer Science