João Costa Seco

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
c9		Luís Caires, João Costa Seco: The type discipline of behavioral separation. POPL 2013: 275-286
c8		L. Miguel Lourenço, João Costa Seco, Francisco Martins: Concurrent typed intermediate language. SAC 2013: 1587-1588
	2012
c7		Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço: Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664
	2011
c6		Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão: Type-Based Access Control in Data-Centric Systems. ESOP 2011: 136-155
	2010
c5		Hugo Menino Aguiar, João Costa Seco, Lúcio Ferrão: Profiling of real-world web applications. PDATAD 2010: 59-66
	2008
j1		João Costa Seco, Ricardo Silva, Margarida Piriquito: Component J: A component-based programming language with dynamic reconfiguration. Comput. Sci. Inf. Syst. 5(2): 63-86 (2008)
c4		Hugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
	2006
c3		João Costa Seco, Luís Caires: Types for Dynamic Reconfiguration. ESOP 2006: 214-229
	2005
c2		João Costa Seco, Luís Caires: Subtyping First-Class Polymorphic Components. ESOP 2005: 342-356
	2000
c1		João Costa Seco, Luís Caires: A Basic Model of Typed Components. ECOOP 2000: 108-128

Coauthor Index

1	Hugo Menino Aguiar	[c5]
2	Luís Caires	[c9] [c6] [c4] [c3] [c2] [c1]
3	Ricardo J. Dias	[c7]
4	Dino Distefano	[c7]
5	Lúcio Ferrão	[c6] [c5]
6	João Lourenço	[c7]
7	L. Miguel Lourenço	[c8]
8	Francisco Martins	[c8]
9	Margarida Piriquito	[j1]
10	Jorge A. Pérez (Jorge Andrés Pérez)	[c6]
11	Ricardo Silva	[j1]
12	Hugo Torres Vieira	[c6] [c4]

Last update Sat May 25 09:36:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page