List of Decisions
09
09.
04.
2020
04.
2020
April
2020
2020
19
19.
03.
2020
03.
2020
March
2020
2020
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Faculty of EconomicsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics