1. | ALMEIDA, M. P. ; DELGADO, K. V. ; PERES, SARAJANE M. ; FANTINATO, M.. Alignment-based conformance checking for stochastic Petri nets. Kunstliche Intelligenz. 2025. Qualis: Não identificado (KUNSTLICHE INTELLIGENZ) |
2. | ANDREANI, R. ; HAESER, G. ; RAMOS, A. ; SANTOS, D. O. ; SECCHIN, L. D. ; SERRANONI, A.. Strong global convergence properties of algorithms for nonlinear symmetric cone programming. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS. 2025. Qualis: A4 |
3. | SILVA, D. J. ; Miranda, P.A.V. ; ALVES, W. A. ; HASHIMOTO, R. F. ; KOSINKA, J. ; ROERDINK, J. B.. Efficient Maximum Euclidean Distance Transform Computation in Component Trees Using Differential Image Foresting Transform. JOURNAL OF MATHEMATICAL IMAGING AND VISION (DORDRECHT. ONLINE). 2025. Qualis: Não identificado (ONLINE)) |
4. | VALLE, P. H. D.; NAKAGAWA, ELISA YUMI. CIAS: A Catalog of Interoperability Architectural Solutions for Software Systems. JOURNAL OF UNIVERSAL COMPUTER SCIENCE. 2025. Qualis: A3 |