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

18 Team Members
Filters -> Year: 2025
21
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
23
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
24
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: 1
25
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
INDEXED IN: Scopus WOS DBLP arXiv
26
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
27
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
28
TITLE: Stone Pseudovarieties
AUTHORS: Almeida, Jorge ; Klima, Ondrej;
PUBLISHED: 2024, SOURCE: RESULTS IN MATHEMATICS, VOLUME: 79, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef
29
TITLE: SUBSETS OF GROUPS IN PUBLIC-KEY CRYPTOGRAPHY
AUTHORS: Carvalho, Andre ; António Malheiro ;
PUBLISHED: 2024, SOURCE: ADVANCES IN MATHEMATICS OF COMMUNICATIONS, VOLUME: abs/2311.15039, ISSUE: 3, PAGES: 980-995
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
30
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
31
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
32
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
33
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
34
TITLE: 25th International Conference on Developments in Language Theory (DLT 2021): Preface  Full Text
AUTHORS: Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 34, ISSUE: 2&3, PAGES: 81-83
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
36
TITLE: Algebraic and context-free subsets of subgroups  Full Text
AUTHORS: Carvalho, Andre ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 980, PAGES: 114229
INDEXED IN: Scopus WOS CrossRef: 1
37
TITLE: Approximate NFA universality and related problems motivated by information theory & nbsp;  Full Text
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 972, PAGES: 114076
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
38
TITLE: Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: 27th International Conference of the Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2023, VOLUME: 14151, PAGES: 103-115
INDEXED IN: Scopus WOS DBLP CrossRef
39
TITLE: Data Privacy with Homomorphic Encryption in Neural Networks Training and Inference
AUTHORS: Ivone Amorim ; Eva Maia; Pedro Barbosa; Isabel Praça ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Lecture Notes in Networks and Systems, VOLUME: 741 LNNS, PAGES: 365-374
INDEXED IN: Scopus CrossRef: 1
40
TITLE: Equidivisibility and profinite coproduct  Full Text
AUTHORS: Almeida, Jorge ; Costa, Alfredo;
PUBLISHED: 2023, SOURCE: QUAESTIONES MATHEMATICAE, VOLUME: 46, ISSUE: 11, PAGES: 2243-2275
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 2 of 33. Total results: 648.