Semigroups, Automata and Languages (L:SAL)
AuthID: I-000-B7B
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
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!
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!
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!
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 MembersFilters -> Year: 2026
421
TITLE: An automata-theoretic approach to the word problem for ω-terms over R Full Text
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, ISSUE: 1-3, PAGES: 131-169
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, ISSUE: 1-3, PAGES: 131-169
422
TITLE: Automated ciphertext-only cryptanalysis of the Bifid cipher Full Text
AUTHORS: Machiavelo, A ; Reis, R ;
PUBLISHED: 2007, SOURCE: CRYPTOLOGIA, VOLUME: 31, ISSUE: 2, PAGES: 112-124
AUTHORS: Machiavelo, A ; Reis, R ;
PUBLISHED: 2007, SOURCE: CRYPTOLOGIA, VOLUME: 31, ISSUE: 2, PAGES: 112-124
423
TITLE: Complete reducibility of systems of equations with respect to R
AUTHORS: José Carlos Costa; Marc Zeitoun; Jorge Almeida ;
PUBLISHED: 2007, SOURCE: Portugaliae Mathematica - Port. Math., PAGES: 445-508
AUTHORS: José Carlos Costa; Marc Zeitoun; Jorge Almeida ;
PUBLISHED: 2007, SOURCE: Portugaliae Mathematica - Port. Math., PAGES: 445-508
424
TITLE: Enumeration and generation with a string automata representation Full Text
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2, PAGES: 93-102
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2, PAGES: 93-102
425
TITLE: Models for free pseudosemilattices Full Text
AUTHORS: Luis Oliveira ;
PUBLISHED: 2007, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 56, ISSUE: 3-4, PAGES: 315-336
AUTHORS: Luis Oliveira ;
PUBLISHED: 2007, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 56, ISSUE: 3-4, PAGES: 315-336
426
TITLE: On principal types of BCK-lambda-Terms
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
427
TITLE: On the rational subset problem for groups Full Text
AUTHORS: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLISHED: 2007, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 309, ISSUE: 2, PAGES: 622-639
AUTHORS: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLISHED: 2007, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 309, ISSUE: 2, PAGES: 622-639
428
TITLE: Profinite groups associated with weakly primitive substitutions Full Text
AUTHORS: Almeida, J ;
PUBLISHED: 2007, SOURCE: Journal of Mathematical Sciences, VOLUME: 144, ISSUE: 2, PAGES: 3881-3903
AUTHORS: Almeida, J ;
PUBLISHED: 2007, SOURCE: Journal of Mathematical Sciences, VOLUME: 144, ISSUE: 2, PAGES: 3881-3903
429
TITLE: SOLVING SYSTEMS OF EQUATIONS MODULO PSEUDOVARIETIES OF ABELIAN GROUPS AND HYPERDECIDABILITY
AUTHORS: MANUEL DELGADO ; ARIANE MASUDA; BENJAMIN STEINBERG;
PUBLISHED: 2007, SOURCE: Semigroups and Formal Languages
AUTHORS: MANUEL DELGADO ; ARIANE MASUDA; BENJAMIN STEINBERG;
PUBLISHED: 2007, SOURCE: Semigroups and Formal Languages
430
TITLE: Acyclic automata with easy-to-find short regular expressions Full Text
AUTHORS: Morais, JJ; Moreira, N ; Reis, R ;
PUBLISHED: 2006, SOURCE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845, PAGES: 349-350
AUTHORS: Morais, JJ; Moreira, N ; Reis, R ;
PUBLISHED: 2006, SOURCE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845, PAGES: 349-350
431
TITLE: Aspects of Enumeration and Generation with a String Automata Representation
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2006, SOURCE: DCFS, PAGES: 58-69
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2006, SOURCE: DCFS, PAGES: 58-69
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP432
TITLE: Computing relative abelian kernels of finite monoids Full Text
AUTHORS: Edite Cordeiro; Manuel Delgado ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 303, ISSUE: 2, PAGES: 642-654
AUTHORS: Edite Cordeiro; Manuel Delgado ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 303, ISSUE: 2, PAGES: 642-654
433
TITLE: Designing a solver for arithmetic constraints to support education in mathematics Full Text
AUTHORS: Tomás, AP ; Moreira, N ; Pereira, N;
PUBLISHED: 2006, SOURCE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, VOLUME: 204, PAGES: 433-+
AUTHORS: Tomás, AP ; Moreira, N ; Pereira, N;
PUBLISHED: 2006, SOURCE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, VOLUME: 204, PAGES: 433-+
434
TITLE: Maximal dense ideal extensions of locally inverse semigroups Full Text
AUTHORS: Pastijn, FJ; Oliveira, L ;
PUBLISHED: 2006, SOURCE: SEMIGROUP FORUM, VOLUME: 72, ISSUE: 3, PAGES: 441-458
AUTHORS: Pastijn, FJ; Oliveira, L ;
PUBLISHED: 2006, SOURCE: SEMIGROUP FORUM, VOLUME: 72, ISSUE: 3, PAGES: 441-458
435
TITLE: On the GAP package sgpviz
AUTHORS: Delgado, M ; Morais, J;
PUBLISHED: 2006, SOURCE: 2nd International Congress on Mathematical Software (ICMS 2006) in MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, VOLUME: 4151, PAGES: 403-406
AUTHORS: Delgado, M ; Morais, J;
PUBLISHED: 2006, SOURCE: 2nd International Congress on Mathematical Software (ICMS 2006) in MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, VOLUME: 4151, PAGES: 403-406
436
TITLE: Patterns on numerical semigroups Full Text
AUTHORS: Maria Bras Amorós; Pedro A García Sánchez ;
PUBLISHED: 2006, SOURCE: Linear Algebra and Its Applications, VOLUME: 414, ISSUE: 2-3, PAGES: 652-669
AUTHORS: Maria Bras Amorós; Pedro A García Sánchez ;
PUBLISHED: 2006, SOURCE: Linear Algebra and Its Applications, VOLUME: 414, ISSUE: 2-3, PAGES: 652-669
INDEXED IN: Scopus
Scopus437
TITLE: Patterns on numerical semigroups Full Text
AUTHORS: Maria Bras-Amorós; Pedro A García-Sánchez ;
PUBLISHED: 2006, SOURCE: Linear Algebra and its Applications, VOLUME: 414, ISSUE: 2-3, PAGES: 652-669
AUTHORS: Maria Bras-Amorós; Pedro A García-Sánchez ;
PUBLISHED: 2006, SOURCE: Linear Algebra and its Applications, VOLUME: 414, ISSUE: 2-3, PAGES: 652-669
438
TITLE: Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations
AUTHORS: Chapman, ST; García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLISHED: 2006, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 154, ISSUE: 14, PAGES: 1947-1959
AUTHORS: Chapman, ST; García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLISHED: 2006, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 154, ISSUE: 14, PAGES: 1947-1959
439
TITLE: Relative Abelian kernels of some classes of transformation monoids
AUTHORS: Cordeiro, E; Delgado, M ; Vítor H. Fernandes ;
PUBLISHED: 2006, SOURCE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 73, ISSUE: 3, PAGES: 375-404
AUTHORS: Cordeiro, E; Delgado, M ; Vítor H. Fernandes ;
PUBLISHED: 2006, SOURCE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 73, ISSUE: 3, PAGES: 375-404
440
TITLE: Subword complexity of profinite words and subgroups of free profinite semigroups Full Text
AUTHORS: Almeida, J ; Volkov, MV;
PUBLISHED: 2006, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 221-258
AUTHORS: Almeida, J ; Volkov, MV;
PUBLISHED: 2006, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 221-258
