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

531 Team Members
Filters -> Year: 2024
4161
TÍTULO: Templates as heuristics for proving properties of medical devices
AUTORES: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: 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, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef Handle
4162
TÍTULO: Tensor-based anomaly detection: An interdisciplinary survey  Full Text
AUTORES: Hadi Fanaee T ; Joao Gama ;
PUBLICAÇÃO: 2016, FONTE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 98, PÁGINAS: 130-147
INDEXADO EM: Scopus WOS DBLP CrossRef: 111
4163
TÍTULO: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PÁGINAS: 69-78
INDEXADO EM: WOS DBLP CrossRef: 2
4164
TÍTULO: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 288-293
INDEXADO EM: Scopus DBLP CrossRef: 21
4165
TÍTULO: The Benefits of DOF Separation in Mid-air 3D Object Manipulation
AUTORES: Mendes, D ; Relvas, F; Ferreira, A; Jorge, J;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 261-268
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
4166
TÍTULO: The CloudMdsQL Multistore System
AUTORES: Boyan Kolev; Carlyna Bondiombouy; Patrick Valduriez; Ricardo Jiménez Peris; Raquel Pau; José Pereira ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 2113-2116
INDEXADO EM: Scopus DBLP CrossRef: 31
4167
TÍTULO: The Effectiveness of Query Expansion when searching for Health related Content: InfoLab at CLEF eHealth 2016 PDF
AUTORES: Ricardo Silva; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 130-142
INDEXADO EM: Scopus DBLP
4168
TÍTULO: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTORES: João Sá; Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1611.08547
INDEXADO EM: DBLP arXiv
4169
TÍTULO: The Impact of Body Position on the Usability of Multisensory Virtual Environments: Case study of a virtual bicycle. Case study of a virtual bicycle
AUTORES: Miguel Melo ; Tânia Rocha ; Luís Barbosa ; Maximino Bessa ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 20-24
INDEXADO EM: Scopus DBLP CrossRef: 7
4170
TÍTULO: The impact of different exposure times to 360 degrees video experience on the sense of presence
AUTORES: Miguel Melo ; Sofia Sampaio; Luis Barbosa ; Jose Vasconcelos Raposo ; Maximino Bessa ;
PUBLICAÇÃO: 2016, FONTE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PÁGINAS: 67-71
INDEXADO EM: Scopus WOS CrossRef: 11
4171
TÍTULO: The influence of the Java collection framework on overall energy consumption
AUTORES: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 15-21
INDEXADO EM: Scopus DBLP CrossRef: 24
4172
TÍTULO: The problem with embedded CRDT counters and a solution
AUTORES: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 10:1-10:3
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
4173
TÍTULO: The variability of application execution times on a multi-core platform
AUTORES: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016 in OpenAccess Series in Informatics, VOLUME: 55, PÁGINAS: 6.1-6.11
INDEXADO EM: Scopus
4174
TÍTULO: Threshold-Bounded Influence Dominating Sets for Recommendations in Social Networks
AUTORES: Magdalini Eirinaki; Nuno Moniz ; Katerina Potika;
PUBLICAÇÃO: 2016, FONTE: 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), PÁGINAS: 408-415
INDEXADO EM: WOS DBLP CrossRef: 5
4175
TÍTULO: Time-Based Ensembles for Prediction of Rare Events In News Streams
AUTORES: Moniz, N ; Torgo, L ; Eirinaki, M;
PUBLICAÇÃO: 2016, FONTE: 16th IEEE International Conference on Data Mining (ICDM) in 2016 IEEE 16TH INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW), PÁGINAS: 1066-1073
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
4176
TÍTULO: Time-evolving O-D matrix estimation using high-speed GPS data streams  Full Text
AUTORES: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLICAÇÃO: 2016, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PÁGINAS: 275-288
INDEXADO EM: Scopus WOS DBLP CrossRef: 62
4177
TÍTULO: Tourism Recommendation System based in user's profile and functionality levels
AUTORES: Filipe Santos; Ana Almeida; Constantino Martins; Paulo Oliveira ; Ramiro Gonçalves ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 93-97
INDEXADO EM: Scopus DBLP CrossRef: 10
4178
TÍTULO: Towards a Formal Validation of ETL Patterns Behaviour
AUTORES: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PÁGINAS: 156-165
INDEXADO EM: Scopus WOS DBLP CrossRef
4179
TÍTULO: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 117-122
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4180
TÍTULO: Towards an Automated Classification of Spreadsheets
AUTORES: Jorge Mendes ; Kha N Do; Joao Saraiva ;
PUBLICAÇÃO: 2016, FONTE: Conference on Software Technologies - Applications and Foundations (STAF) in SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), VOLUME: 9946, PÁGINAS: 346-355
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 209 de 408. Total de resultados: 8154.