1 – 10 of 24
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 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
Mutation Testing: Fewer, Faster, and Smarter
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
-
Mark
Towards the Humanisation of Programming Tool Interactions
(
- Thesis › Licentiate thesis
- 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)
- 2016
-
Mark
Networking Media Abstraction, Device Discovery, and Routing for the Pervasive Middleware PalCom
2016)(
- Thesis › Doctoral thesis (compilation)