Equations for pseudovarieties. - Jorge Almeida 001 (Formal Properties of Finite Automata and Applications, 1988)

On Direct Product Decompositions of Finite -Trivial Semigroups. - Jorge Almeida 001 (Int. J. Algebra Comput., 1991)

Locally Commutative Power Semigroups and Counting Factors of Words. - Jorge Almeida 001 (Theor. Comput. Sci., 1993)

Reduced Factorizations in Free Profinite Groups and Join Decompositions of Pseudovarieties. - Jorge Almeida 001; Pascal Weil (Int. J. Algebra Comput., 1994)

A Syntactical Proof of Locality of da. - Jorge Almeida 001 (Int. J. Algebra Comput., 1996)

Free Profinite ℛ-Trivial Monoids. - Jorge Almeida 001; Pascal Weil (Int. J. Algebra Comput., 1997)

The Pseudovariety J is Hyperdecidable. - Jorge Almeida 001; Marc Zeitoun (RAIRO Theor. Informatics Appl., 1997)

The Gap Between Partial and Full. - Jorge Almeida 001; Mikhail V. Volkov 001 (Int. J. Algebra Comput., 1998)

Hyperdecidable Pseudovarieties and the Calculation of Semidirect Products. - Jorge Almeida 001 (Int. J. Algebra Comput., 1999)

Pseudovariety Joins involving -Trivial Semigroups. - Jorge Almeida 001; Assis Azevedo; Marc Zeitoun (Int. J. Algebra Comput., 1999)

Semidirect Products With the Pseudovariety of All Finite Groups. - Jorge Almeida 001; Ana Paula Escada (Words, Languages & Combinatorics, 2000)

On Hyperdecidable Pseudovarieties of Simple Semigroups. - Jorge Almeida 001 (Int. J. Algebra Comput., 2000)

The Gap Between Partial and Full: an Addendum. - Jorge Almeida 001; Peter M. Higgins; Mikhail V. Volkov 001 (Int. J. Algebra Comput., 2001)

SC-hyperdecidability of R. - Jorge Almeida 001; Pedro V. Silva (Theor. Comput. Sci., 2001)

The Globals of Some Subpseudovarieties of DA. - Jorge Almeida 001; Ana Paula Escada (Int. J. Algebra Comput., 2004)

Tameness of the Pseudovariety of Abelian Groups. - Jorge Almeida 001; Manuel Delgado 001 (Int. J. Algebra Comput., 2005)

The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin. - Jorge Almeida 001; Ana Paula Escada (RAIRO Theor. Informatics Appl., 2005)

The pseudovariety of semigroups of triangular matrices over a finite field. - Jorge Almeida 001; Stuart W. Margolis; Mikhail V. Volkov 001 (RAIRO Theor. Informatics Appl., 2005)

Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups. - Jorge Almeida 001; Mikhail V. Volkov 001 (Int. J. Algebra Comput., 2006)

An automata-theoretic approach to the word problem for omega -terms over R. - Jorge Almeida 001; Marc Zeitoun (Theor. Comput. Sci., 2007)

Description and analysis of a bottom-up DFA minimization algorithm. - Jorge Almeida 001; Marc Zeitoun (Inf. Process. Lett., 2008)

Matrix Mortality and the Cerný-Pin Conjecture. - Jorge Almeida 001; Benjamin Steinberg (Developments in Language Theory, 2009)

A counterexample to a conjecture concerning concatenation hierarchies. - Jorge Almeida 001; Ondrej Klíma 001 (Inf. Process. Lett., 2009)

New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages. - Jorge Almeida 001; Ondrej Klíma 001 (Discret. Math. Theor. Comput. Sci., 2010)

On the Transition Semigroups of Centrally Labeled Rauzy Graphs. - Jorge Almeida 001; Alfredo Costa (Int. J. Algebra Comput., 2012)

On the Semigroup of Equational Classes of Finite Functions. - Jorge Almeida 001; Miguel Couceiro; Tamás Waldhauser (ISMVL, 2013)

Iterated periodicity over finite aperiodic semigroups. - Jorge Almeida 001; José Carlos Costa; Marc Zeitoun (Eur. J. Comb., 2014)

On Decidability of Intermediate Levels of Concatenation Hierarchies. - Jorge Almeida 001; Jana Bartonová; Ondrej Klíma 001; Michal Kunc (DLT, 2015)

On fixed points of the lower set operator. - Jorge Almeida 001; Antonio Cano; Ondrej Klíma 001; Jean-Éric Pin (Int. J. Algebra Comput., 2015)

McCammond's normal forms for free aperiodic semigroups revisited. - Jorge Almeida 001; José Carlos Costa; Marc Zeitoun (LMS J. Comput. Math., 2015)

The omega-inequality problem for concatenation hierarchies of star-free languages. - Jorge Almeida 001; Ondrej Klíma 001; Michal Kunc (CoRR, 2016)

Factoriality and the Pin-Reutenauer procedure. - Jorge Almeida 001; José Carlos Costa; Marc Zeitoun (Discret. Math. Theor. Comput. Sci., 2016)

Reducibility vs. definability for pseudovarieties of semigroups. - Jorge Almeida 001; Ondrej Klíma 001 (Int. J. Algebra Comput., 2016)

Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. - Jorge Almeida 001; Emanuele Rodaro (Int. J. Found. Comput. Sci., 2016)

Commutative Positive Varieties of Languages. - Jorge Almeida 001; Zoltán Ésik; Jean-Éric Pin (Acta Cybern., 2017)

The linear nature of pseudowords. - Jorge Almeida 001; Alfredo Costa; José Carlos Costa; Marc Zeitoun (CoRR, 2017)

Complete κ-reducibility of pseudovarieties of the form DRH. - Jorge Almeida 001; Célia Borlido (Int. J. Algebra Comput., 2017)

On the Topological Semigroup of Equational Classes of Finite Functions Under Composition. - Jorge Almeida 001; Miguel Couceiro; Tamás Waldhauser (J. Multiple Valued Log. Soft Comput., 2017)

Recognizing pro-R closures of regular languages. - Jorge Almeida 001; José Carlos Costa; Marc Zeitoun (CoRR, 2019)

On the insertion of n-powers. - Jorge Almeida 001; Ondrej Klíma 001 (Discret. Math. Theor. Comput. Sci., 2019)

Profinite congruences and unary algebras. - Jorge Almeida 001; Ondrej Klíma 001 (CoRR, 2020)

Profinite topologies. - Jorge Almeida 001; Alfredo Costa (Handbook of Automata Theory (I.), 2021)

Binary patterns in the Prouhet-Thue-Morse sequence. - Jorge Almeida 001; Ondrej Klíma 001 (Discret. Math. Theor. Comput. Sci., 2021)

Book Introduction by the Authors: Profinite Semigroups and Symbolic Dynamic. - Jorge Almeida 001; Alfredo Costa; Revekka Kyriakoglou; Dominique Perrin (Bull. EATCS, 2022)

The Word Problem for (ω - 1)-Terms over DAb. - Jorge Almeida 001; Manfred Kufleitner; Jan Philipp Wächter (CoRR, 2024)

Pseudovarieties of semigroups. - Jorge Almeida 001 (CoRR, 2025)

Eilenberg correspondence for Stone recognition. - Jorge Almeida 001; Ondrej Klíma 001 (CoRR, 2025)