Semigroups, Automata and Languages (L:SAL)

Centro de Matemática da Universidade do Porto (CMUP)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 647

18 Team Members
Filters -> Year: 2025
121
TITLE: Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels  Full Text
AUTHORS: Konstantinidis, S; Moreira, N ; Reis, R ; Young, J;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 31, ISSUE: 8, PAGES: 983-1019
INDEXED IN: Scopus WOS DBLP CrossRef: 2
122
TITLE: REPRESENTATIONS OF RELATIVELY FREE PROFINITE SEMIGROUPS, IRREDUCIBILITY, AND ORDER PRIMITIVITY
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2020, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 373, ISSUE: 3, PAGES: 1941-1981
INDEXED IN: Scopus WOS CrossRef: 3
123
TITLE: Research on Outdoor STEM Education in the digiTal Age – Background and Introduction
AUTHORS: Matthias Ludwig; Simone Jablonski; Amélia Caldeira; Ana Moura ;
PUBLISHED: 2020, SOURCE: Research on Outdoor STEM Education in the digital Age. Proceedings of the ROSETA Online Conference in June 2020, PAGES: 5-9
INDEXED IN: CrossRef
124
TITLE: Simplicity of Augmentation Submodules for Transformation Monoids  Full Text
AUTHORS: Shahzamanian, MH ; Steinberg, B;
PUBLISHED: 2020, SOURCE: ALGEBRAS AND REPRESENTATION THEORY, VOLUME: 24, ISSUE: 4, PAGES: 1029-1051
INDEXED IN: Scopus WOS CrossRef
125
TITLE: The computational power of parsing expression grammars
AUTHORS: Bruno Loff ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2020, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 111, PAGES: 1-21
INDEXED IN: Scopus WOS DBLP CrossRef: 6
126
TITLE: Truncated boolean representable simplicial complexes  Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 30, ISSUE: 7, PAGES: 1399-1435
INDEXED IN: Scopus WOS CrossRef: 1
127
TITLE: Wilf's conjecture in fixed multiplicity  Full Text
AUTHORS: Winfried Bruns; Pedro García Sánchez ; Dane Wilburne; Christopher O'Neill; Christopher O'Neill;
PUBLISHED: 2020, SOURCE: International Journal of Algebra and Computation, VOLUME: 30, ISSUE: 4, PAGES: 861-882
INDEXED IN: Scopus CrossRef: 6
128
TITLE: A mesh of automata
AUTHORS: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2019, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 265, PAGES: 94-111
INDEXED IN: Scopus WOS DBLP CrossRef: 10
129
TITLE: Almost symmetric numerical semigroups with high type  Full Text
AUTHORS: Pedro A García Sánchez ; Ignacio Ojeda;
PUBLISHED: 2019, SOURCE: Turkish Journal of Mathematics, VOLUME: 43, ISSUE: 5, PAGES: 2499-2510
INDEXED IN: Scopus CrossRef
130
TITLE: Canonical bases of modules over one dimensional K -algebras
AUTHORS: Abbas A.; Assi A.; García-Sánchez P.A. ;
PUBLISHED: 2019, SOURCE: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, VOLUME: 113, ISSUE: 2, PAGES: 1121-1139
INDEXED IN: Scopus CrossRef
131
TITLE: Criptografia e Criptoanálise
AUTHORS: António Machiavelo Mahciavelo ; Rogério Reis Reis ;
PUBLISHED: 2019, SOURCE: Revista de Ciência Elementar, VOLUME: 7, ISSUE: 4
INDEXED IN: CrossRef
132
TITLE: Inside factorial monoids and the Cale monoid of a linear Diophantine equation  Full Text
AUTHORS: Pedro A García Sánchez ; Ulrich Krause; David Llena;
PUBLISHED: 2019, SOURCE: Journal of Algebra, VOLUME: 531, PAGES: 125-140
INDEXED IN: Scopus CrossRef: 1
133
TITLE: Nilpotency and strong nilpotency for finite semigroups
AUTHORS: Almeida, J ; Shahzamanian, MH ; Kufleitner, M;
PUBLISHED: 2019, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 70, ISSUE: 2, PAGES: 619-648
INDEXED IN: Scopus WOS CrossRef: 1
134
TITLE: On Average Behaviour of Regular Expressions in Strong Star Normal Form  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 30, ISSUE: 6-7, PAGES: 899-920
INDEXED IN: Scopus WOS DBLP CrossRef: 9
135
TITLE: On the insertion of n-powers
AUTHORS: Almeida, J ; Klima, O;
PUBLISHED: 2019, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
136
TITLE: On the semigroup rank of a group  Full Text
AUTHORS: Branco, MJJ ; Gomes, GMS ; Silva, PV ;
PUBLISHED: 2019, SOURCE: SEMIGROUP FORUM, VOLUME: 99, ISSUE: 3, PAGES: 568-578
INDEXED IN: Scopus WOS CrossRef: 1
137
TITLE: Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLISHED: 2019, SOURCE: 24th International Conference on Implementation and Application of Automata, CIAA 2019 in Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings, VOLUME: 11601, PAGES: 184-196
INDEXED IN: Scopus DBLP CrossRef: 1
138
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
INDEXED IN: Scopus WOS DBLP CrossRef
139
TITLE: Pseudovarieties of Ordered Completely Regular Semigroups  Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
140
TITLE: Pseudovarieties of Ordered Completely Regular Semigroups (vol 74, 78, 2019)  Full Text
AUTHORS: Almeida, J ; Klima, O;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 7 of 33. Total results: 647.