CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 8480

531 Team Members
Filters -> Year: 2025
3441
TITLE: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís Pessoa ; Henrique Salgado;
PUBLISHED: 2017, SOURCE: Wireless Days
INDEXED IN: DBLP
3442
TITLE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
INDEXED IN: DBLP
3443
TITLE: A bifurcation theorem for evolutionary matrix models with multiple traits  Full Text
AUTHORS: Cushing, JM; Martins, F ; Pinto, AA ; Amy Veprauskas;
PUBLISHED: 2017, SOURCE: JOURNAL OF MATHEMATICAL BIOLOGY, VOLUME: 75, ISSUE: 2, PAGES: 491-520
INDEXED IN: Scopus WOS CrossRef: 5
3444
TITLE: A comparison of research data management platforms: architecture, flexible metadata and interoperability  Full Text
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, ISSUE: 4, PAGES: 851-862
INDEXED IN: Scopus WOS DBLP CrossRef: 43
3445
TITLE: A Computer Platform to Increase Motivation in Programming Students - PEP
AUTHORS: Tavares, PC; Henriques, PR ; Gomes, EF ;
PUBLISHED: 2017, SOURCE: 9th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION (CSEDU), VOL 1, VOLUME: 1, PAGES: 284-291
INDEXED IN: Scopus WOS DBLP CrossRef: 4
3446
TITLE: A Data-Driven Feature Extraction Method for Enhanced Phonocardiogram Segmentation PDF
AUTHORS: Francesco Renna ; Jorge Oliveira ; Miguel T Coimbra ;
PUBLISHED: 2017, SOURCE: 44th Computing in Cardiology Conference (CinC) in 2017 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 44, PAGES: 1-4
INDEXED IN: Scopus WOS DBLP CrossRef
3447
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
INDEXED IN: DBLP
3448
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 1989-2006
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Unpaywall
3449
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
INDEXED IN: Scopus DBLP CrossRef: 11
3450
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
INDEXED IN: DBLP
3451
TITLE: A Framework for Recommendation of Highly Popular News Lacking Social Feedback  Full Text
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
INDEXED IN: Scopus WOS DBLP CrossRef: 11
3452
TITLE: A full scope web accessibility evaluation procedure proposal based on Iberian eHealth accessibility compliance  Full Text
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
INDEXED IN: Scopus DBLP CrossRef: 31
3453
TITLE: A global perspective on an emotional learning model proposal  Full Text
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
INDEXED IN: Scopus WOS DBLP CrossRef: 27
3454
TITLE: A graph-based framework for the analysis of access control policies  Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
INDEXED IN: Scopus WOS DBLP CrossRef: 10
3455
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 284-299
INDEXED IN: Scopus DBLP CrossRef: 4
3456
TITLE: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
INDEXED IN: WOS CrossRef
3457
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems  Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
INDEXED IN: Scopus WOS DBLP CrossRef: 8
3459
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis  Full Text
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLISHED: 2017, SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668
INDEXED IN: Scopus CrossRef: 2
3460
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
INDEXED IN: DBLP

Results per Page: 20.
Page 173 of 424. Total results: 8480.