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
441
TÍTULO: On principal types of BCK-lambda-Terms
AUTORES: Sabine Broda ; Luis Damas ;
PUBLICAÇÃO: 2007, FONTE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PÁGINAS: 120-130
INDEXADO EM: Scopus WOS DBLP CrossRef
442
TÍTULO: On the rational subset problem for groups  Full Text
AUTORES: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF ALGEBRA, VOLUME: 309, NÚMERO: 2, PÁGINAS: 622-639
INDEXADO EM: Scopus WOS CrossRef: 33
443
TÍTULO: Profinite groups associated with weakly primitive substitutions  Full Text
AUTORES: Almeida, J ;
PUBLICAÇÃO: 2007, FONTE: Journal of Mathematical Sciences, VOLUME: 144, NÚMERO: 2, PÁGINAS: 3881-3903
INDEXADO EM: Scopus CrossRef: 4
444
TÍTULO: SOLVING SYSTEMS OF EQUATIONS MODULO PSEUDOVARIETIES OF ABELIAN GROUPS AND HYPERDECIDABILITY
AUTORES: MANUEL DELGADO ; ARIANE MASUDA; BENJAMIN STEINBERG;
PUBLICAÇÃO: 2007, FONTE: Semigroups and Formal Languages
INDEXADO EM: CrossRef: 2
445
TÍTULO: Acyclic automata with easy-to-find short regular expressions  Full Text
AUTORES: Morais, JJ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845, PÁGINAS: 349-350
INDEXADO EM: WOS DBLP CrossRef: 3
446
TÍTULO: Aspects of enumeration and generation with a string automata representation
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings, PÁGINAS: 58-69
INDEXADO EM: Scopus DBLP
447
TÍTULO: Computing relative abelian kernels of finite monoids  Full Text
AUTORES: Edite Cordeiro; Manuel Delgado ;
PUBLICAÇÃO: 2006, FONTE: JOURNAL OF ALGEBRA, VOLUME: 303, NÚMERO: 2, PÁGINAS: 642-654
INDEXADO EM: Scopus WOS CrossRef: 1
448
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204, PÁGINAS: 433-441
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
449
TÍTULO: Maximal dense ideal extensions of locally inverse semigroups  Full Text
AUTORES: Pastijn, FJ; Oliveira, L ;
PUBLICAÇÃO: 2006, FONTE: SEMIGROUP FORUM, VOLUME: 72, NÚMERO: 3, PÁGINAS: 441-458
INDEXADO EM: Scopus WOS CrossRef: 5
450
TÍTULO: On the GAP package sgpviz
AUTORES: Delgado, M ; Morais, J;
PUBLICAÇÃO: 2006, FONTE: 2nd International Congress on Mathematical Software (ICMS 2006) in MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, VOLUME: 4151, PÁGINAS: 403-406
INDEXADO EM: Scopus WOS CrossRef
451
TÍTULO: Patterns on numerical semigroups  Full Text
AUTORES: Maria Bras Amorós; Pedro A García Sánchez ;
PUBLICAÇÃO: 2006, FONTE: Linear Algebra and Its Applications, VOLUME: 414, NÚMERO: 2-3, PÁGINAS: 652-669
INDEXADO EM: Scopus
452
TÍTULO: Patterns on numerical semigroups  Full Text
AUTORES: Maria Bras-Amorós; Pedro A García-Sánchez ;
PUBLICAÇÃO: 2006, FONTE: Linear Algebra and its Applications, VOLUME: 414, NÚMERO: 2-3, PÁGINAS: 652-669
INDEXADO EM: CrossRef: 13
453
TÍTULO: Presentations of finitely generated cancellative commutative monoids and nonnegative solutions of systems of linear equations
AUTORES: Chapman, ST; García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLICAÇÃO: 2006, FONTE: DISCRETE APPLIED MATHEMATICS, VOLUME: 154, NÚMERO: 14, PÁGINAS: 1947-1959
INDEXADO EM: Scopus WOS CrossRef: 9
454
TÍTULO: Relative Abelian kernels of some classes of transformation monoids
AUTORES: Cordeiro, E; Delgado, M ; Vítor H. Fernandes ;
PUBLICAÇÃO: 2006, FONTE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 73, NÚMERO: 3, PÁGINAS: 375-404
INDEXADO EM: Scopus WOS CrossRef: 2
455
TÍTULO: Subword complexity of profinite words and subgroups of free profinite semigroups  Full Text
AUTORES: Almeida, J ; Volkov, MV;
PUBLICAÇÃO: 2006, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 221-258
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
456
TÍTULO: The catenary and tame degree in finitely generated commutative cancellative monoids
AUTORES: Chapman, ST; García Sánchez, PA ; Llena, D; Ponomarenko, V; Rosales, JC;
PUBLICAÇÃO: 2006, FONTE: MANUSCRIPTA MATHEMATICA, VOLUME: 120, NÚMERO: 3, PÁGINAS: 253-264
INDEXADO EM: Scopus WOS CrossRef: 47
457
TÍTULO: The spectra of lamplighter groups and Cayley machines  Full Text
AUTORES: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLICAÇÃO: 2006, FONTE: GEOMETRIAE DEDICATA, VOLUME: 120, NÚMERO: 1, PÁGINAS: 193-227
INDEXADO EM: Scopus WOS CrossRef: 15
458
TÍTULO: A topological approach to transductions  Full Text
AUTORES: Pin, JE; Silva, PV ;
PUBLICAÇÃO: 2005, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 340, NÚMERO: 2, PÁGINAS: 443-456
INDEXADO EM: Scopus WOS CrossRef: 7
459
TÍTULO: Approximation to the smallest regular expression for a given regular language
AUTORES: Delgado, M ; Morais, J;
PUBLICAÇÃO: 2005, FONTE: 9th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3317, PÁGINAS: 312-314
INDEXADO EM: Scopus WOS
460
TÍTULO: Correction to: Modular Diophantine inequalities and numerical semigroups
AUTORES: Rosales, JC; García-Sánchez, PA ; Urbano-Blanco, JM;
PUBLICAÇÃO: 2005, FONTE: Pacific Journal of Mathematics, VOLUME: 220, NÚMERO: 1, PÁGINAS: 199-199
INDEXADO EM: CrossRef

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