Joao Jorge Ribeiro Soares Goncalves de Araujo


AuthID: R-000-705

Publicações Confirmadas: 73



1
TÍTULO: Cube-Based Isomorph-Free Finite Model Finding
AUTORES: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
INDEXADO EM: Scopus CrossRef
2
TÍTULO: Integrals of groups. II  Full Text
AUTORES: João Araújo ; Peter J Cameron; Carlo Casolo; Francesco Matucci;
PUBLICAÇÃO: 2024, FONTE: Israel Journal of Mathematics, VOLUME: 234, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
3
TÍTULO: Preface of the special issue dedicated to selected semigroup papers from the Conference on Theoretical and Computational Algebra 2023  Full Text
AUTORES: Araujo, Joao ; Cain, Alan J.; António Malheiro ; Volkov, Mikhail;
PUBLICAÇÃO: 2024, FONTE: SEMIGROUP FORUM, VOLUME: 109, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: SAT-Based Techniques for Lexicographically Smallest Finite Models
AUTORES: Janota, Mikolas; Chow, Choiwah; Araujo, Joao ; Codish, Michael; Vojtechovsky, Petr;
PUBLICAÇÃO: 2024, FONTE: 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence in THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, VOLUME: 38, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef Unpaywall
5
TÍTULO: A survey on varieties generated by small semigroups and a companion website  Full Text
AUTORES: Araujo, Joao ; Araujo, Joao Pedro; Cameron, Peter J.; Lee, Edmond W. H.; Raminhos, Jorge;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF ALGEBRA, VOLUME: 635
INDEXADO EM: Scopus WOS
6
TÍTULO: Symmetries for Cube-And-Conquer in Finite Model Finding
AUTORES: João Araújo ; Choiwah Chow; Mikoláš Janota;
PUBLICAÇÃO: 2023, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 280
INDEXADO EM: Scopus
7
TÍTULO: Boosting isomorphic model filtering with invariants  Full Text
AUTORES: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: CONSTRAINTS, VOLUME: 27, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Matrix theory for independence algebras  Full Text
AUTORES: Araujo, Joao ; Bentz, Wolfram ; Cameron, Peter J.; Kinyon, Michael ; Konieczny, Janusz;
PUBLICAÇÃO: 2022, FONTE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 642
INDEXADO EM: Scopus WOS CrossRef Unpaywall
NO MEU: ORCID
9
TÍTULO: A transversal property for permutation groups motivated by partial transformations  Full Text
AUTORES: Araujo, J ; Araujo, JP; Bentz, W ; Cameron, PJ; Spiga, P;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF ALGEBRA, VOLUME: 573
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
10
TÍTULO: Filtering isomorphic models by invariants
AUTORES: João Araújo ; Choiwah Chow; Mikoláš Janota;
PUBLICAÇÃO: 2021, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
INDEXADO EM: Scopus
Página 1 de 8. Total de resultados: 73.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service