João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
21
TÃTULO: Software Evolution with a Typeful Version Control System
AUTORES: Carvalho, L; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11724 LNCS
AUTORES: Carvalho, L; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11724 LNCS
22
TÃTULO: RESEDA: Declaring live event-driven computations as reactive semi-structured data
AUTORES: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLICAÇÃO: 2018, FONTE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
AUTORES: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLICAÇÃO: 2018, FONTE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
23
TÃTULO: Type-Safe Evolution of Web Services
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
AUTORES: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLICAÇÃO: 2017, FONTE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
24
TÃTULO: Capability-based localization of distributed and heterogeneous queries
AUTORES: Seco, JC; Ferreira, P; Lourenco, H;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 27
AUTORES: Seco, JC; Ferreira, P; Lourenco, H;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 27
25
TÃTULO: A common data manipulation language for nested data in heterogeneous environments
AUTORES: João Costa Seco; Hugo Lourenço; Paulo Ferreira;
PUBLICAÇÃO: 2015, FONTE: 15th Symposium on Database Programming Languages, DBPL 2015 in Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015
AUTORES: João Costa Seco; Hugo Lourenço; Paulo Ferreira;
PUBLICAÇÃO: 2015, FONTE: 15th Symposium on Database Programming Languages, DBPL 2015 in Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015
26
TÃTULO: Recyclable, Flexible, Low-Power Oxide Electronics Full Text
AUTORES: Rodrigo F P Martins ; Arman Ahnood; Nuno Correia; Luis M N P Pereira ; Raquel Barros; Pedro M C B Barquinha ; Ricardo Costa; Isabel M M Ferreira ; Arokia Nathan; Elvira E M C Fortunato ;
PUBLICAÇÃO: 2013, FONTE: ADVANCED FUNCTIONAL MATERIALS, VOLUME: 23, NÚMERO: 17
AUTORES: Rodrigo F P Martins ; Arman Ahnood; Nuno Correia; Luis M N P Pereira ; Raquel Barros; Pedro M C B Barquinha ; Ricardo Costa; Isabel M M Ferreira ; Arokia Nathan; Elvira E M C Fortunato ;
PUBLICAÇÃO: 2013, FONTE: ADVANCED FUNCTIONAL MATERIALS, VOLUME: 23, NÚMERO: 17
27
TÃTULO: The type discipline of behavioral separation
AUTORES: Luís Caires; João C Seco;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Notices, VOLUME: 48, NÚMERO: 1
AUTORES: Luís Caires; João C Seco;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Notices, VOLUME: 48, NÚMERO: 1
28
TÃTULO: Complementary Metal Oxide Semiconductor Technology With and On Paper Full Text
AUTORES: Rodrigo Martins ; Arokia Nathan; Raquel Barros; Luis Pereira ; Pedro Barquinha ; Nuno Correia; Ricardo Costa; Arman Ahnood; Isabel Ferreira ; Elvira Fortunato ;
PUBLICAÇÃO: 2011, FONTE: ADVANCED MATERIALS, VOLUME: 23, NÚMERO: 39
AUTORES: Rodrigo Martins ; Arokia Nathan; Raquel Barros; Luis Pereira ; Pedro Barquinha ; Nuno Correia; Ricardo Costa; Arman Ahnood; Isabel Ferreira ; Elvira Fortunato ;
PUBLICAÇÃO: 2011, FONTE: ADVANCED MATERIALS, VOLUME: 23, NÚMERO: 39
29
TÃTULO: Removal of heavy metals from drinking water supplies through the ion exchange membrane bioreactor Full Text
AUTORES: Adrian Oehmen ; Rui Viegas; Svetlozar Velizarov ; Maria A M Reis ; Joao G Crespo ;
PUBLICAÇÃO: 2006, FONTE: Conference of the European-Membrane-Society (EUROMEMBRANE 2006) in DESALINATION, VOLUME: 199, NÚMERO: 1-3
AUTORES: Adrian Oehmen ; Rui Viegas; Svetlozar Velizarov ; Maria A M Reis ; Joao G Crespo ;
PUBLICAÇÃO: 2006, FONTE: Conference of the European-Membrane-Society (EUROMEMBRANE 2006) in DESALINATION, VOLUME: 199, NÚMERO: 1-3
