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: 25071
1717 Team MembersFilters -> Year: 2026
14021
TITLE: ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 798-803
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2016, SOURCE: 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 798-803
14022
TITLE: Product Lifecycle Management Enabled by Industry 4.0 Technology
AUTHORS: Ferreira, F ; Faria, J ; Azevedo, A ; Marques, AL ;
PUBLISHED: 2016, SOURCE: 14th International Conference on Manufacturing Research (ICMR) in ADVANCES IN MANUFACTURING TECHNOLOGY XXX, VOLUME: 3, PAGES: 349-354
AUTHORS: Ferreira, F ; Faria, J ; Azevedo, A ; Marques, AL ;
PUBLISHED: 2016, SOURCE: 14th International Conference on Manufacturing Research (ICMR) in ADVANCES IN MANUFACTURING TECHNOLOGY XXX, VOLUME: 3, PAGES: 349-354
14023
TITLE: Production of microparticles of molinate degrading biocatalysts using the spray drying technique Full Text
AUTHORS: Ana R Lopes ; Vera M Sousa; Berta N Estevinho ; Jose P Leite; Nuno F F Moreira; Luis Gales ; Fernando Rocha ; Olga C Nunes ;
PUBLISHED: 2016, SOURCE: CHEMOSPHERE, VOLUME: 161, PAGES: 61-68
AUTHORS: Ana R Lopes ; Vera M Sousa; Berta N Estevinho ; Jose P Leite; Nuno F F Moreira; Luis Gales ; Fernando Rocha ; Olga C Nunes ;
PUBLISHED: 2016, SOURCE: CHEMOSPHERE, VOLUME: 161, PAGES: 61-68
14024
TITLE: Production-guided Concurrency Debugging Full Text
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PAGES: 351-362
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PAGES: 351-362
14025
TITLE: Professional Poker Players' Modeling using Data-Mining
AUTHORS: Nuno Silva; Luis Paulo Reis ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Nuno Silva; Luis Paulo Reis ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
14026
TITLE: Professor Piano: a music application for people with intellectual disabilities. a music application for people with intellectual disabilities
AUTHORS: Dennis Paulino ; Duarte Amaral; Mariana Amaral; Arsénio Reis ; João Barroso ; Tânia Rocha ;
PUBLISHED: 2016, SOURCE: DSAI, PAGES: 269-274
AUTHORS: Dennis Paulino ; Duarte Amaral; Mariana Amaral; Arsénio Reis ; João Barroso ; Tânia Rocha ;
PUBLISHED: 2016, SOURCE: DSAI, PAGES: 269-274
14027
TITLE: Promoting e-Commerce Software Platforms Adoption as a Means to Overcome Domestic Crises: The Cases of Portugal and Spain Approached from a Focus-Group Perspective
AUTHORS: Ramiro Goncalves ; Jose Martins ; Jorge Pereira; Manuel Cota; Frederico Branco ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING, VOLUME: 405, PAGES: 259-269
AUTHORS: Ramiro Goncalves ; Jose Martins ; Jorge Pereira; Manuel Cota; Frederico Branco ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING, VOLUME: 405, PAGES: 259-269
14028
TITLE: PRONUTRISENIOR: a holistic approach to the older adults living in the community; a rationale and methodology
AUTHORS: Cláudia Afonso; Rui Poínhos; Anzhela Sorokina; Bruno M P M Oliveira ; M. Sousa; L. Fonseca; Flora Correia; Bela Franchini; Bárbara Pereira; Ana Monteiro; Maria D V d Almeida;
PUBLISHED: 2016
AUTHORS: Cláudia Afonso; Rui Poínhos; Anzhela Sorokina; Bruno M P M Oliveira ; M. Sousa; L. Fonseca; Flora Correia; Bela Franchini; Bárbara Pereira; Ana Monteiro; Maria D V d Almeida;
PUBLISHED: 2016
INDEXED IN:
Handle
Handle14029
TITLE: Proof theory for hybrid(ised) logics Full Text
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126, PAGES: 73-93
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2016, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126, PAGES: 73-93
14030
TITLE: Proposal of a Low cost Mobile Robot Prototype with On-Board Laser Scanner: Robot Factory Competition Case Study
AUTHORS: Jose Goncalves ; Paulo Costa ;
PUBLISHED: 2016, SOURCE: 11th IFAC Symposium on Advances in Control Education (ACE) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 6, PAGES: 262-267
AUTHORS: Jose Goncalves ; Paulo Costa ;
PUBLISHED: 2016, SOURCE: 11th IFAC Symposium on Advances in Control Education (ACE) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 6, PAGES: 262-267
14031
TITLE: PROPOSAL OF THE MICROFACTORY ROBOTIC COMPETITION, OF THE FACTORY ENVIRONMENT AND OF ITS OFFICIAL ROBOT WHICH IS ALSO A LOW COST VERSATILE EDUCATIONAL ROBOT
AUTHORS: Silva, MP; Neves, D; Goncalves, J ; Costa, P ;
PUBLISHED: 2016, SOURCE: 10th International Technology, Education and Development Conference (INTED) in INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 64-72
AUTHORS: Silva, MP; Neves, D; Goncalves, J ; Costa, P ;
PUBLISHED: 2016, SOURCE: 10th International Technology, Education and Development Conference (INTED) in INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 64-72
14032
TITLE: Protective relay with fault ride-through requirement: Assessment by closed-loop test in real time
AUTHORS: Leite, H ; Silva, B ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Development in Power System Protection 2016, DPSP 2016 in IET Conference Publications, VOLUME: 2016, ISSUE: CP671
AUTHORS: Leite, H ; Silva, B ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Development in Power System Protection 2016, DPSP 2016 in IET Conference Publications, VOLUME: 2016, ISSUE: CP671
14033
TITLE: Prototyping Small Robots for Junior Competitions: MicroFactory Case study
AUTHORS: Neves, D; Silva, M; Goncalves, J ; Costa, P ;
PUBLISHED: 2016, SOURCE: 11th IFAC Symposium on Advances in Control Education (ACE) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 6, PAGES: 121-126
AUTHORS: Neves, D; Silva, M; Goncalves, J ; Costa, P ;
PUBLISHED: 2016, SOURCE: 11th IFAC Symposium on Advances in Control Education (ACE) in IFAC PAPERSONLINE, VOLUME: 49, ISSUE: 6, PAGES: 121-126
14034
TITLE: Providing Wellness Services Using Real Time Analytics
AUTHORS: Daniel Araujo; Andre Pimenta; Davide Carneiro ; Paulo Novais ;
PUBLISHED: 2016, SOURCE: 7th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE - SOFTWARE AND APPLICATIONS (ISAMI 2016), VOLUME: 476, PAGES: 167-175
AUTHORS: Daniel Araujo; Andre Pimenta; Davide Carneiro ; Paulo Novais ;
PUBLISHED: 2016, SOURCE: 7th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE - SOFTWARE AND APPLICATIONS (ISAMI 2016), VOLUME: 476, PAGES: 167-175
14035
TITLE: Providing Wellness Services Using Real Time Analytics
AUTHORS: Daniel Araújo; André Pimenta; Davide Carneiro ; Paulo Novais;
PUBLISHED: 2016, SOURCE: Ambient Intelligence - Software and Applications - 7th International Symposium on Ambient Intelligence, ISAmI 2016, Seville, Spain, June 1-3, 2016, VOLUME: 476, PAGES: 167-175
AUTHORS: Daniel Araújo; André Pimenta; Davide Carneiro ; Paulo Novais;
PUBLISHED: 2016, SOURCE: Ambient Intelligence - Software and Applications - 7th International Symposium on Ambient Intelligence, ISAmI 2016, Seville, Spain, June 1-3, 2016, VOLUME: 476, PAGES: 167-175
INDEXED IN:
DBLP
14036
TITLE: Pseudo-measurements generation using energy values from smart metering devices
AUTHORS: Jorge Lino Alves ; Jorge Pereira ;
PUBLISHED: 2016, SOURCE: IET Conference Publications, VOLUME: 2016, ISSUE: CP686
AUTHORS: Jorge Lino Alves ; Jorge Pereira ;
PUBLISHED: 2016, SOURCE: IET Conference Publications, VOLUME: 2016, ISSUE: CP686
14037
TITLE: PSF reconstruction validated using on-sky CANARY data in MOAO mode
AUTHORS: Martin, OA; Correia, CM ; Gendron, E; Rousset, G; Gratadour, D; Vidal, F; Morris, TJ; Basden, AG; Myers, RM; Neichel, B; Fusco, T;
PUBLISHED: 2016, SOURCE: ADAPTIVE OPTICS SYSTEMS V, VOLUME: 9909
AUTHORS: Martin, OA; Correia, CM ; Gendron, E; Rousset, G; Gratadour, D; Vidal, F; Morris, TJ; Basden, AG; Myers, RM; Neichel, B; Fusco, T;
PUBLISHED: 2016, SOURCE: ADAPTIVE OPTICS SYSTEMS V, VOLUME: 9909
14038
TITLE: PSS offering in a B2B context: towards the drivers to enable integrated solutions
AUTHORS: Daniel Battaglia; Miriam Borchardt; Lia Patricio ;
PUBLISHED: 2016, SOURCE: Conference on Product-Service Systems across Life Cycle in PRODUCT-SERVICE SYSTEMS ACROSS LIFE CYCLE, VOLUME: 47, PAGES: 400-405
AUTHORS: Daniel Battaglia; Miriam Borchardt; Lia Patricio ;
PUBLISHED: 2016, SOURCE: Conference on Product-Service Systems across Life Cycle in PRODUCT-SERVICE SYSTEMS ACROSS LIFE CYCLE, VOLUME: 47, PAGES: 400-405
14039
TITLE: Psychoacoustic Approaches for Harmonic Music Mixing
AUTHORS: Roman B Gebhardt; Matthew E P Davies ; Bernhard U Seeber;
PUBLISHED: 2016, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 6, ISSUE: 5, PAGES: 123
AUTHORS: Roman B Gebhardt; Matthew E P Davies ; Bernhard U Seeber;
PUBLISHED: 2016, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 6, ISSUE: 5, PAGES: 123
14040
TITLE: PySCIPOPT: Mathematical Programming in Python with the SCIP Optimization Suite
AUTHORS: Maher, S; Miltenberger, M; Pedroso, JP ; Rehfeldt, D; Schwarz, R; Serrano, F;
PUBLISHED: 2016, SOURCE: 5th International Congress on Mathematical Software (ICMS) in MATHEMATICAL SOFTWARE, ICMS 2016, VOLUME: 9725, PAGES: 301-307
AUTHORS: Maher, S; Miltenberger, M; Pedroso, JP ; Rehfeldt, D; Schwarz, R; Serrano, F;
PUBLISHED: 2016, SOURCE: 5th International Congress on Mathematical Software (ICMS) in MATHEMATICAL SOFTWARE, ICMS 2016, VOLUME: 9725, PAGES: 301-307