| Usable Privacy in Certifications |
5. sep. 2020 |
|
| Human-Computer Interaction and Privacy |
5. sep. 2020 |
|
| Human Biases and Privacy |
5. sep. 2020 |
|
| Software programming and Biases transfers |
5. sep. 2020 |
|
| Software Agents for Rights Negotiation and Configuration in a Distributed Environment |
4. mars 2020 |
|
| Topics in Theoretical Computer Science |
30. juli 2019 |
|
| Designing security protocols using Intel SGX |
30. juli 2019 |
|
| 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 |
|
| 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 |
|
| Working with True Concurrency |
25. aug. 2017 |
|
| Working with Kleene Algebras and related automated tools and methods |
25. aug. 2017 |
|
| Refactoring at scale |
30. sep. 2016 |
|
| Modelling support for the Go language |
14. sep. 2015 |
|
| Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude |
16. sep. 2014 |
|