University of Beira Interior (UBI)
Universidade da Beira Interior
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: 3047
114 Team MembersFilters -> Year: 2025
1221
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
1222
TITLE: Deep Transfer Learning Ensemble for Classification
AUTHORS: Chetak Kandaswamy; Luis M Silva ; Luis A Alexandre ; Jorge M Santos;
PUBLISHED: 2015, SOURCE: 13th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I (IWANN 2015), VOLUME: 9094, PAGES: 335-348
AUTHORS: Chetak Kandaswamy; Luis M Silva ; Luis A Alexandre ; Jorge M Santos;
PUBLISHED: 2015, SOURCE: 13th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I (IWANN 2015), VOLUME: 9094, PAGES: 335-348
1223
TITLE: Delegation theory in the design of cross-platform user interfaces
AUTHORS: Gobena, DL; Amador, GNP; Gomes, AJP ; Ejigu, D;
PUBLISHED: 2015, SOURCE: 17th International Conference on Human-Computer Interaction, HCI International 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9170, PAGES: 519-530
AUTHORS: Gobena, DL; Amador, GNP; Gomes, AJP ; Ejigu, D;
PUBLISHED: 2015, SOURCE: 17th International Conference on Human-Computer Interaction, HCI International 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9170, PAGES: 519-530
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1224
TITLE: Design of Communication and Control for Swarms of Aquatic Surface Drones
AUTHORS: Anders Lyhne Christensen ; Sancho Oliveira; Octavian Postolache; Maria João de Oliveira; Susana Sargento; Pedro Santana ; Luís Nunes ; Fernando José Velez ; Pedro Sebastião; Vasco Costa; Miguel Duarte; Jorge C Gomes; Tiago Rodrigues; Fernando Silva;
PUBLISHED: 2015, SOURCE: 7th International Conference on Agents and Artificial Intelligence, ICAART 2015 in ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., VOLUME: 2, PAGES: 548-555
AUTHORS: Anders Lyhne Christensen ; Sancho Oliveira; Octavian Postolache; Maria João de Oliveira; Susana Sargento; Pedro Santana ; Luís Nunes ; Fernando José Velez ; Pedro Sebastião; Vasco Costa; Miguel Duarte; Jorge C Gomes; Tiago Rodrigues; Fernando Silva;
PUBLISHED: 2015, SOURCE: 7th International Conference on Agents and Artificial Intelligence, ICAART 2015 in ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., VOLUME: 2, PAGES: 548-555
1225
TITLE: Detecting unforgiving roadside contributors through the severity analysis of ran-off-road crashes Full Text
AUTHORS: Carlos Roque; Filipe Moura ; Joao Lourenco Cardoso;
PUBLISHED: 2015, SOURCE: ACCIDENT ANALYSIS AND PREVENTION, VOLUME: 80, PAGES: 262-273
AUTHORS: Carlos Roque; Filipe Moura ; Joao Lourenco Cardoso;
PUBLISHED: 2015, SOURCE: ACCIDENT ANALYSIS AND PREVENTION, VOLUME: 80, PAGES: 262-273
1226
TITLE: Development of Substrate Integrated Waveguides with Textile Materials by Hand-made Techniques
AUTHORS: Catarina Lopes; Caroline Loss; Rita Salvado; Pedro Pinho ; Hendrik Rogier; Sam Agneessens;
PUBLISHED: 2015, SOURCE: Proceedings of 2nd International Electronic Conference on Sensors and Applications
AUTHORS: Catarina Lopes; Caroline Loss; Rita Salvado; Pedro Pinho ; Hendrik Rogier; Sam Agneessens;
PUBLISHED: 2015, SOURCE: Proceedings of 2nd International Electronic Conference on Sensors and Applications
INDEXED IN: CrossRef
CrossRef1227
TITLE: Dynamic Camera Scheduling for Visual Surveillance in Crowded Scenes using Markov Random Fields
AUTHORS: Joao C Neves; Hugo Proenca ;
PUBLISHED: 2015, SOURCE: 12th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS) in 2015 12TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE (AVSS), PAGES: 1-6
AUTHORS: Joao C Neves; Hugo Proenca ;
PUBLISHED: 2015, SOURCE: 12th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS) in 2015 12TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE (AVSS), PAGES: 1-6
1228
TITLE: Dynamic Configuration and Optimization of WiMAX Networks with Relay Power Saving Modes: Measurement-Based Scenario in a Hilly Region Full Text
AUTHORS: Robalo, D; Oliveira, JR; Fernando José Velez ; Holland, O; Aghvami, AH;
PUBLISHED: 2015, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 85, ISSUE: 3, PAGES: 937-958
AUTHORS: Robalo, D; Oliveira, JR; Fernando José Velez ; Holland, O; Aghvami, AH;
PUBLISHED: 2015, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 85, ISSUE: 3, PAGES: 937-958
1229
TITLE: Economic trade-off in the optimization of carrier aggregation with enhanced multi-band scheduling in LTE-Advanced scenarios
AUTHORS: Robalo, D; Fernando José Velez ;
PUBLISHED: 2015, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2015, ISSUE: 1, PAGES: 1-19
AUTHORS: Robalo, D; Fernando José Velez ;
PUBLISHED: 2015, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2015, ISSUE: 1, PAGES: 1-19
1230
TITLE: Effect of adherends and environment on static and transverse impact response of adhesive lap joints Full Text
AUTHORS: Reis, PNB; Soares, JRL; Pereira, AM ; Ferreira, JAM ;
PUBLISHED: 2015, SOURCE: THEORETICAL AND APPLIED FRACTURE MECHANICS, VOLUME: 80, PAGES: 79-86
AUTHORS: Reis, PNB; Soares, JRL; Pereira, AM ; Ferreira, JAM ;
PUBLISHED: 2015, SOURCE: THEORETICAL AND APPLIED FRACTURE MECHANICS, VOLUME: 80, PAGES: 79-86
1231
TITLE: Effects of lactic and citric acid on early-age engineering properties of Portland/calcium aluminate blended cements Full Text
AUTHORS: Gediminas Kastiukas; Xiangming M Zhou; Joao Castro Gomes ; Shifeng F Huang; Mohamed Saafi;
PUBLISHED: 2015, SOURCE: CONSTRUCTION AND BUILDING MATERIALS, VOLUME: 101, PAGES: 389-395
AUTHORS: Gediminas Kastiukas; Xiangming M Zhou; Joao Castro Gomes ; Shifeng F Huang; Mohamed Saafi;
PUBLISHED: 2015, SOURCE: CONSTRUCTION AND BUILDING MATERIALS, VOLUME: 101, PAGES: 389-395
1232
TITLE: Energy Self Sufficient Aircrafts Can Become Reality through New Propulsion Design Approaches
AUTHORS: Trancossi, M; Dumas, A; Niccolai, G; Pascoa, J ;
PUBLISHED: 2015, SOURCE: SAE AeroTech Congress and Exhibition, AEROTECH 2015 in SAE Technical Papers, VOLUME: 2015-September, ISSUE: September
AUTHORS: Trancossi, M; Dumas, A; Niccolai, G; Pascoa, J ;
PUBLISHED: 2015, SOURCE: SAE AeroTech Congress and Exhibition, AEROTECH 2015 in SAE Technical Papers, VOLUME: 2015-September, ISSUE: September
INDEXED IN: Scopus CrossRef
Scopus CrossRef1233
TITLE: Enrollment Time as a Requirement for Biometric Hand Recognition Systems
AUTHORS: Carvalho, J; Sá, Vítor J. ; de Magalhaes, ST; Santos, H ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Cyber Warfare and Security (ICCWS) in PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS-2015), PAGES: 66-68
AUTHORS: Carvalho, J; Sá, Vítor J. ; de Magalhaes, ST; Santos, H ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Cyber Warfare and Security (ICCWS) in PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS-2015), PAGES: 66-68
INDEXED IN: Scopus 
WOS
Scopus WOS1234
TITLE: Establishment of Automatization as a Requirement for Time Management Input Modules in Project Management Information Systems for Academic Activities - A Game Theory Approach
AUTHORS: de Magalhaes, ST; Magalhaes, MJ; Sá, Vítor J. ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 1157-1162
AUTHORS: de Magalhaes, ST; Magalhaes, MJ; Sá, Vítor J. ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 1157-1162
1235
TITLE: Evaluation of the influence of PU/EVA waste-based lightweight aggregates on the physical properties of alkali-activated mortars
AUTHORS: Trein, FA; Vargas, AS; Rodrigues, MAS; Gomes, JPC ;
PUBLISHED: 2015, SOURCE: Key Engineering Materials, VOLUME: 634, PAGES: 278-287
AUTHORS: Trein, FA; Vargas, AS; Rodrigues, MAS; Gomes, JPC ;
PUBLISHED: 2015, SOURCE: Key Engineering Materials, VOLUME: 634, PAGES: 278-287
1236
TITLE: Evaluation of the performance indices of a ventilated double window through experimental and analytical procedures: SHGC-values Full Text
AUTHORS: Carlos, JS; Corvacho, H ;
PUBLISHED: 2015, SOURCE: ENERGY AND BUILDINGS, VOLUME: 86, PAGES: 886-897
AUTHORS: Carlos, JS; Corvacho, H ;
PUBLISHED: 2015, SOURCE: ENERGY AND BUILDINGS, VOLUME: 86, PAGES: 886-897
1237
TITLE: EXIT FLOW VECTOR CONTROL ON A COANDA NOZZLE USING DIELECTRIC BARRIER DISCHARGE ACTUATOR
AUTHORS: Jose C Pascoa ; Frederico F Rodrigues; Shyam S Das; Abdollahzadeh, M; Dumas, A; Michele Trancossi; Maharshi Subhash;
PUBLISHED: 2015, SOURCE: ASME International Mechanical Engineering Congress and Exposition (IMECE2014) in PROCEEDINGA OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2014, VOL 1
AUTHORS: Jose C Pascoa ; Frederico F Rodrigues; Shyam S Das; Abdollahzadeh, M; Dumas, A; Michele Trancossi; Maharshi Subhash;
PUBLISHED: 2015, SOURCE: ASME International Mechanical Engineering Congress and Exposition (IMECE2014) in PROCEEDINGA OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2014, VOL 1
INDEXED IN: WOS
WOS1238
TITLE: Experimental Evaluation of an Innovative Command for Hydronic Radiant Heating Floors
AUTHORS: Silva, PD; Gaspar, PD ; Batista, G; Domingues, C;
PUBLISHED: 2015, SOURCE: 4th International Conference on Materials Engineering for Advanced Technologies (ICMEAT) in 4TH INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING FOR ADVANCED TECHNOLOGIES (ICMEAT 2015), PAGES: 170-175
AUTHORS: Silva, PD; Gaspar, PD ; Batista, G; Domingues, C;
PUBLISHED: 2015, SOURCE: 4th International Conference on Materials Engineering for Advanced Technologies (ICMEAT) in 4TH INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING FOR ADVANCED TECHNOLOGIES (ICMEAT 2015), PAGES: 170-175
INDEXED IN: WOS 
Handle
WOS Handle1239
TITLE: Exploiting Twitter for the Semantic Enrichment of Telecommunication Alarms
AUTHORS: Hugo Goncalo Oliveira ; Joao Marques; Luis Cortesao;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 26-37
AUTHORS: Hugo Goncalo Oliveira ; Joao Marques; Luis Cortesao;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 26-37
1240
TITLE: Exploring psychedelic trance and electronic dance music in modern culture
AUTHORS: Simão, E; Da Silva, AM ; De Magalhães, ST;
PUBLISHED: 2015, SOURCE: Exploring Psychedelic Trance and Electronic Dance Music in Modern Culture, PAGES: 1-379
AUTHORS: Simão, E; Da Silva, AM ; De Magalhães, ST;
PUBLISHED: 2015, SOURCE: Exploring Psychedelic Trance and Electronic Dance Music in Modern Culture, PAGES: 1-379
