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
3521
TITLE: Foreword to the Special Section on Reconfigurable Computing Full Text
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
3522
TITLE: Formal Concept Analysis Applied to Professional Social Networks Analysis
AUTHORS: Paula R C Silva ; Sérgio M Dias; Wladmir C Brandão; Mark A Song; Luis E Zárate;
PUBLISHED: 2017, SOURCE: Proceedings of the 19th International Conference on Enterprise Information Systems
AUTHORS: Paula R C Silva ; Sérgio M Dias; Wladmir C Brandão; Mark A Song; Luis E Zárate;
PUBLISHED: 2017, SOURCE: Proceedings of the 19th International Conference on Enterprise Information Systems
3523
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
3524
TITLE: Future liquefied natural gas business structure: a review and comparison of oil and liquefied natural gas sectors. Future LNG business structure Full Text
AUTHORS: Hamed Nikhalat Jahromi ; Dalila B M M Fontes ; Robert A Cochrane;
PUBLISHED: 2017, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT, VOLUME: 6, ISSUE: 4
AUTHORS: Hamed Nikhalat Jahromi ; Dalila B M M Fontes ; Robert A Cochrane;
PUBLISHED: 2017, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT, VOLUME: 6, ISSUE: 4
3525
TITLE: Gamification at Scraim
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
3526
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces Full Text
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
3527
TITLE: Genetic effects on gene expression across human tissues Full Text
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
3528
TITLE: Geometric Approaches and Bifurcations in the Dichotomous Decision Model = الطرق الهندسية والتداخلات في نموذج القرار ذو الحدين
AUTHORS: Abdelrahim S Mousa; Alberto A Pinto ;
PUBLISHED: 2017, SOURCE: Journal of the Arab American University, VOLUME: 3, ISSUE: 2, PAGES: 10-39
AUTHORS: Abdelrahim S Mousa; Alberto A Pinto ;
PUBLISHED: 2017, SOURCE: Journal of the Arab American University, VOLUME: 3, ISSUE: 2, PAGES: 10-39
INDEXED IN: 
CrossRef
CrossRef3529
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv3530
TITLE: Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
INDEXED IN: DBLP
DBLP3531
TITLE: Graph-Based Entity-Oriented Search: Imitating the Human Process of Seeking and Cross Referencing Information
AUTHORS: Jose Devezas ; Sergio Nunes ;
PUBLISHED: 2017, SOURCE: ERCIM NEWS, VOLUME: 2017, ISSUE: 111, PAGES: 14-15
AUTHORS: Jose Devezas ; Sergio Nunes ;
PUBLISHED: 2017, SOURCE: ERCIM NEWS, VOLUME: 2017, ISSUE: 111, PAGES: 14-15
INDEXED IN: 
WOS DBLP
WOS DBLP3532
TITLE: GReSBAS project: A gamified approach to promote more energy efficient behaviours in buildings
AUTHORS: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PAGES: 1258-1261
AUTHORS: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PAGES: 1258-1261
INDEXED IN: 
Scopus WOS
Scopus WOS3533
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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: 238-240
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
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: 238-240
3534
TITLE: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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: 241-243
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
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: 241-243
3535
TITLE: High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
INDEXED IN: DBLP
DBLP3536
TITLE: House management system with real and virtual resources: Energy efficiency in residential microgrid
AUTHORS: Gabriel Santos; Filipe Femandes; Tiago Pinto ; Marco Silva; Omid Abrishambaf; Hugo Morais; Zita Vale;
PUBLISHED: 2017, SOURCE: 2016 Global Information Infrastructure and Networking Symposium, GIIS 2016
AUTHORS: Gabriel Santos; Filipe Femandes; Tiago Pinto ; Marco Silva; Omid Abrishambaf; Hugo Morais; Zita Vale;
PUBLISHED: 2017, SOURCE: 2016 Global Information Infrastructure and Networking Symposium, GIIS 2016
3537
TITLE: HTAPBench: Hybrid Transactional and Analytical Processing Benchmark. Hybrid Transactional and Analytical Processing Benchmark
AUTHORS: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PAGES: 293-304
AUTHORS: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PAGES: 293-304
3538
TITLE: Hybrid Particle Swarm Optimization of Electricity Market Participation Portfolio
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2017 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), VOLUME: 2018-January, PAGES: 3034-3041
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2017 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI), VOLUME: 2018-January, PAGES: 3034-3041
3539
TITLE: Hybrid Tourism Recommendation System Based on Functionality/Accessibility Levels
AUTHORS: Filipe Santos; Ana de Almeida; Constantino Martins; Paulo Moura de Oliveira ; Ramiro Gonçalves ;
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: 221-228
AUTHORS: Filipe Santos; Ana de Almeida; Constantino Martins; Paulo Moura de Oliveira ; Ramiro Gonçalves ;
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: 221-228
3540
TITLE: ICARUS Training and Support System
AUTHORS: Janusz Będkowski; Karol Majek; Michal Pełka; Andrzej Masłowski; Antonio Coelho ; Ricardo Goncalves; Ricardo Baptista ; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
AUTHORS: Janusz Będkowski; Karol Majek; Michal Pełka; Andrzej Masłowski; Antonio Coelho ; Ricardo Goncalves; Ricardo Baptista ; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
