Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alexandre Castro Madeira
Investigador
Publicações
idDL2DL – Interval Syntax to $$d\mathcal {L}$$
Santos, J;Figueiredo, D;Madeira, A;
2023
Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science
idDL2DL - Interval Syntax to dL
Santos, J;Figueiredo, D;Madeira, A;
2023
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Madeira, A;Martins, MA;
2023
WADT
Structured Specification of Paraconsistent Transition Systems
Cunha, J;Madeira, A;Barbosa, LS;
2023
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Teses Orientadas
Segmentation of vascular networks in 3D medical data: a domain adaptation and topology-aware approach
RICARDO MIGUEL SILVA FERREIRA
D - 2023
UP-FEUP
