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

536 Team Members
Filters -> Year: 2026
9901
TÍTULO: Symbolic and spatial data analysis: Mining complex data structures  Full Text
AUTORES: Brito, P ; Noirhomme Fraiture, M;
PUBLICAÇÃO: 2006, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 297-300
INDEXADO EM: Scopus WOS DBLP
9902
TÍTULO: The circle and the solenoid
AUTORES: Pinto, AA ; Sullivan, D;
PUBLICAÇÃO: 2006, FONTE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 16, NÚMERO: 2, PÁGINAS: 463-504
INDEXADO EM: Scopus WOS
9903
TÍTULO: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTORES: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLICAÇÃO: 2006, FONTE: ICLP, VOLUME: 4079 LNCS, PÁGINAS: 461-462
INDEXADO EM: Scopus DBLP CrossRef: 1
9904
TÍTULO: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTORES: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLICAÇÃO: 2006, FONTE: J. Univers. Comput. Sci., VOLUME: 12, NÚMERO: 7, PÁGINAS: 764-787
INDEXADO EM: Scopus DBLP
9905
TÍTULO: The influence of inter-domain mobility on message stream response time in wired/wireless profibus-based networks
AUTORES: Ferreira, L ; Tovar, E ;
PUBLICAÇÃO: 2006, FONTE: Fieldbus Systems and Their Applications 2005, PÁGINAS: 135-142
INDEXADO EM: Scopus CrossRef Handle
9906
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2006, FONTE: WRS@FLoC, VOLUME: 174, NÚMERO: 10 SPEC. ISS., PÁGINAS: 57-74
INDEXADO EM: Scopus DBLP CrossRef: 3
9907
TÍTULO: The power of linear functions
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PÁGINAS: 119-134
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
9908
TÍTULO: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTORES: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLICAÇÃO: 2006, FONTE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, NÚMERO: PART 1, PÁGINAS: 108-113
INDEXADO EM: Scopus
9909
TÍTULO: Towards a Coordination Model for Interactive Systems
AUTORES: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLICAÇÃO: 2006, FONTE: FMIS@ICFEM, VOLUME: 183, NÚMERO: SPEC. ISS., PÁGINAS: 89-103
INDEXADO EM: Scopus DBLP CrossRef: 5
9910
TÍTULO: Towards a generic group communication service
AUTORES: Carvalho, N; Pereira, J ; Rodrigues, L ;
PUBLICAÇÃO: 2006, FONTE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PÁGINAS: 1485-1502
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
9911
TÍTULO: Towards interference-free deployment of ubicomp systems
AUTORES: Ricardo Santos Morla ;
PUBLICAÇÃO: 2006, FONTE: British Library, EThOS
INDEXADO EM: DBLP
9912
TÍTULO: Transposing partial components - An exercise on coalgebraic refinement  Full Text
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
9913
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
9914
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
9915
9916
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
9917
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
9918
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
9919
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
9920
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

Results per Page: 20.
Página 496 de 533. Total de resultados: 10648.