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: 643
18 Team MembersFilters -> Year: 2025
421
TITLE: Exact generation of minimal acyclic deterministic finite automata Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
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: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
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
422
TITLE: Formal Modelling of Emotions in BDI Agents Full Text
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-81
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-81
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP423
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
424
TITLE: KAT and PHL in Coq Full Text
AUTHORS: David Pereira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
AUTHORS: David Pereira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
425
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
426
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
427
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
428
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
429
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
430
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
431
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
432
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
433
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
434
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
435
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
436
TITLE: An automata-theoretic approach to the word problem for omega-terms over R Full Text
AUTHORS: Jorge Almeida ; Marc Zeitoun;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, ISSUE: 1-3, PAGES: 131-169
AUTHORS: Jorge Almeida ; Marc Zeitoun;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, ISSUE: 1-3, PAGES: 131-169
437
TITLE: Automated ciphertext-only cryptanalysis of the Bifid cipher Full Text
AUTHORS: Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: CRYPTOLOGIA, VOLUME: 31, ISSUE: 2, PAGES: 112-124
AUTHORS: Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: CRYPTOLOGIA, VOLUME: 31, ISSUE: 2, PAGES: 112-124
438
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
439
TITLE: Enumeration and generation with a string automata representation Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2, PAGES: 93-102
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2, PAGES: 93-102
440
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
