1 – 10 of 118
- show: 10
- |
- sort: year (new to old)
- |
- Export
- 2024
-
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
(2024)
In Licentiate thesis
2024(1).
- Thesis › Licentiate thesis
-
Learning with Skill-based Robot Systems : Combining Planning & Knowledge Representation with Reinforcement Learning
(2024)
- Thesis › Doctoral thesis (compilation)
-
Toward Gaze-enabled Programming Tool Assistance
(2024)
- Thesis › Licentiate thesis
- 2023
-
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
(2023)
- Thesis › Licentiate thesis
-
Mutation Testing: Fewer, Faster, and Smarter
(2023)
- Thesis › Doctoral thesis (compilation)
-
Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
(2023)
- Thesis › Doctoral thesis (compilation)
-
On the Challenges of Software Performance Optimization with Statistical Methods
(2023)
- Thesis › Doctoral thesis (compilation)
-
Towards the Humanisation of Programming Tool Interactions
(2023)
In Licentiate thesis
2023(2).
- Thesis › Licentiate thesis
- 2022
-
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
(2022)
- Thesis › Doctoral thesis (compilation)
-
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(2022)
In Dissertation
67.
- Thesis › Doctoral thesis (compilation)