Follow USI
This section presents a series of quick links to useful information on the main channels and instruments to follow USI and its activities:
This section presents a series of quick links to useful information on the main channels and instruments to follow USI and its activities:
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