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: 25004
1716 Team MembersFilters -> Year: 2026
13921
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 CrossRef13922
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
DBLP13923
TITLE: Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
AUTHORS: Martínez Angeles, CA; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
AUTHORS: Martínez Angeles, CA; Dutra, I ; Costa, VS ; Buenabad Chávez, J;
PUBLISHED: 2016, SOURCE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PAGES: 122-136
13924
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
13925
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
13926
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
13927
TITLE: Production-guided Concurrency Debugging
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
13928
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
13929
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
13930
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
13931
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
Handle13932
TITLE: Proof theory for hybrid(ised) logics
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
13933
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
13934
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
13935
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
13936
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
13937
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
DBLP13938
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
13939
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
13940
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
