Semigroups, Automata and Languages (L:SAL)
AuthID: I-000-B7B
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
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!
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!
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!
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: 625
18 Team MembersFilters -> Year: 2026
141
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: CIAA, VOLUME: 11601 LNCS, PAGES: 184-196
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLISHED: 2019, SOURCE: CIAA, VOLUME: 11601 LNCS, PAGES: 184-196
142
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Alves, S ; Broda, S ;
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
AUTHORS: Alves, S ; Broda, S ;
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
143
TITLE: Pseudovarieties of Ordered Completely Regular Semigroups Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
144
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
AUTHORS: Almeida, J ; Klima, O;
PUBLISHED: 2019, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 74, ISSUE: 2
145
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
146
TITLE: The computation of factorization invariants for affine semigroups
AUTHORS: García Sánchez, PA ; O'Neill, C; Webb, G;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 18, ISSUE: 1, PAGES: 1950019
AUTHORS: García Sánchez, PA ; O'Neill, C; Webb, G;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 18, ISSUE: 1, PAGES: 1950019
147
TITLE: THE LINEAR NATURE OF PSEUDOWORDS
AUTHORS: Almeida, J ; Costa, A; Costa, JC ; Zeitoun, M;
PUBLISHED: 2019, SOURCE: PUBLICACIONS MATEMATIQUES, VOLUME: 63, ISSUE: 2, PAGES: 361-422
AUTHORS: Almeida, J ; Costa, A; Costa, JC ; Zeitoun, M;
PUBLISHED: 2019, SOURCE: PUBLICACIONS MATEMATIQUES, VOLUME: 63, ISSUE: 2, PAGES: 361-422
148
TITLE: A note on the finite basis and finite rank properties for pseudovarieties of semigroups Full Text
AUTHORS: Almeida, J ; Shahzamanian, MH ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 177-180
AUTHORS: Almeida, J ; Shahzamanian, MH ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 177-180
149
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP150
TITLE: As múltiplas representações em tarefas e a conexão de conteúdos de matemática: perceções em um curso de formação contínua de professores. The multiple representations in tasks and the connection of mathematical contents: perceptions in a course of continuous formation of teachers
AUTHORS: Daniella Assemany; Cecília Costa; António Machiavelo ;
PUBLISHED: 2018, SOURCE: Indagatio Didactica, VOLUME: 10, ISSUE: 4
AUTHORS: Daniella Assemany; Cecília Costa; António Machiavelo ;
PUBLISHED: 2018, SOURCE: Indagatio Didactica, VOLUME: 10, ISSUE: 4
INDEXED IN: 
Handle
Handle151
TITLE: Automata for regular expressions with shuffle Full Text
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2018, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 259, ISSUE: 2, PAGES: 162-173
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2018, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 259, ISSUE: 2, PAGES: 162-173
152
TITLE: Delta sets for nonsymmetric numerical semigroups with embedding dimension three Full Text
AUTHORS: Pedro A García Sánchez ; David Llena; Alessio Moscariello;
PUBLISHED: 2018, SOURCE: Forum Mathematicum, VOLUME: 30, ISSUE: 1, PAGES: 15-30
AUTHORS: Pedro A García Sánchez ; David Llena; Alessio Moscariello;
PUBLISHED: 2018, SOURCE: Forum Mathematicum, VOLUME: 30, ISSUE: 1, PAGES: 15-30
153
TITLE: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
AUTHORS: Ferreira, M; Moreira, N ; Reis, R ;
PUBLISHED: 2018, SOURCE: 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, VOLUME: 10952, PAGES: 88-100
AUTHORS: Ferreira, M; Moreira, N ; Reis, R ;
PUBLISHED: 2018, SOURCE: 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, VOLUME: 10952, PAGES: 88-100
154
TITLE: Good subsemigroups of N<i><SUP>n</SUP></i>
AUTHORS: D'Anna, M; García Sánchez, PA ; Micale, V; Tozzo, L;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 2, PAGES: 179-206
AUTHORS: D'Anna, M; García Sánchez, PA ; Micale, V; Tozzo, L;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 2, PAGES: 179-206
155
TITLE: Local finiteness for Green's relations in semigroup varieties Full Text
AUTHORS: Volkov, MV; Silva, PV ; Soares, F;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 46, ISSUE: 11, PAGES: 4625-4653
AUTHORS: Volkov, MV; Silva, PV ; Soares, F;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 46, ISSUE: 11, PAGES: 4625-4653
156
TITLE: On a question of Eliahou and a conjecture of Wilf Full Text
AUTHORS: Manuel Delgado ;
PUBLISHED: 2018, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 288, ISSUE: 1-2, PAGES: 595-627
AUTHORS: Manuel Delgado ;
PUBLISHED: 2018, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 288, ISSUE: 1-2, PAGES: 595-627
157
TITLE: On finitely generated submonoids of virtually free groups
AUTHORS: Silva, PV ; Zakharov, A;
PUBLISHED: 2018, SOURCE: GROUPS COMPLEXITY CRYPTOLOGY, VOLUME: 10, ISSUE: 2, PAGES: 63-82
AUTHORS: Silva, PV ; Zakharov, A;
PUBLISHED: 2018, SOURCE: GROUPS COMPLEXITY CRYPTOLOGY, VOLUME: 10, ISSUE: 2, PAGES: 63-82
158
TITLE: On the second Feng-Rao distance of Algebraic Geometry codes related to Arf semigroups
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA;
PUBLISHED: 2018, SOURCE: Designs, Codes, and Cryptography, PAGES: 1-24
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA;
PUBLISHED: 2018, SOURCE: Designs, Codes, and Cryptography, PAGES: 1-24
INDEXED IN: Scopus
Scopus159
TITLE: On the subsemigroup complex of an aperiodic Brandt semigroup Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 7-31
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 7-31
160
TITLE: Position Automata for Semi-extended Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: J. Autom. Lang. Comb., VOLUME: 23, ISSUE: 1-3, PAGES: 39-65
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: J. Autom. Lang. Comb., VOLUME: 23, ISSUE: 1-3, PAGES: 39-65
INDEXED IN: Scopus DBLP
Scopus DBLP