Semigroups, Automata and Languages (L:SAL)

Centro de Matemática da Universidade do Porto (CMUP)

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

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

18 Team Members
Filters -> 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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus DBLP CrossRef
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
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
INDEXED IN: Scopus WOS
9
TITLE: Quantifying orbit detection: ρ-order and ρ-spectrum  Full Text
AUTHORS: Carvalho, Andre ;
PUBLISHED: 2025, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 662, PAGES: 568-588
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: Scopus WOS CrossRef: 1
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
INDEXED IN: Scopus WOS CrossRef
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
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
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
INDEXED IN: Scopus WOS DBLP

Results per Page: 20.
Page 1 of 33. Total results: 647.