| Data | Título | Autor(es) | Tipo | Acesso |
| 1998 | Algebraic specification of documents | Ramalho, José Carlos; Almeida, J. J.; Henriques, Pedro Rangel | Artigo | Acesso aberto |
| 2003 | Biinfinite words with maximal recurrent unbordered factors | Costa, José Carlos | Artigo | Acesso aberto |
| 2006 | Components as coalgebras : the refinement dimension | Barbosa, L. S.; Sun Meng | Artigo | Acesso aberto |
| Out-2018 | Languages and models for hybrid automata: A coalgebraic perspective | Neves, Renato Jorge Araújo; Barbosa, L. S. | 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 |
| 2011 | A note on preservation of strong normalisation in the lambda-calculus | Espírito Santo, José | Artigo | Acesso aberto |
| 2008 | On bases of identities for the ω-variety generated by locally testable semigroups | Costa, José Carlos; Nogueira, Conceição | Artigo | Acesso aberto |
| 31-Out-2022 | On symmetric higher-dimensional automata and bisimilarity | Kahl, Thomas | Artigo | Acesso aberto |
| 1999 | Permutability of proofs in intuitionistic sequent calculi | Pinto, Luís F.; Dyckhoff, Roy | Artigo | Acesso aberto |
| 2016 | Topological abstraction of higher-dimensional automata | Kahl, Thomas | Artigo | Acesso restrito UMinho |
| 2006 | Transposing partial components: an exercise on coalgebraic refinement | Oliveira, José Nuno Fonseca; Barbosa, L. S. | Artigo | Acesso aberto |
| 2014 | Weak morphisms of higher dimensional automata | Kahl, Thomas | Artigo | Acesso restrito UMinho |
