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

45 Team Members
Filters -> Year: 2024
641
TÍTULO: Exact generation of minimal acyclic deterministic finite automata  Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2008, FONTE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 4, PÁGINAS: 751-765
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
642
TÍTULO: Formal Modelling of Emotions in BDI Agents  Full Text
AUTORES: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLICAÇÃO: 2008, FONTE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PÁGINAS: 62-81
INDEXADO EM: Scopus WOS DBLP
643
TÍTULO: Hopf bifurcation in coupled cell networks with interior symmetries  Full Text
AUTORES: Fernando Antoneli; Ana Dias ; Rui C Paiva ;
PUBLICAÇÃO: 2008, FONTE: SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, VOLUME: 7, NÚMERO: 1, PÁGINAS: 220-248
INDEXADO EM: Scopus WOS CrossRef: 22
644
TÍTULO: Ideal extensions of locally inverse semigroups
AUTORES: Francis J Pastijn; Luis Oliveira ;
PUBLICAÇÃO: 2008, FONTE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 45, NÚMERO: 3, PÁGINAS: 395-409
INDEXADO EM: Scopus WOS CrossRef: 1
645
TÍTULO: Invariants, equivariants and characters in symmetric bifurcation theory
AUTORES: Fernando Antoneli; Ana Dias ; Paul C Matthews;
PUBLICAÇÃO: 2008, FONTE: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, VOLUME: 138, NÚMERO: 3, PÁGINAS: 477-512
INDEXADO EM: Scopus WOS CrossRef: 5
646
TÍTULO: KAT and PHL in Coq  Full Text
AUTORES: David Pereira ; Nelma Moreira ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2, PÁGINAS: 137-160
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
647
TÍTULO: MODULAR DIOPHANTINE INEQUALITIES AND ROTATIONS OF NUMERICAL SEMIGROUPS
AUTORES: Delgado, M ; Rosales, JC;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 84, NÚMERO: 3, PÁGINAS: 315-328
INDEXADO EM: Scopus WOS CrossRef
648
TÍTULO: Numerical semigroups having a toms decomposition
AUTORES: Rosales, JC; García Sánchez, PA ;
PUBLICAÇÃO: 2008, FONTE: CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, VOLUME: 51, NÚMERO: 1, PÁGINAS: 134-139
INDEXADO EM: Scopus WOS CrossRef: 6
649
TÍTULO: ON A RECENT GENERALIZATION OF SEMIPERFECT RINGS
AUTORES: Engin Buyukasik; Christian Lomp ;
PUBLICAÇÃO: 2008, FONTE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 78, NÚMERO: 2, PÁGINAS: 317-325
INDEXADO EM: Scopus WOS CrossRef: 6
650
TÍTULO: On an algorithm to decide whether a free group is a free factor of another
AUTORES: Pedro V Silva ; Pascal Weil;
PUBLICAÇÃO: 2008, FONTE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 42, NÚMERO: 2, PÁGINAS: 395-414
INDEXADO EM: Scopus WOS CrossRef: 3
651
TÍTULO: Pointlike sets with respect to R and J  Full Text
AUTORES: Jorge Almeida ; Jose Carlos Costa ; Marc Zeitoun;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, NÚMERO: 3, PÁGINAS: 486-499
INDEXADO EM: Scopus WOS CrossRef: 10
652
TÍTULO: Rational subsets of partially reversible monoids  Full Text
AUTORES: Pedro V Silva ;
PUBLICAÇÃO: 2008, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 409, NÚMERO: 3, PÁGINAS: 537-548
INDEXADO EM: Scopus WOS CrossRef: 3
653
TÍTULO: Rees matrix covers and the translational hull of a locally inverse semigroup  Full Text
AUTORES: Francis J Pastijn; Luis A Oliveira ;
PUBLICAÇÃO: 2008, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, NÚMERO: 9, PÁGINAS: 3230-3249
INDEXADO EM: Scopus WOS CrossRef: 3
654
TÍTULO: REGULAR AND BIREGULAR MODULE ALGEBRAS  Full Text
AUTORES: Christian Lomp ;
PUBLICAÇÃO: 2008, FONTE: ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, VOLUME: 33, NÚMERO: 2C, PÁGINAS: 351-363
INDEXADO EM: Scopus WOS
655
TÍTULO: Strongly taut finitely generated monoids
AUTORES: García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLICAÇÃO: 2008, FONTE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 155, NÚMERO: 2, PÁGINAS: 119-124
INDEXADO EM: Scopus WOS CrossRef: 2
656
TÍTULO: Systems of proportionally modular Diophantine inequalities  Full Text
AUTORES: Delgado, M ; Garcia Sanchez, PA ; Rosales, JC; Urbano Blanco, M;
PUBLICAÇÃO: 2008, FONTE: SEMIGROUP FORUM, VOLUME: 76, NÚMERO: 3, PÁGINAS: 469-488
INDEXADO EM: Scopus WOS CrossRef: 3
657
TÍTULO: T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments
AUTORES: Ferreira, F; Amorim, I ; Rocha, R ; Dias, J ;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems in 2008 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS, VOLS 1 AND 2, PÁGINAS: 547-553
INDEXADO EM: Scopus WOS CrossRef
658
TÍTULO: The set of solutions of a proportionally modular Diophantine inequality  Full Text
AUTORES: Rosales J.; García-Sánchez P. ; Urbano-Blanco J.;
PUBLICAÇÃO: 2008, FONTE: Journal of Number Theory, VOLUME: 128, NÚMERO: 3, PÁGINAS: 453-467
INDEXADO EM: Scopus CrossRef: 8
659
TÍTULO: Turing machines and bimachines  Full Text
AUTORES: John Rhodes; Pedro V Silva ;
PUBLICAÇÃO: 2008, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 400, NÚMERO: 1-3, PÁGINAS: 182-224
INDEXADO EM: Scopus WOS CrossRef: 3
660
TÍTULO: An automata-theoretic approach to the word problem for omega-terms over R  Full Text
AUTORES: Jorge Almeida ; Marc Zeitoun;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, NÚMERO: 1-3, PÁGINAS: 131-169
INDEXADO EM: Scopus WOS DBLP CrossRef: 14

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