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

531 Team Members
Filters -> Year: 2024
6361
TÍTULO: Context effect on query formulation and subjective relevance in health searches
AUTORES: Teixeira Lopes, C ; Ribeiro, C ;
PUBLICAÇÃO: 2010, FONTE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PÁGINAS: 205-214
INDEXADO EM: Scopus DBLP CrossRef: 5
6362
TÍTULO: Contextualized Ubiquity: A new opportunity for rendering business information and services PDF
AUTORES: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLICAÇÃO: 2010, FONTE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, NÚMERO: 3, PÁGINAS: 55-64
INDEXADO EM: Scopus DBLP CrossRef: 4 Handle
6363
TÍTULO: Contract-Based Slicing
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
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
6364
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
6365
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
6366
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: 9
6367
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: 56
6368
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
6369
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
6370
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
6371
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
6372
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
6374
TÍTULO: Design of an extensible metadata editor based on RDF
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the European Conference on Knowledge Management
INDEXADO EM: Handle
6375
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
6376
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
6377
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
6378
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: 3
6379
TÍTULO: Dimensioning and Worst-Case Analysis of Cluster-Tree Sensor Networks
AUTORES: Jurcik, P; Koubaa, A ; Severino, R ; Alves, M ; Tovar, E ;
PUBLICAÇÃO: 2010, FONTE: ACM TRANSACTIONS ON SENSOR NETWORKS, VOLUME: 7, NÚMERO: 2, PÁGINAS: 1-47
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6380
TÍTULO: Discovering Coordination Patterns
AUTORES: Rodrigues, NF ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 260, PÁGINAS: 189-207
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 319 de 408. Total de resultados: 8151.