Department of Computer Science
151 – 160 of 1729
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
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
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Rizwan, Momina LU
; Caldas, Ricardo
; Reichenbach, Christoph
LU
and Mayr, Matthias
LU
(2023)
p.61-68
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
-
Mark
Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks
Mayr, Matthias LU
; Ahmad, Faseeh
LU
; Duerr, Alexander
LU
and Krueger, Volker
LU
(2023)
19th IEEE International Conference on Automation Science and Engineering, CASE 2023
In IEEE International Conference on Automation Science and Engineering
2023-August.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
and Vandesande, Dieter
(2023)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14132 LNAI.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
(2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bettan – Industrial robot and application for Finja Exakt build system
(2023) 40th International Symposium on Automation and Robotics in Construction, ISARC 2023 In Proceedings of the International Symposium on Automation and Robotics in Construction p.86-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding