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: 19039
1704 Team MembersFilters -> Year: 2025
9861
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 CrossRef9862
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
DBLP9863
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
9864
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
9865
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
9866
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
9867
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
9868
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
9869
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
Handle9870
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
9871
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
9872
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
9873
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
9874
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
9875
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
9876
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
DBLP9877
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
9878
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
9879
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
9880
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