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

536 Team Members
Filters -> Year: 2026
8541
TÍTULO: Type Checking Cryptography Implementations
AUTORES: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLICAÇÃO: 2011, FONTE: FSEN, VOLUME: 7141 LNCS, PÁGINAS: 316-334
INDEXADO EM: Scopus DBLP CrossRef: 3
8542
TÍTULO: Type-Safe Evolution of Spreadsheets
AUTORES: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PÁGINAS: 186-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
8543
TÍTULO: Ubiquitous Knowledge Discovery Introduction
AUTORES: Gama, J ; May, M;
PUBLICAÇÃO: 2011, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
8544
TÍTULO: Uncertainty on a Bertrand Duopoly with Product Differentiation
AUTORES: Ferreira, F. A. ; Alberto A Pinto ;
PUBLICAÇÃO: 2011, FONTE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PÁGINAS: 389-395
INDEXADO EM: Scopus WOS CrossRef: 6
8545
TÍTULO: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTORES: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLICAÇÃO: 2011, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PÁGINAS: 1082-1089
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
8546
TÍTULO: Uncertainty Sampling-Based Active Selection of Datasetoids for Meta-learning
AUTORES: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLICAÇÃO: 2011, FONTE: 21st International Conference on Artificial Neural Networks, ICANN 2011 in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II, VOLUME: 6792, NÚMERO: PART 2, PÁGINAS: 454-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
8547
TÍTULO: Uniformly hyperbolic diffeomorphisms in every surfaces  Full Text
AUTORES: Pinto, AA ; Rand, DA;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, NÚMERO: 7, PÁGINAS: 1031-1047
INDEXADO EM: Scopus WOS CrossRef
8548
TÍTULO: Universality in PSI20 fluctuations
AUTORES: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
PUBLICAÇÃO: 2011, FONTE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PÁGINAS: 405-420
INDEXADO EM: Scopus WOS
8549
TÍTULO: Universality in the stock exchange market  Full Text
AUTORES: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, NÚMERO: 7, PÁGINAS: 1049-1063
INDEXADO EM: Scopus WOS CrossRef: 5
8550
TÍTULO: UPData - A Data Curation Experiment at U.Porto using DSpace
AUTORES: João Rocha da Silva ; João Correia Lopes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: iPRES
INDEXADO EM: DBLP
8551
TÍTULO: Using GNUsmail to Compare Data Stream Mining Methods for On-line Email Classification
AUTORES: José M Carmona Cejudo; Manuel Baena García; Rafael Morales Bueno; João Gama ; Albert Bifet;
PUBLICAÇÃO: 2011, FONTE: WAPA, PÁGINAS: 12-18
INDEXADO EM: DBLP
8552
TÍTULO: Using k-top Retrieved Web Snippets to Date Temporal Implicit Queries based on Web Content Analysis
AUTORES: Campos, RNT ;
PUBLICAÇÃO: 2011, FONTE: PROCEEDINGS OF THE 34TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR'11), PÁGINAS: 1325-1325
INDEXADO EM: WOS DBLP CrossRef
8553
TÍTULO: Using Meta-learning to Recommend Meta-heuristics for the Traveling Salesman Problem
AUTORES: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLICAÇÃO: 2011, FONTE: ICMLA (1), VOLUME: 1, PÁGINAS: 346-351
INDEXADO EM: Scopus DBLP CrossRef: 9
8554
TÍTULO: Using the Common Cartridge profile to enhance learning content interoperability
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the European Conference on E-Learning
INDEXADO EM: Handle
8555
TÍTULO: Using the Common Cartridge Profile to Enhance Learning Content Interoperability
AUTORES: Ricardo Queiros ; Jose Paulo Leal ;
PUBLICAÇÃO: 2011, FONTE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 637-645
INDEXADO EM: Scopus WOS
8556
TÍTULO: Using the H-Index to Estimate Blog Authority
AUTORES: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: ICWSM, PÁGINAS: 470-473
INDEXADO EM: Scopus DBLP Handle
8557
TÍTULO: Using the learning tools interoperability framework for LMS integration in service oriented architectures
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2011, FONTE: Technology Enhanced Learning TECH-EDUCATION'11
INDEXADO EM: Handle
8558
TÍTULO: Variance of bioimpedance analysis measurements with physicalactivity and ingestion of food and water
AUTORES: M. Garçês; C. Morais; G. Ribeiro; J. Pereira; M. Garcia; P. Rowcliffe; S. Taboada; A. Santos; Flora Correia; Bruno Oliveira ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
8559
TÍTULO: Verification conditions for source-level imperative programs
AUTORES: Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Rev., VOLUME: 5, NÚMERO: 3, PÁGINAS: 252-277
INDEXADO EM: Scopus DBLP CrossRef: 19
8560
TÍTULO: Virtual LEGO Modelling on Multi-Touch Surfaces
AUTORES: Daniel Mendes ; Alfredo Ferreira ;
PUBLICAÇÃO: 2011, FONTE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PÁGINAS: 73-80
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 428 de 532. Total de resultados: 10639.