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

531 Team Members
Filters -> Year: 2024
4161
TITLE: Templates as heuristics for proving properties of medical devices
AUTHORS: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, VOLUME: 3, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef Handle
4162
TITLE: Tensor-based anomaly detection: An interdisciplinary survey  Full Text
AUTHORS: Hadi Fanaee T ; Joao Gama ;
PUBLISHED: 2016, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 98, PAGES: 130-147
INDEXED IN: Scopus WOS DBLP CrossRef: 111
4163
TITLE: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
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
4164
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 R Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, PAGES: 288-293
INDEXED IN: Scopus DBLP CrossRef: 21
4165
TITLE: The Benefits of DOF Separation in Mid-air 3D Object Manipulation
AUTHORS: Mendes, D ; Relvas, F; Ferreira, A; Jorge, J;
PUBLISHED: 2016, SOURCE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PAGES: 261-268
INDEXED IN: Scopus WOS DBLP CrossRef: 27
4166
TITLE: The CloudMdsQL Multistore System
AUTHORS: Boyan Kolev; Carlyna Bondiombouy; Patrick Valduriez; Ricardo Jiménez Peris; Raquel Pau; José Pereira ;
PUBLISHED: 2016, SOURCE: 2016 ACM SIGMOD International Conference on Management of Data, SIGMOD 2016 in Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, June 26 - July 01, 2016, VOLUME: 26-June-2016, PAGES: 2113-2116
INDEXED IN: Scopus DBLP CrossRef: 31
4167
TITLE: The Effectiveness of Query Expansion when searching for Health related Content: InfoLab at CLEF eHealth 2016 PDF
AUTHORS: Ricardo Silva; Carla Teixeira Lopes ;
PUBLISHED: 2016, SOURCE: 2016 Working Notes of Conference and Labs of the Evaluation Forum, CLEF 2016 in Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum, Évora, Portugal, 5-8 September, 2016., VOLUME: 1609, PAGES: 130-142
INDEXED IN: Scopus DBLP
4168
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
INDEXED IN: DBLP arXiv
4169
TITLE: The Impact of Body Position on the Usability of Multisensory Virtual Environments: Case study of a virtual bicycle. Case study of a virtual bicycle
AUTHORS: Miguel Melo ; Tânia Rocha ; Luís Barbosa ; Maximino Bessa ;
PUBLISHED: 2016, SOURCE: 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016 in Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2016, Vila Real, Portugal, December 1-3, 2016, VOLUME: Part F126964, PAGES: 20-24
INDEXED IN: Scopus DBLP CrossRef: 7
4170
TITLE: The impact of different exposure times to 360 degrees video experience on the sense of presence
AUTHORS: Miguel Melo ; Sofia Sampaio; Luis Barbosa ; Jose Vasconcelos Raposo ; Maximino Bessa ;
PUBLISHED: 2016, SOURCE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PAGES: 67-71
INDEXED IN: Scopus WOS CrossRef: 11
4171
TITLE: The influence of the Java collection framework on overall energy consumption
AUTHORS: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2016, SOURCE: 5th International Workshop on Green and Sustainable Software, GREENS 2016 - 38th International Conference on Software Engineering, ICSE 2016 in Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016, PAGES: 15-21
INDEXED IN: Scopus DBLP CrossRef: 24
4172
TITLE: The problem with embedded CRDT counters and a solution
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
INDEXED IN: Scopus WOS DBLP CrossRef: 10
4173
TITLE: The variability of application execution times on a multi-core platform
AUTHORS: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLISHED: 2016, SOURCE: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016 in OpenAccess Series in Informatics, VOLUME: 55, PAGES: 6.1-6.11
INDEXED IN: Scopus
4174
TITLE: Threshold-Bounded Influence Dominating Sets for Recommendations in Social Networks
AUTHORS: Magdalini Eirinaki; Nuno Moniz ; Katerina Potika;
PUBLISHED: 2016, SOURCE: 6th IEEE Int Conf on Big Data and Cloud Computing (BDCloud)/9th IEEE Int Conf on Soc Comp and Networking (SocialCom)/IEEE Int Conf on Sustainable Comp and Commun (SustainCom) (BDCloud-SocialCom-SustainCom) in PROCEEDINGS OF 2016 IEEE INTERNATIONAL CONFERENCES ON BIG DATA AND CLOUD COMPUTING (BDCLOUD 2016) SOCIAL COMPUTING AND NETWORKING (SOCIALCOM 2016) SUSTAINABLE COMPUTING AND COMMUNICATIONS (SUSTAINCOM 2016) (BDCLOUD-SOCIALCOM-SUSTAINCOM 2016), PAGES: 408-415
INDEXED IN: WOS DBLP CrossRef: 5
4175
TITLE: Time-Based Ensembles for Prediction of Rare Events In News Streams
AUTHORS: Moniz, N ; Torgo, L ; Eirinaki, M;
PUBLISHED: 2016, SOURCE: 16th IEEE International Conference on Data Mining (ICDM) in 2016 IEEE 16TH INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW), PAGES: 1066-1073
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4176
TITLE: Time-evolving O-D matrix estimation using high-speed GPS data streams  Full Text
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PAGES: 275-288
INDEXED IN: Scopus WOS DBLP CrossRef: 62
4177
TITLE: Tourism Recommendation System based in user's profile and functionality levels
AUTHORS: Filipe Santos; Ana Almeida; Constantino Martins; Paulo Oliveira ; Ramiro Gonçalves ;
PUBLISHED: 2016, SOURCE: 9th International C* Conference on Computer Science and Software Engineering, C3S2E 2016 in Proceedings of the Ninth International C* Conference on Computer Science & Software Engineering, C3S2E '16, Porto, Portugal, July 20-22, 2016, VOLUME: 20-22-July-2016, PAGES: 93-97
INDEXED IN: Scopus DBLP CrossRef: 10
4178
TITLE: Towards a Formal Validation of ETL Patterns Behaviour
AUTHORS: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PAGES: 156-165
INDEXED IN: Scopus WOS DBLP CrossRef
4179
TITLE: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4180
TITLE: Towards an Automated Classification of Spreadsheets
AUTHORS: Jorge Mendes ; Kha N Do; Joao Saraiva ;
PUBLISHED: 2016, SOURCE: Conference on Software Technologies - Applications and Foundations (STAF) in SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), VOLUME: 9946, PAGES: 346-355
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 209 of 408. Total results: 8154.