2024
Authors
Alves, S; Cockx, J;
Publication
TyDe@ICFP
Abstract
2015
Authors
Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS
Abstract
2018
Authors
Alves S.; Wasserman R.;
Publication
Electronic Notes in Theoretical Computer Science
Abstract
2019
Authors
Alves S.; Pagani M.;
Publication
Electronic Proceedings in Theoretical Computer Science Eptcs
Abstract
2019
Authors
Alves S.;
Publication
Electronic Proceedings in Theoretical Computer Science Eptcs
Abstract
2023
Authors
Fernandez, M; Alves, S;
Publication
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.