equipos actuales : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Antiguos equipo : | ACASA |
Publicaciones ALMASTY | 2023 | 2024 | Total |
---|---|---|---|
Libros | 1 | 0 | 1 |
Libros editados | 0 | 0 | 0 |
Artículos de revistas | 2 | 0 | 2 |
Capítulos de libros | 0 | 0 | 0 |
Documentos de conferencias | 7 | 0 | 7 |
Habilitaciones | 0 | 0 | 0 |
Tesis | 2 | 0 | 2 |
- G. Barthe, Th. Espitau, B. Grégoire, J. Hsu, P.‑Y. Strub : “Proving expected sensitivity of probabilistic programs”, Proceedings of the ACM on Programming Languages, vol. 2 (POPL), pp. 1-29, (ACM) [Barthe 2017a]
- P. Martins, J. Eynard, J.‑C. Bajard, L. Sousa : “Arithmetical Improvement of the Round-Off for Cryptosystems in High-Dimensional Lattices”, IEEE Transactions on Computers, vol. PP (Issue: 99), (Institute of Electrical and Electronics Engineers) [Martins 2017]