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
101
TITLE: A bibliometric analysis of 10 years of EDUCON (2010-2019)
AUTHORS: Costa, AR; Gustavo R. Alves ; Moura, A ;
PUBLISHED: 2020, SOURCE: IEEE Global Engineering Education Conference (IEEE EDUCON) in PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), VOLUME: 2020-April, PAGES: 1831-1835
INDEXED IN: Scopus WOS DBLP CrossRef
102
TITLE: A New Approach to Crowd Journalism Using a Blockchain-Based Infrastructure
AUTHORS: Teixeira, L; Amorim, I ; Silva, AU; Lopes, JC ; Filipe, V;
PUBLISHED: 2020, SOURCE: 18th International Conference on Advances in Mobile Computing and Multimedia (MoMM) in MOMM 2020: THE 18TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING & MULTIMEDIA, PAGES: 170-178
INDEXED IN: Scopus WOS DBLP CrossRef: 6
103
TITLE: Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness  Full Text
AUTHORS: Daniele D’Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Israel Journal of Mathematics, VOLUME: 237, ISSUE: 1, PAGES: 15-52
INDEXED IN: CrossRef: 5
104
TITLE: Conjecture of Wilf: A Survey
AUTHORS: Delgado, M ;
PUBLISHED: 2020, SOURCE: Springer INdAM Series, VOLUME: 40, PAGES: 39-62
INDEXED IN: Scopus CrossRef: 9
105
TITLE: Eraser morphisms and membership problem in groups and monoids  Full Text
AUTHORS: D'Angeli, D; Rodaro, E; Silva, PV ; Zakharov, A;
PUBLISHED: 2020, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 48, ISSUE: 8, PAGES: 3482-3504
INDEXED IN: Scopus WOS CrossRef: 1
106
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
107
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
109
TITLE: Infinite automaton semigroups and groups have infinite orbits  Full Text
AUTHORS: Daniele D'Angeli; Dominik Francoeur; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Journal of Algebra, VOLUME: 553, PAGES: 119-137
INDEXED IN: CrossRef: 2
110
TITLE: Insubordinação Criativa na Formação Contínua de Professores de Matemática Portugueses
AUTHORS: Daniella Assemany da Guia; Cecília Costa; António Machiavelo ;
PUBLISHED: 2020, SOURCE: Revista Internacional de Pesquisa em Educação Matemática, VOLUME: 10, ISSUE: 1, PAGES: 10-28
INDEXED IN: CrossRef
111
TITLE: Isolated factorizations and their applications in simplicial affine semigroups  Full Text
AUTHORS: Pedro A García Sánchez ; Andrés Herrera Poyatos;
PUBLISHED: 2020, SOURCE: Journal of Algebra and its Applications, VOLUME: 19, ISSUE: 5, PAGES: 2050082
INDEXED IN: Scopus CrossRef: 3
112
TITLE: Numerical Semigroups and Applications
AUTHORS: Abdallah Assi; Marco D'Anna; Pedro A García-Sánchez ;
PUBLISHED: 2020, SOURCE: RSME Springer Series
INDEXED IN: CrossRef: 4
113
TITLE: Numerical semigroups with embedding dimension three and minimal catenary degree  Full Text
AUTHORS: Pedro A García Sánchez ; Helena Martín Cruz;
PUBLISHED: 2020, SOURCE: Integers, VOLUME: 20, PAGES: 1-18
INDEXED IN: Scopus
114
TITLE: On the Average State Complexity of Partial Derivative Transducers
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2020, SOURCE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011, PAGES: 174-186
INDEXED IN: Scopus WOS DBLP CrossRef: 3
115
TITLE: On the group of a rational maximal bifix code  Full Text
AUTHORS: Jorge Almeida ; Alfredo Costa; Revekka Kyriakoglou; Dominique Perrin;
PUBLISHED: 2020, SOURCE: FORUM MATHEMATICUM, VOLUME: 32, ISSUE: 3, PAGES: 553-576
INDEXED IN: Scopus WOS CrossRef: 3
116
TITLE: ON THE LATTICE OF SUBGROUPS OF A FREE GROUP: COMPLEMENTS AND RANK
AUTHORS: Jordi Delgado; Pedro V Silva ;
PUBLISHED: 2020, SOURCE: Groups, Complexity, Cryptology, VOLUME: 12, ISSUE: 1
INDEXED IN: Scopus CrossRef
117
TITLE: On the structure theory of partial automaton semigroups  Full Text
AUTHORS: Daniele D’Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Semigroup Forum, VOLUME: 101, ISSUE: 1, PAGES: 51-76
INDEXED IN: CrossRef: 3
118
TITLE: On the Wilson monoid of a pairwise balanced design  Full Text
AUTHORS: Stuart Margolis; John Rhodes; Pedro V Silva ;
PUBLISHED: 2020, SOURCE: Algebraic Combinatorics, VOLUME: 3, ISSUE: 3, PAGES: 637-665
INDEXED IN: Scopus CrossRef: 1
119
TITLE: Orbit expandability of automaton semigroups and groups  Full Text
AUTHORS: Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Theoretical Computer Science, VOLUME: 809, PAGES: 418-429
INDEXED IN: CrossRef: 2
120
TITLE: Profinite Semigroups and Symbolic Dynamics Introduction
AUTHORS: Almeida, J ; Costa, A; Kyriakoglou, R; Perrin, D;
PUBLISHED: 2020, SOURCE: PROFINITE SEMIGROUPS AND SYMBOLIC DYNAMICS, VOLUME: 2274, PAGES: 1-+
INDEXED IN: Scopus WOS CrossRef: 4

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