1 – 10 of 26
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Towards modeling and improving human-centered code review
- Thesis › Licentiate thesis
- 2024
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Property Probes: Live Exploration of Source Code Analysis
- Thesis › Licentiate thesis
- 2023
-
Mark
Towards the Humanisation of Programming Tool Interactions
- Thesis › Licentiate thesis
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
(2023)
- Thesis › Licentiate thesis
-
Mark
Mutation Testing: Fewer, Faster, and Smarter
(2023)
- Thesis › Doctoral thesis (compilation)
- 2021
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
(2021)
- Thesis › Doctoral thesis (compilation)
- 2019
-
Mark
ComPOS - a development environment for composing internet-of-things services
- Thesis › Licentiate thesis
- 2018
-
Mark
Contributions to Declarative Implementation of Static Program Analysis
- Thesis › Doctoral thesis (compilation)
- 2017
-
Mark
Inverted GUI Development for IoT with Applications in E-Health
(2017)
- Thesis › Doctoral thesis (monograph)
