Publications

Export 5 results:
Sort by: [ Author (Asc)] Title 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]
D
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.
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.
F
Ferrão, Lúcio Emanuel Represas, Seco João Ricardo Viegas Da Costa, Caires Luis Manuel Marques Da Costa, Caleira Borrêga, Gonçalo Filipe Xavier, António Augusto Vieira Melo, and OutSystems-Software em Rede SA SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL., 2013. Abstract

n/a

M
Mateus, João, Miguel Domingues, and João Costa Seco Sistema de Runtime para uma Linguagem Web Reativa. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.
S
Seco, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. 2005.