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

18 Team Members
Filters -> Year: 2026
141
TÍTULO: Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
AUTORES: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLICAÇÃO: 2019, FONTE: CIAA, VOLUME: 11601 LNCS, PÁGINAS: 184-196
INDEXADO EM: Scopus DBLP CrossRef: 1
142
TÍTULO: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 25-45
INDEXADO EM: Scopus WOS DBLP CrossRef
143
TÍTULO: Pseudovarieties of Ordered Completely Regular Semigroups  Full Text
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2019, FONTE: RESULTS IN MATHEMATICS, VOLUME: 74, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
144
TÍTULO: Pseudovarieties of Ordered Completely Regular Semigroups (vol 74, 78, 2019)  Full Text
AUTORES: Almeida, J ; Klima, O;
PUBLICAÇÃO: 2019, FONTE: RESULTS IN MATHEMATICS, VOLUME: 74, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
145
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTORES: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
146
TÍTULO: The computation of factorization invariants for affine semigroups
AUTORES: García Sánchez, PA ; O'Neill, C; Webb, G;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 18, NÚMERO: 1, PÁGINAS: 1950019
INDEXADO EM: Scopus WOS CrossRef: 8
147
TÍTULO: THE LINEAR NATURE OF PSEUDOWORDS
AUTORES: Almeida, J ; Costa, A; Costa, JC ; Zeitoun, M;
PUBLICAÇÃO: 2019, FONTE: PUBLICACIONS MATEMATIQUES, VOLUME: 63, NÚMERO: 2, PÁGINAS: 361-422
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
148
TÍTULO: A note on the finite basis and finite rank properties for pseudovarieties of semigroups  Full Text
AUTORES: Almeida, J ; Shahzamanian, MH ;
PUBLICAÇÃO: 2018, FONTE: SEMIGROUP FORUM, VOLUME: 97, NÚMERO: 1, PÁGINAS: 177-180
INDEXADO EM: Scopus WOS CrossRef
149
TÍTULO: A Unifying Framework for Type Inhabitation
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2018, FONTE: FSCD, VOLUME: 108, PÁGINAS: 5:1-5:16
INDEXADO EM: Scopus DBLP
151
TÍTULO: Automata for regular expressions with shuffle  Full Text
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2018, FONTE: INFORMATION AND COMPUTATION, VOLUME: 259, NÚMERO: 2, PÁGINAS: 162-173
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
152
TÍTULO: Delta sets for nonsymmetric numerical semigroups with embedding dimension three  Full Text
AUTORES: Pedro A García Sánchez ; David Llena; Alessio Moscariello;
PUBLICAÇÃO: 2018, FONTE: Forum Mathematicum, VOLUME: 30, NÚMERO: 1, PÁGINAS: 15-30
INDEXADO EM: Scopus CrossRef: 7
153
TÍTULO: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
AUTORES: Ferreira, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2018, FONTE: 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, VOLUME: 10952, PÁGINAS: 88-100
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
154
TÍTULO: Good subsemigroups of N<i><SUP>n</SUP></i>
AUTORES: D'Anna, M; García Sánchez, PA ; Micale, V; Tozzo, L;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, NÚMERO: 2, PÁGINAS: 179-206
INDEXADO EM: Scopus WOS CrossRef: 10
155
TÍTULO: Local finiteness for Green's relations in semigroup varieties  Full Text
AUTORES: Volkov, MV; Silva, PV ; Soares, F;
PUBLICAÇÃO: 2018, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 46, NÚMERO: 11, PÁGINAS: 4625-4653
INDEXADO EM: Scopus WOS CrossRef: 1
156
TÍTULO: On a question of Eliahou and a conjecture of Wilf  Full Text
AUTORES: Manuel Delgado ;
PUBLICAÇÃO: 2018, FONTE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 288, NÚMERO: 1-2, PÁGINAS: 595-627
INDEXADO EM: Scopus WOS CrossRef: 12
157
TÍTULO: On finitely generated submonoids of virtually free groups
AUTORES: Silva, PV ; Zakharov, A;
PUBLICAÇÃO: 2018, FONTE: GROUPS COMPLEXITY CRYPTOLOGY, VOLUME: 10, NÚMERO: 2, PÁGINAS: 63-82
INDEXADO EM: Scopus WOS CrossRef
158
TÍTULO: On the second Feng-Rao distance of Algebraic Geometry codes related to Arf semigroups
AUTORES: Farrán, JI; García Sánchez, PA ; Heredia, BA;
PUBLICAÇÃO: 2018, FONTE: Designs, Codes, and Cryptography, PÁGINAS: 1-24
INDEXADO EM: Scopus
159
TÍTULO: On the subsemigroup complex of an aperiodic Brandt semigroup  Full Text
AUTORES: Margolis, S; Rhodes, J; Silva, PV ;
PUBLICAÇÃO: 2018, FONTE: SEMIGROUP FORUM, VOLUME: 97, NÚMERO: 1, PÁGINAS: 7-31
INDEXADO EM: Scopus WOS CrossRef: 3
160
TÍTULO: Position Automata for Semi-extended Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: J. Autom. Lang. Comb., VOLUME: 23, NÚMERO: 1-3, PÁGINAS: 39-65
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 8 de 32. Total de resultados: 625.