Department of Computer Science
1 – 50 of 1615
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
A theory of factors affecting continuous experimentation (FACE)
(
- Contribution to journal › Article
-
Mark
Sparse Spatial Shading in Augmented Reality
2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements and software engineering for automotive perception systems : an interview study
2024) In Requirements Engineering(
- Contribution to journal › Article
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
(
- Thesis › Licentiate thesis
-
Mark
Learning with Skill-based Robot Systems : Combining Planning & Knowledge Representation with Reinforcement Learning
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
A C++ Implementation of a Cartesian Impedance Controller for Robotic Manipulators
(
- Contribution to journal › Article
-
Mark
Optimization of the Storage Location Assignment Problem Using Nested Annealing
2024) 11th and 12th International Conferences on Operations Research and Enterprise Systems, ICORES 2022 and 2023 In Communications in Computer and Information Science 1985 CCIS. p.220-244(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mutation testing optimisations using the Clang front-end
(
- Contribution to journal › Article
-
Mark
Perpetual maintenance of machines with different urgency requirements
(
- Contribution to journal › Article
-
Mark
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VR-based Assistance System for Semi-Autonomous Robotic Boats
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
Experimentation in Software Engineering (2024 edition)
2024)(
- Book/Report › Book
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Navigating the Upcoming European Union AI Act
(
- Contribution to journal › Article
-
Mark
Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI)
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.1361-1363(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Toward Gaze-enabled Programming Tool Assistance
2024)(
- Thesis › Licentiate thesis
-
Mark
Experimentation in Early-Stage Video Game Startups : Practices and Challenges
2024) 14th International Conference on Software Business, ICSOB 2023 In Lecture Notes in Business Information Processing 500 LNBIP. p.360-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
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 › Paper, not in proceeding
- 2023
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
-
Mark
Automotive fault nowcasting with machine learning and natural language processing
2023) In Machine Learning(
- Contribution to journal › Article
-
Mark
Reducing the Impact of Bias in Oral Assessments
2023) 2023.(
- 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
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
GANDER : A Platform for Exploration of Gaze-driven Assistance in Code Review
2023) 15th Annual ACM Symposium on Eye Tracking Research and Applications, ETRA 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EasyNER: A Customizable Easy-to-Use Pipeline for Deep Learning- and Dictionary-based Named Entity Recognition from Medical Text
2023)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
On the Challenges of Software Performance Optimization with Statistical Methods
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
(
- Contribution to journal › Article
-
Mark
Object Detector Differences when Using Synthetic and Real Training Data
(
- Contribution to journal › Article
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2023) In International Journal of Foundations of Computer Science(
- Contribution to journal › Article
-
Mark
User-Centric Study and Enhancement of Python Static Code Analysers
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Influencing Code Reading Through Beacons: an Eye-Tracking Study
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SkiROS2: A Skill-Based Robot Control Platform for ROS
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Localizing Unsynchronized Sensors With Unknown Sources
(
- Contribution to journal › Article
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs
2023) 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023(
- Contribution to conference › Other
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
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
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
2023) In Upsala Nya Tidning(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Storage Assignment using Nested Annealing and Hamming Distances
2023) 12th International Conference on Operations Research and Enterprise Systems, ICORES 2023 p.94-105(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
eHealth usage among parents to premature or surgically treated neonates: associations with eHealth literacy, healthcare satisfaction or satisfaction with an eHealth device
(
- Contribution to journal › Article
-
Mark
eHealth as an Aid for Facilitating and Supporting Self-Management in Families with Long-Term Childhood Illness; Development, Evaluation, and Implementation in Clinical Practice
2023) In Clinical Health Promotion - Research and Best Practice for patients, staff and community 13(1).(
- Contribution to journal › Article
-
Mark
Learning to Adapt the Parameters of Behavior Trees and Motion Generators (BTMGs) to Task Variations
2023) IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
2023) 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023 In REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with: SPLASH 2023 p.31-42(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding