Skip to content. | Skip to navigation
Highly Scalable Transactional Multi-Tier PaaS
Read More…
Open Replication of Databases
Computer aided cryptographic engineering
An Infrastructure for Certification and Re-engineering of Open Source Software
Spreadsheets as a programming paradigm
Secure memories and applications related technologies
Causality Tracking for Optimistic Replication in Dynamic Distributed Systems
HASLab +351 22 209 4000
Forgot your password?
