Fingerprint
Dive into the research topics where João Jorge Ribeiro Soares Gonçalves de Araújo 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 Systematic Literature Review of KAOS Extensions
Gonçalves, E., Monte, L., Souza, S., de Oliveira, M. & Araujo, J., 1 Apr 2025, (E-pub ahead of print) Requirements Engineering: Foundation for Software Quality - 31st International Working Conference, REFSQ 2025, Proceedings. Hess, A. & Susi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 166-180 15 p. (Lecture Notes in Computer Science; vol. 15588 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Citation (Scopus) -
Marginal subsemigroups and commutators in inverse semigroups
Araújo, G., Araújo, J. & Kinyon, M., 2025, (Accepted/In press) In: Semigroup Forum. 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile26 Downloads (Pure) -
Preface of the Special Issue Dedicated to Selected Semigroup Papers from the Conference on Theoretical and Computational Algebra 2024
Almeida, J., Araújo, J., Malheiro, A. & Volkov, M., 4 Aug 2025, (E-pub ahead of print) In: Semigroup Forum. 111, p. 293-294 2 p.Research output: Contribution to journal › Editorial › peer-review
-
Integrals of groups. II
Araújo, J., Cameron, P. J., Casolo, C., Matucci, F. & Quadrelli, C., Oct 2024, In: Israel Journal of Mathematics. 263, 1, p. 49-91 43 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)5 Downloads (Pure) -
SAT-Based Techniques for Lexicographically Smallest Finite Models
Janota, M., Chow, C., Araújo, J., Codish, M. & Vojtěchovský, P., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 8, p. 8048-8056 9 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)14 Downloads (Pure)