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: 18107
1699 Team MembersFilters -> Year: 2024
7401
TITLE: A dynamic multi-objective approach for the reconfigurable multi-facility layout problem Full Text
AUTHORS: Maria Manuela Azevedo ; Jose Antonio Crispim ; Jorge Pinho de Sousa ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 42, PAGES: 140-152
AUTHORS: Maria Manuela Azevedo ; Jose Antonio Crispim ; Jorge Pinho de Sousa ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 42, PAGES: 140-152
7402
TITLE: A Fast and Robust Kinematic Model for a 12 DoF Hyper-Redundant Robot Positioning: an Optimization Proposal Full Text
AUTHORS: Jose Lima ; Ana I Pereira; Paulo Costa ; Andry Pinto ; Pedro Costa ;
PUBLISHED: 2017, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), VOLUME: 1863
AUTHORS: Jose Lima ; Ana I Pereira; Paulo Costa ; Andry Pinto ; Pedro Costa ;
PUBLISHED: 2017, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), VOLUME: 1863
7403
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1989-2006
7404
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821
INDEXED IN: 
DBLP
DBLP7405
TITLE: A Feature-Based Classification of Model Repair Approaches Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
7406
TITLE: A finite element model of an induction motor considering rotor skew and harmonics
AUTHORS: Oliveira F. ; Donsión M.;
PUBLISHED: 2017, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 15, PAGES: 119-122
AUTHORS: Oliveira F. ; Donsión M.;
PUBLISHED: 2017, SOURCE: Renewable Energy and Power Quality Journal, VOLUME: 1, ISSUE: 15, PAGES: 119-122
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef7407
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212
INDEXED IN: DBLP
DBLP7408
TITLE: A framework for designing backroom areas in grocery stores
AUTHORS: Maria Pires ; Joaquim Pratas; Jorge Liz; Pedro Amorim ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF RETAIL & DISTRIBUTION MANAGEMENT, VOLUME: 45, ISSUE: 3, PAGES: 230-252
AUTHORS: Maria Pires ; Joaquim Pratas; Jorge Liz; Pedro Amorim ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL OF RETAIL & DISTRIBUTION MANAGEMENT, VOLUME: 45, ISSUE: 3, PAGES: 230-252
7409
TITLE: A Framework for Recommendation of Highly Popular News Lacking Social Feedback Full Text
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
AUTHORS: Nuno Moniz ; Luis Torgo ; Magdalini Eirinaki; Paula Branco ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 417-450
7410
TITLE: A full scope web accessibility evaluation procedure proposal based on Iberian eHealth accessibility compliance Full Text
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
AUTHORS: José Martins ; Ramiro Gonçalves ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: Computers in Human Behavior, VOLUME: 73, PAGES: 676-684
7411
TITLE: A global perspective on an emotional learning model proposal Full Text
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
AUTHORS: Ana Raquel Faria; Ana Almeida; Constantino Martins; Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2017, SOURCE: TELEMATICS AND INFORMATICS, VOLUME: 34, ISSUE: 6, PAGES: 824-837
7412
TITLE: A graph-based framework for the analysis of access control policies Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
7413
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299
7414
TITLE: A Hierarchical Harmonic Mixing Method
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PAGES: 151-170
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PAGES: 151-170
7415
TITLE: A Hybrid Approach for Personalized News Recommendation in a Mobility Scenario Using Long-Short User Interest Full Text
AUTHORS: Paula Viana ; March Soares ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 26, ISSUE: 2, PAGES: 1760012
AUTHORS: Paula Viana ; March Soares ;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 26, ISSUE: 2, PAGES: 1760012
7416
TITLE: A Hybrid Electronic Nose and Tongue for the Detection of Ketones: Improved Sensor Orthogonality Using Graphene Oxide-Based Detectors Full Text
AUTHORS: Cavallari, MR; Braga, GS ; da Silva, MFP; Izquierdo, JEE; Paterno, LG; Dirani, EAT; Kymissis, I; Fonseca, FJ;
PUBLISHED: 2017, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 17, ISSUE: 7, PAGES: 1971-1980
AUTHORS: Cavallari, MR; Braga, GS ; da Silva, MFP; Izquierdo, JEE; Paterno, LG; Dirani, EAT; Kymissis, I; Fonseca, FJ;
PUBLISHED: 2017, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 17, ISSUE: 7, PAGES: 1971-1980
7417
TITLE: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645
INDEXED IN: 
WOS CrossRef
WOS CrossRef7418
TITLE: A lightweight docking station for a hovering AUV
AUTHORS: Cruz, NA ; Matos, AC ; Almeida, RM ; Ferreira, BM ;
PUBLISHED: 2017, SOURCE: 2017 IEEE OES International Symposium on Underwater Technology, UT 2017 in 2017 IEEE OES International Symposium on Underwater Technology, UT 2017
AUTHORS: Cruz, NA ; Matos, AC ; Almeida, RM ; Ferreira, BM ;
PUBLISHED: 2017, SOURCE: 2017 IEEE OES International Symposium on Underwater Technology, UT 2017 in 2017 IEEE OES International Symposium on Underwater Technology, UT 2017
7419
TITLE: A Low-Power Analog Adder and Driver Using a-IGZO TFTs
AUTHORS: Bahubalindruni, PG ; Tavares, VG ; Martins, R; Fortunato, E; Barquinha, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, VOLUME: 64, ISSUE: 5, PAGES: 1118-1125
AUTHORS: Bahubalindruni, PG ; Tavares, VG ; Martins, R; Fortunato, E; Barquinha, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, VOLUME: 64, ISSUE: 5, PAGES: 1118-1125
7420
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272
