Department of Computer Science
191 – 200 of 1788
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
- Contribution to journal › Article
-
Mark
Industry-academia collaboration for realism in software engineering research : Insights and recommendations
- Contribution to journal › Article
-
Mark
Critical scenario identification for realistic testing of autonomous driving systems
- Contribution to journal › Article
-
Mark
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
(2023) p.111-120
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Performance Analysis with Bayesian Inference
(2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
- 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
(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
(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
-
Mark
Initial Case Study Findings for Requirements on Work-Related Health Aspects
(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
