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
361
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
362
TITLE: PREFACE Full Text
AUTHORS: Alfredo Costa ; Manuel Delgado ; Vítor H. Fernandes ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7
AUTHORS: Alfredo Costa ; Manuel Delgado ; Vítor H. Fernandes ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7
363
TITLE: REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA Full Text
AUTHORS: Moura, A ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 5, PAGES: 675-701
AUTHORS: Moura, A ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 5, PAGES: 675-701
364
TITLE: SEMIGROUP-THEORETICAL CHARACTERIZATIONS OF ARITHMETICAL INVARIANTS WITH APPLICATIONS TO NUMERICAL MONOIDS AND KRULL MONOIDS
AUTHORS: Blanco, V; García Sánchez, PA ; Geroldinger, A;
PUBLISHED: 2011, SOURCE: ILLINOIS JOURNAL OF MATHEMATICS, VOLUME: 55, ISSUE: 4, PAGES: 1385-1414
AUTHORS: Blanco, V; García Sánchez, PA ; Geroldinger, A;
PUBLISHED: 2011, SOURCE: ILLINOIS JOURNAL OF MATHEMATICS, VOLUME: 55, ISSUE: 4, PAGES: 1385-1414
365
TITLE: The Average Transition Complexity of Glushkov and Partial Derivative Automata
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Developments in Language Theory, DLT 2011 in Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, VOLUME: 6795, PAGES: 93-104
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Developments in Language Theory, DLT 2011 in Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, VOLUME: 6795, PAGES: 93-104
366
TITLE: The generalized conjugacy problem for virtually free groups Full Text
AUTHORS: Manuel Ladra; Pedro V Silva ;
PUBLISHED: 2011, SOURCE: FORUM MATHEMATICUM, VOLUME: 23, ISSUE: 3, PAGES: 447-482
AUTHORS: Manuel Ladra; Pedro V Silva ;
PUBLISHED: 2011, SOURCE: FORUM MATHEMATICUM, VOLUME: 23, ISSUE: 3, PAGES: 447-482
367
TITLE: The word problem for omega-terms over DA Full Text
AUTHORS: Moura, A ;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 46, PAGES: 6556-6569
AUTHORS: Moura, A ;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 46, PAGES: 6556-6569
368
TITLE: Ainda o totobola: o singular caso dos 5
AUTHORS: António Machiavelo ; Rogério Reis ;
PUBLISHED: 2010
AUTHORS: António Machiavelo ; Rogério Reis ;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle369
TITLE: AUTOMORPHIC ORBITS IN FREE GROUPS: WORDS VERSUS SUBGROUPS Full Text
AUTHORS: Pedro V Silva ; Pascal Weil;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 20, ISSUE: 4, PAGES: 561-590
AUTHORS: Pedro V Silva ; Pascal Weil;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 20, ISSUE: 4, PAGES: 561-590
370
TITLE: CHARACTERIZATION OF GROUP RADICALS WITH AN APPLICATION TO MAL'CEV PRODUCTS
AUTHORS: Jorge Almeida ; Stuart Margolis; Benjamin Steinberg; Mikhail Volkov;
PUBLISHED: 2010, SOURCE: ILLINOIS JOURNAL OF MATHEMATICS, VOLUME: 54, ISSUE: 1, PAGES: 199-221
AUTHORS: Jorge Almeida ; Stuart Margolis; Benjamin Steinberg; Mikhail Volkov;
PUBLISHED: 2010, SOURCE: ILLINOIS JOURNAL OF MATHEMATICS, VOLUME: 54, ISSUE: 1, PAGES: 199-221
INDEXED IN: 
Scopus 
WOS
Scopus WOS371
TITLE: Computing Maximal Error-detecting Capabilities and Distances of Regular Languages Full Text
AUTHORS: Konstantinidis, S; Silva, PV ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 101, ISSUE: 4, PAGES: 257-270
AUTHORS: Konstantinidis, S; Silva, PV ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 101, ISSUE: 4, PAGES: 257-270
372
TITLE: Factoring in embedding dimension three numerical semigroups
AUTHORS: Aguiló-Gost F.; Garcìa-Sánchez P.A. ;
PUBLISHED: 2010, SOURCE: Electronic Journal of Combinatorics, VOLUME: 17, ISSUE: 1
AUTHORS: Aguiló-Gost F.; Garcìa-Sánchez P.A. ;
PUBLISHED: 2010, SOURCE: Electronic Journal of Combinatorics, VOLUME: 17, ISSUE: 1
INDEXED IN: Scopus
Scopus373
TITLE: Fixed points of endomorphisms over special confluent rewriting systems Full Text
AUTHORS: Pedro V Silva ;
PUBLISHED: 2010, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 161, ISSUE: 4, PAGES: 417-447
AUTHORS: Pedro V Silva ;
PUBLISHED: 2010, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 161, ISSUE: 4, PAGES: 417-447
374
TITLE: General Derivation of the Sets of Pedigrees with the Same Kinship Coefficients
AUTHORS: Nadia Pinto ; Pedro V Silva ; Amorim, Antonio ;
PUBLISHED: 2010, SOURCE: HUMAN HEREDITY, VOLUME: 70, ISSUE: 3, PAGES: 194-204
AUTHORS: Nadia Pinto ; Pedro V Silva ; Amorim, Antonio ;
PUBLISHED: 2010, SOURCE: HUMAN HEREDITY, VOLUME: 70, ISSUE: 3, PAGES: 194-204
375
TITLE: New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2010, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 4, PAGES: 41-58
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2010, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 4, PAGES: 41-58
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP376
TITLE: On finite-index extensions of subgroups of free groups Full Text
AUTHORS: Pedro Silva ; Pascal Weil;
PUBLISHED: 2010, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 13, ISSUE: 3, PAGES: 365-381
AUTHORS: Pedro Silva ; Pascal Weil;
PUBLISHED: 2010, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 13, ISSUE: 3, PAGES: 365-381
377
TITLE: On the Average Number of States of Partial Derivative Automata Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PAGES: 112-123
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PAGES: 112-123
378
TITLE: On the relative solvability of certain inverse monoids Full Text
AUTHORS: Edite Cordeiro; Manuel Delgado ;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 3, PAGES: 531-547
AUTHORS: Edite Cordeiro; Manuel Delgado ;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 3, PAGES: 531-547
379
TITLE: Roughness in Cayley graphs Full Text
AUTHORS: Shahzamanian, MH ; Shirmohammadi, M; Davvaz, B;
PUBLISHED: 2010, SOURCE: Information Sciences, VOLUME: 180, ISSUE: 17, PAGES: 3362-3372
AUTHORS: Shahzamanian, MH ; Shirmohammadi, M; Davvaz, B;
PUBLISHED: 2010, SOURCE: Information Sciences, VOLUME: 180, ISSUE: 17, PAGES: 3362-3372
380
TITLE: Semidirect product with an order-computable pseudovariety and tameness Full Text
AUTHORS: Almeida, J ; Costa, JC ; Teixeira, ML;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 1, PAGES: 26-50
AUTHORS: Almeida, J ; Costa, JC ; Teixeira, ML;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 1, PAGES: 26-50
