List of Decisions
26
26.
10.
2023
10.
2023
October
2023
2023
16
16.
03.
2023
03.
2023
March
2023
2023
02
02.
03.
2023
03.
2023
March
2023
2023
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