1 – 10 of 12
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Randomly generating execution plans for bug detection in Neo4j
(
- Master (Two yrs)
-
Mark
Development of a Tenant Configuration Application
(
- Bach. Degree
- 2023
-
Mark
Study of bug detection tools on Ethereum smart contracts
(
- Master (Two yrs)
-
Mark
Random Generation of Semantically Valid Cypher Queries
(
- Master (Two yrs)
- 2022
-
Mark
Improving Tearing in a Modelica Compiler
(
- Master (Two yrs)
- 2020
-
Mark
Type Inference in PHP using Deep Learning
(
- Master (Two yrs)
- 2018
-
Mark
Improved precision and verification for test selection in Modelica
(
- Prof. qual. >4 yrs
-
Mark
Web-based Tree Editor for JastAdd Compilers
(
- Prof. qual. >4 yrs
- 2017
-
Mark
Maintaining Source Origin in a Modelica Compiler
(
- Prof. qual. >4 yrs
- 2016
-
Mark
Units of Measurement in a Modelica Compiler
(
- Prof. qual. >4 yrs