Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 19580
1707 Team MembersFilters -> Year: 2025
9601
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLISHED: 2016, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PAGES: 4491-4496
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLISHED: 2016, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PAGES: 4491-4496
9602
TITLE: A Fuzzy Logic Approach for a Wearable Cardiovascular and Aortic Monitoring System
AUTHORS: Oliveira, CC; Dias, R; da Silva, JM ;
PUBLISHED: 2016, SOURCE: 7th ICT Innovations conference on Emerging Technologies for Better Living in ICT INNOVATIONS 2015: EMERGING TECHNOLOGIES FOR BETTER LIVING, VOLUME: 399, PAGES: 265-274
AUTHORS: Oliveira, CC; Dias, R; da Silva, JM ;
PUBLISHED: 2016, SOURCE: 7th ICT Innovations conference on Emerging Technologies for Better Living in ICT INNOVATIONS 2015: EMERGING TECHNOLOGIES FOR BETTER LIVING, VOLUME: 399, PAGES: 265-274
9603
TITLE: A general framework for reconstruction and classification from compressive measurements with side information
AUTHORS: Wang, L; Renna, F ; Yuan, X; Rodrigues, M; Calderbank, R; Carin, L;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4239-4243
AUTHORS: Wang, L; Renna, F ; Yuan, X; Rodrigues, M; Calderbank, R; Carin, L;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4239-4243
9604
TITLE: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTHORS: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLISHED: 2016, SOURCE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 5, PAGES: 21-30
AUTHORS: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLISHED: 2016, SOURCE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 5, PAGES: 21-30
9605
TITLE: A GRASP algorithm for the vehicle-reservation assignment problem
AUTHORS: Oliveira, BB ; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 63-71
AUTHORS: Oliveira, BB ; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 63-71
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef9606
TITLE: A heuristic approach to the maximum edge weight clique problem on sparse networks
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2016
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2016
INDEXED IN: 
Handle
Handle9607
TITLE: A hybrid recommendation system for news in a mobile environment
AUTHORS: Viana, P ; Soares, M ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Web Intelligence, Mining and Semantics, WIMS 2016 in ACM International Conference Proceeding Series, VOLUME: 13-15-June-2016
AUTHORS: Viana, P ; Soares, M ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Web Intelligence, Mining and Semantics, WIMS 2016 in ACM International Conference Proceeding Series, VOLUME: 13-15-June-2016
9608
TITLE: A Hybrid Top-Down Bottom-Up Approach for the Detection of Cuboid Shaped Objects
AUTHORS: Rafael Arrais ; Miguel Oliveira ; Cesar Toscano ; Germano Veiga ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 512-520
AUTHORS: Rafael Arrais ; Miguel Oliveira ; Cesar Toscano ; Germano Veiga ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 512-520
9609
TITLE: A Lean Set-Based Design Approach for Development of Customizable Products in Collaborative Networks
AUTHORS: Bastos, J ; Azevedo, A ; Avila, P ;
PUBLISHED: 2016, SOURCE: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATION IN A HYPERCONNECTED WORLD, VOLUME: 480, PAGES: 420-432
AUTHORS: Bastos, J ; Azevedo, A ; Avila, P ;
PUBLISHED: 2016, SOURCE: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATION IN A HYPERCONNECTED WORLD, VOLUME: 480, PAGES: 420-432
9610
TITLE: A Learning-based Approach to Secure JTAG against Unseen Scan-based Attacks
AUTHORS: Xuanle L Ren ; (Shawn) D Blanton; Vitor Grade Tavares ;
PUBLISHED: 2016, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI (ISVLSI) in 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), VOLUME: 2016-September, PAGES: 541-546
AUTHORS: Xuanle L Ren ; (Shawn) D Blanton; Vitor Grade Tavares ;
PUBLISHED: 2016, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI (ISVLSI) in 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), VOLUME: 2016-September, PAGES: 541-546
9611
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 386-406
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 386-406
9612
TITLE: A long-haul freight transportation problem: Synchronizing resources to deliver requests passing through multiple transshipment locations Full Text
AUTHORS: Neves Moreira, F ; Amorim, P ; Guimaraes, L ; Almada Lobo, B ;
PUBLISHED: 2016, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 248, ISSUE: 2, PAGES: 487-506
AUTHORS: Neves Moreira, F ; Amorim, P ; Guimaraes, L ; Almada Lobo, B ;
PUBLISHED: 2016, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 248, ISSUE: 2, PAGES: 487-506
9613
TITLE: A matheuristic based on column generation for parallel machine scheduling with sequence dependent setup times
AUTHORS: Alvelos, F ; Lopes, M ; Lopes, H;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 233-238
AUTHORS: Alvelos, F ; Lopes, M ; Lopes, H;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 233-238
INDEXED IN: Scopus CrossRef
Scopus CrossRef9614
TITLE: A method for rigorous design of reconfigurable systems Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PAGES: 50-76
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PAGES: 50-76
9615
TITLE: A Methodology for the Evaluation and Deployment of Wireless Multi-hop Networks in Smart Grids
AUTHORS: Rua, D ; Ribeiro, F ; Campos, R ; Ruela, J ; Pecas Lopes, JAP ;
PUBLISHED: 2016, SOURCE: 19th Power Systems Computation Conference (PSCC) in 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC)
AUTHORS: Rua, D ; Ribeiro, F ; Campos, R ; Ruela, J ; Pecas Lopes, JAP ;
PUBLISHED: 2016, SOURCE: 19th Power Systems Computation Conference (PSCC) in 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC)
9616
TITLE: A methodology to incorporate risk and uncertainty in electricity power planning Full Text
AUTHORS: Maria Joao Santos ; Paula Ferreira ; Madalena Araujo ;
PUBLISHED: 2016, SOURCE: ENERGY, VOLUME: 115, PAGES: 1400-1411
AUTHORS: Maria Joao Santos ; Paula Ferreira ; Madalena Araujo ;
PUBLISHED: 2016, SOURCE: ENERGY, VOLUME: 115, PAGES: 1400-1411
9617
TITLE: A MIP model for production planning in the roasting coffee industry
AUTHORS: Ospina, DY; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 157-163
AUTHORS: Ospina, DY; Carravilla, MA ; Oliveira, JF ;
PUBLISHED: 2016, SOURCE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PAGES: 157-163
INDEXED IN: Scopus CrossRef
Scopus CrossRef9618
TITLE: A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management
AUTHORS: Alexandre B Augusto; Manuel E Correia ;
PUBLISHED: 2016, SOURCE: Psychology and Mental Health, PAGES: 470-492
AUTHORS: Alexandre B Augusto; Manuel E Correia ;
PUBLISHED: 2016, SOURCE: Psychology and Mental Health, PAGES: 470-492
INDEXED IN: CrossRef
CrossRef9619
TITLE: A model for analyzing performance problems and root causes in the personal software process. A MODEL FOR ANALYZING PERFORMANCE PROBLEMS AND ROOT CAUSES IN THE PSP Full Text
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, ISSUE: 4, PAGES: 254-271
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, ISSUE: 4, PAGES: 254-271
9620
TITLE: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PAGES: 199-208
