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

531 Team Members
Filters -> Year: 2024
7521
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXED IN: Scopus DBLP
7522
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
INDEXED IN: Scopus WOS DBLP CrossRef
7523
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, PAGES: 329-344
INDEXED IN: DBLP
7524
TITLE: Modelling urban scenes for LBMS
AUTHORS: António Fernando F Coelho ; António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 2005, SOURCE: 10th International Conference on 3D Web Technology in Proceeding of the Tenth International Conference on 3D Web Technology, Web3D 2005, Bangor, UK, March 29 - April 1, 2005, PAGES: 37-46
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
7525
TITLE: Monitoring the quality of meta-data in web portals using statistics, visualization and data mining
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7526
TITLE: Multidimensional service-oriented ontology mapping
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2005, SOURCE: International Journal of Web Engineering and Technology, VOLUME: 2, ISSUE: 1, PAGES: 50-80
INDEXED IN: Scopus CrossRef
7527
TITLE: New challenges in computer science education  Full Text
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, VOLUME: 37, ISSUE: 3, PAGES: 203-207
INDEXED IN: Scopus DBLP CrossRef: 1
7528
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2, PAGES: 161-205
INDEXED IN: Scopus WOS DBLP CrossRef: 27
7529
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 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, PAGES: 707-714
INDEXED IN: Scopus WOS DBLP CrossRef: 9
7530
TITLE: On estimations for compiling software to FPGA-based systems  Full Text
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7531
TITLE: On refinement of software architectures  Full Text
AUTHORS: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLISHED: 2005, SOURCE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PAGES: 469-484
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7532
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7533
TITLE: On the Automatic Construction of Indistinguishable Operations
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
INDEXED IN: DBLP
7534
TITLE: Partition incremental discretization
AUTHORS: Carlos M. Afonso; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 168-174
INDEXED IN: WOS CrossRef: 2
7535
TITLE: Pipelining sequences of loops: A first example
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
INDEXED IN: Scopus
7536
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
7537
TITLE: Point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
INDEXED IN: Scopus WOS DBLP
7538
TITLE: Predicting relative performance of classifiers from samples
AUTHORS: Leite, R; Brazdil, P ;
PUBLISHED: 2005, SOURCE: ICML 2005: 22nd International Conference on Machine Learning in ICML 2005 - Proceedings of the 22nd International Conference on Machine Learning, VOLUME: 119, PAGES: 497-504
INDEXED IN: Scopus DBLP CrossRef: 30
7539
TITLE: Probabilistic first-order theory revision from examples
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 295-311
INDEXED IN: Scopus DBLP CrossRef: 7
7540
TITLE: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
INDEXED IN: Scopus WOS DBLP CrossRef: 18

Results per Page: 20.
Página 377 de 406. Total de resultados: 8110.