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
201
TITLE: A numeracia e a formação dos jornalistas  Full Text
AUTHORS: Susana Pereira; José Azevedo; António Machiavelo ;
PUBLISHED: 2016
INDEXED IN: Handle
202
TITLE: Algorithms for curves with one place at infinity
AUTHORS: Assi, A; García Sánchez, PA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 74, PAGES: 475-492
INDEXED IN: Scopus WOS CrossRef: 2
203
TITLE: An Overview of the Computational Aspects of Nonunique Factorization Invariants
AUTHORS: García-Sánchez, PA ;
PUBLISHED: 2016, SOURCE: Springer Proceedings in Mathematics & Statistics - Multiplicative Ideal Theory and Factorization Theory, PAGES: 159-181
INDEXED IN: CrossRef: 7
204
TITLE: Automata Serialization for Manipulation and Drawing
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51, PAGES: 15:1-15:7
INDEXED IN: Scopus DBLP
205
TITLE: Bounding the gap between a free group (outer) automorphism and its inverse
AUTHORS: Ladra, M; Silva, PV ; Ventura, E;
PUBLISHED: 2016, SOURCE: COLLECTANEA MATHEMATICA, VOLUME: 67, ISSUE: 3, PAGES: 329-346
INDEXED IN: Scopus WOS CrossRef: 2
206
TITLE: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.06312
INDEXED IN: DBLP
207
TITLE: CYCLOTOMIC NUMERICAL SEMIGROUPS
AUTHORS: Ciolan, EA; García Sánchez, PA ; Moree, P;
PUBLISHED: 2016, SOURCE: SIAM JOURNAL ON DISCRETE MATHEMATICS, VOLUME: 30, ISSUE: 2, PAGES: 650-668
INDEXED IN: Scopus WOS CrossRef: 12
208
TITLE: Distinguishability Operations and Closures  Full Text
AUTHORS: Câmpeanu, C; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4, PAGES: 243-266
INDEXED IN: Scopus WOS DBLP CrossRef: 6
209
TITLE: Factoriality and the Pin-Reutenauer procedure  Full Text
AUTHORS: Almeida, J ; Costa, JC ; Zeitoun, M;
PUBLISHED: 2016, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS DBLP Handle
210
TITLE: Finite automata for Schreier graphs of virtually free groups  Full Text
AUTHORS: Pedro V Silva ; Xaro Soler Escriva; Enric Ventura;
PUBLISHED: 2016, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 19, ISSUE: 1, PAGES: 25-54
INDEXED IN: Scopus WOS CrossRef: 7
211
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: Scopus WOS DBLP arXiv
212
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA, PAGES: 211-226
INDEXED IN: DBLP
213
TITLE: Holder Conditions for Endomorphisms of Hyperbolic Groups  Full Text
AUTHORS: Vitor Araujo; Pedro V Silva ;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 44, ISSUE: 10, PAGES: 4483-4503
INDEXED IN: WOS CrossRef: 3
214
TITLE: Hölder Conditions for Endomorphisms of Hyperbolic Groups
AUTHORS: Araújo, V; Silva, PV ;
PUBLISHED: 2016, SOURCE: Communications in Algebra, VOLUME: 44, ISSUE: 10, PAGES: 4483-4503
INDEXED IN: Scopus
215
TITLE: Howson's Property for Semidirect Products of Semilattices by Groups  Full Text
AUTHORS: Pedro V Silva ; Filipa Soares;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 44, ISSUE: 6, PAGES: 2482-2494
INDEXED IN: Scopus WOS CrossRef: 3
216
TITLE: Ideal regular languages and strongly connected synchronizing automata  Full Text
AUTHORS: Reis, R ; Rodaro, E;
PUBLISHED: 2016, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 653, PAGES: 97-107
INDEXED IN: Scopus WOS DBLP CrossRef: 4
217
TITLE: Implementation of Code Properties via Transducers  Full Text
AUTHORS: Konstantinidis, S; Meijer, C; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 9705, PAGES: 189-201
INDEXED IN: Scopus WOS DBLP CrossRef: 2
218
TITLE: Maths in the news: uses and errors in Portuguese newspapers
AUTHORS: Pereira, S; Machiavelo, A ; Azevedo, J ;
PUBLISHED: 2016, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS
219
TITLE: Measuring primality in numerical semigroups with embedding dimension three
AUTHORS: Chapman, ST; García Sánchez, PA ; Tripp, Z; Viola, C;
PUBLISHED: 2016, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 15, ISSUE: 1, PAGES: 1650007
INDEXED IN: Scopus WOS CrossRef: 7
220
TITLE: Numerical Semigroups and Applications
AUTHORS: Abdallah Assi; Pedro A García-Sánchez ;
PUBLISHED: 2016, SOURCE: RSME Springer Series
INDEXED IN: CrossRef: 26

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