An Elementary Proof That Every Singular Matrix Is a Product of Idempotent Matrices. - João Araújo 002; James D. Mitchell (Am. Math. Mon., 2005)

A method of finding automorphism groups of endomorphism monoids of relational systems. - João Araújo 002; Janusz Konieczny (Discret. Math., 2007)

Industrial Monitoring by Evolving Fuzzy Systems. - Lara Aires; João Araújo 002; António Dourado (IFSA/EUSFLAT Conf., 2009)

Combining Multidimensional Scaling and Computational Intelligence for Industrial Monitoring. - António Dourado; Sara Silva; Lara Aires; João Araújo 002 (ICDM, 2009)

Computing automorphisms of semigroups. - João Araújo 002; Paul von Bünau; James D. Mitchell; Max Neunhöffer (J. Symb. Comput., 2010)

L2GClust: local-to-global clustering of stream sources. - Pedro Pereira Rodrigues; João Gama 001; João Araújo 002; Luís M. B. Lopes (SAC, 2011)

Minimal paths in the commuting graphs of semigroups. - João Araújo 002; Michael K. Kinyon; Janusz Konieczny (Eur. J. Comb., 2011)

V*-Algebras, Independence Algebras and Logic. - João Araújo 002; Mário J. Edmundo; Steven Givant (Int. J. Algebra Comput., 2011)

A method for finding new sets of axioms for classes of semigroups. - João Araújo 002; Janusz Konieczny (Arch. Math. Log., 2012)

Groups synchronizing a transformation of non-uniform kernel. - João Araújo 002; Wolfram Bentz; Peter J. Cameron (Theor. Comput. Sci., 2013)

Primitive groups synchronize non-uniform maps of extreme ranks. - João Araújo 002; Peter J. Cameron (J. Comb. Theory B, 2014)

Automorphism Groups of Circulant Digraphs With Applications to Semigroup Theory. - João Araújo 002; Wolfram Bentz; Edward Dobson; Janusz Konieczny; Joy Morris (Comb., 2018)

A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks. - Pedro Pereira Rodrigues; João Araújo 002; João Gama 001; Luís M. B. Lopes (Int. J. Distributed Sens. Networks, 2018)

Decidability and independence of conjugacy problems in finitely presented monoids. - João Araújo 002; Michael K. Kinyon; Janusz Konieczny; António Malheiro (Theor. Comput. Sci., 2018)

Filtering Isomorphic Models by Invariants (Short Paper). - João Araújo 002; Choiwah Chow; Mikolás Janota (CP, 2021)

Boosting isomorphic model filtering with invariants. - João Araújo 002; Choiwah Chow; Mikolás Janota (Constraints An Int. J., 2022)

Symmetries for Cube-And-Conquer in Finite Model Finding. - João Araújo 002; Choiwah Chow; Mikolás Janota (CP, 2023)

SAT-Based Techniques for Lexicographically Smallest Finite Models. - Mikolás Janota; Choiwah Chow; João Araújo 002; Michael Codish; Petr Vojtechovský (AAAI, 2024)

Cube-Based Isomorph-Free Finite Model Finding. - Choiwah Chow; Mikolás Janota; João Araújo 002 (ECAI, 2024)

A Systematic Literature Review of KAOS Extensions. - Enyo J. T. Gonçalves; Leandro Monte; Sabrina Souza; Marcos de Oliveira 001; João Araújo 002 (REFSQ, 2025)

Complete Symmetry Breaking for Finite Models. - Marek Danco; Mikolás Janota; Michael Codish; João Araújo 002 (CoRR, 2025)