Semigroups, Automata and Languages (L:SAL)

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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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
TÍTULO: Towards a pseudoequational proof theory
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2018, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 75, NÚMERO: 2, PÁGINAS: 79-119
INDEXADO EM: Scopus WOS CrossRef: 1
162
TÍTULO: A Munn tree type representation for the elements of the bifree locally inverse semigroup  Full Text
AUTORES: Luis Oliveira ;
PUBLICAÇÃO: 2017, FONTE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 183, NÚMERO: 4, PÁGINAS: 653-678
INDEXADO EM: Scopus WOS CrossRef: 2
163
TÍTULO: A Survey on Operational State Complexity
AUTORES: Yuan Gao; Nelma Moreira ; Rogério Reis ; Sheng Yu;
PUBLICAÇÃO: 2017, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 21, NÚMERO: 4, PÁGINAS: 251-310
INDEXADO EM: DBLP
164
TÍTULO: 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
AUTORES: Assi, A; P.A García-Sánchez ; Micale, V;
PUBLICAÇÃO: 2017, FONTE: Journal of Symbolic Computation, VOLUME: 79, PÁGINAS: 4-22
INDEXADO EM: CrossRef: 3
165
TÍTULO: Bases of subalgebras of K〚x〛 and K[x]  Full Text
AUTORES: Assi A.; García-Sánchez P.A. ; Micale V.;
PUBLICAÇÃO: 2017, FONTE: Journal of Symbolic Computation, VOLUME: 79, PÁGINAS: 4-22
INDEXADO EM: Scopus
166
TÍTULO: Commutative positive varieties of languages PDF
AUTORES: Jorge Almeida ; Zoltán Ésik; Jean Éric Pin;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1703.02154, NÚMERO: 1, PÁGINAS: 91-111
INDEXADO EM: Scopus DBLP arXiv CrossRef: 4
167
TÍTULO: Complete kappa-reducibility of pseudovarieties of the form DRH  Full Text
AUTORES: Jorge Almeida ; Celia Borlido ;
PUBLICAÇÃO: 2017, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, NÚMERO: 2, PÁGINAS: 189-235
INDEXADO EM: Scopus WOS DBLP CrossRef
168
TÍTULO: Delta sets for symmetric numerical semigroups with embedding dimension three  Full Text
AUTORES: García-Sánchez P.A. ; Llena D.; Moscariello A.;
PUBLICAÇÃO: 2017, FONTE: Aequationes Mathematicae, VOLUME: 91, NÚMERO: 3, PÁGINAS: 579-600
INDEXADO EM: Scopus CrossRef: 4
169
TÍTULO: Equations Over Free Inverse Monoids with Idempotent Variables  Full Text
AUTORES: Diekert, V; Martin, F; Senizergues, G; Silva, PV ;
PUBLICAÇÃO: 2017, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 61, NÚMERO: 2, PÁGINAS: 494-520
INDEXADO EM: Scopus WOS CrossRef: 1
170
TÍTULO: Equidivisible pseudovarieties of semigroups
AUTORES: Jorge Almeida ; Alfredo Costa;
PUBLICAÇÃO: 2017, FONTE: PUBLICATIONES MATHEMATICAE-DEBRECEN, VOLUME: 90, NÚMERO: 3-4, PÁGINAS: 435-453
INDEXADO EM: Scopus WOS CrossRef: 4
171
TÍTULO: Geometric characterizations of virtually free groups  Full Text
AUTORES: Vítor Araújo; Pedro V Silva ;
PUBLICAÇÃO: 2017, FONTE: Journal of Algebra and its Applications, VOLUME: 16, NÚMERO: 9, PÁGINAS: 1750180
INDEXADO EM: Scopus CrossRef: 4
172
TÍTULO: Geometric characterizations of virtually free groups  Full Text
AUTORES: Vitor Araujo; Pedro V Silva ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 16, NÚMERO: 9
INDEXADO EM: WOS
173
TÍTULO: Inhabitation machines: determinism and principality
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2017, FONTE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PÁGINAS: 57-70
INDEXADO EM: DBLP
174
TÍTULO: On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
AUTORES: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2017, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 22, NÚMERO: 1-3, PÁGINAS: 5-28
INDEXADO EM: DBLP
175
TÍTULO: On the Average Complexity of Strong Star Normal Form
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PÁGINAS: 77-88
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
176
TÍTULO: On the complexity of the word problem for automaton semigroups and automaton groups  Full Text
AUTORES: Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLICAÇÃO: 2017, FONTE: Advances in Applied Mathematics, VOLUME: 90, PÁGINAS: 160-187
INDEXADO EM: CrossRef: 7
177
TÍTULO: On the Mother of All Automata: The Position Automaton
AUTORES: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396, PÁGINAS: 134-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
178
TÍTULO: On the Topological Semigroup of Equational Classes of Finite Functions Under Composition
AUTORES: Jorge Almeida ; Miguel Couceiro; Tamas Waldhauser;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 28, NÚMERO: 1, PÁGINAS: 5-28
INDEXADO EM: Scopus WOS DBLP
179
TÍTULO: On the topology of a boolean representable simplicial complex  Full Text
AUTORES: Margolis, S; Rhodes, J; Silva, PV ;
PUBLICAÇÃO: 2017, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 27, NÚMERO: 1, PÁGINAS: 121-156
INDEXADO EM: Scopus WOS CrossRef: 2
180
TÍTULO: On uniformly continuous functions for some profinite topologies  Full Text
AUTORES: Pin, JE; Silva, PV ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PÁGINAS: 246-262
INDEXADO EM: Scopus WOS CrossRef: 1

Results per Page: 20.
Página 9 de 33. Total de resultados: 643.