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: 8647
531 Team MembersFilters -> Year: 2025
2821
TITLE: On the Development of a Model to Prevent Failures, Built from Interactions with Moodle
AUTHORS: Bruno Cabral; Alvaro Figueira ;
PUBLISHED: 2019, SOURCE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PAGES: 352-356
AUTHORS: Bruno Cabral; Alvaro Figueira ;
PUBLISHED: 2019, SOURCE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PAGES: 352-356
2822
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PAGES: 154-169
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PAGES: 154-169
2823
TITLE: On-line guest profiling and hotel recommendation Full Text
AUTHORS: Veloso, BM ; Leal, F; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2019, SOURCE: ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, VOLUME: 34, PAGES: 100832
AUTHORS: Veloso, BM ; Leal, F; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2019, SOURCE: ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, VOLUME: 34, PAGES: 100832
2824
TITLE: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233, PAGES: 200-208
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233, PAGES: 200-208
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2825
TITLE: Operational Research. IO 2018, Aveiro, Portugal, September 5-7
AUTHORS: Maria João Alves; João Paulo Almeida; José Fernando Oliveira; Alberto Adrego Pinto ;
PUBLISHED: 2019, SOURCE: Springer Proceedings in Mathematics & Statistics
AUTHORS: Maria João Alves; João Paulo Almeida; José Fernando Oliveira; Alberto Adrego Pinto ;
PUBLISHED: 2019, SOURCE: Springer Proceedings in Mathematics & Statistics
2826
TITLE: Optimal control applied to an irrigation planning problem: A real case study in Portugal
AUTHORS: Lopes, SO; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
PUBLISHED: 2019, SOURCE: International Journal of Hydrology Science and Technology, VOLUME: 9, ISSUE: 2, PAGES: 173-188
AUTHORS: Lopes, SO; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
PUBLISHED: 2019, SOURCE: International Journal of Hydrology Science and Technology, VOLUME: 9, ISSUE: 2, PAGES: 173-188
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2827
TITLE: Optimality in nesting problems: New constraint programming models and a new global constraint for non-overlap
AUTHORS: Luiz Henrique Cherri; Maria Antonia Carravilla ; Cristina Ribeiro ; Franklina Maria B Bragion Toledo;
PUBLISHED: 2019, SOURCE: OPERATIONS RESEARCH PERSPECTIVES, VOLUME: 6, PAGES: 100125
AUTHORS: Luiz Henrique Cherri; Maria Antonia Carravilla ; Cristina Ribeiro ; Franklina Maria B Bragion Toledo;
PUBLISHED: 2019, SOURCE: OPERATIONS RESEARCH PERSPECTIVES, VOLUME: 6, PAGES: 100125
2828
TITLE: ORSUM 2019 2nd Workshop on Online Recommender Systems and User Modeling
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Albert Bifet; Marie Al Ghossein;
PUBLISHED: 2019, SOURCE: 13th ACM Conference on Recommender Systems (RECSYS) in RECSYS 2019: 13TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, PAGES: 562-563
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Albert Bifet; Marie Al Ghossein;
PUBLISHED: 2019, SOURCE: 13th ACM Conference on Recommender Systems (RECSYS) in RECSYS 2019: 13TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, PAGES: 562-563
2829
TITLE: Os avatares Maria e João: tutores virtuais na plataforma e-learning da Universidade Aberta
AUTHORS: Adérito Marcos; Elizabeth Carvalho; Carlos Martinho; Ana P Cláudio; Maria B Carmo; Vitor Rocio ;
PUBLISHED: 2019, SOURCE: Inovar para a qualidade na educação digital
AUTHORS: Adérito Marcos; Elizabeth Carvalho; Carlos Martinho; Ana P Cláudio; Maria B Carmo; Vitor Rocio ;
PUBLISHED: 2019, SOURCE: Inovar para a qualidade na educação digital
INDEXED IN: 
Handle
Handle2830
TITLE: Paint Your Programs Green: On the Energy Efficiency of Data Structures
AUTHORS: Rui Pereira; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 53-76
AUTHORS: Rui Pereira; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 53-76
INDEXED IN: DBLP
DBLP2831
TITLE: PAST, PRESENT AND FUTURE: CONFIDENCE INTERVALS WITH TECHNOLOGIES IN HIGHER EDUCATION AT THE POLYTECHNIC SCHOOL OF MALANJE
AUTHORS: Manuel Osorio; Nascimento, MM; Martins, P ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2019), PAGES: 151-158
AUTHORS: Manuel Osorio; Nascimento, MM; Martins, P ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2019), PAGES: 151-158
INDEXED IN: 
WOS
WOS2832
TITLE: Perfect Forward Security of SPAKE2
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
INDEXED IN: DBLP
DBLP2833
TITLE: Performance of Hash Functions in Blockchain Applied to IoT Devices
AUTHORS: Jessica Ferreira; Mykyta Zhygulskyy; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Jessica Ferreira; Mykyta Zhygulskyy; Mario Antunes ; Luis Frazao;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
2834
TITLE: Polar coding for physical-layer security without knowledge of the eavesdropper's channel Full Text
AUTHORS: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
AUTHORS: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
2835
TITLE: Polar Coding for Physical-layer Security without Knowledge of the Eavesdropper's Channel
AUTHORS: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
AUTHORS: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
INDEXED IN: WOS
WOS2836
TITLE: Practical Application of a Multi-Agent Systems Society for Energy Management and Control
AUTHORS: Tiago Pinto ; Gabriel Santos; Zita A Vale;
PUBLISHED: 2019, SOURCE: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, PAGES: 2378-2380
AUTHORS: Tiago Pinto ; Gabriel Santos; Zita A Vale;
PUBLISHED: 2019, SOURCE: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, PAGES: 2378-2380
INDEXED IN: DBLP
DBLP2837
TITLE: Practical Application of a Multi-Agent Systems Society for Energy Management and Control Demonstration Full Text
AUTHORS: Pinto, T ; Santos, G; Vale, Z;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2378-2380
AUTHORS: Pinto, T ; Santos, G; Vale, Z;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2378-2380
INDEXED IN: Scopus WOS
Scopus WOS2838
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
2839
TITLE: Pre-processing approaches for imbalanced distributions in regression Full Text
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2019, SOURCE: NEUROCOMPUTING, VOLUME: 343, PAGES: 76-99
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2019, SOURCE: NEUROCOMPUTING, VOLUME: 343, PAGES: 76-99
2840
TITLE: Predicting throughput in IEEE 802.11 based wireless networks using directional antenna Full Text
AUTHORS: Saravanan Kandasamy ; Ricardo Morla ; Patricia Ramos ; Manuel Ricardo ;
PUBLISHED: 2019, SOURCE: WIRELESS NETWORKS, VOLUME: 25, ISSUE: 4, PAGES: 1567-1584
AUTHORS: Saravanan Kandasamy ; Ricardo Morla ; Patricia Ramos ; Manuel Ricardo ;
PUBLISHED: 2019, SOURCE: WIRELESS NETWORKS, VOLUME: 25, ISSUE: 4, PAGES: 1567-1584
