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: 25162
1718 Team MembersFilters -> Year: 2026
12001
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
12002
TITLE: A Review Between Consumer and Medical-Grade Biofeedback Devices for Quality of Life Studies
AUTHORS: Nogueira, P; Urbano, J; Reis, LP ; Cardoso, HL ; Silva, D ; Rocha, AP ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 570, PAGES: 275-285
AUTHORS: Nogueira, P; Urbano, J; Reis, LP ; Cardoso, HL ; Silva, D ; Rocha, AP ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 570, PAGES: 275-285
12003
TITLE: A robust optimisation framework in composite generation and transmission expansion planning considering inherent uncertainties
AUTHORS: Mansouri, SA; Javadi, MS ;
PUBLISHED: 2017, SOURCE: JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 4, PAGES: 717-730
AUTHORS: Mansouri, SA; Javadi, MS ;
PUBLISHED: 2017, SOURCE: JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 4, PAGES: 717-730
12004
TITLE: A rule-based DSS for transforming Automatically-generated Alignments into Information Integration Alignments
AUTHORS: Gouveia, A; Silva, N ; Martins, P ;
PUBLISHED: 2017, SOURCE: 19TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2017), PAGES: 181-187
AUTHORS: Gouveia, A; Silva, N ; Martins, P ;
PUBLISHED: 2017, SOURCE: 19TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2017), PAGES: 181-187
12005
TITLE: A Scalable Load Forecasting System for Low Voltage Grids
AUTHORS: Marisa Reis ; Andre Garcia; Ricardo J Bessa ;
PUBLISHED: 2017, SOURCE: IEEE Manchester PowerTech in 2017 IEEE MANCHESTER POWERTECH
AUTHORS: Marisa Reis ; Andre Garcia; Ricardo J Bessa ;
PUBLISHED: 2017, SOURCE: IEEE Manchester PowerTech in 2017 IEEE MANCHESTER POWERTECH
12006
TITLE: A Sequential Allocation Problem: The Asymptotic Distribution of Resources Full Text
AUTHORS: Osório, A ;
PUBLISHED: 2017, SOURCE: Group Decision and Negotiation, VOLUME: 26, ISSUE: 2, PAGES: 357-377
AUTHORS: Osório, A ;
PUBLISHED: 2017, SOURCE: Group Decision and Negotiation, VOLUME: 26, ISSUE: 2, PAGES: 357-377
12007
TITLE: A serious game enhancing social tenants' behavioral change towards energy efficiency
AUTHORS: Miquel Casals; Marta Gangolells; Marcel Macarulla; Alba Fuertes; Vimont, V; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: 2017 Global Internet of Things Summit, GIoTS 2017 in GIoTS, PAGES: 1-6
AUTHORS: Miquel Casals; Marta Gangolells; Marcel Macarulla; Alba Fuertes; Vimont, V; Luís Miguel Pinho ;
PUBLISHED: 2017, SOURCE: 2017 Global Internet of Things Summit, GIoTS 2017 in GIoTS, PAGES: 1-6
12008
TITLE: A Serious Games Platform for Cognitive Rehabilitation with Preliminary Evaluation
AUTHORS: Rego, PA ; Rocha, R; Faria, BM ; Reis, LP ; Moreira, PM ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, ISSUE: 1, PAGES: 10:1-10:15
AUTHORS: Rego, PA ; Rocha, R; Faria, BM ; Reis, LP ; Moreira, PM ;
PUBLISHED: 2017, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 41, ISSUE: 1, PAGES: 10:1-10:15
12009
TITLE: A simulation-optimization approach to integrate process design and planning decisions under technical and market uncertainties: A case from the chemical-pharmaceutical industry
AUTHORS: Marques, CM ; Moniz, S ; de Sousa, JP ; Barbosa Póvoa, AP ;
PUBLISHED: 2017, SOURCE: COMPUTERS & CHEMICAL ENGINEERING, VOLUME: 106, PAGES: 796-813
AUTHORS: Marques, CM ; Moniz, S ; de Sousa, JP ; Barbosa Póvoa, AP ;
PUBLISHED: 2017, SOURCE: COMPUTERS & CHEMICAL ENGINEERING, VOLUME: 106, PAGES: 796-813
12010
TITLE: A Six Sigma Approach Applied to the Analysis of Variability of an Industrial Process in the Field of the Food Industry
AUTHORS: Fatima Carneiro; Americo Azevedo ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEE IEEM) in 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), VOLUME: 2017-December, PAGES: 1672-1679
AUTHORS: Fatima Carneiro; Americo Azevedo ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEE IEEM) in 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), VOLUME: 2017-December, PAGES: 1672-1679
12011
TITLE: A spatially-explicit methodological framework based on neural networks to assess the effect of urban form on energy demand Full Text
AUTHORS: Mafalda C Silva; Isabel M Horta ; Vitor Leal ; Vitor Oliveira;
PUBLISHED: 2017, SOURCE: APPLIED ENERGY, VOLUME: 202, PAGES: 386-398
AUTHORS: Mafalda C Silva; Isabel M Horta ; Vitor Leal ; Vitor Oliveira;
PUBLISHED: 2017, SOURCE: APPLIED ENERGY, VOLUME: 202, PAGES: 386-398
12012
TITLE: A Student-friendly Approach in Teaching/Learning Theoretical Concepts in Automation
AUTHORS: Soares, F ; Leao, CP ; Oliveira, PM ;
PUBLISHED: 2017, SOURCE: 25th Mediterranean Conference on Control and Automation (MED) in 2017 25TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 1293-1298
AUTHORS: Soares, F ; Leao, CP ; Oliveira, PM ;
PUBLISHED: 2017, SOURCE: 25th Mediterranean Conference on Control and Automation (MED) in 2017 25TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 1293-1298
12013
TITLE: A Study on Load Modulation for Underwater Wireless Power Transfer
AUTHORS: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October, PAGES: 1-4
AUTHORS: Duarte, C ; Goncalves, F ; Ressurreicao, T; Gomes, R; Correia, V ; Goncalves, R; Santos, R;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October, PAGES: 1-4
12014
TITLE: A survey of innovation performance models and metrics
AUTHORS: Almeida, FL ; Santos, JD; Monteiro, JA;
PUBLISHED: 2017, SOURCE: Journal of Applied Economic Sciences, VOLUME: 12, ISSUE: 6, PAGES: 1732-1750
AUTHORS: Almeida, FL ; Santos, JD; Monteiro, JA;
PUBLISHED: 2017, SOURCE: Journal of Applied Economic Sciences, VOLUME: 12, ISSUE: 6, PAGES: 1732-1750
INDEXED IN: 
Scopus
Scopus12015
TITLE: A Survey on CSS Preprocessors
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 8:1-8:12
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 8:1-8:12
INDEXED IN: Scopus 
DBLP
Scopus DBLP12016
TITLE: A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PAGES: 88-107
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PAGES: 88-107
12017
TITLE: A System for Driver Analysis Using Smartphone as Smart Sensor
AUTHORS: Vilaça, RD; Araújo, R; Araújo, RE ;
PUBLISHED: 2017, SOURCE: 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNICAL INNOVATION FOR SMART SYSTEMS (DOCEIS 2017), VOLUME: 499, PAGES: 103-110
AUTHORS: Vilaça, RD; Araújo, R; Araújo, RE ;
PUBLISHED: 2017, SOURCE: 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNICAL INNOVATION FOR SMART SYSTEMS (DOCEIS 2017), VOLUME: 499, PAGES: 103-110
12018
TITLE: A system for visualization and analysis of online pedagogical interactions
AUTHORS: Rei, A; Figueira, Á ; Oliveira, L ;
PUBLISHED: 2017, SOURCE: 2017 International Conference on E-Education, E-Business and E-Technology, ICEBT 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131933, PAGES: 42-45
AUTHORS: Rei, A; Figueira, Á ; Oliveira, L ;
PUBLISHED: 2017, SOURCE: 2017 International Conference on E-Education, E-Business and E-Technology, ICEBT 2017 in ACM International Conference Proceeding Series, VOLUME: Part F131933, PAGES: 42-45
12019
TITLE: A tool for supporting the design of BRT and LRT services
AUTHORS: Marcos Paulo Schlickmann; Luis Miguel Martinez; Jorge Pinho de Sousa ;
PUBLISHED: 2017, SOURCE: 20th EURO-Working-Group-on-Transportation Meeting (EWGT) in 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING, EWGT 2017, VOLUME: 27, PAGES: 1171-1178
AUTHORS: Marcos Paulo Schlickmann; Luis Miguel Martinez; Jorge Pinho de Sousa ;
PUBLISHED: 2017, SOURCE: 20th EURO-Working-Group-on-Transportation Meeting (EWGT) in 20TH EURO WORKING GROUP ON TRANSPORTATION MEETING, EWGT 2017, VOLUME: 27, PAGES: 1171-1178
12020
TITLE: A Trace-based ns-3 Simulation Approach for Perpetuating Real-World Experiments
AUTHORS: Helder Fontes ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2017, SOURCE: WNS3, VOLUME: Part F128360, PAGES: 118-124
AUTHORS: Helder Fontes ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2017, SOURCE: WNS3, VOLUME: Part F128360, PAGES: 118-124
