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: 8480
531 Team MembersFilters -> Year: 2025
3401
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440
INDEXED IN: 
WOS 
DBLP
WOS DBLP3402
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26
3403
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017
AUTHORS: Fernando De la Prieta; Zita Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; Antonio J.R Neves ; María N Moreno;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
AUTHORS: Fernando De la Prieta; Zita Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; Antonio J.R Neves ; María N Moreno;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
3404
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions
AUTHORS: Fernando de la Prieta; Zita A Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; António J R Neves; María N Moreno;
PUBLISHED: 2018, SOURCE: PAAMS (Special Sessions), VOLUME: 619
AUTHORS: Fernando de la Prieta; Zita A Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; António J R Neves; María N Moreno;
PUBLISHED: 2018, SOURCE: PAAMS (Special Sessions), VOLUME: 619
INDEXED IN: DBLP
DBLP3405
TITLE: Triple-Similarity Mechanism for alarm management in the cloud Full Text
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
3406
TITLE: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTHORS: Nuno Guimaraes ; Luis Torgo ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
AUTHORS: Nuno Guimaraes ; Luis Torgo ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
3407
TITLE: UCB1 Based Reinforcement Learning Model for Adaptive Energy Management in Buildings
AUTHORS: Rui Andrade; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2018, SOURCE: Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain, 20-22 June 2018, Special Sessions I., VOLUME: 801, PAGES: 3-11
AUTHORS: Rui Andrade; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2018, SOURCE: Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain, 20-22 June 2018, Special Sessions I., VOLUME: 801, PAGES: 3-11
INDEXED IN: DBLP
DBLP3408
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
3409
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
INDEXED IN: WOS
WOS3410
TITLE: Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities
AUTHORS: Figueira, A ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 138, PAGES: 663-670
AUTHORS: Figueira, A ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 138, PAGES: 663-670
3411
TITLE: Understanding the Use of Temporal Expressions on Persian Web Search
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Yari, A;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1743-1748
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Yari, A;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1743-1748
3412
TITLE: Understanding User's Search Behavior towards Spiky Events
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Rahgozar, M;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1763-1769
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M; Rahgozar, M;
PUBLISHED: 2018, SOURCE: COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), PAGES: 1763-1769
3413
TITLE: Unsupervised Domain Adaptation for Human Activity Recognition
AUTHORS: Paulo Barbosa; Kemilly Dearo Garcia; João Mendes Moreira ; André C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: 19th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2018 in Intelligent Data Engineering and Automated Learning - IDEAL 2018 - 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part I, VOLUME: 11314, PAGES: 623-630
AUTHORS: Paulo Barbosa; Kemilly Dearo Garcia; João Mendes Moreira ; André C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: 19th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2018 in Intelligent Data Engineering and Automated Learning - IDEAL 2018 - 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part I, VOLUME: 11314, PAGES: 623-630
3414
TITLE: Updating a Robust Optimization Model for Improving Bus Schedules
AUTHORS: Yassine Baghoussi ; Joao Mendes Moreira ; Michael T M Emmerich;
PUBLISHED: 2018, SOURCE: 10th International Conference on Communication Systems and Networks (COMSNETS) in 2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), VOLUME: 2018-January, PAGES: 619-624
AUTHORS: Yassine Baghoussi ; Joao Mendes Moreira ; Michael T M Emmerich;
PUBLISHED: 2018, SOURCE: 10th International Conference on Communication Systems and Networks (COMSNETS) in 2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), VOLUME: 2018-January, PAGES: 619-624
3415
TITLE: Use of the physiological response to improve the gaming experience
AUTHORS: Manuel Pinto; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
AUTHORS: Manuel Pinto; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
3416
TITLE: Using Emotion Recognition in Intelligent Interface Design for Elderly Care
AUTHORS: Salik Ram Khanal ; Arsénio Reis ; João Barroso ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 240-247
AUTHORS: Salik Ram Khanal ; Arsénio Reis ; João Barroso ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 240-247
3417
TITLE: Using intelligent personal assistants to assist the elderlies An evaluation of Amazon Alexa, Google Assistant, Microsoft Cortana, and Apple Siri
AUTHORS: Arsenio Reis ; Dennis Paulino ; Hugo Paredes ; Isabel Barroso; Maria Joao Monteiro ; Vitor Rodrigues ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-5
AUTHORS: Arsenio Reis ; Dennis Paulino ; Hugo Paredes ; Isabel Barroso; Maria Joao Monteiro ; Vitor Rodrigues ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-5
3418
TITLE: Using Metalearning for Parameter Tuning in Neural Networks
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Hugo Ferreira ;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1081-1090
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Hugo Ferreira ;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1081-1090
3419
TITLE: Using multi-relational data mining to discriminate blended therapy efficiency on patients based on log data
AUTHORS: Artur Rocha ; Rui Camacho ; Jeroen Ruwaard; Heleen Riper;
PUBLISHED: 2018, SOURCE: 9th Scientific Meeting of the International-Society-for-Research-on-Internet-Interventions (ISRII) in INTERNET INTERVENTIONS-THE APPLICATION OF INFORMATION TECHNOLOGY IN MENTAL AND BEHAVIOURAL HEALTH, VOLUME: 12, PAGES: 176-180
AUTHORS: Artur Rocha ; Rui Camacho ; Jeroen Ruwaard; Heleen Riper;
PUBLISHED: 2018, SOURCE: 9th Scientific Meeting of the International-Society-for-Research-on-Internet-Interventions (ISRII) in INTERNET INTERVENTIONS-THE APPLICATION OF INFORMATION TECHNOLOGY IN MENTAL AND BEHAVIOURAL HEALTH, VOLUME: 12, PAGES: 176-180
3420
TITLE: Using Online Artificial Vision Services to Assist the Blind - an Assessment of Microsoft Cognitive Services and Google Cloud Vision
AUTHORS: Arsénio Reis ; Dennis Paulino ; Vitor Filipe ; João Barroso ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 174-184
AUTHORS: Arsénio Reis ; Dennis Paulino ; Vitor Filipe ; João Barroso ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 174-184
