João Araújo

26 papers A* 2A 3Misc 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Editorial Preface for "Selected Papers from the 18th International Conference on Research Challenges in Information Science (RCIS 2024)".
Data Knowl. Eng.
Jose Luis de la Vara, João Araújo, Maribel Yasmina Santos, Saïd Assar
2025 J jnl
Complete Symmetry Breaking for Finite Models.
CoRR
Marek Danco, Mikolás Janota, Michael Codish, João Araújo
2025 J jnl
Cube-based Isomorph-free Finite Model Finding.
CoRR
Choiwah Chow, Mikolás Janota, João Araújo
2025 J jnl
SAT-Based Techniques for Lexicographically Smallest Finite Models.
CoRR
Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
2024 A conf
Cube-Based Isomorph-Free Finite Model Finding.
ECAI
Choiwah Chow, Mikolás Janota, João Araújo
2024 — ed.
Research Challenges in Information Science - 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I
RCIS (1)
João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar
2024 — ed.
Research Challenges in Information Science - 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part II
RCIS (2)
João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar
2024 A* conf
SAT-Based Techniques for Lexicographically Smallest Finite Models.
AAAI
Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
2023 A conf
Symmetries for Cube-And-Conquer in Finite Model Finding.
CP
João Araújo, Choiwah Chow, Mikolás Janota
2022 J jnl
Boosting Isomorphic Model Filtering with Invariants.
CoRR
João Araújo, Choiwah Chow, Mikolás Janota
2022 J jnl
Boosting isomorphic model filtering with invariants.
Constraints An Int. J.
João Araújo, Choiwah Chow, Mikolás Janota
2021 A conf
Filtering Isomorphic Models by Invariants (Short Paper).
CP
João Araújo, Choiwah Chow, Mikolás Janota
2018 J jnl
A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks.
Int. J. Distributed Sens. Networks
Pedro Pereira Rodrigues, João Araújo, João Gama, Luís M. B. Lopes
2018 J jnl
Automorphism Groups of Circulant Digraphs With Applications to Semigroup Theory.
Comb.
João Araújo, Wolfram Bentz, Edward Dobson, Janusz Konieczny, Joy Morris
2018 J jnl
Decidability and independence of conjugacy problems in finitely presented monoids.
Theor. Comput. Sci.
João Araújo, Michael K. Kinyon, Janusz Konieczny, António Malheiro
2014 J jnl
Primitive groups synchronize non-uniform maps of extreme ranks.
J. Comb. Theory B
João Araújo, Peter J. Cameron
2013 J jnl
Groups synchronizing a transformation of non-uniform kernel.
Theor. Comput. Sci.
João Araújo, Wolfram Bentz, Peter J. Cameron
2012 J jnl
A method for finding new sets of axioms for classes of semigroups.
Arch. Math. Log.
João Araújo, Janusz Konieczny
2011 Misc conf
L2GClust: local-to-global clustering of stream sources.
SAC
Pedro Pereira Rodrigues, João Gama, João Araújo, Luís M. B. Lopes
2011 J jnl
Minimal paths in the commuting graphs of semigroups.
Eur. J. Comb.
João Araújo, Michael K. Kinyon, Janusz Konieczny
2011 J jnl
V*-Algebras, Independence Algebras and Logic.
Int. J. Algebra Comput.
João Araújo, Mário J. Edmundo, Steven Givant
2010 J jnl
Computing automorphisms of semigroups.
J. Symb. Comput.
João Araújo, Paul von Bünau, James D. Mitchell, Max Neunhöffer
2009 A* conf
Combining Multidimensional Scaling and Computational Intelligence for Industrial Monitoring.
ICDM
António Dourado, Sara Silva, Lara Aires, João Araújo
2009 — conf
Industrial Monitoring by Evolving Fuzzy Systems.
IFSA/EUSFLAT Conf.
Lara Aires, João Araújo, António Dourado
2007 J jnl
A method of finding automorphism groups of endomorphism monoids of relational systems.
Discret. Math.
João Araújo, Janusz Konieczny
2005 J jnl
An Elementary Proof That Every Singular Matrix Is a Product of Idempotent Matrices.
Am. Math. Mon.
João Araújo, James D. Mitchell