Publications

Export 10 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [Show ALL]
O
Gonçalves, Sara, Hugo Lourenço, and Sérgio Silva Otimização automática de aplicações web usando templates client-side. INForum 2014 - Actas do 6º Simpósio de Informática., 2014.
C
Seco, João Costa, Paulo Ferreira, and Hugo Lourenço A common data manipulation language for nested data in heterogeneous environments.. 15th International Symposium on Database Programming Languages (DBPL'15). Pittsburgh, 2015.dbpl_2015.pdf
Lourenço, Luís Miguel, João Costa Seco, and Francisco Martins Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.
D
Dias, Ricardo J., João M. Lourenço, and João Costa Seco Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach. Departamento de Informática FCT/UNL, 2010.
L
Grácio, Bruno, João Costa Seco, and Hugo Lourenço Linguagem de manipulação de dados para NoSQL. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.
Lourenço, Luís, and João Costa Seco Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. INForum 2011. Coimbra, 2011.
N
Seco, João Costa, Paulo Ferreira, and Hugo Lourenço Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version. Universidade Nova de Lisboa, 2016.tech-report.pdf
S
Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho, 2010.
Dias, Ricardo J., Dino Distefano, João M. Lourenço, and João Costa Seco StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. Departamento de Informática FCT/UNL, 2010.
V
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.