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

18 Team Members
Filters -> Year: 2026
301
TÍTULO: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTORES: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: CIAA, VOLUME: 7982 LNCS, PÁGINAS: 349-356
INDEXADO EM: Scopus DBLP CrossRef: 1
302
TÍTULO: Incomplete Transition Complexity of Some Basic Operations
AUTORES: Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 7741, PÁGINAS: 319-331
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
303
TÍTULO: Lattices, Semigroups, and Universal Algebra
AUTORES: Jorge Almeida ; Philip Dwinger;
PUBLICAÇÃO: 2013
INDEXADO EM: Openlibrary
304
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Jurgensen, H; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
INDEXADO EM: Scopus
305
TÍTULO: NONHOMOGENEOUS PATTERNS ON NUMERICAL SEMIGROUPS
AUTORES: Maria Bras Amorós; Pedro A García Sánchez ; Albert Vico Oton; Schenck H.;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 23, NÚMERO: 6, PÁGINAS: 1469-1483
INDEXADO EM: Scopus WOS CrossRef: 12
306
TÍTULO: ON PERIODIC POINTS OF FREE INVERSE MONOID HOMOMORPHISMS  Full Text
AUTORES: Emanuele Rodaro; Pedro V Silva ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 23, NÚMERO: 8, PÁGINAS: 1789-1803
INDEXADO EM: Scopus WOS CrossRef: 1
307
TÍTULO: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: FCT, VOLUME: 8070 LNCS, PÁGINAS: 72-83
INDEXADO EM: Scopus DBLP CrossRef: 6
308
TÍTULO: ON THE GENERALIZED FENG-RAO NUMBERS OF NUMERICAL SEMIGROUPS GENERATED BY INTERVALS
AUTORES: Delgado, M ; Farran, JI; Garcia Sanchez, PA ; Llena, D;
PUBLICAÇÃO: 2013, FONTE: MATHEMATICS OF COMPUTATION, VOLUME: 82, NÚMERO: 283, PÁGINAS: 1813-1836
INDEXADO EM: Scopus WOS CrossRef: 7
309
TÍTULO: On the semigroup of equational classes of finite functions
AUTORES: Almeida, J ; Couceiro, M; Waldhauser, T;
PUBLICAÇÃO: 2013, FONTE: IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL) in 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), PÁGINAS: 243-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
310
TÍTULO: ON THE VARIETY OF STRICT PSEUDOSEMILATTICES
AUTORES: Auinger, K; Oliveira, L ;
PUBLICAÇÃO: 2013, FONTE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 50, NÚMERO: 2, PÁGINAS: 207-241
INDEXADO EM: Scopus WOS CrossRef: 1
311
TÍTULO: Preface  Full Text
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: Int. J. Found. Comput. Sci., VOLUME: 24, NÚMERO: 6, PÁGINAS: 689-690
INDEXADO EM: DBLP CrossRef
312
TÍTULO: Presentations of Schutzenberger groups of minimal subshifts  Full Text
AUTORES: Jorge Almeida ; Alfredo Costa ;
PUBLICAÇÃO: 2013, FONTE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 196, NÚMERO: 1, PÁGINAS: 1-31
INDEXADO EM: Scopus WOS CrossRef: 12
313
TÍTULO: Rees quotients of numerical semigroups
AUTORES: Manuel Delgado ; Vítor H. Fernandes ;
PUBLICAÇÃO: 2013, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 70, NÚMERO: 2, PÁGINAS: 93-112
INDEXADO EM: Scopus WOS CrossRef: 1
314
TÍTULO: Regular Ideal Languages and Synchronizing Automata  Full Text
AUTORES: Rogério Reis ; Emanuele Rodaro ;
PUBLICAÇÃO: 2013, FONTE: WORDS, VOLUME: 8079 LNCS, PÁGINAS: 205-216
INDEXADO EM: Scopus DBLP CrossRef: 1
315
TÍTULO: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, NÚMERO: 6, PÁGINAS: 689-690
INDEXADO EM: Scopus WOS CrossRef
316
TÍTULO: A general method to assess the utility of the X-chromosomal markers in kinship testing
AUTORES: Nadia Pinto ; Pedro V Silva ; Amorim, Antonio ;
PUBLICAÇÃO: 2012, FONTE: FORENSIC SCIENCE INTERNATIONAL-GENETICS, VOLUME: 6, NÚMERO: 2, PÁGINAS: 198-207
INDEXADO EM: Scopus WOS CrossRef: 35
317
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: GandALF, VOLUME: 96, PÁGINAS: 127-140
INDEXADO EM: Scopus DBLP CrossRef: 4
318
TÍTULO: Deciding Regular Expressions (In-)Equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS, PÁGINAS: 98-113
INDEXADO EM: Scopus DBLP CrossRef: 10
320
TÍTULO: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTORES: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in DCFS, VOLUME: 7386
INDEXADO EM: Scopus DBLP CrossRef: 1

Results per Page: 20.
Página 16 de 32. Total de resultados: 625.