Publications | Lund University Publications

101 – 110 of 1758

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
…
10
11
12
13
…
176
next »

2024
Mark Storage Assignment Using Nested Metropolis Sampling and Approximations of Order Batching Travel Costs
Oxenstierna, Johan ^LU ; Malec, Jacek ^LU and Krueger, Volker ^LU (2024) In SN Computer Science 5(5).
- Contribution to journal › Article
Mark VR-based Assistance System for Semi-Autonomous Robotic Boats
Reitmann, Stefan ^LU and Jung, Bernhard (2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.877-881
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Revisiting the construct and assessment of industrial relevance in software engineering research within
Petersen, Kai ; Börstler, Jürgen ; bin Ali, Nauman and Engström, Emelie ^LU (2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 p.17-20
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Industrial adoption of machine learning techniques for early identification of invalid bug reports
Laiq, Muhammad ; bin Ali, Nauman ; Börstler, Jürgen and Engström, Emelie ^LU (2024) In Empirical Software Engineering 29(5).
- Contribution to journal › Article
Mark Hardware and Software Generation from Large Actor Machines in Streaming Applications
Callanan, Gareth ^LU and Gruian, Flavius ^LU (2024) 39th ACM/SIGAPP Symposium on Applied Computing, SAC '24 p.142-150
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Towards the exact complexity of realizability for Safety LTL
Arteche, Noel ^LU and Hermo, Montserrat (2024) In Journal of Logical and Algebraic Methods in Programming 141.
- 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
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
…
10
11
12
13
…
176
next »

your query:: Remove department: Department of Computer Science