Department of Computer Science

181 – 190 of 1762

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
…
18
19
20
21
…
177
next »

2023
Mark Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
Berkholz, Christoph and Nordström, Jakob ^LU (2023) In Journal of the ACM 70(5).
- Contribution to journal › Article
Mark Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Mexi, Gioni ; Berthold, Timo ; Gleixner, Ambros and Nordström, Jakob ^LU (2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Initial Case Study Findings for Requirements on Work-Related Health Aspects
Bjarnason, Elizabeth ^LU ; Persson, Johanna ^LU and Rydenfalt, Christofer ^LU (2023) 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 In Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 p.388-396
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Localizing Unsynchronized Sensors With Unknown Sources
Badawy, Dalia El ; Larsson, Viktor ^LU ; Pollefeys, Marc and Dokmanic, Ivan (2023) In IEEE Transactions on Signal Processing 71. p.641-654
- Contribution to journal › Article
Mark Requirements Engineering for Automotive Perception Systems : An Interview Study
Habibullah, Khan Mohammad ; Heyn, Hans Martin ; Gay, Gregory ; Horkoff, Jennifer ; Knauss, Eric ; Borg, Markus ^LU ; Knauss, Alessia ; Sivencrona, Håkan and Li, Jing (2023) 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023 In Lecture Notes in Computer Science 13975 LNCS. p.189-205
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2023) 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, Bart ; Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (2023) In Journal of Artificial Intelligence Research 77. p.1539-1589
- Contribution to journal › Article
Mark EasyNER: A Customizable Easy-to-Use Pipeline for Deep Learning- and Dictionary-based Named Entity Recognition from Medical Text
Ahmed, Rafsan ^LU ; Berntsson, Petter ; Skafte, Alexander ; Kazemi Rashed, Salma ^LU ; Klang, Marcus ^LU ; Barvesten, Adam ; Olde, Ola ; Lindholm, William ; Lamarca Arrizabalaga, Antton and Nugues, Pierre ^LU , et al. (2023)
- Working paper/Preprint › Preprint in preprint archive
Mark Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
Rico, Sergio ^LU (2023)
- Thesis › Doctoral thesis (compilation)
Mark On the Challenges of Software Performance Optimization with Statistical Methods
Couderc, Noric ^LU (2023)
- Thesis › Doctoral thesis (compilation)

« previous
1
…
18
19
20
21
…
177
next »