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

18 Team Members
Filters -> Year: 2025
161
TITLE: Symbolic Manipulation of Code Properties
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3, PAGES: 243-269
INDEXED IN: Scopus DBLP
162
TITLE: The Computational Power of Parsing Expression Grammars
AUTHORS: Bruno Loff ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Developments in Language Theory, DLT 2018 in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, VOLUME: 11088, PAGES: 491-502
INDEXED IN: Scopus DBLP CrossRef: 3
163
TITLE: The free idempotent generated locally inverse semigroup  Full Text
AUTHORS: Oliveira, L ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 96, ISSUE: 3, PAGES: 452-473
INDEXED IN: Scopus WOS CrossRef: 3
164
TITLE: The lattice of flats of a boolean representable simplicial complex  Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: Conference on Groups Algebras and Identities in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 8, PAGES: 1677-1691
INDEXED IN: Scopus WOS CrossRef
165
TITLE: The omega-inequality problem for concatenation hierarchies of star-free languages PDF  Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLISHED: 2018, SOURCE: FORUM MATHEMATICUM, VOLUME: 30, ISSUE: 3, PAGES: 663-679
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
166
TITLE: The second Feng-Rao number for codes coming from telescopic semigroups
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA; Leamer, MJ;
PUBLISHED: 2018, SOURCE: DESIGNS CODES AND CRYPTOGRAPHY, VOLUME: 86, ISSUE: 8, PAGES: 1849-1864
INDEXED IN: Scopus WOS CrossRef: 5
167
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
168
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
169
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
170
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
171
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
172
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
173
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
174
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
175
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
176
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
177
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
178
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
179
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
180
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

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