Publications

Export 33 results:
Sort by: Author Title [ Type (Asc)] Year
Miscellaneous
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.
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
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.
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

Report
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
Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.techreport-2013.pdf
Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.
Thesis
Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.thesis.pdf