Source: https://cmup.fc.up.pt/cmup/jalmeida/index.html
Timestamp: 2019-04-24 02:43:02+00:00

Document:
If you access this page from an old address, the pointers to publications may not work.
To overcome this problem, use instead the following address: http://www.fc.up.pt/cmup/jalmeida/ .
I was a proposer and a member of the Steering Committee and of the Executive Group of the European Science Foundation scientific programme Automata: from Mathematics to Applications (AutoMathA).
The programme started on 23 May, 2005, and extended for five and a half years.
I have developed some tools to deal with semigroup presentations which I have found to be quite useful. Presently, they are still under development and access to them is restricted. If you are interested in using them, please send me a message and we may discuss the conditions under which they may be used. Eventually, I intend to make these tools public and freely available.
J. Almeida, G. Bordalo, and P. Dwinger (Eds.), Lattices, Semigroups and Universal Algebra, Plenum, New York, 1990. ISBN: 0-306-43412-1.
J. Almeida, G. M. S. Gomes, and P. V. Silva (Eds.), Semigroups, Automata and Languages, World Scientific, Singapore, 1996, ISBN: 981-02-2515-6.
J. Almeida, Syntactic methods in finite semigroup theory.
Proc. Int. Conf. ``Semigroups and their applications, including semigroup rings'' (St.-Petersburg, Russia, 19-30 June, 1995), S. Kublanovsky, A. Mikhalev, P. Higgins, and J. Ponizovskii (eds.), TPO ``Sverny Ochag'', St Petersburg, 1999, 1-21.
(PostScript file of preprint available).
J. Almeida and P. M. Higgins, Monoids respecting n-chains of intervals.
J. Algebra 187 (1997) 183-202.
J. Almeida and M. V. Volkov, The gap between partial and full.
Int. J. Algebra and Computation 8 (1998) 399-430.
Jorge Almeida, Some algorithmic problems for pseudovarieties.
Publ Math. Debrecen 54 Suppl. (1999) 531-552.
Jorge Almeida, Power exponents of aperiodic pseudovarieties.
Semigroup Forum 59 (1999) 18-32.
Jorge Almeida, Hyperdecidable pseudovarieties and the calculation of semidirect products.
Int. J. Algebra and Computation 9 (1999) 241-261.
J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable.
Theor. Inf. and Appl. 31 (1997) 457-482.
J. Almeida, A. Azevedo and L. Teixeira, On finitely based pseudovarieties of the forms V*D and V*D_n.
J. Pure and Applied Algebra 146 (2000) 1-15.
J. Almeida, A. Azevedo and M. Zeitoun, Pseudovariety joins involving J-trivial semigroups and completely regular semigroups.
Int. J. Algebra and Computation 9 99-112.
Jorge Almeida and Pedro V. Silva, SC-Hyperdecidability of R.
Theor. Comp. Sci. 255 (2001) 569-591.
Jorge Almeida and Pedro V. Silva, On the hyperdecidability of semidirect products of pseudovarieties.
Comm. in Algebra 26 (1998) 4065-4077.
Jorge Almeida, On hyperdecidable pseudovarieties of simple semigroups.
Int. J. Algebra and Computation 10 (2000) 261-284.
Jorge Almeida, Power semigroups: results and problems.
Algebraic Engineering, M. Ito and C. Nehaniv (eds.), World Scientific, Singapore, 1999, 399-415.
Jorge Almeida and Benjamin Steinberg, On the decidability of iterated semidirect products with applications to complexity.
Proc. London Math. Soc. 80 (2000) 50-74.
Jorge Almeida and Manuel Delgado, Sur certains systèmes d'équations avec contraintes dans un groupe libre.
Port. Math. 56 (1999) 409-417.
Jorge Almeida, On a problem of Brzozowski and Fich.
Semigroups and Applications, J. M. Howie and N. Ruskuc (eds.), World Scientific, Singapore, 1999, 1-17.
Jorge Almeida and Ana Escada, On the equation V * G = EV.
J. Pure Appl. Algebra 166 (2002) 1-28.
Jorge Almeida and Benjamin Steinberg, Syntactic and global semigroup theory, a synthesis approach.
Algorithmic Problems in Groups and Semigroups, J. C. Birget, S. W. Margolis, J. Meakin, and M. V. Sapir (eds.), Birkhäuser, 2000, 1-23.
Jorge Almeida and Peter G. Trotter, Hyperdecidability of pseudovarieties of orthogroups.
Glasgow Math. J. 43 (2001) 67-83.
Jorge Almeida and Assis Azevedo, Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability, and gaps.
Proc. Edinburgh Math. Soc. 44 (2001) 27-47.
Jorge Almeida, P. M. Higgins and M. V. Volkov, The gap between partial and full: an addendum.
Int. J. Algebra and Computation 11 (2001) 131-135.
Jorge Almeida and Manuel Delgado, Sur certains systèmes d'équations avec contraintes dans un groupe libre--addenda.
Portugal. Math. 58 (2001) 379-387.
Jorge Almeida and Marc Zeitoun, Tameness of some locally trivial pseudovarieties.
Comm. Algebra 31 (2003) 61-77.
Jorge Almeida, Dynamics of implicit operations and tameness of pseudovarieties of groups.
Trans. Amer. Math. Soc. 354 (2001) 387-411.
(Revised PostScript file of preprint available).
Jorge Almeida, Finite semigroups: jewels and problems.
Jorge Almeida, Tameness of pseudovarieties of semigroups.
Jorge Almeida and Ana Escada, Semidirect products with the pseudovariety of all finite groups.
Jorge Almeida and Peter G. Trotter, The word problem for free profinite semigroups over the pseudovariety CR and k-reducibility.
Bull. Austral. Math. Soc. 63 (2001) 407-433.
Jorge Almeida and Mikhail V. Volkov, Profinite methods in finite semigroup theory.
Jorge Almeida, Some key problems on finite semigroups.
Semigroup Forum 64 (2002) 159-179.
Jorge Almeida, Dynamics of finite semigroups.
In G. M. S. Gomes, J.-E. Pin and P. V. Silva (eds.), Semigroups, Algorithms, Automata and Languages, World Scientific, Singapore, 2002, 269-292.
Published in Int. J. Algebra Comput. 15 (2005) 327-338.
Jorge Almeida, Finite semigroups: an introduction to a unified theory of pseudovarieties.
In G. M. S. Gomes, J.-E. Pin and P. V. Silva (eds.), Semigroups, Algorithms, Automata and Languages, World Scientific, Singapore, 2002, 3-64.
Jorge Almeida and Mikhail V. Volkov, Profinite identities for finite semigroups whose subgroups belong to a given pseudovariety.
J. Algebra & Applications 2 (2003) 137-163.
(PDF file of preprint available).
Jorge Almeida and Ana Escada, The globals of some subpseudovarieties of DA.
Published in Int. J. Algebra Comput. 14 (2004) 525-549.
Jorge Almeida, Symbolic dynamics in free profinite semigroups.
( revised PDF file available).
Jorge Almeida and M. V. Volkov, Subword complexity of profinite words and subgroups of free profinite semigroups.
Published in Int. J. Algebra Comput. 16 (2006) 221-258.
Jorge Almeida, Profinite structures and dynamics. Published in CIM Bulletin 14 (2003) 8-18.
Jorge Almeida and M. Zeitoun, The equational theory of ω-terms for finite R-trivial semigroups.
Proceedings of the Workshop on Semigroups and Languages (Lisbon 2002, I. M. Araújo, M. J. J. Branco, V. H. Fernandes, G. M. S. Gomes, eds.), World Scientific, 2004, 1-22.
(CMUP 2003-33) Jorge Almeida, Profinite semigroups and applications.
Published in V. Kudryavtsev, I. G. Rosenberg (Eds.), Structural Theory of Automata, Semigroups, and Universal Algebra, Proceedings of NATO Advanced Study Institute, Montréal, Québec, Canada, 7-18/7/2003. NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207, Springer, 2005, 1-45.
(revised PDF file of preprint available).
(CMUP 2004-09) J. Almeida, S. W. Margolis, M. V. Volkov, The pseudovariety of semigroups of triangular matrices over a finite field.
Published in Theor. Informatics Appl. (special issue in honour of Imre Simon's 60th birthday) 39 (2005) 31-48.
(CMUP 2004-18) J. Almeida, A. Escada, The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin.
Published in Theor. Informatics Appl. (special issue in honour of Imre Simon's 60th birthday) 39 (2005) 1-29.
(CMUP 2004-21) J. Almeida, J. C. Costa, M. Zeitoun, Tameness of pseudovariety joins involving R.
Published in Monatsh. Math. 146 (2005) 89-111.
(PDF file of revised version available).
Published in Theor. Comp. Sci. 370 (2007) 131-169.
with PDF file English version in J. Mathematical Sciences 144-2 (2007) 3881-3903.
Published in Actas do Encontro de Algebristas Portugueses/2004, Universidade de Trás-os-Montes e Alto Douro, 2005, 1-13.
Published in Proceedings of the International Conference Semigroups and Formal Languages in honour of D. McAlister (Lisbon, July, 2005), (Jorge M. André, Mário J. J. Branco, Vítor H. Fernandes, John Fountain, Gracinda M. S. Gomes and John C. Meakin, eds.), World Scientific, 2007, 9-25.
Published in the Trans. Amer. Math. Soc. 361 (2009) 1429-1461.
Published in Portugaliae Mathematica 64 (2007) 445-508.
Published in Inform. Process. Lett. 107 (2008) 52-59, under the title Description and analysis of a bottom-up DFA minimization algorithm.
Published in J. Pure and Applied Algebra 212 (2008) 486-499.
Published, in Russian, in Zapiski Nauchnykh Seminarov Sankt-Peterburgskogo Otdeleniya Matematicheskogo Instituta imeni V. A. Steklova Rossiiskoi Akademii Nauk (Notes of Scientific Seminars of the St Petersburg Department of the Steklov Mathematical Institute, Russian Academy of Sciences) 358 (2008) "Studies in Constructive Mathematics and Mathematical Logic. Part XI", 5-22.
Published also in English, in J. Math. Sci. 158 (2009) 605-614.
Published in J. Pure Appl. Algebra 213 (2009) 605-631.
(PDF file of revised version of preprint available).
Published in Bull. Iranian Math. Soc. 34 (2008) 1-22.
Published in J. London Math. Soc. (2) 79 (2009) 465-477.
Europ. J. Combin. 37 (2014) 115-149.
Published in Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings. Berlin: Springer. Lecture Notes in Computer Science 5583, 67-80 (2009).
( revised PDF file available, with the new title A counterexample to a conjecture concerning concatenation hierarchies).
Published in Information Processing Letters 110 (2009) 4-7 (DOI: 10.1016/j.ipl.2009.09.011).
Published in special issue of Semigroup Forum dedicated to the memory of W. D. Munn. Semigroup Forum 81 (2010) 26-50 (DOI: 10.1007/s00233-010-9236-z).
Published in Illinois J. Math. 54 (2010) 199-221.
( PDF file of revised version available).
Published in Discr. Math. & Theor. Comp. Sci. 12 (2010) 41-58.
Published in Proc. Edinburgh Math. Soc. 54 (2011) 545-568.
(PDF file of third version available).
published online in Israel J. Math. 196 (2013), 1-31 (DOI: 10.1007/s11856-012-0139-4).
Int. J. Algebra and Comput. 22 (2012) 1250018 (DOI No: 10.1142/S021819671250018X).
To appear (with only minor linguistic changes) in the LMS J. Computation and Mathematics.
This page is not being updated regularly.
For more recent publications, see my arXiv profile.
If basically no link works, please see the WARNING at the top of this page.
If some specific link does not work, please contact me at the above email address.
Most files above are included in our research center's web page. If, as a result of an editing error in this page, you encounter a missing file error, you may wish to check directly in the center's publication page.
To obtain complete bibtex entries for most of the above publications, on common browsers it suffices to choose with the mouse the publication data, click with the left button at the link MReflet, and then click at the bibtex button in the resulting window (courtesy of AMS). This works well for journal articles but it is not so reliable for proceedings papers which may not be identified with any entry in the database or, even worse, may be confused with a different entry.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.