Jorge Almeida
Universidade do Porto
My Publications
The linear nature of pseudowords
Publicacions Matemàtiques
July 2019
Correction to: Pseudovarieties of Ordered Completely Regular Semigroups
Results in Mathematics
April 2019
Pseudovarieties of Ordered Completely Regular Semigroups
Results in Mathematics
March 2019
Towards a pseudoequational proof theory
Portugaliae Mathematica
December 2018
Nilpotency and strong nilpotency for finite semigroups
The Quarterly Journal of Mathematics
November 2018
The ω-inequality problem for concatenation hierarchies of star-free languages
Forum Mathematicum
May 2018
A note on the finite basis and finite rank properties for pseudovarieties of semigroups
Semigroup Forum
December 2017
The pro-nilpotent group topology on a free group
Journal of Algebra
June 2017
Equidivisible pseudovarieties of semigroups
Publicationes Mathematicae Debrecen
April 2017
Complete κ-reducibility of pseudovarieties of the form DRH
International Journal of Algebra and Computation
March 2017
Commutative Positive Varieties of Languages
Acta Cybernetica
January 2017
Reducibility vs. definability for pseudovarieties of semigroups
International Journal of Algebra and Computation
November 2016
A geometric interpretation of the Schützenberger group of a minimal subshift
Arkiv för matematik
October 2016
On the irreducibility of pseudovarieties of semigroups
Journal of Pure and Applied Algebra
April 2016
Semisimple Synchronizing Automata and the Wedderburn-Artin Theory
International Journal of Foundations of Computer Science
February 2016
Reducibility of pointlike problems
Semigroup Forum
December 2015
A NOTE ON PSEUDOVARIETIES OF COMPLETELY REGULAR SEMIGROUPS
Bulletin of the Australian Mathematical Society
June 2015
On fixed points of the lower set operator
International Journal of Algebra and Computation
February 2015
On Decidability of Intermediate Levels of Concatenation Hierarchies
January 2015
McCammond’s normal forms for free aperiodic semigroups revisited
LMS Journal of Computation and Mathematics
January 2015
Iterated periodicity over finite aperiodic semigroups
European Journal of Combinatorics
April 2014
Closures of regular languages for profinite topologies
Semigroup Forum
March 2014
Semisimple Synchronizing Automata and the Wedderburn-Artin Theory
January 2014
Presentations of Schützenberger groups of minimal subshifts
Israel Journal of Mathematics
August 2013
On the Semigroup of Equational Classes of Finite Functions
May 2013
ON THE TRANSITION SEMIGROUPS OF CENTRALLY LABELED RAUZY GRAPHS
International Journal of Algebra and Computation
March 2012
Idempotent-generated semigroups and pseudovarieties
Proceedings of the Edinburgh Mathematical Society
June 2011
Semidirect product with an order-computable pseudovariety and tameness
Semigroup Forum
June 2010
A counterexample to a conjecture concerning concatenation hierarchies
Information Processing Letters
December 2009
Gérard Lallement (1935–2006)
Semigroup Forum
June 2009
Infinite-vertex free profinite semigroupoids and symbolic dynamics
Journal of Pure and Applied Algebra
May 2009
Complexity of the identity checking problem for finite semigroups
Journal of Mathematical Sciences
April 2009
Rational codes and free profinite monoids
Journal of the London Mathematical Society
March 2009
Matrix Mortality and the Černý-Pin Conjecture
January 2009
Representation theory of finite semigroups, semigroup radicals and formal language theory
Transactions of the American Mathematical Society
October 2008
Description and analysis of a bottom-up DFA minimization algorithm
Information Processing Letters
July 2008
Pointlike sets with respect to R and J
Journal of Pure and Applied Algebra
March 2008
Profinite groups associated with weakly primitive substitutions
Journal of Mathematical Sciences
July 2007
COMPLETE REDUCIBILITY OF PSEUDOVARIETIES
June 2007
An automata-theoretic approach to the word problem for ω -terms over R
Theoretical Computer Science
February 2007
Complete reducibility of systems of equations with respect to R
Portugaliae Mathematica
January 2007
SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS
International Journal of Algebra and Computation
April 2006
Tameness of Pseudovariety Joins Involving ${\sf R}$
Monatshefte für Mathematik
September 2005
TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS
International Journal of Algebra and Computation
April 2005
The pseudovariety of semigroups of triangular matrices over a finite field
RAIRO - Theoretical Informatics and Applications
January 2005
The globals of pseudovarieties of ordered semigroups containingB2and an application to ...
RAIRO - Theoretical Informatics and Applications
January 2005
THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
International Journal of Algebra and Computation
October 2004
THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
July 2004
Semidirect products with the pseudovariety of all finite groups
July 2003
PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY
Journal of Algebra and Its Applications
June 2003
Tameness of Some Locally Trivial Pseudovarieties
Communications in Algebra
January 2003
FINITE SEMIGROUPS: AN INTRODUCTION TO A UNIFIED THEORY OF PSEUDOVARIETIES
November 2002
Transactions of the American Mathematical Society
January 2002
On the equation V∗G=EV
Journal of Pure and Applied Algebra
January 2002
Some key problems on finite semigroups
Semigroup Forum
November 2001
SC-hyperdecidability of R
Theoretical Computer Science
March 2001
GLOBALS OF PSEUDOVARIETIES OF COMMUTATIVE SEMIGROUPS: THE FINITE BASIS PROBLEM, DECIDAB...
Proceedings of the Edinburgh Mathematical Society
February 2001
THE GAP BETWEEN PARTIAL AND FULL: AN ADDENDUM
International Journal of Algebra and Computation
February 2001
ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
International Journal of Algebra and Computation
April 2000
On finitely based pseudovarieties of the forms V∗D and V∗Dn
Journal of Pure and Applied Algebra
February 2000
Syntactic and Global Semigroup Theory: A Synthesis Approach
January 2000
On the Decidability of Iterated Semidirect Products with Applications to Complexity
Test´s Publication
January 2000
Semigroup Forum
July 1999
HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
International Journal of Algebra and Computation
June 1999
PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
International Journal of Algebra and Computation
February 1999
The Gap Between Partial and Full
International Journal of Algebra and Computation
June 1998
On the hyperdecidability of semidirect products of pseudovarieties
Communications in Algebra
January 1998
Profinite categories and semidirect products
Journal of Pure and Applied Algebra
January 1998
Free Profinite ℛ-Trivial Monoids
International Journal of Algebra and Computation
October 1997
Monoids Respectingn-Chains of Intervals
Journal of Algebra
January 1997
The pseudovariety $J$ is hyperdecidable
RAIRO - Theoretical Informatics and Applications
January 1997
Finite semigroups and universal algebra
Semigroup Forum
December 1996
Semigroups, automata and languages
Semigroup Forum
December 1996
A SYNTACTICAL PROOF OF LOCALITY OF DA
International Journal of Algebra and Computation
April 1996
Semigroups, Automata and Languages
March 1996
Finite Semigroups And Universal Algebra
January 1995
Finite Semigroups and Universal Algebra
January 1995
A Classification of Aperiodic Power Monoids
Journal of Algebra
December 1994
REDUCED FACTORIZATIONS IN FREE PROFINITE GROUPS AND JOIN DECOMPOSITIONS OF PSEUDOVARIETIES
International Journal of Algebra and Computation
September 1994
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite...
Semigroup Forum
December 1993
Locally commutative power semigroups and counting factors of words
Theoretical Computer Science
February 1993
Semigroups whose idempotents form a subsemigroup
Mathematical Proceedings of the Cambridge Philosophical Society
March 1992
On the membership problem for pseudovarieties of commutative semigroups
Semigroup Forum
December 1991
On iterated semidirect products of finite semilattices
Journal of Algebra
September 1991
ON DIRECT PRODUCT DECOMPOSITIONS OF FINITE $\mathscr J$-TRIVIAL SEMIGROUPS
International Journal of Algebra and Computation
September 1991
On finite simple semigroups
Proceedings of the Edinburgh Mathematical Society
June 1991
Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon
Journal of Pure and Applied Algebra
January 1991
Demidirectly closed pseudovarieties of locally trivial semigroups
Semigroup Forum
December 1990
On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities an...
Algebra Universalis
September 1990
Lattices, Semigroups, and Universal Algebra
January 1990
Semidirect products of pseudovarieties from the universal algebraist's point of view
Journal of Pure and Applied Algebra
October 1989
The join of the pseudovarieties of R-trivial and L-trivial monoids
Journal of Pure and Applied Algebra
October 1989
The algebra of implicit operations
Algebra Universalis
February 1989
On power varieties of semigroups
Journal of Algebra
January 1989
Some pseudovariety joins involving the pseudovariety of finite groups
Semigroup Forum
December 1988
A notion of branching rank for semilattices with descending chain condition
Order
January 1988
On pseudovarieties of monoids
January 1988
Implicit Operations on Certain Classes of Semigroups
January 1987
Power pseudovarieties of semigroups II
Semigroup Forum
December 1986
Power pseudovarieties of semigroups I
Semigroup Forum
December 1986
Minimal nonpermutative pseudovarieties of semigroups. I
Pacific Journal of Mathematics
February 1986
Minimal nonpermutative pseudovarieties of semigroups. II
Pacific Journal of Mathematics
February 1986
Some order properties of the lattice of varieties of commutative semigroups
Canadian Journal of Mathematics
February 1986
Some quasi-ordered classes of finite commutative semigroups
Semigroup Forum
December 1985
Minimal non-permutative pseudovarieties of semigroups III
Algebra Universalis
June 1985
Some algorithms on the star operation applied to finite languages
Semigroup Forum
December 1984
Generalized varieties of commutative and nilpotent semigroups
Semigroup Forum
December 1984
OVERLAPPING OF WORDS IN RATIONAL LANGUAGES
January 1983
Equations for pseudovarieties
Profinite semigroups and applications