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: 648

18 Team Members
Filters -> Year: 2025
381
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
382
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
383
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
384
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
385
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
386
TÍTULO: Small NFAs from Regular Expressions: Some Experimental Results PDF
AUTORES: Hugo Gouveia; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1009.3599
INDEXADO EM: DBLP arXiv
387
TÍTULO: State Elimination Ordering Strategies: Some Experimental Results  Full Text
AUTORES: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31, PÁGINAS: 139-148
INDEXADO EM: DBLP CrossRef: 2
388
TÍTULO: Testing the Equivalence of Regular Languages
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2010, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 15, NÚMERO: 1/2, PÁGINAS: 7-25
INDEXADO EM: DBLP
389
TÍTULO: UNIQUELY PRESENTED FINITELY GENERATED COMMUTATIVE MONOIDS
AUTORES: García Sánchez, PA ; Ojeda, I;
PUBLICAÇÃO: 2010, FONTE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 248, NÚMERO: 1, PÁGINAS: 91-105
INDEXADO EM: Scopus WOS CrossRef: 27
390
TÍTULO: A counterexample to a conjecture concerning concatenation hierarchies  Full Text
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2009, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 110, NÚMERO: 1, PÁGINAS: 4-7
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
391
TÍTULO: A service-oriented middleware for composing context aware mobile services
AUTORES: Joao Paulo Sousa; Eurico Carrapatoso; Benjamin Fonseca ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Internet and Web Applications and Services in 2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES, PÁGINAS: 357-362
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
392
TÍTULO: ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED  Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2009, FONTE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 4, PÁGINAS: 669-684
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
393
TÍTULO: Antimirov and Mosses's Rewrite System Revisited  Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2009, FONTE: Int. J. Found. Comput. Sci., VOLUME: 20, NÚMERO: 4, PÁGINAS: 669-684
INDEXADO EM: Scopus DBLP CrossRef: 12
394
TÍTULO: Complexity of the identity checking problem for finite semigroups  Full Text
AUTORES: Almeida, J ; Volkov, MV; Goldberg, SV;
PUBLICAÇÃO: 2009, FONTE: Journal of Mathematical Sciences, VOLUME: 158, NÚMERO: 5, PÁGINAS: 605-614
INDEXADO EM: Scopus CrossRef: 10
395
TÍTULO: Factorization and catenary degree in 3-generated numerical semigroups  Full Text
AUTORES: Francesc Aguiló Gost; Pedro A García Sánchez ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Discrete Mathematics, VOLUME: 34, PÁGINAS: 157-161
INDEXADO EM: Scopus CrossRef: 6
396
TÍTULO: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTORES: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2009, FONTE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642, PÁGINAS: 65-74
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
397
TÍTULO: Families of numerical semigroups closed under finite intersections and adjoin of the Frobenius number
AUTORES: J.C Rosales; P.A García-Sánchez ;
PUBLICAÇÃO: 2009, FONTE: Numerical Semigroups - Developments in Mathematics, PÁGINAS: 91-104
INDEXADO EM: CrossRef: 1
398
TÍTULO: Gerard Lallement (1935-2006) OBITUARY  Full Text
AUTORES: Jorge Almeida ; Dominique Perrin;
PUBLICAÇÃO: 2009, FONTE: SEMIGROUP FORUM, VOLUME: 78, NÚMERO: 3, PÁGINAS: 379-383
INDEXADO EM: Scopus WOS CrossRef: 1
399
TÍTULO: INFINITE PERIODIC POINTS OF ENDOMORPHISMS OVER SPECIAL CONFLUENT REWRITING SYSTEMS
AUTORES: Cassaigne, J; Silva, PV ;
PUBLICAÇÃO: 2009, FONTE: ANNALES DE L INSTITUT FOURIER, VOLUME: 59, NÚMERO: 2, PÁGINAS: 769-810
INDEXADO EM: Scopus WOS CrossRef: 9
400
TÍTULO: INFINITE WORDS AND CONFLUENT REWRITING SYSTEMS: ENDOMORPHISM EXTENSIONS  Full Text
AUTORES: Julien Cassaigne; Pedro V Silva ;
PUBLICAÇÃO: 2009, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 19, NÚMERO: 4, PÁGINAS: 443-490
INDEXADO EM: Scopus WOS CrossRef: 13

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