default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Araújo 0002
Person information
- affiliation: Universidade Aberta, R. Escola Politécnica, Lisbon, Portugal
- affiliation (former): University of Lisbon, Centro de Álgebra, Portugal
- affiliation (former): University of York, UK
Other persons with the same name
- João Araújo 0001
![[0000-0001-5914-1631]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-5914-1631")
(aka: Joao Baptista da Silva Araujo) — Universidade Nova de Lisboa, Portugal - João Araújo 0003 (aka: João Taveira Araújo) — University College London, UK
- João Araújo 0004 — Spin.Works S.A., Lisbon, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c7]Mikolás Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtechovský:
SAT-Based Techniques for Lexicographically Smallest Finite Models. AAAI 2024: 8048-8056- [c6]Choiwah Chow, Mikolás Janota, João Araújo:
Cube-Based Isomorph-Free Finite Model Finding. ECAI 2024: 4100-4107 - [e2]João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar:
Research Challenges in Information Science - 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I. Lecture Notes in Business Information Processing 513, Springer 2024, ISBN 978-3-031-59464-9 [contents] - [e1]João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar:
Research Challenges in Information Science - 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part II. Lecture Notes in Business Information Processing 514, Springer 2024, ISBN 978-3-031-59467-0 [contents] - 2023
- [c5]João Araújo, Choiwah Chow, Mikolás Janota:
Symmetries for Cube-And-Conquer in Finite Model Finding. CP 2023: 8:1-8:19 - 2022
- [j12]João Araújo, Choiwah Chow, Mikolás Janota:
Boosting isomorphic model filtering with invariants. Constraints An Int. J. 27(3): 360-379 (2022) - [i1]João Araújo, Choiwah Chow, Mikolás Janota:
Boosting Isomorphic Model Filtering with Invariants. CoRR abs/2201.10516 (2022) - 2021
- [c4]João Araújo, Choiwah Chow, Mikolás Janota:
Filtering Isomorphic Models by Invariants (Short Paper). CP 2021: 4:1-4:9
2010 – 2019
- 2018
- [j11]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): 1-28 (2018) - [j10]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) - [j9]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: 88-98 (2018) - 2014
- [j8]João Araújo, Peter J. Cameron:
Primitive groups synchronize non-uniform maps of extreme ranks. J. Comb. Theory B 106: 98-114 (2014) - 2013
- [j7]João Araújo, Wolfram Bentz, Peter J. Cameron:
Groups synchronizing a transformation of non-uniform kernel. Theor. Comput. Sci. 498: 1-9 (2013) - 2012
- [j6]João Araújo, Janusz Konieczny:
A method for finding new sets of axioms for classes of semigroups. Arch. Math. Log. 51(5-6): 461-474 (2012) - 2011
- [j5]João Araújo, Michael K. Kinyon, Janusz Konieczny:
Minimal paths in the commuting graphs of semigroups. Eur. J. Comb. 32(2): 178-197 (2011) - [j4]João Araújo, Mário J. Edmundo, Steven Givant:
V*-Algebras, Independence Algebras and Logic. Int. J. Algebra Comput. 21(7): 1237-1257 (2011) - [c3]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: 1006-1011 - 2010
- [j3]João Araújo, Paul von Bünau, James D. Mitchell, Max Neunhöffer:
Computing automorphisms of semigroups. J. Symb. Comput. 45(3): 373-392 (2010)
2000 – 2009
- 2009
- [c2]Lara Aires, João Araújo, António Dourado:
Industrial Monitoring by Evolving Fuzzy Systems. IFSA/EUSFLAT Conf. 2009: 1358-1363 - [c1]António Dourado, Sara Silva, Lara Aires, João Araújo:
Combining Multidimensional Scaling and Computational Intelligence for Industrial Monitoring. ICDM 2009: 232-246 - 2007
- [j2]João Araújo, Janusz Konieczny:
A method of finding automorphism groups of endomorphism monoids of relational systems. Discret. Math. 307(13): 1609-1620 (2007) - 2005
- [j1]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): 641-645 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
