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: 19373
1707 Team MembersFilters -> Year: 2025
10501
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
10502
TITLE: A framework for analysing dynamic communities in large-scale social networks
AUTHORS: Cerqueira, V ; Oliveira, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PAGES: 235-242
AUTHORS: Cerqueira, V ; Oliveira, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PAGES: 235-242
10503
TITLE: A framework for efficient execution of data parallel irregular applications on heterogeneous systems
AUTHORS: Roberto Ribeiro; Joaõ Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2015, SOURCE: Parallel Processing Letters, VOLUME: 25, ISSUE: 2, PAGES: 1550004
AUTHORS: Roberto Ribeiro; Joaõ Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2015, SOURCE: Parallel Processing Letters, VOLUME: 25, ISSUE: 2, PAGES: 1550004
10504
TITLE: A framework for monitoring and assisting seniors with memory disabilities
AUTHORS: Paulo Novais ; Carneiro, D ; Costa, Â; Costa, R ;
PUBLISHED: 2015, SOURCE: Ambient Assisted Living, PAGES: 327-362
AUTHORS: Paulo Novais ; Carneiro, D ; Costa, Â; Costa, R ;
PUBLISHED: 2015, SOURCE: Ambient Assisted Living, PAGES: 327-362
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef10505
TITLE: A Framework for Simulator Development for Fixed Horizon, Rolling Horizon and Real Time Management Modelling and Evaluation
AUTHORS: Goran Putnik; Cátia Alves; Paulo Ávila; Luís Ferreira; Helio Castro ; Vaibhav Shah;
PUBLISHED: 2015, SOURCE: PROCEEDINGS of 2100 Projects Association Joint Conferences, VOLUME: 3
AUTHORS: Goran Putnik; Cátia Alves; Paulo Ávila; Luís Ferreira; Helio Castro ; Vaibhav Shah;
PUBLISHED: 2015, SOURCE: PROCEEDINGS of 2100 Projects Association Joint Conferences, VOLUME: 3
INDEXED IN: 
Handle
Handle10506
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
AUTHORS: Alves, S ; Fernandez, M;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
10507
TITLE: A Framework for the Secure Storage of Data Generated in the IoT
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PAGES: 175-182
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PAGES: 175-182
10508
TITLE: A Fuzzy C-Means Algorithm for Fingerprint Segmentation
AUTHORS: Pedro M Ferreira ; Ana F Sequeira ; Ana Rebelo ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 245-252
AUTHORS: Pedro M Ferreira ; Ana F Sequeira ; Ana Rebelo ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 245-252
10509
TITLE: A fuzzy logic approach for highly dependable medical wearable systems
AUTHORS: Cristina C Oliveira; Jose Machado da Silva ;
PUBLISHED: 2015, SOURCE: IEEE 20th International Mixed-Signals Test Workshop (IMSTW) in PROCEEDINGS OF THE 2015 IEEE 20TH INTERNATIONAL MIXED-SIGNAL TESTING WORKSHOP (IMSTW)
AUTHORS: Cristina C Oliveira; Jose Machado da Silva ;
PUBLISHED: 2015, SOURCE: IEEE 20th International Mixed-Signals Test Workshop (IMSTW) in PROCEEDINGS OF THE 2015 IEEE 20TH INTERNATIONAL MIXED-SIGNAL TESTING WORKSHOP (IMSTW)
10510
TITLE: A game as a tool for empirical research on the shamanic interface concept
AUTHORS: Tiago S Pinto; António Coelho ; Stephan Lukosch; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: SciTecIN'15 - Sciences and Technologies of Interaction 2015
AUTHORS: Tiago S Pinto; António Coelho ; Stephan Lukosch; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: SciTecIN'15 - Sciences and Technologies of Interaction 2015
INDEXED IN: Handle
Handle10511
TITLE: A Genetic Algorithm for Scheduling Alternative Tasks Subject to Technical Failure
AUTHORS: Fontes, DBMM ; Goncalves, JF ;
PUBLISHED: 2015, SOURCE: conference on Optimization Control and Applications in the Information Age in OPTIMIZATION, CONTROL, AND APPLICATIONS IN THE INFORMATION AGE: IN HONOR OF PANOS M. PARDALOS'S 60TH BIRTHDAY, VOLUME: 130, PAGES: 139-152
AUTHORS: Fontes, DBMM ; Goncalves, JF ;
PUBLISHED: 2015, SOURCE: conference on Optimization Control and Applications in the Information Age in OPTIMIZATION, CONTROL, AND APPLICATIONS IN THE INFORMATION AGE: IN HONOR OF PANOS M. PARDALOS'S 60TH BIRTHDAY, VOLUME: 130, PAGES: 139-152
10512
TITLE: A hybrid path-relinking method for solving two-stage stochastic integer problems. A hybrid path-relinking method for solving two-stage stochastic integer problems Full Text
AUTHORS: Amorim, P ; Costa, AM; Almada Lobo, B ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 1, PAGES: 113-127
AUTHORS: Amorim, P ; Costa, AM; Almada Lobo, B ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 1, PAGES: 113-127
10513
TITLE: A Hybrid Short-term Solar Power Forecasting Tool
AUTHORS: Filipe, JM ; Bessa, RJ ; Sumaili, J ; Tomé, R; Sousa, JN;
PUBLISHED: 2015, SOURCE: 2015 18th International Conference on Intelligent System Application to Power Systems (ISAP) in 2015 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
AUTHORS: Filipe, JM ; Bessa, RJ ; Sumaili, J ; Tomé, R; Sousa, JN;
PUBLISHED: 2015, SOURCE: 2015 18th International Conference on Intelligent System Application to Power Systems (ISAP) in 2015 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
10514
TITLE: A Kinect-Based System for Upper-Body Function Assessment in Breast Cancer Patients
AUTHORS: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLISHED: 2015, SOURCE: JOURNAL OF IMAGING, VOLUME: 1, ISSUE: 1, PAGES: 134-155
AUTHORS: Moreira, R; Magalhaes, A; Oliveira, HP ;
PUBLISHED: 2015, SOURCE: JOURNAL OF IMAGING, VOLUME: 1, ISSUE: 1, PAGES: 134-155
10515
TITLE: A Kinect-Based System to Assess Lymphedema Impairments in Breast Cancer Patients
AUTHORS: Rita Moreira; Andre Magalhaes; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 228-236
AUTHORS: Rita Moreira; Andre Magalhaes; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: 7th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2015), VOLUME: 9117, PAGES: 228-236
10516
TITLE: A linear algebra approach to OLAP Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PAGES: 283-307
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PAGES: 283-307
10517
TITLE: A Localization Method Based on Map-Matching and Particle Swarm Optimization Full Text
AUTHORS: Pinto, AM ; Moreira, AP ; Costa, PG ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 77, ISSUE: 2, PAGES: 313-326
AUTHORS: Pinto, AM ; Moreira, AP ; Costa, PG ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 77, ISSUE: 2, PAGES: 313-326
10518
TITLE: A logic for n-dimensional hierarchical refinement Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
10519
TITLE: A Logic for Robotics? Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
10520
TITLE: A Low Power Clocked Integrated-and-Fire Modulator for UWB Applications
AUTHORS: Iman Kianpour ; Bilal Hussain ; Vitor G Tavares ; Helio S Mendonca ;
PUBLISHED: 2015, SOURCE: 2015 Conference on Design of Circuits and Integrated Systems (DCIS) in 2015 Conference on Design of Circuits and Integrated Systems (DCIS)
AUTHORS: Iman Kianpour ; Bilal Hussain ; Vitor G Tavares ; Helio S Mendonca ;
PUBLISHED: 2015, SOURCE: 2015 Conference on Design of Circuits and Integrated Systems (DCIS) in 2015 Conference on Design of Circuits and Integrated Systems (DCIS)
