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: 647
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
INDEXED IN:
WOS
CrossRef


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

9
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
10
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


11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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


19
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

20
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


