João Ricardo Viegas Costa Seco


AuthID: R-000-7FD

Confirmed Publications: 9



1
TITLE: Concurrent typed intermediate language  Full Text
AUTHORS: Lourenco, LM; Seco, JC ; Martins, F ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: The Type Discipline of Behavioral Separation
AUTHORS: Luis Caires ; Joao C Seco ;
PUBLISHED: 2013, SOURCE: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013 in ACM SIGPLAN NOTICES, VOLUME: 48, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
3
TITLE: Verification of Snapshot Isolation in Transactional Memory Java Programs
AUTHORS: Dias, RJ; Distefano, D; Seco, JC ; Lourenco, JM ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 7313
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
4
TITLE: Type-Based Access Control in Data-Centric Systems  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Joao Costa Seco ; Hugo Torres Vieira ; Lucio Ferrao;
PUBLISHED: 2011, SOURCE: 20th European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 6602
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
5
TITLE: Profiling of real-world web applications
AUTHORS: Aguiar, HM; Seco, JC ; Ferrao, L;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration  Full Text
AUTHORS: Joao Costa Seco ; Ricardo Silva; Margarida Piriquito;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
PUBLISHED: 2008, SOURCE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXED IN: Scopus WOS DBLP CrossRef: 45
IN MY: ORCID
8
TITLE: Types for dynamic reconfiguration
AUTHORS: Seco, JC ; Caires, L ;
PUBLISHED: 2006, SOURCE: 15th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3924
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
9
TITLE: Subtyping first-class polymorphic components
AUTHORS: Seco, JC ; Caires, L ;
PUBLISHED: 2005, SOURCE: 14th European Symposium on Programming (ESOP 2005) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3444
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service