Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
A NEW GEOGRAPHIC CONTEXT MEASURE TO SIMILARITY ASSESSMENT BASED ON THE SHAPE CONTEXT DESCRIPTORXavier, E. M. A. ; Ureña-Cámara, M. A. ; Ariza-López, F. J.International archives of the photogrammetry, remote sensing and spatial information sciences., 2020, Vol.XLIII-B4-2020, p.513-517 [Periódico revisado por pares]Gottingen: Copernicus GmbHTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Relational Verification Through Horn Clause TransformationDe Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto ; Proietti, Maurizio Rival, XavierStatic Analysis, p.147-169 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-LimitingTan, Tian ; Li, Yue ; Xue, Jingling Rival, XavierStatic Analysis, p.489-510 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Cell Morphing: From Array Programs to Array-Free Horn ClausesMonniaux, David ; Gonnord, Laure Rival, XavierStatic Analysis, p.361-382 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
The Julia Static Analyzer for JavaSpoto, Fausto Rival, XavierStatic Analysis, p.39-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Validating Numerical Semidefinite Programming Solvers for Polynomial InvariantsRoux, Pierre ; Voronin, Yuen-Lam ; Sankaranarayanan, Sriram Rival, XavierStatic Analysis, p.424-446 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Large Scale, Actively Secure Computation from LPN and Free-XOR Garbled CircuitsBen-Efraim, Aner ; Cong, Kelong ; Omri, Eran ; Orsini, Emmanuela ; Smart, Nigel P ; Soria-Vazquez, Eduardo Standaert, François-Xavier ; Canteaut, AnneAdvances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III, 2021, Vol.12698, p.33-63 [Periódico revisado por pares]SpringerTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Quantitative Monitor AutomataChatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan Rival, XavierStatic Analysis, p.23-38 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Securing a Compiler TransformationDeng, Chaoqiang ; Namjoshi, Kedar S. Rival, XavierStatic Analysis, p.170-188 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVMMenendez, David ; Nagarakatte, Santosh ; Gupta, Aarti Rival, XavierStatic Analysis, p.317-337 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |