Research output per year
Research output per year
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
-
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 AccessFile11 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 AccessFile1 Citation (Scopus)6 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
1 Citation (Scopus) -
Data-Dependent Confidentiality in DCR Graphs
Geraldo, E., Seco, J. C. & Hildebrandt, T., 22 Oct 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. New York: ACM - Association for Computing Machinery, 13 p. 7. (PPDP: Principles and Practice of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile11 Downloads (Pure) -
Hoogle: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Guerra, H. B., Ferreira, J. F. & Seco, J. C., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access3 Citations (Scopus)