| Data | Título | Autor(es) | Tipo | Acesso |
| Out-2019 | Combining advantages from parameters in modeling and control of discrete event systems | Southier, Luiz F. P.; Mazzetto, Muriel; Casanova, Dalcimar, et al. | Artigo em ata de conferência | Acesso aberto |
| 4-Jul-2013 | ETL standard processes modelling: a novel BPMN approach | Oliveira, Bruno; Belo, O. | Artigo em ata de conferência | Acesso restrito UMinho |
| 2021 | Gluing orbit property and partial hyperbolicity | Bomfim, Thiago; Torres, M. J.; Varandas, Paulo | Artigo | Acesso aberto |
| 2020 | Hyperbolicity through stable shadowing for generic geodesic flows | Bessa, Mário; Dias, João Lopes; Torres, M. J. | Artigo | Acesso aberto |
| Dez-2006 | Integration of DFDs into a UML - based model-driven engineering approach | Fernandes, João M.; Lilius, Johan; Truscan, Dragos | Artigo | Acesso aberto |
| 2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Artigo | Acesso aberto |
| 6-Mai-2022 | Meta data migrator | Barbosa, Carlos Miguel Lopes Sá | Dissertação de mestrado | Acesso aberto |
| 13-Mai-2021 | Specification of glazings for façades based on spectrophotometric characterization of transmittance | Sacht, Helenice Maria; Bragança, L.; Almeida, Manuela Guedes de, et al. | Artigo | Acesso aberto |
| Jul-2005 | Specification of requirements models | Machado, Ricardo J.; Ramos, Isabel; Fernandes, João M. | Capítulo de livro | Acesso aberto |
| 2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al. | Artigo em ata de conferência | Acesso aberto |
