Department of Computer Science
1 – 20 of 1650
- show: 20
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Poster: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024) 10th Edition of the Programming Experience Workshop, PX/24(
- Contribution to conference › Poster
-
Mark
Continuous Quality Assurance and ML Pipelines under the AI Act
2024) 3rd International Conference on AI Engineering, CAIN 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024 In Proceedings - 2024 IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI, CAIN 2024 p.247-249(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Video Intro: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024)(
- Non-textual form › Other
-
Mark
Proof Logging for the Circuit Constraint
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 Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Succinct Opacity Micromaps
2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).(
- Contribution to journal › Article
-
Mark
Inter-organizational Data Sharing Processes – an exploratory analysis of incentives and challenges
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
2024) 2024 IEEE International Conference on Robotics and Automation, ICRA 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adopting automated bug assignment in practice — a longitudinal case study at Ericsson
(
- Contribution to journal › Article
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
A C++ Implementation of a Cartesian Impedance Controller for Robotic Manipulators
(
- Contribution to journal › Article
-
Mark
How Do Developers Approach Their First Bug in an Unfamiliar Code Base? : An Exploratory Study of Large Program Comprehension
2024) 35th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
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
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
-
Mark
Mapping the Past : Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata
2024) Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings p.11040-11048(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language Processing
2024) p.98-104(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sammanfattning litteraturstudie : Öppna data-ekosystem inom logistik
2024)(
- Book/Report › Report
-
Mark
Experiences from conducting rapid reviews in collaboration with practitioners — Two industrial cases
(
- Contribution to journal › Article