Publications
Publicações

Publications

C.Q.D. - Revista Eletrônica Paulista de Matemática | 2023

Renata Vieira

Milena Mangueira

Francisco Alves

BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS | 2023

Milena Mangueira

Renata Vieira

Alves Alves

Roger Sousa

Geoscience Communication | 2023

Joana Rodrigues

Elsa Costa e Silva

D. I. Pereira

Elsa Costa e Silva

Diamantino Insua Pereira

Journal of Logical and Algebraic Methods in Programming | 2023

Maria Frade

Luís Pinto

Jornadas do ICT | 2023

Joana Rodrigues

Elsa Silva

Diamantino Pereira

XXVI congresso SPE2023 | 2023

C. Almeida

Corresponding Castro

Boletim GEPEM | 2023

Renata Vieira

Milena Mangueira

Francisco Alves

Journal of New Theory | 2023

Orhan DIŞKAYA

Hamza MENKEN

Jornadas do ICT | 2023

Joana Rodrigues

Elsa Costa e Silva

Diamantino Pereira

8th International Conference on Formal Structures for Computation and Deduction | 2023
XXVI congresso SPE2023 | 2023

C. Almeida

C.. Corresponding author: Castro

Multimedia Tools and Applications | 2023

Newton Spolaôr

Huei Lee

Ana Mendes

Antonio Parmezan

Weber Takaki

Claudio Coy