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
141
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PAGES: 5:1-5:16
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: 
DBLP
DBLP142
TITLE: As múltiplas representações em tarefas e a conexão de conteúdos de matemática: perceções em um curso de formação contínua de professores. The multiple representations in tasks and the connection of mathematical contents: perceptions in a course of continuous formation of teachers
AUTHORS: Daniella Assemany; Cecília Costa; António Machiavelo ;
PUBLISHED: 2018, SOURCE: Indagatio Didactica, VOLUME: 10, ISSUE: 4
AUTHORS: Daniella Assemany; Cecília Costa; António Machiavelo ;
PUBLISHED: 2018, SOURCE: Indagatio Didactica, VOLUME: 10, ISSUE: 4
INDEXED IN: 
Handle
Handle143
TITLE: Automata for regular expressions with shuffle Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 259, ISSUE: Part, PAGES: 162-173
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 259, ISSUE: Part, PAGES: 162-173
144
TITLE: Delta sets for nonsymmetric numerical semigroups with embedding dimension three Full Text
AUTHORS: Pedro A García Sánchez ; David Llena; Alessio Moscariello;
PUBLISHED: 2018, SOURCE: Forum Mathematicum, VOLUME: 30, ISSUE: 1, PAGES: 15-30
AUTHORS: Pedro A García Sánchez ; David Llena; Alessio Moscariello;
PUBLISHED: 2018, SOURCE: Forum Mathematicum, VOLUME: 30, ISSUE: 1, PAGES: 15-30
145
TITLE: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, VOLUME: 10952, PAGES: 88-100
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, VOLUME: 10952, PAGES: 88-100
146
TITLE: Good subsemigroups of N<i><SUP>n</SUP></i>
AUTHORS: D'Anna, M; García Sánchez, PA ; Micale, V; Tozzo, L;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 2, PAGES: 179-206
AUTHORS: D'Anna, M; García Sánchez, PA ; Micale, V; Tozzo, L;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 2, PAGES: 179-206
147
TITLE: Local finiteness for Green's relations in semigroup varieties Full Text
AUTHORS: Volkov, MV; Silva, PV ; Soares, F;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 46, ISSUE: 11, PAGES: 4625-4653
AUTHORS: Volkov, MV; Silva, PV ; Soares, F;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 46, ISSUE: 11, PAGES: 4625-4653
148
TITLE: On a question of Eliahou and a conjecture of Wilf Full Text
AUTHORS: Manuel Delgado ;
PUBLISHED: 2018, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 288, ISSUE: 1-2, PAGES: 595-627
AUTHORS: Manuel Delgado ;
PUBLISHED: 2018, SOURCE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 288, ISSUE: 1-2, PAGES: 595-627
149
TITLE: On finitely generated submonoids of virtually free groups
AUTHORS: Silva, PV ; Zakharov, A;
PUBLISHED: 2018, SOURCE: GROUPS COMPLEXITY CRYPTOLOGY, VOLUME: 10, ISSUE: 2, PAGES: 63-82
AUTHORS: Silva, PV ; Zakharov, A;
PUBLISHED: 2018, SOURCE: GROUPS COMPLEXITY CRYPTOLOGY, VOLUME: 10, ISSUE: 2, PAGES: 63-82
150
TITLE: On the second Feng-Rao distance of Algebraic Geometry codes related to Arf semigroups
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA;
PUBLISHED: 2018, SOURCE: Designs, Codes, and Cryptography, PAGES: 1-24
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA;
PUBLISHED: 2018, SOURCE: Designs, Codes, and Cryptography, PAGES: 1-24
INDEXED IN: 
Scopus
Scopus151
TITLE: On the subsemigroup complex of an aperiodic Brandt semigroup Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 7-31
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 97, ISSUE: 1, PAGES: 7-31
152
TITLE: Position Automata for Semi-extended Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3, PAGES: 39-65
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3, PAGES: 39-65
INDEXED IN: Scopus DBLP
Scopus DBLP153
TITLE: RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: 8th Workshop on Non-Classical Models of Automata and Applications (NCMA) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 52, ISSUE: 2-4, PAGES: 169-184
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2018, SOURCE: 8th Workshop on Non-Classical Models of Automata and Applications (NCMA) in RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 52, ISSUE: 2-4, PAGES: 169-184
154
TITLE: Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ; Joshua Young;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, VOLUME: 10977, PAGES: 4-27
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogerio Reis ; Joshua Young;
PUBLISHED: 2018, SOURCE: 23rd International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018, VOLUME: 10977, PAGES: 4-27
155
TITLE: Symbolic Manipulation of Code Properties
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3, PAGES: 243-269
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3, PAGES: 243-269
INDEXED IN: Scopus DBLP
Scopus DBLP156
TITLE: The Computational Power of Parsing Expression Grammars
AUTHORS: Bruno Loff ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Developments in Language Theory, DLT 2018 in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, VOLUME: 11088, PAGES: 491-502
AUTHORS: Bruno Loff ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Developments in Language Theory, DLT 2018 in Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, VOLUME: 11088, PAGES: 491-502
157
TITLE: The free idempotent generated locally inverse semigroup Full Text
AUTHORS: Oliveira, L ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 96, ISSUE: 3, PAGES: 452-473
AUTHORS: Oliveira, L ;
PUBLISHED: 2018, SOURCE: SEMIGROUP FORUM, VOLUME: 96, ISSUE: 3, PAGES: 452-473
158
TITLE: The lattice of flats of a boolean representable simplicial complex Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: Conference on Groups Algebras and Identities in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 8, PAGES: 1677-1691
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2018, SOURCE: Conference on Groups Algebras and Identities in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 28, ISSUE: 8, PAGES: 1677-1691
159
TITLE: The omega-inequality problem for concatenation hierarchies of star-free languages PDF Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLISHED: 2018, SOURCE: FORUM MATHEMATICUM, VOLUME: 30, ISSUE: 3, PAGES: 663-679
AUTHORS: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLISHED: 2018, SOURCE: FORUM MATHEMATICUM, VOLUME: 30, ISSUE: 3, PAGES: 663-679
160
TITLE: The second Feng-Rao number for codes coming from telescopic semigroups
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA; Leamer, MJ;
PUBLISHED: 2018, SOURCE: DESIGNS CODES AND CRYPTOGRAPHY, VOLUME: 86, ISSUE: 8, PAGES: 1849-1864
AUTHORS: Farrán, JI; García Sánchez, PA ; Heredia, BA; Leamer, MJ;
PUBLISHED: 2018, SOURCE: DESIGNS CODES AND CRYPTOGRAPHY, VOLUME: 86, ISSUE: 8, PAGES: 1849-1864
