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

536 Team Members
Filters -> Year: 2026
6061
TITLE: Spatial considerations of an area restriction model for identifying harvest blocks at commercial forest plantations  Full Text
AUTHORS: Kašpar, J; Perez, GFE; Cerveira, A ; Marušák, R;
PUBLISHED: 2016, SOURCE: Forestry Journal, VOLUME: 62, ISSUE: 3, PAGES: 146-151
INDEXED IN: Scopus CrossRef: 2
6062
TITLE: Spatial-Temporal Data Watch to Digital Media PhD Thesis Proposal in Informatics Engineering
AUTHORS: Leonel Dias ; Alexandre Carvalho ; Antonio Coelho ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXED IN: Scopus WOS CrossRef
6063
TITLE: Spatiotemporal Control of Forkhead Binding to DNA Regulates the Meiotic Gene Expression Program
AUTHORS: Isabel Alves Rodrigues; Pedro G Ferreira ; Alberto Moldon; Ana P Vivancos; Elena Hidalgo; Roderic Guigo; Jose Ayte;
PUBLISHED: 2016, SOURCE: CELL REPORTS, VOLUME: 14, ISSUE: 4, PAGES: 885-895
INDEXED IN: Scopus WOS CrossRef: 12
6064
TITLE: Special Issue JOMS - Journal of Medical Systems, 2016 on Agent-Empowered HealthCare Systems
AUTHORS: Abreu, PH ; Silva, DC ; Schumacher, MI; Reis, LP ; Faria, BM ; Ito, M;
PUBLISHED: 2016, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 40, ISSUE: 4, PAGES: 93:1-93:2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6065
TITLE: Spot sale of uncommitted LNG from Middle East: Japan or the UK?  Full Text
AUTHORS: Hamed Nikhalat Jahromi ; Michael G H Bell; Dalila B M M Fontes ; Robert A Cochrane; Panagiotis Angeloudis;
PUBLISHED: 2016, SOURCE: ENERGY POLICY, VOLUME: 96, PAGES: 717-725
INDEXED IN: Scopus WOS CrossRef: 7
6066
TITLE: SSA-based MATLAB-to-C compilation and optimization
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2016, SOURCE: ARRAY@PLDI, PAGES: 55-62
INDEXED IN: Scopus DBLP CrossRef: 4
6067
TITLE: Strategies for minimizing the influence of the use of BYOD and Cloud in organizations: 4CM Model
AUTHORS: Fernando Moreira ; Manuel P Perez Cota; Ramiro Goncalves ;
PUBLISHED: 2016, SOURCE: 11th IEEE Colombian Computing Conference (CCC) in 2016 IEEE 11TH COLOMBIAN COMPUTING CONFERENCE (CCC)
INDEXED IN: WOS CrossRef: 1
6068
TITLE: Study on the Impact of the NS in the Performance of Meta-Heuristics in the TSP
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in 2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 1110-1115
INDEXED IN: WOS
6069
TITLE: Study on the impact of the NS in the performance of meta-heuristics in the TSP
AUTHORS: André S Santos; Ana Maria Madureira ; Maria Leonilde R Varela ;
PUBLISHED: 2016, SOURCE: 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016, PAGES: 1110-1115
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
6070
TITLE: Support Vector Machines for decision support in electricity markets' strategic bidding
AUTHORS: Tiago Pinto ; Tiago M Sousa; Isabel Praça; Zita A Vale; Hugo Morais;
PUBLISHED: 2016, SOURCE: Neurocomputing, VOLUME: 172, PAGES: 438-445
INDEXED IN: DBLP
6071
TITLE: Support Vector Machines for decision support in electricity markets' strategic bidding  Full Text
AUTHORS: Pinto, T ; Sousa, TM; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2016, SOURCE: NEUROCOMPUTING, VOLUME: 172, PAGES: 438-445
INDEXED IN: Scopus WOS Handle
6072
TITLE: Support Vector Machines for decision support in electricity markets׳ strategic bidding  Full Text
AUTHORS: Tiago Pinto ; Tiago M Sousa; Isabel Praça ; Zita Vale ; Hugo Morais;
PUBLISHED: 2016, SOURCE: Neurocomputing, VOLUME: 172, PAGES: 438-445
INDEXED IN: CrossRef: 42
6073
TITLE: Sustainability analysis of Tabique
AUTHORS: Correia, M; Bentes, I. ; Pinto, T ; Briga Sá, A; Pereira, S ; Teixeira, CA;
PUBLISHED: 2016, SOURCE: 6th Euro-American Congress on Construction Pathology, Rehabilitation Technology and Heritage Management, REHABEND 2016 in REHABEND, VOLUME: 2016-May, PAGES: 1722-1727
INDEXED IN: Scopus
6074
TITLE: Systematic Automation of Scenario-Based Testing of User Interfaces
AUTHORS: Campos, JC ; Fayollas, C; Martinie, C; Navarre, D; Palanque, P; Pinto, M;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 138-148
INDEXED IN: Scopus WOS DBLP CrossRef: 19
6075
TITLE: TEACHING LINEAR FUNCTION WITH MODELLUS IN A 7TH GRADE CLASS
AUTHORS: Gandra, AP; Armando A Soares ; Paula Catarino ; Fonseca, B ;
PUBLISHED: 2016, SOURCE: 8th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN16: 8TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 1320-1327
INDEXED IN: WOS CrossRef
6076
TITLE: Técnicas para aumentar o envolvimento dos alunos na aprendizagem da programação
AUTHORS: Paula Tavares; Elsa Gomes; Pedro R Henriques; Gomes, EF ;
PUBLISHED: 2016, SOURCE: VII Congresso Mundial de Estilos de Aprendizagem, CMEA'2016
INDEXED IN: Handle
6077
TITLE: Templates as heuristics for proving properties of medical devices
AUTHORS: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Creative Technol., VOLUME: 3, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef Handle
6078
TITLE: Tensor-based anomaly detection: An interdisciplinary survey
AUTHORS: Fanaee T, H ; Gama, J ;
PUBLISHED: 2016, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 98, PAGES: 130-147
INDEXED IN: Scopus WOS DBLP CrossRef: 122
6079
TITLE: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PAGES: 69-78
INDEXED IN: WOS DBLP CrossRef: 2
6080
TITLE: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea Rosario Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: Conf. Computing Frontiers, PAGES: 288-293
INDEXED IN: Scopus DBLP CrossRef: 23

Results per Page: 20.
Page 304 of 533. Total results: 10650.