Semigroups, Automata and Languages (L:SAL)

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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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
TÍTULO: Location Based Automata for Expressions with Shuffle
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2021, FONTE: 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, PÁGINAS: 43-54
INDEXADO EM: Scopus DBLP CrossRef: 1
82
TÍTULO: On orbits and the finiteness of bounded automaton groups  Full Text
AUTORES: Ievgen Bondarenko; Jan Philipp Wächter ;
PUBLICAÇÃO: 2021, FONTE: International Journal of Algebra and Computation, VOLUME: 31, NÚMERO: 06, PÁGINAS: 1177-1190
INDEXADO EM: CrossRef
83
TÍTULO: On the Dowling and Rhodes lattices and wreath products  Full Text
AUTORES: Margolis, S; Rhodes, J; Silva, PV ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF ALGEBRA, VOLUME: 578, PÁGINAS: 55-91
INDEXADO EM: Scopus WOS CrossRef: 3
84
TÍTULO: On the size of partial derivatives and the word membership problem  Full Text
AUTORES: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2021, FONTE: ACTA INFORMATICA, VOLUME: 58, NÚMERO: 4, PÁGINAS: 357-375
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
85
TÍTULO: On the Uniform Distribution of Regular Expressions
AUTORES: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PÁGINAS: 13-25
INDEXADO EM: Scopus WOS DBLP CrossRef
86
TÍTULO: On the Uniform Distribution of Regular Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2103.13175
INDEXADO EM: DBLP
87
TÍTULO: Partial Derivative Automaton by Compressing Regular Expressions
AUTORES: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLICAÇÃO: 2021, FONTE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PÁGINAS: 100-112
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
88
TÍTULO: Preface
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus
89
TÍTULO: Pregrammars and Intersection Types
AUTORES: Sabine Broda ;
PUBLICAÇÃO: 2021, FONTE: 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, PÁGINAS: 14:1-14:22
INDEXADO EM: Scopus DBLP
90
TÍTULO: Profinite topologies
AUTORES: Jorge Almeida ; Alfredo Costa;
PUBLICAÇÃO: 2021, FONTE: Handbook of Automata Theory., PÁGINAS: 615-652
INDEXADO EM: DBLP CrossRef: 2
91
TÍTULO: Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements
AUTORES: Machiavelo, A ; Reis, R ; Tsopanidis, N;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF NUMBER THEORY, VOLUME: 222, PÁGINAS: 21-29
INDEXADO EM: Scopus WOS CrossRef: 1
92
TÍTULO: The monoid of monotone functions on a poset and quasi-arithmetic multiplicities for uniform matroids  Full Text
AUTORES: Winfried Bruns; Pedro A García Sánchez ; Luca Moci;
PUBLICAÇÃO: 2021, FONTE: Journal of Algebra, VOLUME: 569, PÁGINAS: 377-400
INDEXADO EM: Scopus CrossRef
93
TÍTULO: The Prefix Automaton
AUTORES: Sabine Broda ; Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2021, FONTE: J. Autom. Lang. Comb., VOLUME: 26, NÚMERO: 1-2, PÁGINAS: 17-53
INDEXADO EM: Scopus DBLP
94
TÍTULO: The quiver of an affine monoid  Full Text
AUTORES: Shahzamanian, MH ; Steinberg, B;
PUBLICAÇÃO: 2021, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 49, NÚMERO: 12, PÁGINAS: 5329-5341
INDEXADO EM: Scopus WOS CrossRef
95
TÍTULO: WELFake: Word Embedding Over Linguistic Features for Fake News Detection
AUTORES: Verma, PK; Agrawal, P; Amorim, I ; Prodan, R;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, VOLUME: 8, NÚMERO: 4, PÁGINAS: 881-893
INDEXADO EM: WOS CrossRef: 99
96
TÍTULO: Zhi-Wei Sun's 1-3-5 conjecture and variations  Full Text
AUTORES: Machiavelo, A ; Tsopanidis, N;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF NUMBER THEORY, VOLUME: 222, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS CrossRef: 2
97
TÍTULO: A bibliometric analysis of 10 years of EDUCON (2010-2019)
AUTORES: Costa, AR; Gustavo R. Alves ; Moura, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE Global Engineering Education Conference (IEEE EDUCON) in PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), VOLUME: 2020-April, PÁGINAS: 1831-1835
INDEXADO EM: Scopus WOS DBLP CrossRef
98
TÍTULO: A New Approach to Crowd Journalism Using a Blockchain-Based Infrastructure
AUTORES: Teixeira, L; Amorim, I ; Silva, AU; Lopes, JC ; Filipe, V;
PUBLICAÇÃO: 2020, FONTE: 18th International Conference on Advances in Mobile Computing and Multimedia (MoMM) in MOMM 2020: THE 18TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING & MULTIMEDIA, PÁGINAS: 170-178
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
99
TÍTULO: Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness  Full Text
AUTORES: Daniele D’Angeli; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLICAÇÃO: 2020, FONTE: Israel Journal of Mathematics, VOLUME: 237, NÚMERO: 1, PÁGINAS: 15-52
INDEXADO EM: CrossRef: 5
100
TÍTULO: Conjecture of Wilf: A Survey
AUTORES: Delgado, M ;
PUBLICAÇÃO: 2020, FONTE: Springer INdAM Series, VOLUME: 40, PÁGINAS: 39-62
INDEXADO EM: Scopus CrossRef: 9

Results per Page: 20.
Página 5 de 33. Total de resultados: 643.