João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
1
TÃTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
2
TÃTULO: Going beyond templates: composition and evolution in nested OSTRICH Full Text
AUTORES: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE AND SYSTEMS MODELING
AUTORES: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE AND SYSTEMS MODELING
3
TÃTULO: The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
AUTORES: João Costa Seco; Jonathan Aldrich;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
AUTORES: João Costa Seco; Jonathan Aldrich;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
4
TÃTULO: An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
AUTORES: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira; Joana Parreira;
PUBLICAÇÃO: 2023, FONTE: SN Comput. Sci., VOLUME: 4, NÚMERO: 1
AUTORES: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira; Joana Parreira;
PUBLICAÇÃO: 2023, FONTE: SN Comput. Sci., VOLUME: 4, NÚMERO: 1
5
TÃTULO: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
6
TÃTULO: Nested OSTRICH: Hatching Compositions of Low-code Templates
AUTORES: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C;
PUBLICAÇÃO: 2022, FONTE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
AUTORES: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C;
PUBLICAÇÃO: 2022, FONTE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
INDEXADO EM: 
Scopus
Scopus7
TÃTULO: Derivations with Holes for Concept-Based Program Synthesis
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
8
TÃTULO: Nested OSTRICH. hatching compositions of low-code templates
AUTORES: João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
AUTORES: João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
9
TÃTULO: ReGraDa: Reactive Graph Data
AUTORES: Galrinho, L; Seco, JC; Debois, S; Hildebrandt, T; Norman, H; Slaats, T;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
AUTORES: Galrinho, L; Seco, JC; Debois, S; Hildebrandt, T; Norman, H; Slaats, T;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
10
TÃTULO: Deep semantic versioning for evolution and variability
AUTORES: Carvalho, L; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in ACM International Conference Proceeding Series
AUTORES: Carvalho, L; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in ACM International Conference Proceeding Series
