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

536 Team Members
Filters -> Year: 2026
9901
TÍTULO: Transposing partial components - An exercise on coalgebraic refinement
AUTORES: Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2006, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, NÚMERO: 1-2, PÁGINAS: 2-22
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
9902
TÍTULO: Two-way analysis of variance for data from a concentrated bipolar Watson distribution  Full Text
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2006, FONTE: JOURNAL OF APPLIED STATISTICS, VOLUME: 33, NÚMERO: 6, PÁGINAS: 575-581
INDEXADO EM: Scopus WOS CrossRef: 6
9903
TÍTULO: Type-safe two-level data transformation
AUTORES: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PÁGINAS: 284-299
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
9904
9905
TÍTULO: Virtual barriers of electronic government in Portugal
AUTORES: Ezequiel Silva; Joaquim Faias; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2006, FONTE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PÁGINAS: 805-820
INDEXADO EM: Scopus WOS
9906
TÍTULO: Visual interactive subgroup discovery with numerical properties of interest
AUTORES: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLICAÇÃO: 2006
INDEXADO EM: Handle
9907
TÍTULO: Visual interactive subgroup discovery with numerical properties of interest
AUTORES: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PÁGINAS: 301-305
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
9908
TÍTULO: Wavelet analysis of the Lisbon and Gibraltar North Atlantic Oscillation winter indices  Full Text
AUTORES: Barbosa, S ; Silva, ME ; Fernandes, MJ ;
PUBLICAÇÃO: 2006, FONTE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 26, NÚMERO: 5, PÁGINAS: 581-593
INDEXADO EM: Scopus WOS CrossRef: 21
9909
TÍTULO: Weighted evidence accumulation clustering using subsampling
AUTORES: Duarte, FJF; Fred, ALN ; Rodrigues, F ; Duarte, JMM ; Lourenco, A;
PUBLICAÇÃO: 2006, FONTE: 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006 in Proceedings of the 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006, PÁGINAS: 104-116
INDEXADO EM: Scopus
9910
TÍTULO: WISE: Hierarchical soft clustering of web page search results based on web content mining techniques
AUTORES: Campos, R ; Dias, G; Nunes, C ;
PUBLICAÇÃO: 2006, FONTE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, (WI 2006 MAIN CONFERENCE PROCEEDINGS), PÁGINAS: 301-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
9911
TÍTULO: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
AUTORES: Camacho, R ; Alves, A; da Costa, JP ; Azevedo, P ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PÁGINAS: 235-235
INDEXADO EM: WOS
9912
TÍTULO: A data mining approach for trip time prediction in mass transit companies
AUTORES: João M Moreira; Alípio Jorge ; Jorge F de Sousa ; Carlos Soares;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
9913
TÍTULO: A Data Webhouse to monitor the use of a Web Based Higher Education Information System
AUTORES: Carla T Lopes ; Gabriel David;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
9914
TÍTULO: A Formal Definition of Data Quality Problems
AUTORES: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2005, FONTE: ICIQ
INDEXADO EM: Scopus DBLP
9915
TÍTULO: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
AUTORES: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLICAÇÃO: 2005, FONTE: ILP, VOLUME: 3625, PÁGINAS: 69-86
INDEXADO EM: Scopus DBLP CrossRef: 1
9916
TÍTULO: A Hybrid Genetic Algorithm Approach for Concave Minimum Cost Network Flow Problems
AUTORES: Dalila B Fontes ; José F Gonçalves;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
9917
TÍTULO: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTORES: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLICAÇÃO: 2005, FONTE: JISBD, PÁGINAS: 131-138
INDEXADO EM: DBLP
9918
TÍTULO: A model-to-implementation mapping tool for automated model-based GUI testing
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PÁGINAS: 450-464
INDEXADO EM: Scopus WOS DBLP CrossRef: 31 Handle
9919
TÍTULO: A multi-agent simulator for testing agent market strategies
AUTORES: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLICAÇÃO: 2005, FONTE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PÁGINAS: 509-514
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 496 de 532. Total de resultados: 10637.