Data | Título | Autor(es) | Tipo | Acesso |
2010 | Assessment of a enhanced ResultSet component for accessing relational databases | Pereira, Óscar M.; Aguiar, Rui L.; Santos, Maribel Yasmina | Artigo em ata de conferência | Acesso aberto |
2015 | Concurrency detection on finish-to-start activity precedence networks | Moutinho, Rui; Tereso, Anabela Pereira | Artigo em ata de conferência | Acesso aberto |
Jun-2013 | A Concurrent Tuple Set Architecture for Call Level Interfaces | Pereira, Óscar M.; Aguiar, Rui L.; Santos, Maribel Yasmina | Capítulo de livro | Acesso aberto |
Set-2013 | CTSA : Concurrent Tuple Set Architecture Extending Concurrency to Call Level Interfaces | Pereira, Óscar Mortágua; Aguiar, Rui L.; Santos, Maribel Yasmina | Artigo | Acesso restrito UMinho |
2009 | A fibration category of local pospaces | Kahl, Thomas | Artigo | Acesso aberto |
22-Dez-2020 | High performance data processing | Faria, Nuno Filipe Pinto | Dissertação de mestrado | Acesso aberto |
30-Dez-2019 | Integration of time in a quantum process algebra | Fernandes, Vítor Emanuel Gonçalves | Dissertação de mestrado | Acesso aberto |
23-Mai-2006 | Relative directed homotopy theory of partially ordered spaces | Kahl, Thomas | Artigo | Acesso aberto |