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

535 Team Members
Filters -> Year: 2026
8661
TÍTULO: Contract-based slicing helps on safety reuse
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
8662
TÍTULO: Core patterns of object-oriented meta-architectures
AUTORES: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLICAÇÃO: 2010, FONTE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PÁGINAS: 2:1-2:9
INDEXADO EM: Scopus DBLP CrossRef: 5
8663
TÍTULO: Corporate m-learning: Two case studies
AUTORES: Amarolinda Zanela Saccol; Eliane Schlemmer ; Jorge L V Barbosa; Nicolau Reinhard;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the IADIS International Conference Mobile Learning 2010, PÁGINAS: 230-234
INDEXADO EM: Scopus
8664
TÍTULO: Correcting routing information through GPS data processing
AUTORES: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2010, FONTE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PÁGINAS: 706-711
INDEXADO EM: Scopus DBLP CrossRef: 10
8665
TÍTULO: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTORES: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, NÚMERO: 12, PÁGINAS: 3227-3236
INDEXADO EM: Scopus WOS CrossRef: 65
8666
TÍTULO: CSCW and Information Systems Planning
AUTORES: Jose Cabral; Hugo Paredes ; Joao Varajao ; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLICAÇÃO: 2010, FONTE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PÁGINAS: 2748-2754
INDEXADO EM: Scopus WOS
8667
TÍTULO: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTORES: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLICAÇÃO: 2010, FONTE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, NÚMERO: PART 1, PÁGINAS: 131-137
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
8668
TÍTULO: Data Mining for Business Applications
AUTORES: Carlos Soares ; Rayid Ghani;
PUBLICAÇÃO: 2010, VOLUME: 218
INDEXADO EM: DBLP
8669
TÍTULO: Data Mining for Business Applications: Introduction  Full Text
AUTORES: Carlos Soares ; Rayid Ghani;
PUBLICAÇÃO: 2010, FONTE: Data Mining for Business Applications, VOLUME: 218, PÁGINAS: 1-14
INDEXADO EM: Scopus DBLP CrossRef
8670
TÍTULO: Data Model for Procedural Modelling from Textual Descriptions
AUTORES: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
8671
TÍTULO: Decision Making Based on Quality-of-Information a Clinical Guideline for Chronic Obstructive Pulmonary Disease Scenario
AUTORES: Lima, L ; Paulo Novais ; Costa, R ; Cruz, JB; Neves, J ;
PUBLICAÇÃO: 2010, FONTE: 7th International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 79, PÁGINAS: 417-424
INDEXADO EM: Scopus WOS CrossRef: 2 Handle
8672
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
8673
TÍTULO: Dependability in Aggregation by Averaging PDF
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP arXiv
8675
TÍTULO: Design an extensible metadata editor based on RDF
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
8676
TÍTULO: Design of an extensible metadata editor based on RDF
AUTORES: Lea, JP ; Queiros, R ;
PUBLICAÇÃO: 2010, FONTE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PÁGINAS: 1219-1222
INDEXADO EM: Scopus
8677
TÍTULO: Determining the best classification algorithm with recourse to sampling and metalearning
AUTORES: Brazdil, P ; Leite, R;
PUBLICAÇÃO: 2010, FONTE: Studies in Computational Intelligence, VOLUME: 262, PÁGINAS: 173-188
INDEXADO EM: Scopus DBLP CrossRef: 8
8678
TÍTULO: Developing information services for the social solidarity institutions
AUTORES: Queiros, A ; De Carvalho, SCS; Pavao, JA ; Da Rocha, NFP ;
PUBLICAÇÃO: 2010, FONTE: IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010 in Proceedings of the IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010, PÁGINAS: 299-302
INDEXADO EM: Scopus
8679
TÍTULO: Developing Intelligent Environments with OSGi and JADE
AUTORES: Carneiro, D ; Paulo Novais ; Costa, R ; Neves, J ;
PUBLICAÇÃO: 2010, FONTE: 3rd IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010 in ARTIFICIAL INTELLIGENCE IN THEORY AND PRACTICE III, VOLUME: 331, PÁGINAS: 174-183
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Handle
8680
TÍTULO: DFT-based frequency estimation under harmonic interference
AUTORES: Ferreira, A ; Sousa, R ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
INDEXADO EM: Scopus CrossRef: 7

Results per Page: 20.
Página 434 de 534. Total de resultados: 10665.