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

536 Team Members
Filters -> Year: 2026
8661
TÍTULO: Contract-Based Slicing
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1, PÁGINAS: 106-120
INDEXADO EM: Scopus WOS DBLP CrossRef
8662
TÍTULO: Contract-Based Slicing Helps on Safety Reuse
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ICPC, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
8663
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: PLoP, PÁGINAS: 2:1-2:9
INDEXADO EM: Scopus DBLP CrossRef: 5
8664
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
8665
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: ITSC, PÁGINAS: 706-711
INDEXADO EM: Scopus DBLP CrossRef: 10
8666
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
8667
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
8668
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
8669
TÍTULO: Data Mining for Business Applications
AUTORES: Carlos Soares ; Rayid Ghani;
PUBLICAÇÃO: 2010, VOLUME: 218
INDEXADO EM: DBLP
8670
TÍTULO: Data Mining for Business Applications: Introduction
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
8671
TÍTULO: Data Model for Procedural Modelling from Textual Descriptions
AUTORES: Rodrigues, R; Coelho, A ; Reis, LP ;
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
8672
TÍTULO: Data Stream Mining Algorithms for Building Decision Models in a Computer Role-Playing Game Simulation
AUTORES: Rosane Maria Maffei Vallim; André Carlos Ponce de Leon Ferreira de Carvalho; João Gama ;
PUBLICAÇÃO: 2010, FONTE: SBGames, PÁGINAS: 108-116
INDEXADO EM: Scopus DBLP CrossRef
8673
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
8674
TÍTULO: Deductive verification of cryptographic software
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
8675
TÍTULO: Dependability in Aggregation by Averaging
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP
8677
TÍTULO: Design an extensible metadata editor based on RDF
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
8678
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
8679
TÍTULO: Determining the Best Classification Algorithm with Recourse to Sampling and Metalearning
AUTORES: Pavel Brazdil ; Rui Leite;
PUBLICAÇÃO: 2010, FONTE: Advances in Machine Learning I, VOLUME: 262, PÁGINAS: 173-188
INDEXADO EM: Scopus DBLP CrossRef: 8
8680
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

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