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: 8279
531 Team MembersFilters -> Year: 2024
3781
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
3782
TITLE: Tools control center to enable the joint simulation of multi-agent systems
AUTHORS: Brígida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita Vale;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 307-308
AUTHORS: Brígida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita Vale;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 307-308
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3783
TITLE: Tools Control Center to Enable the Joint Simulation of Multi-agent Systems
AUTHORS: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita A Vale;
PUBLISHED: 2017, SOURCE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 307-308
AUTHORS: Brigida Teixeira; Tiago Pinto ; Gabriel Santos; Isabel Praça; Zita A Vale;
PUBLISHED: 2017, SOURCE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 307-308
INDEXED IN: 
DBLP
DBLP3784
TITLE: Toward a Token-Based Approach to Concern Detection in MATLAB Sources
AUTHORS: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
AUTHORS: Miguel P Monteiro; Nuno C Marques; Bruno Silva; Bruno Palma; Joao Cardoso ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 573-584
3785
TITLE: Towards a Framework for Agent-Based Simulation of User Behaviour in E-Commerce Context
AUTHORS: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 30-38
AUTHORS: Duarte Duarte; Hugo Sereno Ferreira ; João Pedro Dias ; Zafeiris Kokkinogenis ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 30-38
3786
TITLE: Towards a Green Ranking for Programming Languages
AUTHORS: Marco Couto ; Rui Pereira ; Francisco Ribeiro ; Rui Rua ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
AUTHORS: Marco Couto ; Rui Pereira ; Francisco Ribeiro ; Rui Rua ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
3787
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTHORS: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017, PAGES: 145-152
AUTHORS: Miguel Joao Goncalves Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017 in 29th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2017, Campinas, Brazil, October 17-20, 2017, PAGES: 145-152
3788
TITLE: Towards a middleware for mobile edge-cloud applications
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017, PAGES: 1:1-1:6
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017, PAGES: 1:1-1:6
3789
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
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: 2:1-2:13
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
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: 2:1-2:13
INDEXED IN: Scopus DBLP
Scopus DBLP3790
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017, PAGES: 356-365
3791
TITLE: Towards Interoperability in the European Poetry Community: The Standardization of Philological Concepts
AUTHORS: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLISHED: 2017, SOURCE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PAGES: 156-165
AUTHORS: Bermudez Sabel, Helena; Malta, Mariana Curado ; Gonzalez Blanco, Elena;
PUBLISHED: 2017, SOURCE: 1st International Conference on Language, Data and Knowledge (LDK) in LANGUAGE, DATA, AND KNOWLEDGE, LDK 2017, VOLUME: 10318, PAGES: 156-165
3792
TITLE: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
3793
TITLE: Towards Systematic Spreadsheet Construction Processes
AUTHORS: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 356-358
AUTHORS: Jorge Mendes ; Jacome Cunha ; Francisco Duarte; Gregor Engels; Joao Saraiva ; Stefan Sauer;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 356-358
3794
TITLE: Towards understanding consumers' quality evaluation of online health information: A case study. Towards Understanding Consumers' Quality Evaluation of Online Health Information: A Case Study
AUTHORS: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLISHED: 2017, SOURCE: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, VOLUME: 54, ISSUE: 1, PAGES: 838-839
AUTHORS: Zequn Ye; Jacek Gwizdka; Carla Teixeira Lopes ; Yan Zhang;
PUBLISHED: 2017, SOURCE: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, VOLUME: 54, ISSUE: 1, PAGES: 838-839
3795
TITLE: Transparent cross-system consistency
AUTHORS: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica; Rodrigo Rodrigues ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 8:1-8:4
AUTHORS: Joao Loff; Daniel Porto; Carlos Baquero ; Joao Garcia; Nuno Preguica; Rodrigo Rodrigues ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 8:1-8:4
3796
TITLE: Transthyretin (ATTR) amyloidosis nephropathy: lessons from a TTR stabilizer molecule
AUTHORS: Ana Rocha; Ana Silva; Marcio Cardoso; Idalina Beirao ; Cristina Alves; Paulo Teles ; Teresa Coelho; Luisa Lobato;
PUBLISHED: 2017, SOURCE: 15th International Symposium on Amyloidosis in AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 24, ISSUE: sup1, PAGES: 81-82
AUTHORS: Ana Rocha; Ana Silva; Marcio Cardoso; Idalina Beirao ; Cristina Alves; Paulo Teles ; Teresa Coelho; Luisa Lobato;
PUBLISHED: 2017, SOURCE: 15th International Symposium on Amyloidosis in AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 24, ISSUE: sup1, PAGES: 81-82
3797
TITLE: Tuberculosis in children from diagnosis to decision to treat
AUTHORS: Ramos, S; Rita Gaio ; Ferreira, F; Paulo Leal, JP ; Martins, S; Vasco Santos, JV ; Carvalho, I; Duarte, R ;
PUBLISHED: 2017, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 23, ISSUE: 6, PAGES: 317-322
AUTHORS: Ramos, S; Rita Gaio ; Ferreira, F; Paulo Leal, JP ; Martins, S; Vasco Santos, JV ; Carvalho, I; Duarte, R ;
PUBLISHED: 2017, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 23, ISSUE: 6, PAGES: 317-322
3798
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PAGES: 20-26
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PAGES: 20-26
3799
TITLE: ULTEMAT: A mobile framework for smart ecological momentary assessments and interventions
AUTHORS: Pepijn van de Ven; Hugh O'Brien; Ricardo Henriques; Michel Klein; Rachel Msetfi; John Nelson; Artur Rocha ; Jeroen Ruwaard; Donal O'Sullivan; Heleen Riper;
PUBLISHED: 2017, SOURCE: INTERNET INTERVENTIONS-THE APPLICATION OF INFORMATION TECHNOLOGY IN MENTAL AND BEHAVIOURAL HEALTH, VOLUME: 9, PAGES: 74-81
AUTHORS: Pepijn van de Ven; Hugh O'Brien; Ricardo Henriques; Michel Klein; Rachel Msetfi; John Nelson; Artur Rocha ; Jeroen Ruwaard; Donal O'Sullivan; Heleen Riper;
PUBLISHED: 2017, SOURCE: INTERNET INTERVENTIONS-THE APPLICATION OF INFORMATION TECHNOLOGY IN MENTAL AND BEHAVIOURAL HEALTH, VOLUME: 9, PAGES: 74-81
3800
TITLE: UPPERCARE A Community Aware Environment for Post-surgical Musculoskeletal Recovery of Elderly Patients
AUTHORS: Paredes, H ; Barroso, J ; Morgado, L ; Pereira, R; Leal, A; De Carvalho, F; Ribeiro, V; Braun, A; Casati, F; Gaillard, R;
PUBLISHED: 2017, SOURCE: IEEE 21st International Conference on Computer Supported Cooperative Work in Design (CSCWD) in 2017 IEEE 21ST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), PAGES: 251-256
AUTHORS: Paredes, H ; Barroso, J ; Morgado, L ; Pereira, R; Leal, A; De Carvalho, F; Ribeiro, V; Braun, A; Casati, F; Gaillard, R;
PUBLISHED: 2017, SOURCE: IEEE 21st International Conference on Computer Supported Cooperative Work in Design (CSCWD) in 2017 IEEE 21ST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), PAGES: 251-256
