Home / Università / Info / Alumni / Ritratti di Alumni / USI Career Stories / Career Stories per Cognomi
/ Garcia Lecuona
CTL* Verification and Synthesis using Existential Horn Clauses
Facoltà di scienze informaticheIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Facoltà di scienze economicheInteraction Substitution for Mobile Games Accessibility and Exergaming
Facoltà di scienze informatiche