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

531 Team Members
Filters -> Year: 2025
3841
TÍTULO: Energy Efficiency across Programming Languages
AUTORES: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2017, FONTE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PÁGINAS: 256-267
INDEXADO EM: Scopus WOS DBLP CrossRef: 142
3842
TÍTULO: Energy flexibility assessment of a multi agent-based smart home energy system
AUTORES: Amin Shokri Gazafroudi; Tiago Pinto ; Francisco Prieto Castrillo; Juan Manuel Corchado; Omid Abrishambaf; Aria Jozi; Zita A Vale;
PUBLICAÇÃO: 2017, FONTE: 17th IEEE International Conference on Ubiquitous Wireless Broadband, ICUWB 2017, Salamanca, Spain, September 12-15, 2017, PÁGINAS: 1-7
INDEXADO EM: DBLP
3844
TÍTULO: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTORES: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLICAÇÃO: 2017, FONTE: 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017 in Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, VOLUME: Part F132091, PÁGINAS: 14:1-14:14
INDEXADO EM: Scopus DBLP CrossRef: 18
3845
TÍTULO: Enhancing Feedback to Students in Automated Diagram Assessment
AUTORES: Helder Correia ; José Paulo Leal ; José Carlos Paiva ;
PUBLICAÇÃO: 2017, FONTE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PÁGINAS: 11:1-11:8
INDEXADO EM: Scopus DBLP
3846
TÍTULO: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTORES: Vanessa Cesario; Antonio Coelho ; Valentina Nisi;
PUBLICAÇÃO: 2017, FONTE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PÁGINAS: 351-354
INDEXADO EM: Scopus WOS CrossRef: 4
3847
TÍTULO: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness  Full Text
AUTORES: Ariel Soares Teles; Artur Rocha ; Francisco Jose D E da Silva e Silva; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 127
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
3848
TÍTULO: Ensemble learning for data stream analysis: A survey  Full Text
AUTORES: Bartosz Krawczyk; Leandro L Minku; Joao Gama ; Jerzy Stefanowski; Michal Wozniak;
PUBLICAÇÃO: 2017, FONTE: INFORMATION FUSION, VOLUME: 37, PÁGINAS: 132-156
INDEXADO EM: Scopus WOS DBLP CrossRef: 822
3849
TÍTULO: EPEX Ontology: Enhancing Agent-based Electricity Market Simulation
AUTORES: Santos, Gabriel; Pinto, Tiago ; Praca, Isabel; Vale, Zita;
PUBLICAÇÃO: 2017, FONTE: 19th International Conference on Intelligent System Application to Power Systems (ISAP) in 2017 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
INDEXADO EM: Scopus WOS CrossRef: 8
3850
TÍTULO: Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (Real-Time Systems, (2017), 53, 4, (578-612), 10.1007/s11241-017-9273-8)  Full Text
AUTORES: Borislav Nikolić; Luís Miguel Pinho ;
PUBLICAÇÃO: 2017, FONTE: Real-Time Systems, VOLUME: 53, NÚMERO: 4, PÁGINAS: 613
INDEXADO EM: Scopus CrossRef: 1
3851
TÍTULO: Evaluating a corpus of root causes and measures to guide rca processes in critical software  Full Text
AUTORES: Silva, N; Vieira, M; Cunha, J ; Chillarege, R;
PUBLICAÇÃO: 2017, FONTE: 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, PÁGINAS: 17-24
INDEXADO EM: Scopus CrossRef
3852
TÍTULO: Evaluating Youtube Platform Usability by People with Intellectual Disabilities (A User Experience Case Study Performed in a Six-Month Period)
AUTORES: Tânia Rocha; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; José Martins ; Frederico Branco ; Ramiro Gonçalves; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ;
PUBLICAÇÃO: 2017, FONTE: Journal of Information Systems Engineering & Management, VOLUME: 2, NÚMERO: 1, PÁGINAS: 1-9
INDEXADO EM: CrossRef: 4
3853
TÍTULO: Evaluation of Ensemble Methods in Imbalanced Regression Tasks
AUTORES: Nuno Moniz ; Paula Branco ; Luís Torgo ;
PUBLICAÇÃO: 2017, FONTE: First International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@PKDD/ECML 2017, 22 September 2017, Skopje, Macedonia, VOLUME: 74, PÁGINAS: 129-140
INDEXADO EM: DBLP
3854
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240, PÁGINAS: 1-19
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
3855
TÍTULO: Evaluation of Stanford NER for Extraction of Assembly Information from Instruction Manuals
AUTORES: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PÁGINAS: 302-309
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3856
TÍTULO: Evaluation of Virtual Reality Navigation Interfaces using the Steering Law
AUTORES: Pedro Monteiro ; Diana Carvalho ; Miguel Melo ; Frederico Branco ; Maximino Bessa ;
PUBLICAÇÃO: 2017, FONTE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PÁGINAS: 1-7
INDEXADO EM: Scopus WOS CrossRef
3857
TÍTULO: Evolução da insulinorresistência em doentes submetidos a cirurgia bariátrica
AUTORES: M. Areias; O. Neves; Rui Poínhos; Bruno M P M Oliveira ; Flora Correia;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
3858
TÍTULO: Evolutionary role mining in complex networks by ensemble clustering
AUTORES: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2017, FONTE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PÁGINAS: 1053-1060
INDEXADO EM: Scopus DBLP CrossRef: 1
3860
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PÁGINAS: 344-362
INDEXADO EM: Scopus DBLP CrossRef: 5

Results per Page: 20.
Página 193 de 439. Total de resultados: 8773.