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: 10521
535 Team MembersFilters -> Year: 2026
4061
TITLE: Simplifying the Algorithm Selection Using Reduction of Rankings of Classification Algorithms
AUTHORS: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLISHED: 2019, SOURCE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PAGES: 140-148
AUTHORS: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLISHED: 2019, SOURCE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PAGES: 140-148
4062
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
4063
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
4064
TITLE: Size-Density Trajectory in Regenerated Maritime Pine Stands after Fire Full Text
AUTHORS: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLISHED: 2019, SOURCE: FORESTS, VOLUME: 10, ISSUE: 12, PAGES: 1057
AUTHORS: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLISHED: 2019, SOURCE: FORESTS, VOLUME: 10, ISSUE: 12, PAGES: 1057
4065
TITLE: Smart cities and smart tourism: What future do they bring?
AUTHORS: Matos, A; Pinto, B; Barros, F; Martins, S; Martins, J ; Au Yong Oliveira, M ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 932, PAGES: 358-370
AUTHORS: Matos, A; Pinto, B; Barros, F; Martins, S; Martins, J ; Au Yong Oliveira, M ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 932, PAGES: 358-370
4066
TITLE: Smart Coach - A Recommendation System for Young Football Athletes
AUTHORS: Paulo Matos; João Rocha ; Ramiro Gonçalves ; Ana de Almeida ; Filipe Santos; David Abreu; Constantino Martins ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PAGES: 171-178
AUTHORS: Paulo Matos; João Rocha ; Ramiro Gonçalves ; Ana de Almeida ; Filipe Santos; David Abreu; Constantino Martins ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PAGES: 171-178
4067
TITLE: Smart Governance in european smart cities
AUTHORS: Bernardo, MDM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), PAGES: 1-6
AUTHORS: Bernardo, MDM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), PAGES: 1-6
4068
TITLE: Smart Governance in european smart cities [Smart Governance em cidades inteligentes europeias]
AUTHORS: Bernardo, MDRM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
AUTHORS: Bernardo, MDRM ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
INDEXED IN: 
Scopus
Scopus4069
TITLE: Smart Marketing With the Internet of Things
AUTHORS: Dora Simões; Belem Barbosa ; Sandra Filipe ;
PUBLISHED: 2019, SOURCE: Advances in Marketing, Customer Relationship Management, and E-Services
AUTHORS: Dora Simões; Belem Barbosa ; Sandra Filipe ;
PUBLISHED: 2019, SOURCE: Advances in Marketing, Customer Relationship Management, and E-Services
4070
TITLE: Smart Tourist Experiences. Impacts of Smartphones on Leisure Travels
AUTHORS: Natalia Menezes; Belem Barbosa ; Carolina Barrios Laborda; Dayana Pinzón P Callejas;
PUBLISHED: 2019, SOURCE: Impacts of Mobile Use and Experience on Contemporary Society - Advances in Human and Social Aspects of Technology, PAGES: 254-270
AUTHORS: Natalia Menezes; Belem Barbosa ; Carolina Barrios Laborda; Dayana Pinzón P Callejas;
PUBLISHED: 2019, SOURCE: Impacts of Mobile Use and Experience on Contemporary Society - Advances in Human and Social Aspects of Technology, PAGES: 254-270
INDEXED IN: 
CrossRef
CrossRef4071
TITLE: SOCIAL ENGAGEMENT AND MOTIVATION IN A MOOC ON SCHOOL LIBRARIES
AUTHORS: Bastos, G; Cabral, P; Rocio, V ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 6690-6695
AUTHORS: Bastos, G; Cabral, P; Rocio, V ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 6690-6695
INDEXED IN: 
WOS 
Handle
WOS Handle4072
TITLE: Social Media Marketing- What's in it for Tourism? Insights from a Systematic Literature Review
AUTHORS: Pereira, I; Barbosa, B ; Vale, V;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP TOURISM AND HOSPITALITY MANAGEMENT (IWTHM2019), PAGES: 111-113
AUTHORS: Pereira, I; Barbosa, B ; Vale, V;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP TOURISM AND HOSPITALITY MANAGEMENT (IWTHM2019), PAGES: 111-113
INDEXED IN: WOS
WOS4073
TITLE: Software Modules and Communication to Support Real-Time Remote Control and Monitoring of Unmanned Vehicles
AUTHORS: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 45-55
AUTHORS: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 45-55
4074
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
INDEXED IN: 
DBLP
DBLP4075
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
4076
TITLE: Soundwalking and Algorithmic Listening
AUTHORS: Miguel Carvalhais ; Rosemary Lee;
PUBLISHED: 2019, SOURCE: Electronic Workshops in Computing
AUTHORS: Miguel Carvalhais ; Rosemary Lee;
PUBLISHED: 2019, SOURCE: Electronic Workshops in Computing
4077
TITLE: Special Issue of DASFAA 2019
AUTHORS: Guoliang Li; João Gama ; Jun Yang;
PUBLISHED: 2019, SOURCE: Data Science and Engineering, VOLUME: 4, ISSUE: 3, PAGES: 177-178
AUTHORS: Guoliang Li; João Gama ; Jun Yang;
PUBLISHED: 2019, SOURCE: Data Science and Engineering, VOLUME: 4, ISSUE: 3, PAGES: 177-178
4078
TITLE: Special track on data streams
AUTHORS: Bifet, A; Carvalho, A; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: 34th Annual ACM Symposium on Applied Computing, SAC 2019 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F147772, PAGES: 556
AUTHORS: Bifet, A; Carvalho, A; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: 34th Annual ACM Symposium on Applied Computing, SAC 2019 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F147772, PAGES: 556
INDEXED IN: Scopus
Scopus4079
TITLE: Speculative Design for Development of Serious Games: A Case Study in the Context of Anorexia Nervosa
AUTHORS: Peçaibes, V; Cardoso, P; Giesteira, B ;
PUBLISHED: 2019, SOURCE: 7th EAI International Conference on Arts and Technology, Interactivity, and Game Creation, ArtsIT 2018 and 3rd EAI International Conference on Design, Learning and Innovation, DLI 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 265, PAGES: 176-181
AUTHORS: Peçaibes, V; Cardoso, P; Giesteira, B ;
PUBLISHED: 2019, SOURCE: 7th EAI International Conference on Arts and Technology, Interactivity, and Game Creation, ArtsIT 2018 and 3rd EAI International Conference on Design, Learning and Innovation, DLI 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 265, PAGES: 176-181
4080
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
