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

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