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 5 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
[
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
]
S
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.
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.
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.
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
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