Semigroups, Automata and Languages (L:SAL)

Centro de Matemática da Universidade do Porto (CMUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 643

18 Team Members
Filters -> Year: 2025
81
TITLE: Location Based Automata for Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Language and Automata Theory and Applications, LATA 2021 in Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, VOLUME: 12638, PAGES: 43-54
INDEXED IN: Scopus DBLP CrossRef: 1
82
TITLE: On orbits and the finiteness of bounded automaton groups  Full Text
AUTHORS: Ievgen Bondarenko; Jan Philipp Wächter ;
PUBLISHED: 2021, SOURCE: International Journal of Algebra and Computation, VOLUME: 31, ISSUE: 06, PAGES: 1177-1190
INDEXED IN: CrossRef
83
TITLE: On the Dowling and Rhodes lattices and wreath products  Full Text
AUTHORS: Margolis, S; Rhodes, J; Silva, PV ;
PUBLISHED: 2021, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 578, PAGES: 55-91
INDEXED IN: Scopus WOS CrossRef: 3
84
TITLE: On the size of partial derivatives and the word membership problem  Full Text
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4, PAGES: 357-375
INDEXED IN: Scopus WOS DBLP CrossRef: 2
85
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 13-25
INDEXED IN: Scopus WOS DBLP CrossRef
86
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.13175
INDEXED IN: DBLP
87
TITLE: Partial Derivative Automaton by Compressing Regular Expressions
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 100-112
INDEXED IN: Scopus WOS DBLP CrossRef: 1
88
TITLE: Preface
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: 25th International Conference on Developments in Language Theory, DLT 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12811 LNCS
INDEXED IN: Scopus
89
TITLE: Pregrammars and Intersection Types
AUTHORS: Sabine Broda ;
PUBLISHED: 2021, SOURCE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 in 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., VOLUME: 183, PAGES: 14:1-14:22
INDEXED IN: Scopus DBLP
90
TITLE: Profinite topologies
AUTHORS: Jorge Almeida ; Alfredo Costa;
PUBLISHED: 2021, SOURCE: Handbook of Automata Theory., PAGES: 615-652
INDEXED IN: DBLP CrossRef: 2
91
TITLE: Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements
AUTHORS: Machiavelo, A ; Reis, R ; Tsopanidis, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 222, PAGES: 21-29
INDEXED IN: Scopus WOS CrossRef: 1
92
TITLE: The monoid of monotone functions on a poset and quasi-arithmetic multiplicities for uniform matroids  Full Text
AUTHORS: Winfried Bruns; Pedro A García Sánchez ; Luca Moci;
PUBLISHED: 2021, SOURCE: Journal of Algebra, VOLUME: 569, PAGES: 377-400
INDEXED IN: Scopus CrossRef
93
TITLE: The Prefix Automaton
AUTHORS: Sabine Broda ; Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: J. Autom. Lang. Comb., VOLUME: 26, ISSUE: 1-2, PAGES: 17-53
INDEXED IN: Scopus DBLP
94
TITLE: The quiver of an affine monoid  Full Text
AUTHORS: Shahzamanian, MH ; Steinberg, B;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 49, ISSUE: 12, PAGES: 5329-5341
INDEXED IN: Scopus WOS CrossRef
95
TITLE: WELFake: Word Embedding Over Linguistic Features for Fake News Detection
AUTHORS: Verma, PK; Agrawal, P; Amorim, I ; Prodan, R;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, VOLUME: 8, ISSUE: 4, PAGES: 881-893
INDEXED IN: WOS CrossRef: 99
96
TITLE: Zhi-Wei Sun's 1-3-5 conjecture and variations  Full Text
AUTHORS: Machiavelo, A ; Tsopanidis, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 222, PAGES: 1-20
INDEXED IN: Scopus WOS CrossRef: 2
97
TITLE: A bibliometric analysis of 10 years of EDUCON (2010-2019)
AUTHORS: Costa, AR; Gustavo R. Alves ; Moura, A ;
PUBLISHED: 2020, SOURCE: IEEE Global Engineering Education Conference (IEEE EDUCON) in PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), VOLUME: 2020-April, PAGES: 1831-1835
INDEXED IN: Scopus WOS DBLP CrossRef
98
TITLE: A New Approach to Crowd Journalism Using a Blockchain-Based Infrastructure
AUTHORS: Teixeira, L; Amorim, I ; Silva, AU; Lopes, JC ; Filipe, V;
PUBLISHED: 2020, SOURCE: 18th International Conference on Advances in Mobile Computing and Multimedia (MoMM) in MOMM 2020: THE 18TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING & MULTIMEDIA, PAGES: 170-178
INDEXED IN: Scopus WOS DBLP CrossRef: 6
99
TITLE: Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness  Full Text
AUTHORS: Daniele D’Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Israel Journal of Mathematics, VOLUME: 237, ISSUE: 1, PAGES: 15-52
INDEXED IN: CrossRef: 5
100
TITLE: Conjecture of Wilf: A Survey
AUTHORS: Delgado, M ;
PUBLISHED: 2020, SOURCE: Springer INdAM Series, VOLUME: 40, PAGES: 39-62
INDEXED IN: Scopus CrossRef: 9

Results per Page: 20.
Page 5 of 33. Total results: 643.