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

18 Team Members
Filters -> Year: 2026
21
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: 2
22
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
23
TITLE: COMPUTING CENTRALISERS IN [FINITELY GENERATED FREE]-BY-CYCLIC GROUPS  Full Text
AUTHORS: Carvalho, Andre ;
PUBLISHED: 2024, SOURCE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 111, ISSUE: 1, PAGES: 118-127
INDEXED IN: Scopus WOS CrossRef
24
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
25
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
26
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
27
TITLE: On the difference set of two transductions<i> </i>  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
28
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
29
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
31
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
INDEXED IN: WOS CrossRef: 1
32
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
33
TITLE: Profinite Congruences and Unary Algebras
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
34
TITLE: Regular Expressions Avoiding Absorbing Patterns and the Significance of Uniform Distribution  Full Text
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, PAGES: 1-18
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
35
TITLE: Regular semigroups weakly generated by set  Full Text
AUTHORS: Oliveira, Luis ;
PUBLISHED: 2024, SOURCE: SEMIGROUP FORUM, VOLUME: 109, ISSUE: 3, PAGES: 639-668
INDEXED IN: Scopus WOS CrossRef
36
TITLE: Stone Pseudovarieties
AUTHORS: Almeida, Jorge ; Klima, Ondrej;
PUBLISHED: 2024, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 79, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef
37
TITLE: The determinant of semigroups of the pseudovariety ECOM  Full Text
AUTHORS: Shahzamanian, M. H. ;
PUBLISHED: 2024, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS
INDEXED IN: Scopus WOS CrossRef Unpaywall
38
TITLE: THE PRO-k-SOLVABLE TOPOLOGY ON A FREE GROUP
AUTHORS: Marion, Claude ; Silva, Pedro V. ; Tracey, Gareth;
PUBLISHED: 2024, SOURCE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 116, ISSUE: 3, PAGES: 363-383
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
39
TITLE: The pro-supersolvable topology on a free group: Deciding denseness  Full Text
AUTHORS: Marion, Claude ; Silva, Pedro V. ; Tracey, Gareth;
PUBLISHED: 2024, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 646, PAGES: 183-204
INDEXED IN: Scopus WOS CrossRef: 1
40
TITLE: The Word Problem for (ω - 1)-Terms over DAb
AUTHORS: Jorge Almeida ; Manfred Kufleitner; Jan Philipp Wächter;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.08523
INDEXED IN: DBLP

Results per Page: 20.
Page 2 of 32. Total results: 625.