João Costa Seco
Professor Auxiliar, Departamento de Informática
Departamento de Informática, Faculdade de Ciências e Tecnologia, 2829-526 Caparica
(email)
Publications
Bio
Classes
Projects
Students
Publications
Export 1 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2012
Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço
Verification of Snapshot Isolation in Transactional Memory Java Programs
. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.
Enter your keywords:
Recent Publications
Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version
Otimização automática de aplicações web usando templates client-side
Sistema de Runtime para uma Linguagem Web Reativa
Linguagem de manipulação de dados para NoSQL
Type Safe Evolution of Live Systems
A common data manipulation language for nested data in heterogeneous environments.
more