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
141
TÍTULO: A Unifying Framework for Type Inhabitation
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2018, FONTE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PÁGINAS: 5:1-5:16
INDEXADO EM: DBLP
143
TÍTULO: Automata for regular expressions with shuffle  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2018, FONTE: INFORMATION AND COMPUTATION, VOLUME: 259, NÚMERO: Part, PÁGINAS: 162-173
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
144
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
145
TÍTULO: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
AUTORES: Miguel Ferreira; Nelma Moreira ; Rogerio Reis ;
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
146
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
147
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
148
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
149
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
150
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
151
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
152
TÍTULO: Position Automata for Semi-extended Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3, PÁGINAS: 39-65
INDEXADO EM: Scopus DBLP
153
TÍTULO: RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2018, FONTE: 8th Workshop on Non-Classical Models of Automata and Applications (NCMA) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 52, NÚMERO: 2-4, PÁGINAS: 169-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
154
TÍTULO: Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ; Joshua Young;
PUBLICAÇÃO: 2018, FONTE: 23rd International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, VOLUME: 10977, PÁGINAS: 4-27
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
155
TÍTULO: Symbolic Manipulation of Code Properties
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3, PÁGINAS: 243-269
INDEXADO EM: Scopus DBLP
156
TÍTULO: The Computational Power of Parsing Expression Grammars
AUTORES: Bruno Loff ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 491-502
INDEXADO EM: Scopus DBLP CrossRef: 3
157
TÍTULO: The free idempotent generated locally inverse semigroup  Full Text
AUTORES: Oliveira, L ;
PUBLICAÇÃO: 2018, FONTE: SEMIGROUP FORUM, VOLUME: 96, NÚMERO: 3, PÁGINAS: 452-473
INDEXADO EM: Scopus WOS CrossRef: 3
158
TÍTULO: The lattice of flats of a boolean representable simplicial complex  Full Text
AUTORES: Margolis, S; Rhodes, J; Silva, PV ;
PUBLICAÇÃO: 2018, FONTE: Conference on Groups Algebras and Identities in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, NÚMERO: 8, PÁGINAS: 1677-1691
INDEXADO EM: Scopus WOS CrossRef
159
TÍTULO: The omega-inequality problem for concatenation hierarchies of star-free languages PDF  Full Text
AUTORES: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLICAÇÃO: 2018, FONTE: FORUM MATHEMATICUM, VOLUME: 30, NÚMERO: 3, PÁGINAS: 663-679
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
160
TÍTULO: The second Feng-Rao number for codes coming from telescopic semigroups
AUTORES: Farrán, JI; García Sánchez, PA ; Heredia, BA; Leamer, MJ;
PUBLICAÇÃO: 2018, FONTE: DESIGNS CODES AND CRYPTOGRAPHY, VOLUME: 86, NÚMERO: 8, PÁGINAS: 1849-1864
INDEXADO EM: Scopus WOS CrossRef: 5

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