Semigroups, Automata and Languages (L:SAL)
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.
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!
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 MembersFilters -> Year: 2025
AUTORES: Jorge Almeida ; Philip Dwinger;
PUBLICAÇÃO: 2013
OpenlibraryAUTORES: 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
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
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
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070, PÁGINAS: 72-83
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
AUTORES: Jorge Almeida ; Miguel Couceiro; Tamas Waldhauser;
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
AUTORES: Auinger, K; Oliveira, L ;
PUBLICAÇÃO: 2013, FONTE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 50, NÚMERO: 2, PÁGINAS: 207-241
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: Int. J. Found. Comput. Sci., VOLUME: 24, NÚMERO: 6, PÁGINAS: 689-690
AUTORES: NELMA MOREIRA ; ROGÉRIO REIS ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Foundations of Computer Science, VOLUME: 24, NÚMERO: 06, PÁGINAS: 689-690
CrossRefAUTORES: Jorge Almeida ; Alfredo Costa ;
PUBLICAÇÃO: 2013, FONTE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 196, NÚMERO: 1, PÁGINAS: 1-31
AUTORES: Manuel Delgado ; Vítor H. Fernandes ;
PUBLICAÇÃO: 2013, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 70, NÚMERO: 2, PÁGINAS: 93-112
AUTORES: Rogério Reis ; Emanuele Rodaro ;
PUBLICAÇÃO: 2013, FONTE: 9th International Conference on Combinatorics on Words, WORDS 2013 in Combinatorics on Words - 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings, VOLUME: 8079, PÁGINAS: 205-216
AUTORES: Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, NÚMERO: 6, PÁGINAS: 689-690
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
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PÁGINAS: 127-140
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PÁGINAS: 98-113
AUTORES: Nelma Moreira ;
PUBLICAÇÃO: 2012
OpenlibraryAUTORES: 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
AUTORES: Moura, A ;
PUBLICAÇÃO: 2012, FONTE: SEMIGROUP FORUM, VOLUME: 85, NÚMERO: 1, PÁGINAS: 169-181