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