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: 643

18 Team Members
Filters -> 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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: Scopus WOS CrossRef: 2
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
INDEXED IN: DBLP
164
TITLE: Bases of subalgebras of <math><mi>K</mi><mo>&#12314;</mo><mi>x</mi><mo>&#12315;</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
INDEXED IN: CrossRef: 3
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
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
INDEXED IN: Scopus DBLP arXiv CrossRef: 4
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus CrossRef: 4
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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: Scopus WOS CrossRef: 4
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
INDEXED IN: Scopus CrossRef: 4
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
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
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
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
INDEXED IN: CrossRef: 7
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
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
INDEXED IN: Scopus WOS CrossRef: 2
180
TITLE: On uniformly continuous functions for some profinite topologies  Full Text
AUTHORS: Pin, JE; Silva, PV ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PAGES: 246-262
INDEXED IN: Scopus WOS CrossRef: 1

Results per Page: 20.
Page 9 of 33. Total results: 643.