João Araújo

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 8

Top Topics

Filtering Algorithm

Problems Involving

Computational Model

Top Venues

Int. J. Distributed Sens. Networks

Publications

Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský
SAT-Based Techniques for Lexicographically Smallest Finite Models. AAAI (2024)
João Araújo, Choiwah Chow, Mikolás Janota
Symmetries for Cube-And-Conquer in Finite Model Finding. CP (2023)
João Araújo, Choiwah Chow, Mikolás Janota
Boosting isomorphic model filtering with invariants. Constraints An Int. J. 27 (3) (2022)
João Araújo, Choiwah Chow, Mikolás Janota
Boosting Isomorphic Model Filtering with Invariants. CoRR (2022)
João Araújo, Choiwah Chow, Mikolás Janota
Filtering Isomorphic Models by Invariants (Short Paper). CP (2021)
João Araújo, Michael K. Kinyon, Janusz Konieczny, António Malheiro
Decidability and independence of conjugacy problems in finitely presented monoids. Theor. Comput. Sci. 731 (2018)
Pedro Pereira Rodrigues, João Araújo, João Gama, Luís M. B. Lopes
A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks. Int. J. Distributed Sens. Networks 14 (10) (2018)
João Araújo, Wolfram Bentz, Edward Dobson, Janusz Konieczny, Joy Morris
Automorphism Groups of Circulant Digraphs With Applications to Semigroup Theory. Comb. 38 (1) (2018)
João Araújo, Peter J. Cameron
Primitive groups synchronize non-uniform maps of extreme ranks. J. Comb. Theory, Ser. B 106 (2014)
João Araújo, Wolfram Bentz, Peter J. Cameron
Groups synchronizing a transformation of non-uniform kernel. Theor. Comput. Sci. 498 (2013)
João Araújo, Janusz Konieczny
A method for finding new sets of axioms for classes of semigroups. Arch. Math. Log. 51 (5-6) (2012)
João Araújo, Mário J. Edmundo, Steven Givant
V*-Algebras, Independence Algebras and Logic. Int. J. Algebra Comput. 21 (7) (2011)
Pedro Pereira Rodrigues, João Gama, João Araújo, Luís M. B. Lopes
L2GClust: local-to-global clustering of stream sources. SAC (2011)
João Araújo, Michael K. Kinyon, Janusz Konieczny
Minimal paths in the commuting graphs of semigroups. Eur. J. Comb. 32 (2) (2011)
João Araújo, Paul von Bünau, James D. Mitchell, Max Neunhöffer
Computing automorphisms of semigroups. J. Symb. Comput. 45 (3) (2010)
António Dourado, Sara Silva, Lara Aires, João Araújo
Combining Multidimensional Scaling and Computational Intelligence for Industrial Monitoring. ICDM (2009)
Lara Aires, João Araújo, António Dourado
Industrial Monitoring by Evolving Fuzzy Systems. IFSA/EUSFLAT Conf. (2009)
João Araújo, Janusz Konieczny
A method of finding automorphism groups of endomorphism monoids of relational systems. Discret. Math. 307 (13) (2007)
João Araújo, James D. Mitchell
An Elementary Proof That Every Singular Matrix Is a Product of Idempotent Matrices. Am. Math. Mon. 112 (7) (2005)