| Issue Date | Title | Author(s) | Type | Access |
| Oct-2019 | Combining advantages from parameters in modeling and control of discrete event systems | Southier, Luiz F. P.; Mazzetto, Muriel; Casanova, Dalcimar, et al. | Conference paper | Open access |
| 4-Jul-2013 | ETL standard processes modelling: a novel BPMN approach | Oliveira, Bruno; Belo, O. | Conference paper | Restricted access (UMinho) |
| 2021 | Gluing orbit property and partial hyperbolicity | Bomfim, Thiago; Torres, M. J.; Varandas, Paulo | Article | Open access |
| 2020 | Hyperbolicity through stable shadowing for generic geodesic flows | Bessa, Mário; Dias, João Lopes; Torres, M. J. | Article | Open access |
| Dec-2006 | Integration of DFDs into a UML - based model-driven engineering approach | Fernandes, João M.; Lilius, Johan; Truscan, Dragos | Article | Open access |
| 2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Article | Open access |
| 6-May-2022 | Meta data migrator | Barbosa, Carlos Miguel Lopes Sá | Master thesis | Open access |
| 13-May-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. | Article | Open access |
| Jul-2005 | Specification of requirements models | Machado, Ricardo J.; Ramos, Isabel; Fernandes, João M. | Book part | Open access |
| 2021 | Towards a specification theory for fuzzy modal logic | Jain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al. | Conference paper | Open access |
