Publications

Export 5 results:
Sort by: Author Title Type [ Year (Desc)]
2015
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.
2013
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

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.
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.
2005
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.