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
381
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
382
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
383
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
384
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
385
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
386
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
387
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
388
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
389
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
390
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
391
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
392
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
393
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
394
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
395
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
396
TÍTULO: Infinite-vertex free profinite semigroupoids and symbolic dynamics  Full Text
AUTORES: Almeida, J ; Costa, A ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 213, NÚMERO: 5, PÁGINAS: 605-631
INDEXADO EM: Scopus WOS CrossRef Handle
397
TÍTULO: Introduction
AUTORES: J.C Rosales; P.A García-Sánchez ;
PUBLICAÇÃO: 2009, FONTE: Numerical Semigroups - Developments in Mathematics, PÁGINAS: 1-3
INDEXADO EM: CrossRef
398
TÍTULO: Irreducible numerical semigroups
AUTORES: J.C Rosales; P.A García-Sánchez ;
PUBLICAÇÃO: 2009, FONTE: Numerical Semigroups - Developments in Mathematics, PÁGINAS: 33-55
INDEXADO EM: CrossRef: 3
399
TÍTULO: Locating Cars through a Vision Enabled VANET
AUTORES: Michel Ferreira ; Hugo Conceicao ; Ricardo Fernandes; Rogerio Reis ;
PUBLICAÇÃO: 2009, FONTE: IEEE Intelligent Vehicles Symposium in 2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, PÁGINAS: 99-104
INDEXADO EM: Scopus WOS CrossRef: 3
400
TÍTULO: Matrix Mortality and the Cerny-Pin Conjecture
AUTORES: Jorge Almeida ; Benjamin Steinberg;
PUBLICAÇÃO: 2009, FONTE: 13th International Conference on Developments in Language Theory (DLT 2009) in DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, VOLUME: 5583, PÁGINAS: 67-80
INDEXADO EM: Scopus WOS DBLP CrossRef: 12

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