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

45 Team Members
Filters -> Year: 2025
521
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
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
INDEXADO EM: Scopus DBLP CrossRef: 7
522
TÍTULO: DERIVATIONS OF FINITARY INCIDENCE RINGS  Full Text
AUTORES: Khripchenko, NS ;
PUBLICAÇÃO: 2012, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 40, NÚMERO: 7, PÁGINAS: 2503-2522
INDEXADO EM: Scopus WOS CrossRef: 12
524
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
525
TÍTULO: E-local pseudovarieties  Full Text
AUTORES: Moura, A ;
PUBLICAÇÃO: 2012, FONTE: SEMIGROUP FORUM, VOLUME: 85, NÚMERO: 1, PÁGINAS: 169-181
INDEXADO EM: Scopus WOS CrossRef
526
TÍTULO: Editorial
AUTORES: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, NÚMERO: 2-4, PÁGINAS: 59-60
INDEXADO EM: DBLP
527
TÍTULO: Evolution of synchrony under combination of coupled cell networks  Full Text
AUTORES: Aguiar, MAD ; Ruan, H;
PUBLICAÇÃO: 2012, FONTE: NONLINEARITY, VOLUME: 25, NÚMERO: 11, PÁGINAS: 3155-3187
INDEXADO EM: Scopus WOS CrossRef: 5
528
TÍTULO: Finite Automata Minimization
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Handbook of Finite State Based Models and Applications., PÁGINAS: 145-169
INDEXADO EM: Scopus DBLP CrossRef: 1
529
TÍTULO: FIXED POINTS OF ENDOMORPHISMS OF CERTAIN FREE PRODUCTS
AUTORES: Pedro V Silva ;
PUBLICAÇÃO: 2012, FONTE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 46, NÚMERO: 1, PÁGINAS: 165-179
INDEXADO EM: Scopus WOS CrossRef: 3
530
TÍTULO: Formal Power Series and the Invertibility of Finite Linear Transducers
AUTORES: Ivone Amorim ; António Machiavelo ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings, VOLUME: 290, PÁGINAS: 33-48
INDEXADO EM: DBLP
531
TÍTULO: FURTHER RESULTS ON MONOIDS ACTING ON TREES  Full Text
AUTORES: John Rhodes; Pedro V Silva ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 22, NÚMERO: 4, PÁGINAS: 1250034
INDEXADO EM: Scopus WOS CrossRef: 3
532
TÍTULO: Groups and automata: A perfect match
AUTORES: Silva, PV ;
PUBLICAÇÃO: 2012, FONTE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7386 LNCS, PÁGINAS: 50-63
INDEXADO EM: Scopus CrossRef: 1
534
TÍTULO: Injective hulls of simple modules over finite dimensional nilpotent complex Lie superalgebras  Full Text
AUTORES: Can Hatipoglu; Christian Lomp ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF ALGEBRA, VOLUME: 361, PÁGINAS: 79-91
INDEXADO EM: Scopus WOS CrossRef: 4
535
TÍTULO: Interior Symmetries and Multiple Eigenvalues for Homogeneous Networks  Full Text
AUTORES: Aguiar, MAD ; Ruan, H;
PUBLICAÇÃO: 2012, FONTE: SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, VOLUME: 11, NÚMERO: 4, PÁGINAS: 1231-1269
INDEXADO EM: Scopus WOS CrossRef: 4
536
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2012, FONTE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS
INDEXADO EM: Scopus
537
TÍTULO: Minimal presentations for monoids with the ascending chain condition on principal ideals
AUTORES: Bullejos, M; García Sánchez, PA ;
PUBLICAÇÃO: 2012, FONTE: SEMIGROUP FORUM, VOLUME: 85, NÚMERO: 1, PÁGINAS: 185-190
INDEXADO EM: Scopus WOS CrossRef: 6
538
TÍTULO: Modelling drying process in paper manufacturing
AUTORES: Stella Abreu; Adérito Araújo; Sílvia Barbeiro; Correia, Joaquim M. C.; José Augusto Ferreira; Gonçalo Pena; Luísa Morgado; João Penedones; Teodoro, M. Filomena ;
PUBLICAÇÃO: 2012
539
TÍTULO: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, NÚMERO: 5, PÁGINAS: 969-984
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
540
TÍTULO: On the delta set and the Betti elements of a BF-monoid
AUTORES: Chapman S.T.; García-Sánchez P.A. ; Llena D.; Malyshev A.; Steinberg D.;
PUBLICAÇÃO: 2012, FONTE: Arabian Journal of Mathematics, VOLUME: 1, NÚMERO: 1, PÁGINAS: 53-61
INDEXADO EM: Scopus CrossRef: 22

Results per Page: 20.
Página 27 de 49. Total de resultados: 973.