Personal profile
Education/Academic qualification
Computer Science, Doctorate, Languages and Types for Component Based Programming, Universidade NOVA de Lisboa
Award Date: 1 Jan 2006
Fingerprint
Dive into the research topics where João Costa Seco is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Language-Based Version Control System for Python
Carvalho, L. & Seco, J. C., Sept 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)30 Downloads (Pure) -
Going beyond templates: composition and evolution in nested OSTRICH
Seco, J. C., Lourenço, H., Parreira, J. & Ferreira, C., 20 May 2024, (E-pub ahead of print) In: Software and Systems Modeling. 26 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)90 Downloads (Pure) -
Monitoring of Spatio-Temporal Properties with Nonlinear SAT solvers
Matos Pedro, A., Silva, T., Sequeira, T., Lourenço, J., Seco, J. C. & Ferreira, C., Apr 2024, In: International Journal on Software Tools for Technology Transfer. 26, p. 169–188 20 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)22 Downloads (Pure) -
The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
Costa Seco, J. & Aldrich, J., 17 Oct 2024, Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024. Edwards, J. & Taeumel, M. (eds.). ACM - Association for Computing Machinery, p. 54-67 14 p. (Onward! 2024 - Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with: SPLASH 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile74 Downloads (Pure) -
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
Quirino Silva, J., Melo, D., Rodrigues, I. P., Seco, J. C., Ferreira, C. & Parreira, J., 2023, In: SN Computer Science. 4, 1, 17 p., 12.Research output: Contribution to journal › Article › peer-review
2 Link opens in a new tab Citations (Scopus)