João Araújo

According to our database, João Araújo authored at least 19 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Cube-Based Isomorph-Free Finite Model Finding.

Choiwah Chow, Mikolás Janota, João Araújo

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

SAT-Based Techniques for Lexicographically Smallest Finite Models.

Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Symmetries for Cube-And-Conquer in Finite Model Finding.

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Boosting isomorphic model filtering with invariants.

João Araújo, Choiwah Chow, Mikolás Janota

Constraints An Int. J., 2022

2021

Filtering Isomorphic Models by Invariants (Short Paper).

João Araújo, Choiwah Chow, Mikolás Janota

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2018

Decidability and independence of conjugacy problems in finitely presented monoids.

João Araújo, Michael K. Kinyon, Janusz Konieczny, António Malheiro

Theor. Comput. Sci., 2018

A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks.

Pedro Pereira Rodrigues, João Araújo, João Gama, Luís M. B. Lopes

Int. J. Distributed Sens. Networks, 2018

Automorphism Groups of Circulant Digraphs With Applications to Semigroup Theory.

João Araújo, Wolfram Bentz, Edward Dobson, Janusz Konieczny, Joy Morris

Comb., 2018

2014

Primitive groups synchronize non-uniform maps of extreme ranks.

João Araújo, Peter J. Cameron

J. Comb. Theory B, 2014

2013

Groups synchronizing a transformation of non-uniform kernel.

João Araújo, Wolfram Bentz, Peter J. Cameron

Theor. Comput. Sci., 2013

2012

A method for finding new sets of axioms for classes of semigroups.

João Araújo, Janusz Konieczny

Arch. Math. Log., 2012

2011

V*-Algebras, Independence Algebras and Logic.

João Araújo, Mário J. Edmundo, Steven Givant

Int. J. Algebra Comput., 2011

Minimal paths in the commuting graphs of semigroups.

João Araújo, Michael K. Kinyon, Janusz Konieczny

Eur. J. Comb., 2011

L2GClust: local-to-global clustering of stream sources.

Pedro Pereira Rodrigues, João Gama, João Araújo, Luís M. B. Lopes

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Computing automorphisms of semigroups.

João Araújo, Paul von Bünau, James D. Mitchell, Max Neunhöffer

J. Symb. Comput., 2010

2009

Combining Multidimensional Scaling and Computational Intelligence for Industrial Monitoring.

António Dourado, Sara Silva, Lara Aires, João Araújo

Proceedings of the Advances in Data Mining. Applications and Theoretical Aspects, 2009

Industrial Monitoring by Evolving Fuzzy Systems.

Lara Aires, João Araújo, António Dourado

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2007

A method of finding automorphism groups of endomorphism monoids of relational systems.

João Araújo, Janusz Konieczny

Discret. Math., 2007

2005

An Elementary Proof That Every Singular Matrix Is a Product of Idempotent Matrices.

João Araújo, James D. Mitchell

Am. Math. Mon., 2005