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
221
TITLE: Numerical semigroups with a given set of pseudo-Frobenius numbers
AUTHORS: Delgado, M ; Garcia Sanchez, PA ; Robles Perez, AM;
PUBLISHED: 2016, SOURCE: LMS JOURNAL OF COMPUTATION AND MATHEMATICS, VOLUME: 19, ISSUE: 1, PAGES: 186-205
INDEXED IN: Scopus WOS CrossRef: 1
222
TITLE: numericalsgps, a GAP package for numerical semigroups
AUTHORS: Delgado, M ; Garcia Sanchez, PA ;
PUBLISHED: 2016, SOURCE: ACM COMMUNICATIONS IN COMPUTER ALGEBRA, VOLUME: 50, ISSUE: 1, PAGES: 12-24
INDEXED IN: Scopus WOS CrossRef: 17
223
TITLE: On the dissimilarity operation on finite languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA, PAGES: 105-120
INDEXED IN: DBLP
224
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Ramos, MVM; de Queiroz, RJGB; Moreira, N ; Almeida, JCB ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803, PAGES: 338-357
INDEXED IN: Scopus WOS DBLP CrossRef: 2
225
TITLE: On the irreducibility of pseudovarieties of semigroups  Full Text
AUTHORS: Almedia, J ; Klima, O;
PUBLISHED: 2016, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 220, ISSUE: 4, PAGES: 1517-1524
INDEXED IN: Scopus WOS CrossRef: 3
226
TITLE: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: DCFS, VOLUME: 9777, PAGES: 45-59
INDEXED IN: Scopus DBLP CrossRef: 2
227
TITLE: Position Automaton Construction for Regular Expressions with Intersection
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840, PAGES: 51-63
INDEXED IN: Scopus WOS DBLP CrossRef: 2
228
TITLE: Preface: Non-classical models of automata and applications VII
AUTHORS: Holzer, M; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, ISSUE: 4, PAGES: 273-274
INDEXED IN: Scopus CrossRef
229
TITLE: Random walks on semaphore codes and delay de Bruijn semigroups
AUTHORS: John Rhodes; Anne Schilling; Pedro V Silva ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 26, ISSUE: 4, PAGES: 635-673
INDEXED IN: Scopus WOS CrossRef: 3
230
TITLE: Reducibility vs. definability for pseudovarieties of semigroups  Full Text
AUTHORS: Almeida, J ; Klima, O;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 26, ISSUE: 7, PAGES: 1483-1495
INDEXED IN: Scopus WOS DBLP CrossRef: 3
231
TITLE: Semisimple Synchronizing Automata and the Wedderburn-Artin Theory  Full Text
AUTHORS: Almeida, J ; Rodaro, E;
PUBLISHED: 2016, SOURCE: 18th International Conference on Developments in Language Theory (DLT) in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 27, ISSUE: 2, PAGES: 127-145
INDEXED IN: Scopus WOS DBLP
232
TITLE: Semisimple Synchronizing Automata and the Wedderburn-Artin Theory  Full Text
AUTHORS: Jorge Almeida ; Emanuele Rodaro;
PUBLISHED: 2016, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 27, ISSUE: 2, PAGES: 127-146
INDEXED IN: DBLP CrossRef: 6
233
TITLE: THE CONGRUENCE eta* ON SEMIGROUPS  Full Text
AUTHORS: Shahzamanian, MH ;
PUBLISHED: 2016, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 67, ISSUE: 3, PAGES: 405-423
INDEXED IN: Scopus WOS CrossRef: 1
234
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
INDEXED IN: DBLP
235
TITLE: The semaphore codes attached to a Turing machine via resets and their various limits
AUTHORS: John Rhodes; Anne Schilling; Pedro V Silva ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 26, ISSUE: 4, PAGES: 675-704
INDEXED IN: Scopus WOS CrossRef: 1
236
TITLE: The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. (Extended Abstract)
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2016, SOURCE: Computer Science – Theory and Applications - Lecture Notes in Computer Science, PAGES: 237-250
INDEXED IN: CrossRef
237
TITLE: A family of varieties of pseudosemilattices  Full Text
AUTHORS: Oliveira, L ;
PUBLISHED: 2015, SOURCE: SEMIGROUP FORUM, VOLUME: 91, ISSUE: 1, PAGES: 71-100
INDEXED IN: Scopus WOS CrossRef
238
TITLE: A matemática na imprensa diária portuguesa
AUTHORS: Susana Pereira; José Azevedo; António Machiavelo ;
PUBLISHED: 2015
INDEXED IN: Handle
239
TITLE: A new notion of vertex independence and rank for finite graphs  Full Text
AUTHORS: John Rhodes; Pedro V Silva ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 123-167
INDEXED IN: Scopus WOS CrossRef: 2
240
TITLE: A NOTE ON PSEUDOVARIETIES OF COMPLETELY REGULAR SEMIGROUPS
AUTHORS: Almeida, J ; Costa, A;
PUBLISHED: 2015, SOURCE: Bulletin of the Australian Mathematical Society in BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 92, ISSUE: 2, PAGES: 233-237
INDEXED IN: Scopus WOS CrossRef Handle

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