Publications | Lund University Publications

141 – 150 of 1729

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
…
14
15
16
17
…
173
next »

2023
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 Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas ^LU ; De Rezende, Susanna F. ^LU ; Nordstrom, Jakob ^LU ; Pang, Shuo and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F. ^LU ; Potechin, Aaron and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Svensk forskningspolitik måste uppdateras
Werin, Sverker ^LU ; Blackburn, Elizabeth ^LU ; Brenner, Richard ; Curbis, Francesca ^LU ; Ekelöf, Tord ; Johansson, Anders ^LU ; Lindroos, Mats ^LU ; Nylander, Tommy ^LU ; Olvegård, Maja and Paulsson, Kajsa ^LU , et al. (2023) In Upsala Nya Tidning
- Contribution to specialist publication or newspaper › Newspaper article
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 Bounce: a Reliable Bayesian Optimization Algorithm for Combinatorial and Mixed Spaces
Papenmeier, Leonard ^LU ; Nardi, Luigi ^LU and Poloczek, Matthias (2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A data-driven approach for understanding invalid bug reports: An industrial case study
Laiq, Muhammad ; Ali, Nauman Bin ; Börstler, Jürgen and Engström, Emelie ^LU (2023) In Information and Software Technology 164.
- Contribution to journal › Article
Mark ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
Rizwan, Momina ^LU ; Reichenbach, Christoph ^LU and Krueger, Volker ^LU (2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
- Contribution to conference › Abstract
Mark Reducing the Impact of Bias in Oral Assessments
Gerlt, Michael ^LU ; von Platten, Jenny ^LU ; Klöckner, Maike ^LU ; Larsson, Viktor ^LU and Cedervall, Tommy ^LU (2023) 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

« previous
1
…
14
15
16
17
…
173
next »

your query:: Remove department: Department of Computer Science