Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Hugo Pereira Pacheco
Investigador Sénior
Publicações
Delta Lenses over Inductive Types
Pacheco, H;Cunha, A;Hu, Z;
2012
ECEASST
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
Macedo, N;Pacheco, H;Cunha, A;
2012
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
Pacheco, H;Cunha, A;
2012
Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Algebraic Specialization of Generic Functions for Recursive Types
Cunha, A;Pacheco, H;
2011
Electr. Notes Theor. Comput. Sci.
Teses Orientadas
Análise e Mecanismos de Prevenção de Web Scraping
Maria João Gonçalves Pereira
M - 2021
UP-FCUP
Secure Over-the-Air Vehicle Updates using Trusted Execution Environments (TEE)
Augusto César Pereira Henriques
M - 2022
UP-FCUP
Secure In-Vehicle Storage
José Pedro Martins Moreira Teixeira de Sousa
M - 2022
UP-FCUP
Security Testing of Web APIs
Gonçalo André Carneiro Teixeira
M - 2023
UP-FEUP
