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

18 Team Members
Filters -> Year: 2025
41
TITLE: Location automata for regular expressions with shuffle and intersection  Full Text
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 295, PAGES: 104917
INDEXED IN: Scopus WOS CrossRef: 5
42
TITLE: Location automata for synchronised shuffle expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132, PAGES: 100847
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
43
TITLE: On endomorphisms of the direct product of two free groups  Full Text
AUTHORS: Carvalho, Andre ;
PUBLISHED: 2023, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 26, ISSUE: 4, PAGES: 693-724
INDEXED IN: Scopus WOS CrossRef
44
TITLE: On generalized conjugacy and some related problems  Full Text
AUTHORS: Carvalho, Andre ;
PUBLISHED: 2023, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 51, ISSUE: 8, PAGES: 3528-3542
INDEXED IN: Scopus WOS CrossRef: 3
45
TITLE: On the average complexity of partial derivative transducers *,**,***  Full Text
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956, PAGES: 113830
INDEXED IN: Scopus WOS DBLP CrossRef
46
TITLE: On the rational subsets of the monogenic free inverse monoid  Full Text
AUTHORS: Silva, Pedro, V ;
PUBLISHED: 2023, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 618, PAGES: 214-240
INDEXED IN: Scopus WOS CrossRef: 1
48
TITLE: Privacy-Preserving NN for IDS: A Study on the Impact of TFHE Restrictions
AUTHORS: Ivone Amorim ; Pedro Barbosa; Eva Maia; Isabel Praça ;
PUBLISHED: 2023, SOURCE: 19th International Workshop on Security and Trust Management, STM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14336 LNCS, PAGES: 107-125
INDEXED IN: Scopus CrossRef
49
TITLE: Regular semigroups weakly generated by idempotents
AUTHORS: Oliveira, Luis ;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 33, ISSUE: 05, PAGES: 851-891
INDEXED IN: Scopus WOS CrossRef: 1
50
TITLE: Regular semigroups weakly generated by one element  Full Text
AUTHORS: Oliveira, Luis ;
PUBLISHED: 2023, SOURCE: SEMIGROUP FORUM, VOLUME: 107, ISSUE: 2, PAGES: 525-563
INDEXED IN: Scopus WOS CrossRef
51
TITLE: Research On STEM Education in the Digital Age. Proceedings of the ROSEDA Conference
AUTHORS: Matthias Ludwig; Simon Barlovits; Amélia Caldeira; Ana Moura ;
PUBLISHED: 2023
INDEXED IN: CrossRef
52
TITLE: Research On STEM Education in the Digital Age: Editorial
AUTHORS: Matthias Ludwig; Simon Barlovits; Amélia Caldeira; Ana Moura ;
PUBLISHED: 2023, SOURCE: Research On STEM Education in the Digital Age. Proceedings of the ROSEDA Conference, PAGES: 1-5
INDEXED IN: CrossRef
53
TITLE: Secure, Dynamic and Uncomplicated Licensing of Movies on a Blockchain Infrastructure
AUTHORS: Santos, Joao; Amorim, Ivone ; Ulisses, Alexandre; Lopes, Joao Correia ; Filipe, Vasco;
PUBLISHED: 2023, SOURCE: 37th International Conference on Information Networking (ICOIN) in 2023 INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, ICOIN, VOLUME: 2023-January, PAGES: 152-157
INDEXED IN: Scopus WOS DBLP CrossRef
54
TITLE: What makes a Stone topological algebra Profinite  Full Text
AUTHORS: Almeida, Jorge ; Goulet Ouellet, Herman; Klima, Ondrej;
PUBLISHED: 2023, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 84, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
55
TITLE: A tribute to Mario Petrich  Full Text
AUTHORS: Szendrei, MB; Silva, PV ;
PUBLISHED: 2022, SOURCE: SEMIGROUP FORUM, VOLUME: 104, ISSUE: 1, PAGES: 1-9
INDEXED IN: WOS CrossRef
56
TITLE: Adaptive, Synchronous, and Mobile Online Education: Developing the ASYMPTOTE Learning Environment  Full Text
AUTHORS: Barlovits, Simon; Caldeira, Amelia; Fesakis, Georgios; Jablonski, Simone; Filippaki, Despoina Koutsomanoli; Lazaro, Claudia; Ludwig, Matthias; Mammana, Maria Flavia; Moura, Ana ; Oehler, Deng Xin Ken; Recio, Tomas; Taranto, Eugenia; Volika, Stamatia;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 10, PAGES: 1628
INDEXED IN: Scopus WOS CrossRef
57
TITLE: Algorithmic properties of inverse monoids with hyperbolic and tree-like Schutzenberger graphs  Full Text
AUTHORS: Gray, Robert D. ; Silva, Pedro, V ; Szakacs, Nora;
PUBLISHED: 2022, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 611, PAGES: 651-687
INDEXED IN: Scopus WOS CrossRef: 2
58
TITLE: An Automaton Group with PSPACE-Complete Word Problem  Full Text
AUTHORS: Jan Philipp Wächter ; Armin Weiß;
PUBLISHED: 2022, SOURCE: Theory of Computing Systems
INDEXED IN: CrossRef
59
TITLE: Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
INDEXED IN: DBLP
60
TITLE: Approximate NFA Universality Motivated by Information Theory
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439, PAGES: 142-154
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 3 of 33. Total results: 643.