Follow
Joao Costa Seco
Joao Costa Seco
Verified email at fct.unl.pt
Title
Cited by
Cited by
Year
A basic model of typed components
JC Seco, L Caires
European Conference on Object-Oriented Programming, 108-128, 2000
1472000
The conversation calculus: A model of service-oriented computation
HT Vieira, L Caires, JC Seco
European Symposium on Programming, 269-283, 2008
1352008
The type discipline of behavioral separation
L Caires, JC Seco
ACM SIGPLAN Notices 48 (1), 275-286, 2013
432013
Component J: A component-based programming language with dynamic reconfiguration
JC Seco, R Silva, M Piriquito
Computer Science and Information Systems 5 (2), 63-86, 2008
232008
Type-based Access Control in Data-Centric Systems
L Caires, P Jorge, J Costa Seco, H Torres Vieira, F Lúcio
Programming Languages and Systems, 136--155, 2011
222011
Closing the gap between designers and developers in a low code ecosystem
M Bexiga, S Garbatov, JC Seco
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
172020
Verification of snapshot isolation in transactional memory Java programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
European Conference on Object-Oriented Programming, 640-664, 2012
142012
Types for Dynamic Reconfiguration
JC Seco, L Caires
Programming languages and systems: 15th European Symposium on Programming …, 2006
14*2006
RESEDA: declaring live event-driven computations as reactive semi-structured data
JC Seco, S Debois, T Hildebrandt, T Slaats
2018 IEEE 22nd International enterprise distributed object computing …, 2018
132018
Adding type safety to component programming
JC Seco
Proc. of The PhD Student’s Workshop, 2002
122002
UAV cloud platform for precision farming
M Pino, JP Matos-Carvalho, D Pedro, LM Campos, JC Seco
2020 12th International Symposium on Communication Systems, Networks and …, 2020
112020
Type-safe evolution of web services
J Campinhos, JC Seco, J Cunha
2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in …, 2017
102017
SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL
LER Ferrão, SJRV Da Costa, CLMM Da Costa, C Borrêga, GF Xavier, ...
US Patent 20,130,246,995, 2013
102013
Parametric typed components
JC Seco, L Caires
Proc. of the Fifth Intl. Workshop on Component-Oriented Programming ECOOP’00, 2000
10*2000
A society of agents in environmental monitoring
JC Seco, C Pinto-Ferreira, L Correia
From Animals to Animats 5, 447-452, 1998
101998
A common data manipulation language for nested data in heterogeneous environments
JC Seco, H Lourenço, P Ferreira
Proceedings of the 15th Symposium on Database Programming Languages, 11-20, 2015
92015
Type safe composition in .NET
JC Seco
First Microsoft Research Summer Workshop, Cambridge, UK, 2002
82002
A model of service oriented computation
L Caires, HT Vieira, JC Seco
publishing October, 2007
72007
Subtyping first-class polymorphic components
JC Seco, L Caires
European Symposium on Programming, 342-356, 2005
72005
ComponentJ: The reference manual
JC Seco, L Caires
72002
The system can't perform the operation now. Try again later.
Articles 1–20