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
1
TÍTULO: A characterization of virtually free groups among hyperbolic groups
AUTORES: Carvalho, Andre ;
PUBLICAÇÃO: 2025, FONTE: CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, PÁGINAS: 1-7
INDEXADO EM: Scopus WOS CrossRef
2
TÍTULO: A verification of Wilf's conjecture up to genus 100  Full Text
AUTORES: Delgado, Manuel ; Eliahou, Shalom; Fromentin, Jean;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF ALGEBRA, VOLUME: 664, PÁGINAS: 150-163
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: Automata for Synchronised Shuffle on Backbones
AUTORES: Sabine Broda; António Machiavelo; Nelma Moreira ; Rogério Reis;
PUBLICAÇÃO: 2025, FONTE: 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025 in Descriptional Complexity of Formal Systems - 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings, VOLUME: 15759, PÁGINAS: 64-78
INDEXADO EM: Scopus DBLP CrossRef
4
TÍTULO: Language Quotients Revisited
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis;
PUBLICAÇÃO: 2025, FONTE: Int. J. Found. Comput. Sci., VOLUME: 36, NÚMERO: 3, PÁGINAS: 371-391
INDEXADO EM: Scopus DBLP CrossRef
5
TÍTULO: On the closure of cyclic subgroups of a free group in some profinite topologies  Full Text
AUTORES: Marion, Claude; Silva, Pedro V. ; Tracey, Gareth;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF GROUP THEORY
INDEXADO EM: Scopus WOS
6
TÍTULO: Quantifying orbit detection: ρ-order and ρ-spectrum  Full Text
AUTORES: Carvalho, Andre ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF ALGEBRA, VOLUME: 662, PÁGINAS: 568-588
INDEXADO EM: Scopus WOS CrossRef Unpaywall
7
TÍTULO: SUBSETS OF GROUPS IN PUBLIC-KEY CRYPTOGRAPHY
AUTORES: Carvalho, Andre; António Malheiro ;
PUBLICAÇÃO: 2025, FONTE: ADVANCES IN MATHEMATICS OF COMMUNICATIONS, VOLUME: 19, NÚMERO: 3, PÁGINAS: 980-995
INDEXADO EM: WOS DBLP
8
TÍTULO: Two-Word Shuffle: Some Results
AUTORES: Guilherme Duarte; Nelma Moreira ; Rogério Reis;
PUBLICAÇÃO: 2025, FONTE: 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025 in Descriptional Complexity of Formal Systems - 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings, VOLUME: 15759, PÁGINAS: 79-93
INDEXADO EM: Scopus DBLP CrossRef
9
TÍTULO: Block Languages and Their Bitmap Representations
AUTORES: Duarte, Guilherme; Moreira, Nelma ; Prigioniero, Luca; Reis, Rogerio ;
PUBLICAÇÃO: 2024, FONTE: 28th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2024, VOLUME: 15015, PÁGINAS: 124-137
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10
TÍTULO: Compressed Structures for Partial Derivative Automata Constructions  Full Text
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, PÁGINAS: 1-23
INDEXADO EM: Scopus WOS CrossRef Unpaywall
11
TÍTULO: COMPUTING CENTRALISERS IN [FINITELY GENERATED FREE]-BY-CYCLIC GROUPS  Full Text
AUTORES: Carvalho, Andre ;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, PÁGINAS: 1-10
INDEXADO EM: Scopus WOS CrossRef
12
TÍTULO: Decidability of the Brinkmann problems for endomorphisms of the free group  Full Text
AUTORES: Carvalho, Andre ; Delgado, Jordi;
PUBLICAÇÃO: 2024, FONTE: ARCHIV DER MATHEMATIK, VOLUME: 123, NÚMERO: 2, PÁGINAS: 137-145
INDEXADO EM: Scopus WOS CrossRef: 1
13
TÍTULO: Eventually fixed points of endomorphisms of virtually free groups  Full Text
AUTORES: Carvalho, Andre ;
PUBLICAÇÃO: 2024, FONTE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 75, NÚMERO: 3, PÁGINAS: 851-867
INDEXADO EM: Scopus WOS CrossRef: 1
14
TÍTULO: FINITELY PRESENTED INVERSE SEMIGROUPS WITH FINITELY MANY IDEMPOTENTS IN EACH <i>D</i> -CLASS AND NON-HAUSDORFF UNIVERSAL GROUPOIDS
AUTORES: Silva, Pedro V. ; Steinberg, Benjamin;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 116, NÚMERO: 3, PÁGINAS: 384-398
INDEXADO EM: Scopus WOS CrossRef
15
TÍTULO: On the difference set of two transductions  Full Text
AUTORES: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016, PÁGINAS: 114780
INDEXADO EM: WOS DBLP
16
TÍTULO: On the Representation of Block Languages
AUTORES: Guilherme Duarte; Nelma Moreira ; Luca Prigioniero; Rogério Reis ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2404.11746
INDEXADO EM: DBLP
17
TÍTULO: Operational State Complexity of Block Languages  Full Text
AUTORES: Duarte, Guilherme; Moreira, Nelma ; Reis, Rogerio ; Prigioniero, Luca;
PUBLICAÇÃO: 2024, FONTE: 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 407, NÚMERO: 407, PÁGINAS: 59-76
INDEXADO EM: Scopus WOS DBLP
18
TÍTULO: Orbit problems for free-abelian times free groups and related families  Full Text
AUTORES: Carvalho, Andre ; Delgado, Jordi;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS
INDEXADO EM: WOS CrossRef: 1
19
TÍTULO: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTORES: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PÁGINAS: 199-215
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
20
TÍTULO: Profinite Congruences and Unary Algebras PDF
AUTORES: Almeida, Jorge ; Klima, Ondrej;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 42, NÚMERO: 4, PÁGINAS: 265-297
INDEXADO EM: Scopus WOS DBLP arXiv

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