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: 18407
1699 Team MembersFilters -> Year: 2024
10601
TITLE: Wireless sensor networks: 12th European conference, EWSN 2015 porto, portugal, february 9-11, 2015 proceedings
AUTHORS: Tarek F Abdelzaher; Nuno Pereira ; Eduardo Tovar ;
PUBLISHED: 2015, SOURCE: 12th European Conference on Wireless Sensor Networks, EWSN 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8965
AUTHORS: Tarek F Abdelzaher; Nuno Pereira ; Eduardo Tovar ;
PUBLISHED: 2015, SOURCE: 12th European Conference on Wireless Sensor Networks, EWSN 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8965
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP10602
TITLE: Wrist Rigidity Assessment During Deep Brain Stimulation Surgery
AUTHORS: Pedro Costa; Maria Jose Rosas; Rui Vaz; Joao Paulo Cunha ;
PUBLISHED: 2015, SOURCE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PAGES: 3423-3426
AUTHORS: Pedro Costa; Maria Jose Rosas; Rui Vaz; Joao Paulo Cunha ;
PUBLISHED: 2015, SOURCE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PAGES: 3423-3426
10603
TITLE: X-Ray: Monitoring and analysis of distributed database queries
AUTHORS: Guimaraes, P; Pereira, J ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9038, PAGES: 80-93
AUTHORS: Guimaraes, P; Pereira, J ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9038, PAGES: 80-93
10604
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
10605
TITLE: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTHORS: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PAGES: 371-374
AUTHORS: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PAGES: 371-374
INDEXED IN: Scopus DBLP
Scopus DBLP10606
TITLE: 10.5937/fmet1403243s = Representational fidelity in distributed and remote lab environment
AUTHORS: Vesna Spasojevic-Brkic; Goran Putnik; Zorica Veljkovic; Vaibhav Shah; Helio Castro ;
PUBLISHED: 2014, SOURCE: FME Transaction, VOLUME: 42, ISSUE: 3, PAGES: 243-248
AUTHORS: Vesna Spasojevic-Brkic; Goran Putnik; Zorica Veljkovic; Vaibhav Shah; Helio Castro ;
PUBLISHED: 2014, SOURCE: FME Transaction, VOLUME: 42, ISSUE: 3, PAGES: 243-248
INDEXED IN: 
CrossRef
CrossRef10607
TITLE: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014
AUTHORS: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino ; Elsa Ferreira Gomes ;
PUBLISHED: 2014, SOURCE: IDEAS
AUTHORS: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino ; Elsa Ferreira Gomes ;
PUBLISHED: 2014, SOURCE: IDEAS
INDEXED IN: DBLP
DBLP10608
TITLE: 2014 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2014, Espinho, Portugal, May 14-15, 2014
AUTHORS: Nuno Lau; António Paulo Moreira ; Rodrigo Ventura; Brígida Mónica Faria;
PUBLISHED: 2014, SOURCE: ICARSC
AUTHORS: Nuno Lau; António Paulo Moreira ; Rodrigo Ventura; Brígida Mónica Faria;
PUBLISHED: 2014, SOURCE: ICARSC
INDEXED IN: DBLP
DBLP10609
TITLE: 2DCPackGen: A problem generator for two-dimensional rectangular cutting and packing problems Full Text
AUTHORS: Elsa Silva ; Jose F Oliveira ; Gerhard Waescher;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 3, PAGES: 846-856
AUTHORS: Elsa Silva ; Jose F Oliveira ; Gerhard Waescher;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 3, PAGES: 846-856
10610
TITLE: 3D Multimodal Visualization of Subdural Electrodes with Cerebellum Removal to Guide Epilepsy Resective Surgery Procedures
AUTHORS: Nadia Moreira da Silva ; Ricardo Rego; Joao Paulo S Silva Cunha ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II, VOLUME: 8815, PAGES: 167-174
AUTHORS: Nadia Moreira da Silva ; Ricardo Rego; Joao Paulo S Silva Cunha ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II, VOLUME: 8815, PAGES: 167-174
10611
TITLE: 3D Reconstruction of Body Parts Using RGB-D Sensors: Challenges from a Biomedical Perspective
AUTHORS: Pedro Costa; Hooshiar Zolfagharnasab; Joao P Monteiro ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: Proceedings of the 5th International Conference on 3D Body Scanning Technologies, Lugano, Switzerland, 21-22 October 2014
AUTHORS: Pedro Costa; Hooshiar Zolfagharnasab; Joao P Monteiro ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: Proceedings of the 5th International Conference on 3D Body Scanning Technologies, Lugano, Switzerland, 21-22 October 2014
10612
TITLE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
INDEXED IN: DBLP
DBLP10613
TITLE: A 3D low-cost solution for the aesthetic evaluation of breast cancer conservative treatment Full Text
AUTHORS: Hélder P Oliveira ; Jaime S Cardoso ; André Magalhães; Maria João Cardoso;
PUBLISHED: 2014, SOURCE: CMBBE: Imaging & Visualization, VOLUME: 2, ISSUE: 2, PAGES: 90-106
AUTHORS: Hélder P Oliveira ; Jaime S Cardoso ; André Magalhães; Maria João Cardoso;
PUBLISHED: 2014, SOURCE: CMBBE: Imaging & Visualization, VOLUME: 2, ISSUE: 2, PAGES: 90-106
10614
TITLE: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PAGES: 314-317
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PAGES: 314-317
10615
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
10616
TITLE: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
10617
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
10618
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
10619
TITLE: A constructive heuristic for staff scheduling in the glass industry Full Text
AUTHORS: Marta Rocha; Jose Fernando Oliveira ; Maria Antonia Carravilla ;
PUBLISHED: 2014, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 217, ISSUE: 1, PAGES: 463-478
AUTHORS: Marta Rocha; Jose Fernando Oliveira ; Maria Antonia Carravilla ;
PUBLISHED: 2014, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 217, ISSUE: 1, PAGES: 463-478
10620
TITLE: A Context-Aware Framework for Media Recommendation on Smartphones
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2014, SOURCE: 6th European Conference on the Use of Modern Information and Communication Technologies, ECUMICT 2014 in Lecture Notes in Electrical Engineering, VOLUME: 302 LNEE, PAGES: 87-108
AUTHORS: Otebolaku, AM; Andrade, MT ;
PUBLISHED: 2014, SOURCE: 6th European Conference on the Use of Modern Information and Communication Technologies, ECUMICT 2014 in Lecture Notes in Electrical Engineering, VOLUME: 302 LNEE, PAGES: 87-108
