Publications

Publications by HASLab

2018

Qualification offer in EGOV competencies in PALOP-TL

Authors
Silva, JMC; Macías Ramos, LF; Fonte, V;

Publication
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018

Abstract

2018

ReoLive: Analysing Connectors in Your Browser

Authors
Cruz, R; Proença, J;

Publication
STAF Workshops

Abstract

2018

Towards a transactional and analytical data management system for Big Data

Authors
Luis Coelho, FAC;

Publication

Abstract

2018

A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation

Authors
Portela, B;

Publication

Abstract

2018

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage

Authors
Borges, G; Domingos, HJL; Ferreira, B; Leitão, J; Oliveira, T; Portela, B;

Publication
IACR Cryptol. ePrint Arch.

Abstract

2018

GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES

Authors
Hofmann, D; Neves, R; Nora, P;

Publication
THEORY AND APPLICATIONS OF CATEGORIES

Abstract
It is known since the late 1960's that the dual of the category of compact Hausdoroff spaces and continuous maps is a variety - not finitary, but bounded by aleph(1). In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is an aleph(1)-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms on ordered compact spaces. We also characterise the aleph(1)-copresentable partially ordered compact spaces.

CloseRead Abstract