CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
7841
TÍTULO: On applying or-parallelism and tabling to logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, NÚMERO: 1-2, PÁGINAS: 161-205
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
7842
TÍTULO: On applying tabling to inductive logic programming
AUTORES: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PÁGINAS: 707-714
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
7843
TÍTULO: On estimations for compiling software to FPGA-based systems  Full Text
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PÁGINAS: 225-230
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
7844
TÍTULO: On refinement of software architectures  Full Text
AUTORES: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLICAÇÃO: 2005, FONTE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PÁGINAS: 469-484
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
7845
TÍTULO: On the automatic construction of indistinguishable operations
AUTORES: Barbosa, M ; Page, D;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PÁGINAS: 233-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
7846
TÍTULO: On the Automatic Construction of Indistinguishable Operations
AUTORES: Manuel Barbosa ; Dan Page;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2005, PÁGINAS: 174
INDEXADO EM: DBLP
7847
TÍTULO: Partition incremental discretization
AUTORES: Carlos M. Afonso; Joao Gama ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 168-174
INDEXADO EM: WOS CrossRef: 2
7848
TÍTULO: Pipelining sequences of loops: A first example
AUTORES: Rodrigues, R; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PÁGINAS: 147-151
INDEXADO EM: Scopus
7849
TÍTULO: Point-free program calculation
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2005
INDEXADO EM: DBLP
7850
TÍTULO: Point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 66, NÚMERO: 4, PÁGINAS: 315-352
INDEXADO EM: Scopus WOS DBLP
7851
TÍTULO: Predicting relative performance of classifiers from samples
AUTORES: Leite, R; Brazdil, P ;
PUBLICAÇÃO: 2005, FONTE: ICML 2005: 22nd International Conference on Machine Learning in ICML 2005 - Proceedings of the 22nd International Conference on Machine Learning, VOLUME: 119, PÁGINAS: 497-504
INDEXADO EM: Scopus DBLP CrossRef: 33
7852
TÍTULO: Probabilistic first-order theory revision from examples
AUTORES: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PÁGINAS: 295-311
INDEXADO EM: Scopus DBLP CrossRef: 7
7853
TÍTULO: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 236-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
7854
TÍTULO: Protein sequence pattern mining with constraints  Full Text
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2005, FONTE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PÁGINAS: 96-107
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
7855
TÍTULO: Queuing and Routing in a Hierarchical Powerline Communication System
AUTORES: Filipe de Faria Pacheco ; Luis Miguel Pinho ; Eduardo Tovar ;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PÁGINAS: 59-66
INDEXADO EM: Scopus WOS CrossRef
7856
TÍTULO: Recursion patterns and time-analysis
AUTORES: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLICAÇÃO: 2005, FONTE: ACM SIGPLAN NOTICES, VOLUME: 40, NÚMERO: 5, PÁGINAS: 45-54
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7857
TÍTULO: ReGS: User-level reliability in a grid environment
AUTORES: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLICAÇÃO: 2005, FONTE: 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 in 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PÁGINAS: 718-725
INDEXADO EM: Scopus WOS DBLP CrossRef
7858
TÍTULO: Replicated INAR(1) processes  Full Text
AUTORES: SILVA, ISABEL ; Silva, ME ; Isabel Pereira ; Silva, N;
PUBLICAÇÃO: 2005, FONTE: METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, VOLUME: 7, NÚMERO: 4, PÁGINAS: 517-542
INDEXADO EM: Scopus WOS CrossRef: 12
7859
TÍTULO: Reverse Engineering of Framework Design using a Meta-Patterns-based Approach
AUTORES: Nuno Flores ; Ademar Aguiar ;
PUBLICAÇÃO: 2005, FONTE: 3rd IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-05) in 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, VOLUME: 2005, PÁGINAS: 941-946
INDEXADO EM: Scopus WOS DBLP CrossRef
7860
TÍTULO: Rigidity of hyperbolic sets on surfaces  Full Text
AUTORES: Pinto, AA ; Rand, DA;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 71, NÚMERO: 2, PÁGINAS: 481-502
INDEXADO EM: Scopus WOS CrossRef: 7

Results per Page: 20.
Página 393 de 422. Total de resultados: 8434.