| Topics in Theoretical Computer Science |
30. juli 2019 |
|
| Automating Privacy Agreements |
30. juli 2019 |
|
| Designing security protocols using Intel SGX |
30. juli 2019 |
|
| Veryfing the Sainte Lagues algorithm for election management in Norway |
18. okt. 2018 |
|
| ABS modeling language case studies |
25. sep. 2018 |
|
| ABS modeling language standard library of data structures |
25. sep. 2018 |
|
| Visualization of Objects on the Cloud |
25. sep. 2018 |
|
| Symbolic execution framework for parallel object-oriented programs |
25. sep. 2018 |
|
| Verification Tool for Concurrent Software |
24. sep. 2018 |
|
| Executable Modelling of Concurrency Paradigms |
10. sep. 2018 |
|
| Model-based Hadoop YARN Auto-Configuration |
3. sep. 2018 |
|
| HTML5 for InfoInternet |
19. aug. 2018 |
|
| Implementation of an Interpreter for Simulating Self-Adaptive Systems |
14. aug. 2018 |
|
| Artificial Intelligence Platform for Investment Decisions in Nano and Quantum Startups |
30. apr. 2018 |
|
| R3: Random Robust Rust |
8. okt. 2017 |
|
| Privacy violation through improper handling of electronic waste |
5. sep. 2017 |
|
| Working with True Concurrency |
25. aug. 2017 |
|
| Working with Kleene Algebras and related automated tools and methods |
25. aug. 2017 |
|
| Analyzing privacy-enhancing messaging protocol |
23. aug. 2017 |
|
| Trains iSAT |
23. aug. 2017 |
|
| Train travel simulations in design software |
23. aug. 2017 |
|
| Programming IoT with ThingML |
23. aug. 2017 |
|
| Synthesis of railway interlocking controlers |
23. aug. 2017 |
|
| Refactoring at scale |
30. sep. 2016 |
|
| Modelling support for the Go language |
14. sep. 2015 |
|