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: 643
18 Team MembersFilters -> Year: 2025
161
TITLE: Towards a pseudoequational proof theory
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2018, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 75, ISSUE: 2, PAGES: 79-119
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2018, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 75, ISSUE: 2, PAGES: 79-119
162
TITLE: A Munn tree type representation for the elements of the bifree locally inverse semigroup Full Text
AUTHORS: Luis Oliveira ;
PUBLISHED: 2017, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 183, ISSUE: 4, PAGES: 653-678
AUTHORS: Luis Oliveira ;
PUBLISHED: 2017, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 183, ISSUE: 4, PAGES: 653-678
163
TITLE: A Survey on Operational State Complexity
AUTHORS: Yuan Gao; Nelma Moreira ; Rogério Reis ; Sheng Yu;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 21, ISSUE: 4, PAGES: 251-310
AUTHORS: Yuan Gao; Nelma Moreira ; Rogério Reis ; Sheng Yu;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 21, ISSUE: 4, PAGES: 251-310
INDEXED IN:
DBLP

164
TITLE: Bases of subalgebras of <math><mi>K</mi><mo>〚</mo><mi>x</mi><mo>〛</mo></math> and <math><mi>K</mi><mo>[</mo><mi>x</mi><mo>]</mo></math>
Full Text
AUTHORS: Assi, A; P.A García-Sánchez ; Micale, V;
PUBLISHED: 2017, SOURCE: Journal of Symbolic Computation, VOLUME: 79, PAGES: 4-22
AUTHORS: Assi, A; P.A García-Sánchez ; Micale, V;
PUBLISHED: 2017, SOURCE: Journal of Symbolic Computation, VOLUME: 79, PAGES: 4-22
165
TITLE: Bases of subalgebras of K〚x〛 and K[x] Full Text
AUTHORS: Assi A.; García-Sánchez P.A. ; Micale V.;
PUBLISHED: 2017, SOURCE: Journal of Symbolic Computation, VOLUME: 79, PAGES: 4-22
AUTHORS: Assi A.; García-Sánchez P.A. ; Micale V.;
PUBLISHED: 2017, SOURCE: Journal of Symbolic Computation, VOLUME: 79, PAGES: 4-22
INDEXED IN:
Scopus

166
TITLE: Commutative positive varieties of languages PDF
AUTHORS: Jorge Almeida ; Zoltán Ésik; Jean Éric Pin;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1703.02154, ISSUE: 1, PAGES: 91-111
AUTHORS: Jorge Almeida ; Zoltán Ésik; Jean Éric Pin;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1703.02154, ISSUE: 1, PAGES: 91-111
167
TITLE: Complete kappa-reducibility of pseudovarieties of the form DRH Full Text
AUTHORS: Jorge Almeida ; Celia Borlido ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, ISSUE: 2, PAGES: 189-235
AUTHORS: Jorge Almeida ; Celia Borlido ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, ISSUE: 2, PAGES: 189-235
168
TITLE: Delta sets for symmetric numerical semigroups with embedding dimension three Full Text
AUTHORS: García-Sánchez P.A. ; Llena D.; Moscariello A.;
PUBLISHED: 2017, SOURCE: Aequationes Mathematicae, VOLUME: 91, ISSUE: 3, PAGES: 579-600
AUTHORS: García-Sánchez P.A. ; Llena D.; Moscariello A.;
PUBLISHED: 2017, SOURCE: Aequationes Mathematicae, VOLUME: 91, ISSUE: 3, PAGES: 579-600
169
TITLE: Equations Over Free Inverse Monoids with Idempotent Variables Full Text
AUTHORS: Diekert, V; Martin, F; Senizergues, G; Silva, PV ;
PUBLISHED: 2017, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 61, ISSUE: 2, PAGES: 494-520
AUTHORS: Diekert, V; Martin, F; Senizergues, G; Silva, PV ;
PUBLISHED: 2017, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 61, ISSUE: 2, PAGES: 494-520
170
TITLE: Equidivisible pseudovarieties of semigroups
AUTHORS: Jorge Almeida ; Alfredo Costa;
PUBLISHED: 2017, SOURCE: PUBLICATIONES MATHEMATICAE-DEBRECEN, VOLUME: 90, ISSUE: 3-4, PAGES: 435-453
AUTHORS: Jorge Almeida ; Alfredo Costa;
PUBLISHED: 2017, SOURCE: PUBLICATIONES MATHEMATICAE-DEBRECEN, VOLUME: 90, ISSUE: 3-4, PAGES: 435-453
171
TITLE: Geometric characterizations of virtually free groups Full Text
AUTHORS: Vítor Araújo; Pedro V Silva ;
PUBLISHED: 2017, SOURCE: Journal of Algebra and its Applications, VOLUME: 16, ISSUE: 9, PAGES: 1750180
AUTHORS: Vítor Araújo; Pedro V Silva ;
PUBLISHED: 2017, SOURCE: Journal of Algebra and its Applications, VOLUME: 16, ISSUE: 9, PAGES: 1750180
172
TITLE: Geometric characterizations of virtually free groups Full Text
AUTHORS: Vitor Araujo; Pedro V Silva ;
PUBLISHED: 2017, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 16, ISSUE: 9
AUTHORS: Vitor Araujo; Pedro V Silva ;
PUBLISHED: 2017, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 16, ISSUE: 9
INDEXED IN:
WOS

173
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
INDEXED IN:
DBLP

174
TITLE: On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 22, ISSUE: 1-3, PAGES: 5-28
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2017, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 22, ISSUE: 1-3, PAGES: 5-28
INDEXED IN:
DBLP

175
TITLE: On the Average Complexity of Strong Star Normal Form
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2017, SOURCE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PAGES: 77-88
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2017, SOURCE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PAGES: 77-88
176
TITLE: On the complexity of the word problem for automaton semigroups and automaton groups Full Text
AUTHORS: Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2017, SOURCE: Advances in Applied Mathematics, VOLUME: 90, PAGES: 160-187
AUTHORS: Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2017, SOURCE: Advances in Applied Mathematics, VOLUME: 90, PAGES: 160-187
177
TITLE: On the Mother of All Automata: The Position Automaton
AUTHORS: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396, PAGES: 134-146
AUTHORS: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396, PAGES: 134-146
178
TITLE: On the Topological Semigroup of Equational Classes of Finite Functions Under Composition
AUTHORS: Jorge Almeida ; Miguel Couceiro; Tamas Waldhauser;
PUBLISHED: 2017, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 28, ISSUE: 1, PAGES: 5-28
AUTHORS: Jorge Almeida ; Miguel Couceiro; Tamas Waldhauser;
PUBLISHED: 2017, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 28, ISSUE: 1, PAGES: 5-28
INDEXED IN:
Scopus
WOS
DBLP



179
TITLE: On the topology of a boolean representable simplicial complex Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, ISSUE: 1, PAGES: 121-156
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, ISSUE: 1, PAGES: 121-156