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

531 Team Members
Filters -> Year: 2025
3421
TÍTULO: A bifurcation theorem for evolutionary matrix models with multiple traits  Full Text
AUTORES: Cushing, JM; Martins, F ; Pinto, AA ; Amy Veprauskas;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MATHEMATICAL BIOLOGY, VOLUME: 75, NÚMERO: 2, PÁGINAS: 491-520
INDEXADO EM: Scopus WOS CrossRef: 5
3422
TÍTULO: A comparison of research data management platforms: architecture, flexible metadata and interoperability  Full Text
AUTORES: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, NÚMERO: 4, PÁGINAS: 851-862
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
3423
TÍTULO: A Computer Platform to Increase Motivation in Programming Students - PEP
AUTORES: Tavares, PC; Henriques, PR ; Gomes, EF ;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION (CSEDU), VOL 1, VOLUME: 1, PÁGINAS: 284-291
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3424
TÍTULO: A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation PDF
AUTORES: Francesco Renna ; Jorge Oliveira ; Miguel T Coimbra ;
PUBLICAÇÃO: 2017, FONTE: 44th Computing in Cardiology Conference (CinC) in 2017 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 44, PÁGINAS: 1-4
INDEXADO EM: Scopus WOS DBLP CrossRef
3425
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017, PÁGINAS: 821
INDEXADO EM: DBLP
3426
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PÁGINAS: 1989-2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 18 Unpaywall
3427
TÍTULO: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTORES: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLICAÇÃO: 2017, FONTE: IEEE Trans. Software Eng., VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
INDEXADO EM: Scopus DBLP CrossRef: 11
3428
TÍTULO: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTORES: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PÁGINAS: 201-212
INDEXADO EM: DBLP
3429
TÍTULO: A Framework for Recommendation of Highly Popular News Lacking Social Feedback  Full Text
AUTORES: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 417-450
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
3430
TÍTULO: A full scope web accessibility evaluation procedure proposal based on Iberian eHealth accessibility compliance  Full Text
AUTORES: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLICAÇÃO: 2017, FONTE: Computers in Human Behavior, VOLUME: 73, PÁGINAS: 676-684
INDEXADO EM: Scopus DBLP CrossRef: 31
3431
TÍTULO: A global perspective on an emotional learning model proposal  Full Text
AUTORES: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLICAÇÃO: 2017, FONTE: TELEMATICS AND INFORMATICS, VOLUME: 34, NÚMERO: 6, PÁGINAS: 824-837
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
3432
TÍTULO: A graph-based framework for the analysis of access control policies  Full Text
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PÁGINAS: 3-22
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3433
TÍTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PÁGINAS: 284-299
INDEXADO EM: Scopus DBLP CrossRef: 4
3434
TÍTULO: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTORES: Alvaro Figueira ; Luciana Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 8638-8645
INDEXADO EM: WOS CrossRef
3435
TÍTULO: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems  Full Text
AUTORES: Joao Bispo ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, NÚMERO: 2, PÁGINAS: 249-272
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
3436
3437
TÍTULO: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis  Full Text
AUTORES: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLICAÇÃO: 2017, FONTE: Journal of Network and Systems Management, VOLUME: 25, NÚMERO: 3, PÁGINAS: 643-668
INDEXADO EM: Scopus CrossRef: 2
3438
TÍTULO: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: J. Netw. Syst. Manag., VOLUME: 25, NÚMERO: 3, PÁGINAS: 643-668
INDEXADO EM: DBLP
3439
TÍTULO: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTORES: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLICAÇÃO: 2017, FONTE: PACMHCI, VOLUME: 1, NÚMERO: 1, PÁGINAS: 9:1-9:20
INDEXADO EM: Scopus DBLP CrossRef: 10
3440
TÍTULO: A multi-objective unit commitment problem combining economic and environmental criteria in a metaheuristic approach
AUTORES: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2017, FONTE: 4th International Conference on Energy and Environment Research (ICEER) in 4TH INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT RESEARCH, ICEER 2017, VOLUME: 136, PÁGINAS: 362-368
INDEXADO EM: Scopus WOS CrossRef: 10 Handle

Results per Page: 20.
Página 172 de 423. Total de resultados: 8455.