CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 8833
531 Team MembersFilters -> Year: 2025
3881
TITLE: Energy Efficiency across Programming Languages
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 256-267
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 256-267
3882
TITLE: Energy flexibility assessment of a multi agent-based smart home energy system
AUTHORS: Amin Shokri Gazafroudi; Tiago Pinto ; Francisco Prieto Castrillo; Juan Manuel Corchado; Omid Abrishambaf; Aria Jozi; Zita A Vale;
PUBLISHED: 2017, SOURCE: 17th IEEE International Conference on Ubiquitous Wireless Broadband, ICUWB 2017, Salamanca, Spain, September 12-15, 2017, PAGES: 1-7
AUTHORS: Amin Shokri Gazafroudi; Tiago Pinto ; Francisco Prieto Castrillo; Juan Manuel Corchado; Omid Abrishambaf; Aria Jozi; Zita A Vale;
PUBLISHED: 2017, SOURCE: 17th IEEE International Conference on Ubiquitous Wireless Broadband, ICUWB 2017, Salamanca, Spain, September 12-15, 2017, PAGES: 1-7
INDEXED IN:
DBLP

3883
TITLE: Energy flexibility management based on predictive dispatch model of domestic energy management system Full Text
AUTHORS: Amin Shokri Gazafroudi; Francisco Prieto Castrillo; Tiago Pinto ; Javier Prieto; Juan Manuel Corchado; Javier Bajo;
PUBLISHED: 2017, SOURCE: Energies, VOLUME: 10, ISSUE: 9, PAGES: 1397
AUTHORS: Amin Shokri Gazafroudi; Francisco Prieto Castrillo; Tiago Pinto ; Javier Prieto; Juan Manuel Corchado; Javier Bajo;
PUBLISHED: 2017, SOURCE: Energies, VOLUME: 10, ISSUE: 9, PAGES: 1397
3884
TITLE: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 14:1-14:14
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 14:1-14:14
3885
TITLE: Enhancing Feedback to Students in Automated Diagram Assessment
AUTHORS: Helder Correia ; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 11:1-11:8
AUTHORS: Helder Correia ; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 11:1-11:8
INDEXED IN:
Scopus
DBLP


3886
TITLE: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTHORS: Vanessa Cesario; Antonio Coelho ; Valentina Nisi ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 351-354
AUTHORS: Vanessa Cesario; Antonio Coelho ; Valentina Nisi ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 351-354
3887
TITLE: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness Full Text
AUTHORS: 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;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
AUTHORS: 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;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
3888
TITLE: Ensemble learning for data stream analysis: A survey Full Text
AUTHORS: Bartosz Krawczyk; Leandro L Minku; Joao Gama ; Jerzy Stefanowski; Michal Wozniak;
PUBLISHED: 2017, SOURCE: INFORMATION FUSION, VOLUME: 37, PAGES: 132-156
AUTHORS: Bartosz Krawczyk; Leandro L Minku; Joao Gama ; Jerzy Stefanowski; Michal Wozniak;
PUBLISHED: 2017, SOURCE: INFORMATION FUSION, VOLUME: 37, PAGES: 132-156
3889
TITLE: EPEX Ontology: Enhancing Agent-based Electricity Market Simulation
AUTHORS: Santos, Gabriel; Pinto, Tiago ; Praca, Isabel ; Vale, Zita ;
PUBLISHED: 2017, SOURCE: 19th International Conference on Intelligent System Application to Power Systems (ISAP) in 2017 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
AUTHORS: Santos, Gabriel; Pinto, Tiago ; Praca, Isabel ; Vale, Zita ;
PUBLISHED: 2017, SOURCE: 19th International Conference on Intelligent System Application to Power Systems (ISAP) in 2017 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
3890
TITLE: 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
AUTHORS: Borislav Nikolić; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: Real-Time Systems, VOLUME: 53, ISSUE: 4, PAGES: 613
AUTHORS: Borislav Nikolić; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: Real-Time Systems, VOLUME: 53, ISSUE: 4, PAGES: 613
3891
TITLE: Evaluating a corpus of root causes and measures to guide rca processes in critical software Full Text
AUTHORS: Silva, N; Vieira, M; Cunha, J ; Chillarege, R;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, PAGES: 17-24
AUTHORS: Silva, N; Vieira, M; Cunha, J ; Chillarege, R;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, PAGES: 17-24
INDEXED IN:
Scopus
CrossRef


3892
TITLE: Evaluating Youtube Platform Usability by People with Intellectual Disabilities (A User Experience Case Study Performed in a Six-Month Period)
AUTHORS: 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, ;
PUBLISHED: 2017, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 2, ISSUE: 1, PAGES: 1-9
AUTHORS: 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, ;
PUBLISHED: 2017, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 2, ISSUE: 1, PAGES: 1-9
3893
TITLE: Evaluation of Ensemble Methods in Imbalanced Regression Tasks
AUTHORS: Nuno Moniz ; Paula Branco ; Luís Torgo ;
PUBLISHED: 2017, SOURCE: First International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@PKDD/ECML 2017, 22 September 2017, Skopje, Macedonia, VOLUME: 74, PAGES: 129-140
AUTHORS: Nuno Moniz ; Paula Branco ; Luís Torgo ;
PUBLISHED: 2017, SOURCE: First International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@PKDD/ECML 2017, 22 September 2017, Skopje, Macedonia, VOLUME: 74, PAGES: 129-140
INDEXED IN:
DBLP

3894
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240, PAGES: 1-19
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240, PAGES: 1-19
3895
TITLE: Evaluation of Stanford NER for Extraction of Assembly Information from Instruction Manuals
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 302-309
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 302-309
3896
TITLE: Evaluation of Virtual Reality Navigation Interfaces using the Steering Law
AUTHORS: Pedro Monteiro ; Diana Carvalho ; Miguel Melo ; Frederico Branco ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
AUTHORS: Pedro Monteiro ; Diana Carvalho ; Miguel Melo ; Frederico Branco ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
3897
TITLE: Evolução da insulinorresistência em doentes submetidos a cirurgia bariátrica
AUTHORS: M. Areias; O. Neves; Rui Poínhos; Bruno M P M Oliveira ; Flora Correia;
PUBLISHED: 2017
AUTHORS: M. Areias; O. Neves; Rui Poínhos; Bruno M P M Oliveira ; Flora Correia;
PUBLISHED: 2017
INDEXED IN:
Handle

3898
TITLE: Evolutionary role mining in complex networks by ensemble clustering
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 1053-1060
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 1053-1060
3899
TITLE: Exercise as an essential therapeutic tool in mental health: Closing the gap from research to practice, a Portuguese perspective [O exercício como uma ferramenta terapêutica essencial na saúde mental: Encurtando a diferença entre a pesquisa e a prática, uma perspetiva Portuguesa] Full Text
AUTHORS: Carneiro, L; Rosenbaum, S; Mota, MP ; Schuch, F; Ward, PB; Vasconcelos Raposo, J ;
PUBLISHED: 2017, SOURCE: Acta Medica Portuguesa, VOLUME: 30, ISSUE: 5, PAGES: 354-355
AUTHORS: Carneiro, L; Rosenbaum, S; Mota, MP ; Schuch, F; Ward, PB; Vasconcelos Raposo, J ;
PUBLISHED: 2017, SOURCE: Acta Medica Portuguesa, VOLUME: 30, ISSUE: 5, PAGES: 354-355
3900
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 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, PAGES: 344-362
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 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, PAGES: 344-362