List of Decisions
27
27.
10.
2022
10.
2022
October
2022
2022
31
31.
03.
2022
03.
2022
March
2022
2022
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