Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Jorge Sousa Pinto
Investigador Coordenador
Publicações
Exploring Frama-C Resources by Verifying Space Software
Busquim e Silva, RA;Arai, NN;Burgareli, LA;Parente de Oliveira, JM;Sousa Pinto, J;
2024
Computer Science Foundations and Applied Logic
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
Kniesel, G;Pinto, JS;
2012
RULE
Combining interaction nets with externally defined programs
Fernández, M;Mackie, I;Pinto, JS;
2001
APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
Abal, I;Cunha, A;Hurd, J;Pinto, JS;
2012
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Teses Supervisionadas
Mission supervisor for food factories robots
Telma Alexandra Ribeiro Moreira
M - 2023
UP-FEUP
