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
541
TITLE: How to check if a finitely generated commutative monoid is a principal ideal commutative monoid
AUTHORS: Jose Carlos Rosales; Pedro A Garcia Sanchez ; Juan Ignacio Garcia Garcia;
PUBLISHED: 2000, SOURCE: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, PAGES: 288-291
INDEXED IN: Scopus
542
TITLE: Inverse automata and monoids and the undecidability of the Cayley subgraph problem for groups
AUTHORS: Oliveira, A ; Silva, PV ;
PUBLISHED: 2000, SOURCE: GLASGOW MATHEMATICAL JOURNAL, VOLUME: 42, ISSUE: 3, PAGES: 421-437
INDEXED IN: Scopus WOS CrossRef: 3
543
TITLE: On finitely based pseudovarieties of the forms V*D and V*D-n  Full Text
AUTHORS: Almeida, J ; Azevedo, A ; Teixeira, L;
PUBLISHED: 2000, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 146, ISSUE: 1, PAGES: 1-15
INDEXED IN: Scopus WOS CrossRef: 12
544
TITLE: On full affine semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2000, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 149, ISSUE: 3, PAGES: 295-303
INDEXED IN: Scopus WOS CrossRef: 5
545
TITLE: On hyperdecidable pseudovarieties of simple semigroups  Full Text
AUTHORS: Almeida, J ;
PUBLISHED: 2000, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 10, ISSUE: 2, PAGES: 261-284
INDEXED IN: Scopus WOS DBLP CrossRef
546
TITLE: On principal types of combinators  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2000, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 247, ISSUE: 1-2, PAGES: 277-290
INDEXED IN: Scopus WOS DBLP CrossRef: 5
547
TITLE: On the decidability of iterated semidirect products with applications to complexity  Full Text
AUTHORS: Almeida, J ; Steinberg, B;
PUBLISHED: 2000, SOURCE: PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, VOLUME: 80, ISSUE: 1, PAGES: 50-74
INDEXED IN: Scopus WOS CrossRef: 43
548
TITLE: On the structure of simplicial affine semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2000, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, VOLUME: 130, ISSUE: 5, PAGES: 1017-1028
INDEXED IN: Scopus WOS CrossRef: 1
549
TITLE: Reduced commutative monoids with two Archimedean components
AUTHORS: Rosales J.; García-Sánchez P. ;
PUBLISHED: 2000, SOURCE: Bollettino della Unione Matematica Italiana B, VOLUME: 3, ISSUE: 2, PAGES: 471-484
INDEXED IN: Scopus
550
TITLE: Relationship of certain rings of infinite matrices over integers.
AUTHORS: Petrich, M; Silva, PV ;
PUBLISHED: 2000, SOURCE: BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, VOLUME: 3B, ISSUE: 2, PAGES: 347-365
INDEXED IN: Scopus WOS
551
TITLE: Relatively free *-bands
AUTHORS: Petrich, M; Silva, PV ;
PUBLISHED: 2000, SOURCE: Beitrage zur Algebra und Geometrie, VOLUME: 41, ISSUE: 2, PAGES: 569-588
INDEXED IN: Scopus
552
TITLE: Relatively free bands  Full Text
AUTHORS: Petrich, M; Silva, PV ;
PUBLISHED: 2000, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 28, ISSUE: 5, PAGES: 2615-2631
INDEXED IN: Scopus WOS CrossRef: 4
553
TITLE: Semidirect Products With the Pseudovariety of All Finite Groups
AUTHORS: Jorge Almeida ; Ana Paula Escada;
PUBLISHED: 2000, SOURCE: Proceedings of the International Colloquium on Words, Languages & Combinatorics III, Kyoto, Japan, March 14-18, 2000., PAGES: 1-21
INDEXED IN: DBLP CrossRef
554
TITLE: Syntactic and global semigroup theory: A synthesis approach
AUTHORS: Almeida, J ; Steinberg, B;
PUBLISHED: 2000, SOURCE: International Conference on Algorithmic Problems in groups and Semigroups in ALGORITHMIC PROBLEMS IN GROUPS AND SEMIGROUPS, PAGES: 1-23
INDEXED IN: WOS CrossRef: 13
555
TITLE: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1999, SOURCE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581, PAGES: 69-82
INDEXED IN: Scopus WOS DBLP CrossRef: 1
556
TITLE: Hyperdecidable pseudovarieties and the calculation of semidirect products  Full Text
AUTHORS: Almeida, J ;
PUBLISHED: 1999, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 9, ISSUE: 3-4, PAGES: 241-261
INDEXED IN: Scopus WOS DBLP CrossRef: 33
557
TITLE: Numerical semigroups generated by intervals
AUTHORS: García Sánchez, PA ; Rosales, JC;
PUBLISHED: 1999, SOURCE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 191, ISSUE: 1, PAGES: 75-83
INDEXED IN: Scopus WOS CrossRef: 18
558
TITLE: On directly infinite rings  Full Text
AUTHORS: Petrich, M; Silva, PV ;
PUBLISHED: 1999, SOURCE: ACTA MATHEMATICA HUNGARICA, VOLUME: 85, ISSUE: 1-2, PAGES: 153-165
INDEXED IN: Scopus WOS CrossRef: 2
559
TITLE: On free affine semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 1999, SOURCE: SEMIGROUP FORUM, VOLUME: 58, ISSUE: 3, PAGES: 367-385
INDEXED IN: Scopus WOS CrossRef: 10
560
TITLE: On normal affine semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 1999, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 286, ISSUE: 1-3, PAGES: 175-186
INDEXED IN: Scopus WOS CrossRef: 2

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