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: 19387
1707 Team MembersFilters -> Year: 2025
10201
TITLE: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef10202
TITLE: Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: NewsIR@ECIR, VOLUME: 1568
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: NewsIR@ECIR, VOLUME: 1568
INDEXED IN: DBLP
DBLP10203
TITLE: Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
10204
TITLE: ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
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: Mushtaq Raza ; Joao Pascoal Faria ;
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
10205
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
10206
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
10207
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: 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016 in Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2016, Vila Real, Portugal, December 1-3, 2016, VOLUME: Part F126964, PAGES: 269-274
AUTHORS: Dennis Paulino ; Duarte Amaral; Mariana Amaral; Arsénio Reis ; João Barroso ; Tânia Rocha ;
PUBLISHED: 2016, SOURCE: 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, DSAI 2016 in Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2016, Vila Real, Portugal, December 1-3, 2016, VOLUME: Part F126964, PAGES: 269-274
10208
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
10209
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
Handle10210
TITLE: Proof theory for hybrid(ised) logics Full Text
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
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: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
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
10211
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
10212
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
10213
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
10214
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
10215
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
10216
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
DBLP10217
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
10218
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
10219
TITLE: QoS-as-a-Service in the local cloud
AUTHORS: Ferreira, LL ; Albano, M; Delsing, J;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
AUTHORS: Ferreira, LL ; Albano, M; Delsing, J;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, VOLUME: 2016-November
10220
TITLE: QoS-as-a-Service in the Local Cloud
AUTHORS: Ferreira, LL ; Albano, M; Delsing, J;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
AUTHORS: Ferreira, LL ; Albano, M; Delsing, J;
PUBLISHED: 2016, SOURCE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXED IN: 
WOS
WOS