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: 649
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: Broda, Sabine; Machiavelo, Antonio; Moreira, Nelma ; Reis, Rogerio;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 64-78
AUTHORS: Broda, Sabine; Machiavelo, Antonio; Moreira, Nelma ; Reis, Rogerio;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 64-78
4
TITLE: ENNigma: A framework for Private Neural Networks
AUTHORS: Barbosa, Pedro; Amorim, Ivone; Maia, Eva; Praca, Isabel ;
PUBLISHED: 2025, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 166, PAGES: 107719
AUTHORS: Barbosa, Pedro; Amorim, Ivone; Maia, Eva; Praca, Isabel ;
PUBLISHED: 2025, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 166, PAGES: 107719
5
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
6
TITLE: Minimizing costs in signal provision by communication antennas along a railway line Full Text
AUTHORS: Araujo, A.; Cerdeira, J. O. ; Lopes, N.; Moura, A. ;
PUBLISHED: 2025, SOURCE: 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH
AUTHORS: Araujo, A.; Cerdeira, J. O. ; Lopes, N.; Moura, A. ;
PUBLISHED: 2025, SOURCE: 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH
7
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
8
TITLE: On the Use of a Bike-Sharing System in Extreme Weather Events: The Case of Porto Alegre, Rio Grande do Sul, Brazil Full Text
AUTHORS: de Araujo, Kayck; Lima, Luciana; Dias, Mariana Andreotti; Costa, Daniel G. ; Silva, Ivanovitch;
PUBLISHED: 2025, SOURCE: SUSTAINABILITY, VOLUME: 17, ISSUE: 5, PAGES: 2291
AUTHORS: de Araujo, Kayck; Lima, Luciana; Dias, Mariana Andreotti; Costa, Daniel G. ; Silva, Ivanovitch;
PUBLISHED: 2025, SOURCE: SUSTAINABILITY, VOLUME: 17, ISSUE: 5, PAGES: 2291
9
TITLE: Preface of the Special Issue Dedicated to Selected Semigroup Papers from the Conference on Theoretical and Computational Algebra 2024 Full Text
AUTHORS: Almeida, Jorge; Araujo, Joao; António Malheiro ; Volkov, Mikhail;
PUBLISHED: 2025, SOURCE: SEMIGROUP FORUM
AUTHORS: Almeida, Jorge; Araujo, Joao; António Malheiro ; Volkov, Mikhail;
PUBLISHED: 2025, SOURCE: SEMIGROUP FORUM
INDEXED IN:
Scopus
WOS
10
TITLE: Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2025, Loughborough University, July 21-22, 2025
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025, SOURCE: NCMA, VOLUME: 422
AUTHORS: Nelma Moreira ; Luca Prigioniero;
PUBLISHED: 2025, SOURCE: NCMA, VOLUME: 422
INDEXED IN:
DBLP
11
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
12
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
13
TITLE: Two-Word Shuffle: Some Results
AUTHORS: Duarte, Guilherme; Moreira, Nelma ; Reis, Rogerio;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 79-93
AUTHORS: Duarte, Guilherme; Moreira, Nelma ; Reis, Rogerio;
PUBLISHED: 2025, SOURCE: 26th International Conference on Descriptional Complexity of Formal Systems-DCFS-Annual in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2025, VOLUME: 15759, PAGES: 79-93
14
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
15
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
16
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
17
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
18
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
19
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
20
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