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
401
TITLE: Decidability and tameness in the theory of finite semigroups
AUTHORS: Jorge Almeida ;
PUBLISHED: 2008, SOURCE: BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, VOLUME: 34, ISSUE: 1, PAGES: 1-22
AUTHORS: Jorge Almeida ;
PUBLISHED: 2008, SOURCE: BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, VOLUME: 34, ISSUE: 1, PAGES: 1-22
INDEXED IN: 
Scopus 
WOS
Scopus WOS402
TITLE: Description and analysis of a bottom-up DFA minimization algorithm Full Text
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 2008, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 107, ISSUE: 2, PAGES: 52-59
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 2008, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 107, ISSUE: 2, PAGES: 52-59
403
TITLE: Every numerical semigroup is one half of a symmetric numerical semigroup
AUTHORS: Rosales J.C.; García-Sánchez P.A. ;
PUBLISHED: 2008, SOURCE: Proceedings of the American Mathematical Society, VOLUME: 136, ISSUE: 2, PAGES: 475-477
AUTHORS: Rosales J.C.; García-Sánchez P.A. ;
PUBLISHED: 2008, SOURCE: Proceedings of the American Mathematical Society, VOLUME: 136, ISSUE: 2, PAGES: 475-477
404
TITLE: Every numerical semigroup is one half of infinitely many symmetric numerical semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 8, PAGES: 2910-2916
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 8, PAGES: 2910-2916
405
TITLE: Exact Generation of Acyclic Deterministic Finite Automata
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2008, SOURCE: DCFS, PAGES: 48-60
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2008, SOURCE: DCFS, PAGES: 48-60
INDEXED IN: Scopus 
DBLP
Scopus DBLP406
TITLE: Exact generation of minimal acyclic deterministic finite automata Full Text
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 751-765
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 751-765
407
TITLE: Formal Modelling of Emotions in BDI Agents Full Text
AUTHORS: Pereira, D ; Oliveira, E ; Moreira, N ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-+
AUTHORS: Pereira, D ; Oliveira, E ; Moreira, N ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-+
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP408
TITLE: Ideal extensions of locally inverse semigroups
AUTHORS: Francis J Pastijn; Luis Oliveira ;
PUBLISHED: 2008, SOURCE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 45, ISSUE: 3, PAGES: 395-409
AUTHORS: Francis J Pastijn; Luis Oliveira ;
PUBLISHED: 2008, SOURCE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 45, ISSUE: 3, PAGES: 395-409
409
TITLE: KAT and PHL in Coq Full Text
AUTHORS: Pereira, D ; Moreira, N ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
AUTHORS: Pereira, D ; Moreira, N ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
410
TITLE: MODULAR DIOPHANTINE INEQUALITIES AND ROTATIONS OF NUMERICAL SEMIGROUPS
AUTHORS: Delgado, M ; Rosales, JC;
PUBLISHED: 2008, SOURCE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 84, ISSUE: 3, PAGES: 315-328
AUTHORS: Delgado, M ; Rosales, JC;
PUBLISHED: 2008, SOURCE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 84, ISSUE: 3, PAGES: 315-328
411
TITLE: Numerical semigroups having a toms decomposition
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, VOLUME: 51, ISSUE: 1, PAGES: 134-139
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, VOLUME: 51, ISSUE: 1, PAGES: 134-139
412
TITLE: On an algorithm to decide whether a free group is a free factor of another
AUTHORS: Pedro V Silva ; Pascal Weil;
PUBLISHED: 2008, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 42, ISSUE: 2, PAGES: 395-414
AUTHORS: Pedro V Silva ; Pascal Weil;
PUBLISHED: 2008, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 42, ISSUE: 2, PAGES: 395-414
413
TITLE: Pointlike sets with respect to R and J Full Text
AUTHORS: Jorge Almeida ; Jose Carlos Costa ; Marc Zeitoun;
PUBLISHED: 2008, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, ISSUE: 3, PAGES: 486-499
AUTHORS: Jorge Almeida ; Jose Carlos Costa ; Marc Zeitoun;
PUBLISHED: 2008, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, ISSUE: 3, PAGES: 486-499
414
TITLE: Rational subsets of partially reversible monoids Full Text
AUTHORS: Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 409, ISSUE: 3, PAGES: 537-548
AUTHORS: Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 409, ISSUE: 3, PAGES: 537-548
415
TITLE: Rees matrix covers and the translational hull of a locally inverse semigroup Full Text
AUTHORS: Francis J Pastijn; Luis A Oliveira ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 9, PAGES: 3230-3249
AUTHORS: Francis J Pastijn; Luis A Oliveira ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 9, PAGES: 3230-3249
416
TITLE: Strongly taut finitely generated monoids
AUTHORS: García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLISHED: 2008, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 155, ISSUE: 2, PAGES: 119-124
AUTHORS: García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLISHED: 2008, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 155, ISSUE: 2, PAGES: 119-124
417
TITLE: Systems of proportionally modular Diophantine inequalities Full Text
AUTHORS: Delgado, M ; Garcia Sanchez, PA ; Rosales, JC; Urbano Blanco, M;
PUBLISHED: 2008, SOURCE: SEMIGROUP FORUM, VOLUME: 76, ISSUE: 3, PAGES: 469-488
AUTHORS: Delgado, M ; Garcia Sanchez, PA ; Rosales, JC; Urbano Blanco, M;
PUBLISHED: 2008, SOURCE: SEMIGROUP FORUM, VOLUME: 76, ISSUE: 3, PAGES: 469-488
418
TITLE: T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R ; Dias, J ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems in 2008 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS, VOLS 1 AND 2, PAGES: 547-553
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R ; Dias, J ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems in 2008 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS, VOLS 1 AND 2, PAGES: 547-553
419
TITLE: The set of solutions of a proportionally modular Diophantine inequality Full Text
AUTHORS: Rosales J.; García-Sánchez P. ; Urbano-Blanco J.;
PUBLISHED: 2008, SOURCE: Journal of Number Theory, VOLUME: 128, ISSUE: 3, PAGES: 453-467
AUTHORS: Rosales J.; García-Sánchez P. ; Urbano-Blanco J.;
PUBLISHED: 2008, SOURCE: Journal of Number Theory, VOLUME: 128, ISSUE: 3, PAGES: 453-467
420
TITLE: Turing machines and bimachines Full Text
AUTHORS: John Rhodes; Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 400, ISSUE: 1-3, PAGES: 182-224
AUTHORS: John Rhodes; Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 400, ISSUE: 1-3, PAGES: 182-224
