Publicacoes - INESC TEC

Publicações

Publicações por HASLab

2018

Qualification offer in EGOV competencies in PALOP-TL

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

Publicação
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

Autores
Cruz, R; Proença, J;

Publicação
STAF Workshops

Abstract

2018

Towards a transactional and analytical data management system for Big Data

Autores
Luis Coelho, FAC;

Publicação

Abstract

2018

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

Autores
Portela, B;

Publicação

Abstract

2018

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

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

Publicação
IACR Cryptol. ePrint Arch.

Abstract

2018

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

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

Publicação
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.

FecharLer Abstract