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: 8119
531 Team MembersFilters -> Year: 2024
2581
TITLE: Secure Provisioning for Achieving End-to-End Secure Communications
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
2582
TITLE: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTHORS: Francis N Nwebonyi; Rolando Martins ; Manuel E. Correia ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 318-323
AUTHORS: Francis N Nwebonyi; Rolando Martins ; Manuel E. Correia ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 318-323
2583
TITLE: Selection of a Strategic Plan Using an Integrated AHP-Goal Programming Approach
AUTHORS: Fontes, DBMM ; Pereira, T ; Oliveira, M;
PUBLISHED: 2019, SOURCE: 19th Congress of APDIO, Portuguese Association of Operational Research, IO 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 278, PAGES: 125-141
AUTHORS: Fontes, DBMM ; Pereira, T ; Oliveira, M;
PUBLISHED: 2019, SOURCE: 19th Congress of APDIO, Portuguese Association of Operational Research, IO 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 278, PAGES: 125-141
2584
TITLE: Self-driving cars and considerations on ethics: Where are we heading with Automation?
AUTHORS: Jael, B; Au Yong Oliveira, M ; Branco, F ;
PUBLISHED: 2019, SOURCE: 14th European Conference on Innovation and Entrepreneurship, ECIE 2019 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 1, PAGES: 424-433
AUTHORS: Jael, B; Au Yong Oliveira, M ; Branco, F ;
PUBLISHED: 2019, SOURCE: 14th European Conference on Innovation and Entrepreneurship, ECIE 2019 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 1, PAGES: 424-433
INDEXED IN: 
Scopus
Scopus2585
TITLE: SensiMAR - Designing a Multisensory AR System
AUTHORS: Anabela Marto; Alexandrino Goncalves; Maximino Bessa ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 9-16
AUTHORS: Anabela Marto; Alexandrino Goncalves; Maximino Bessa ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 9-16
2586
TITLE: Sequence and Network Mining of Touristic Routes Based on Flickr Geotagged Photos
AUTHORS: Silva, Ana; Campos, Pedro ; Ferreira, Carlos ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805, PAGES: 133-144
AUTHORS: Silva, Ana; Campos, Pedro ; Ferreira, Carlos ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805, PAGES: 133-144
2587
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2588
TITLE: Shopping Centre Patronage: Situational Factors Against Affect Full Text
AUTHORS: Brito, PQ ; McGoldrick, PJ; Raut, UR;
PUBLISHED: 2019, SOURCE: VISION-THE JOURNAL OF BUSINESS PERSPECTIVE, VOLUME: 23, ISSUE: 2, PAGES: 189-196
AUTHORS: Brito, PQ ; McGoldrick, PJ; Raut, UR;
PUBLISHED: 2019, SOURCE: VISION-THE JOURNAL OF BUSINESS PERSPECTIVE, VOLUME: 23, ISSUE: 2, PAGES: 189-196
2589
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
2590
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
2591
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
2592
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
2593
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
2594
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
2595
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
DBLP2596
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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
2597
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
2598
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
Scopus2599
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
2600
TITLE: Stochastic interval-based optimal offering model for residential energy management systems by household owners Full Text
AUTHORS: Gazafroudi, AS; Soares, J; Ghazvini, MAF; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 105, PAGES: 201-219
AUTHORS: Gazafroudi, AS; Soares, J; Ghazvini, MAF; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 105, PAGES: 201-219
