João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
21
TITLE: Software Evolution with a Typeful Version Control System
AUTHORS: Carvalho, L; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Carvalho, L; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 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
TITLE: RESEDA: Declaring live event-driven computations as reactive semi-structured data
AUTHORS: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLISHED: 2018, SOURCE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
AUTHORS: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLISHED: 2018, SOURCE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
23
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 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
TITLE: Capability-based localization of distributed and heterogeneous queries
AUTHORS: Seco, JC; Ferreira, P; Lourenco, H;
PUBLISHED: 2017, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 27
AUTHORS: Seco, JC; Ferreira, P; Lourenco, H;
PUBLISHED: 2017, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 27
25
TITLE: A common data manipulation language for nested data in heterogeneous environments
AUTHORS: João Costa Seco; Hugo Lourenço; Paulo Ferreira;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: João Costa Seco; Hugo Lourenço; Paulo Ferreira;
PUBLISHED: 2015, SOURCE: 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
TITLE: Recyclable, Flexible, Low-Power Oxide Electronics Full Text
AUTHORS: 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 ;
PUBLISHED: 2013, SOURCE: ADVANCED FUNCTIONAL MATERIALS, VOLUME: 23, ISSUE: 17
AUTHORS: 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 ;
PUBLISHED: 2013, SOURCE: ADVANCED FUNCTIONAL MATERIALS, VOLUME: 23, ISSUE: 17
27
TITLE: The type discipline of behavioral separation
AUTHORS: Luís Caires; João C Seco;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Notices, VOLUME: 48, ISSUE: 1
AUTHORS: Luís Caires; João C Seco;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Notices, VOLUME: 48, ISSUE: 1
28
TITLE: Complementary Metal Oxide Semiconductor Technology With and On Paper Full Text
AUTHORS: Rodrigo Martins ; Arokia Nathan; Raquel Barros; Luis Pereira ; Pedro Barquinha ; Nuno Correia; Ricardo Costa; Arman Ahnood; Isabel Ferreira ; Elvira Fortunato ;
PUBLISHED: 2011, SOURCE: ADVANCED MATERIALS, VOLUME: 23, ISSUE: 39
AUTHORS: Rodrigo Martins ; Arokia Nathan; Raquel Barros; Luis Pereira ; Pedro Barquinha ; Nuno Correia; Ricardo Costa; Arman Ahnood; Isabel Ferreira ; Elvira Fortunato ;
PUBLISHED: 2011, SOURCE: ADVANCED MATERIALS, VOLUME: 23, ISSUE: 39
29
TITLE: Removal of heavy metals from drinking water supplies through the ion exchange membrane bioreactor Full Text
AUTHORS: Adrian Oehmen ; Rui Viegas; Svetlozar Velizarov ; Maria A M Reis ; Joao G Crespo ;
PUBLISHED: 2006, SOURCE: Conference of the European-Membrane-Society (EUROMEMBRANE 2006) in DESALINATION, VOLUME: 199, ISSUE: 1-3
AUTHORS: Adrian Oehmen ; Rui Viegas; Svetlozar Velizarov ; Maria A M Reis ; Joao G Crespo ;
PUBLISHED: 2006, SOURCE: Conference of the European-Membrane-Society (EUROMEMBRANE 2006) in DESALINATION, VOLUME: 199, ISSUE: 1-3
