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
14301
TITLE: A Conceptual Relations Reference Model to the Construction and Assessment of Lightweight Ontologies
AUTHORS: Cristovao Sousa ; Antonio Soares ;
PUBLISHED: 2015, SOURCE: OnTheMove (OTM) Federated Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2015 WORKSHOPS, VOLUME: 9416, PAGES: 502-511
AUTHORS: Cristovao Sousa ; Antonio Soares ;
PUBLISHED: 2015, SOURCE: OnTheMove (OTM) Federated Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2015 WORKSHOPS, VOLUME: 9416, PAGES: 502-511
14302
TITLE: A conjectural supply function equilibrium in energy and reserve for a weekly horizon
AUTHORS: González, P; Villar, J ; Díaz, C; Campos, FA;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market, EEM 2015 in International Conference on the European Energy Market, EEM, VOLUME: 2015-August
AUTHORS: González, P; Villar, J ; Díaz, C; Campos, FA;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market, EEM 2015 in International Conference on the European Energy Market, EEM, VOLUME: 2015-August
14303
TITLE: A Consumption-Investment Problem with a Diminishing Basket of Goods
AUTHORS: Abdelrahim S Mousa ; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PAGES: 295-310
AUTHORS: Abdelrahim S Mousa ; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PAGES: 295-310
14304
TITLE: A Cross-Cultural Exploration of Austerity-based Practices around the Home
AUTHORS: Deirdre O'Loughlin; Belem Barbosa ; Maria E Eugenia Fernandez Moya; Kalipso Karantinou; Morven McEachern; Isabelle Szmigin;
PUBLISHED: 2015, SOURCE: JOURNAL OF MACROMARKETING, VOLUME: 35, ISSUE: 1, PAGES: 146-146
AUTHORS: Deirdre O'Loughlin; Belem Barbosa ; Maria E Eugenia Fernandez Moya; Kalipso Karantinou; Morven McEachern; Isabelle Szmigin;
PUBLISHED: 2015, SOURCE: JOURNAL OF MACROMARKETING, VOLUME: 35, ISSUE: 1, PAGES: 146-146
INDEXED IN: 
WOS
WOS14305
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Malta, MC ; Baptista, AA ; Parente, C ;
PUBLISHED: 2015, SOURCE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, ISSUE: 1939-‐1366, PAGES: 20-29
AUTHORS: Malta, MC ; Baptista, AA ; Parente, C ;
PUBLISHED: 2015, SOURCE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, ISSUE: 1939-‐1366, PAGES: 20-29
INDEXED IN: 
Scopus 
Handle
Scopus Handle14306
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Mariana C Malta ; Ana A Baptista; Cristina Parente ;
PUBLISHED: 2015
AUTHORS: Mariana C Malta ; Ana A Baptista; Cristina Parente ;
PUBLISHED: 2015
INDEXED IN: Handle
Handle14307
TITLE: A Decision Support Platform for IT Infrastructure Management The University of Tras-os-Montes e Alto Douro Services of Information and Communications Case Study
AUTHORS: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
14308
TITLE: A decision support system for the operational production planning and scheduling of an integrated pulp and paper mill
AUTHORS: Figueira, G ; Amorim, P ; Guimaraes, L ; Amorim Lopes, M ; Neves Moreira, F ; Almada Lobo, B ;
PUBLISHED: 2015, SOURCE: COMPUTERS & CHEMICAL ENGINEERING, VOLUME: 77, PAGES: 85-104
AUTHORS: Figueira, G ; Amorim, P ; Guimaraes, L ; Amorim Lopes, M ; Neves Moreira, F ; Almada Lobo, B ;
PUBLISHED: 2015, SOURCE: COMPUTERS & CHEMICAL ENGINEERING, VOLUME: 77, PAGES: 85-104
14309
TITLE: A Discomfort-Sensitive Chair for Pointing Out Mental Fatigue
AUTHORS: André Pimenta; Davide Carneiro ; Paulo Novais ; José Neves ;
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: 57-64
AUTHORS: André Pimenta; Davide Carneiro ; Paulo Novais ; José Neves ;
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: 57-64
14310
TITLE: A Dynamic Logic for Every Season
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 130-145
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 130-145
14311
TITLE: A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits
AUTHORS: Hugo R Gonçalves; Xin Li; Miguel Velhote Correia ; Vítor Tavares; John M Carulli Jr.; Kenneth M Butler;
PUBLISHED: 2015, SOURCE: DATE, VOLUME: 2015-April, PAGES: 1042-1047
AUTHORS: Hugo R Gonçalves; Xin Li; Miguel Velhote Correia ; Vítor Tavares; John M Carulli Jr.; Kenneth M Butler;
PUBLISHED: 2015, SOURCE: DATE, VOLUME: 2015-April, PAGES: 1042-1047
INDEXED IN: Scopus 
DBLP
Scopus DBLP14312
TITLE: A Fast Spatial Variation Modeling Algorithm for Efficient Test Cost Reduction of Analog/RF Circuits
AUTHORS: Hugo Goncalves; Xin Li; Miguel Correia ; Vitor Tavares ; John Carulli; Kenneth Butler;
PUBLISHED: 2015, SOURCE: Conference on Design Automation Test in Europe (DATE) in 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 1042-1047
AUTHORS: Hugo Goncalves; Xin Li; Miguel Correia ; Vitor Tavares ; John Carulli; Kenneth Butler;
PUBLISHED: 2015, SOURCE: Conference on Design Automation Test in Europe (DATE) in 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), PAGES: 1042-1047
INDEXED IN: WOS
WOS14313
TITLE: A fiber optic buckle transducer for measurement of in vitro tendon strain
AUTHORS: Paulo Roriz ; Antonio Ramos ; Manuel B Marques ; Jose A Simoes; Orlando Frazao ;
PUBLISHED: 2015, SOURCE: 24th International Conference on Optical Fibre Sensors (OFS) in 24TH INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS, VOLUME: 9634
AUTHORS: Paulo Roriz ; Antonio Ramos ; Manuel B Marques ; Jose A Simoes; Orlando Frazao ;
PUBLISHED: 2015, SOURCE: 24th International Conference on Optical Fibre Sensors (OFS) in 24TH INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS, VOLUME: 9634
14314
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
14315
TITLE: A Framework for Analysing Dynamic Communities in Large-scale Social Networks
AUTHORS: Vítor Cerqueira ; Márcia D B Oliveira ; João Gama ;
PUBLISHED: 2015, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 235-242
AUTHORS: Vítor Cerqueira ; Márcia D B Oliveira ; João Gama ;
PUBLISHED: 2015, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 235-242
14316
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
14317
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 CrossRef14318
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
Handle14319
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
14320
TITLE: A Framework for the Secure Storage of Data Generated in the IoT
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: ISAmI, VOLUME: 376, PAGES: 175-182
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: ISAmI, VOLUME: 376, PAGES: 175-182
