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
361
TITLE: New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages  Full Text
AUTHORS: Almeida, J ; Klíma, O;
PUBLISHED: 2010, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 4, PAGES: 41-58
INDEXED IN: Scopus WOS DBLP
362
TITLE: On finite-index extensions of subgroups of free groups  Full Text
AUTHORS: Pedro Silva ; Pascal Weil;
PUBLISHED: 2010, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 13, ISSUE: 3, PAGES: 365-381
INDEXED IN: Scopus WOS CrossRef
363
TITLE: On the Average Number of States of Partial Derivative Automata  Full Text
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PAGES: 112-+
INDEXED IN: Scopus WOS DBLP CrossRef: 2
364
TITLE: On the relative solvability of certain inverse monoids  Full Text
AUTHORS: Edite Cordeiro; Manuel Delgado ;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 3, PAGES: 531-547
INDEXED IN: Scopus WOS CrossRef
365
TITLE: Roughness in Cayley graphs  Full Text
AUTHORS: Shahzamanian, MH ; Shirmohammadi, M; Davvaz, B;
PUBLISHED: 2010, SOURCE: Information Sciences, VOLUME: 180, ISSUE: 17, PAGES: 3362-3372
INDEXED IN: Scopus CrossRef: 18
366
TITLE: Semidirect product with an order-computable pseudovariety and tameness  Full Text
AUTHORS: Almeida, J ; Costa, JC ; Teixeira, ML;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 1, PAGES: 26-50
INDEXED IN: Scopus WOS CrossRef: 4
367
TITLE: Small NFAs from Regular Expressions: Some Experimental Results
AUTHORS: Hugo Gouveia; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3599
INDEXED IN: DBLP
368
TITLE: State Elimination Ordering Strategies: Some Experimental Results  Full Text
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: DCFS, VOLUME: 31, PAGES: 139-148
INDEXED IN: DBLP CrossRef: 3
369
TITLE: Testing the Equivalence of Regular Languages
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: J. Autom. Lang. Comb., VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
INDEXED IN: DBLP
370
TITLE: UNIQUELY PRESENTED FINITELY GENERATED COMMUTATIVE MONOIDS
AUTHORS: García Sánchez, PA ; Ojeda, I;
PUBLISHED: 2010, SOURCE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 248, ISSUE: 1, PAGES: 91-105
INDEXED IN: Scopus WOS CrossRef: 27
371
TITLE: A counterexample to a conjecture concerning concatenation hierarchies  Full Text
AUTHORS: Almeida, J ; Klíma, O;
PUBLISHED: 2009, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 110, ISSUE: 1, PAGES: 4-7
INDEXED IN: Scopus WOS DBLP CrossRef: 2
372
TITLE: ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED  Full Text
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, ISSUE: 4, PAGES: 669-684
INDEXED IN: Scopus WOS DBLP CrossRef: 2
373
TITLE: Antimirov and Mosses's Rewrite System Revisited  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 20, ISSUE: 4, PAGES: 669-684
INDEXED IN: Scopus DBLP CrossRef: 15
374
TITLE: Complexity of the identity checking problem for finite semigroups  Full Text
AUTHORS: Almeida, J ; Volkov, MV; Goldberg, SV;
PUBLISHED: 2009, SOURCE: Journal of Mathematical Sciences, VOLUME: 158, ISSUE: 5, PAGES: 605-614
INDEXED IN: Scopus CrossRef: 10
375
TITLE: Factorization and catenary degree in 3-generated numerical semigroups  Full Text
AUTHORS: Francesc Aguiló Gost; Pedro A García Sánchez ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Discrete Mathematics, VOLUME: 34, PAGES: 157-161
INDEXED IN: Scopus CrossRef: 6
376
TITLE: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTHORS: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642, PAGES: 65-+
INDEXED IN: Scopus WOS DBLP CrossRef: 19
377
TITLE: Families of numerical semigroups closed under finite intersections and adjoin of the Frobenius number
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 91-104
INDEXED IN: CrossRef: 1
378
TITLE: Gerard Lallement (1935-2006) OBITUARY  Full Text
AUTHORS: Jorge Almeida ; Dominique Perrin;
PUBLISHED: 2009, SOURCE: SEMIGROUP FORUM, VOLUME: 78, ISSUE: 3, PAGES: 379-383
INDEXED IN: Scopus WOS CrossRef: 1
379
TITLE: INFINITE PERIODIC POINTS OF ENDOMORPHISMS OVER SPECIAL CONFLUENT REWRITING SYSTEMS
AUTHORS: Cassaigne, J; Silva, PV ;
PUBLISHED: 2009, SOURCE: ANNALES DE L INSTITUT FOURIER, VOLUME: 59, ISSUE: 2, PAGES: 769-810
INDEXED IN: Scopus WOS CrossRef: 9
380
TITLE: INFINITE WORDS AND CONFLUENT REWRITING SYSTEMS: ENDOMORPHISM EXTENSIONS  Full Text
AUTHORS: Julien Cassaigne; Pedro V Silva ;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 19, ISSUE: 4, PAGES: 443-490
INDEXED IN: Scopus WOS CrossRef: 13

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