João Ricardo Viegas Costa Seco


AuthID: R-000-7FD

Publicações Confirmadas: 9



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service