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: 24794
1714 Team MembersFilters -> Year: 2026
8581
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
8582
TITLE: A maximum power point tracking for photovoltaic systems based on Monod equation Full Text
AUTHORS: Jones C Camilo; Tatiana Guedes ; Darlan A Fernandes; J.D Melo; F.F Costa; Alfeu J Sguarezi Filho;
PUBLISHED: 2019, SOURCE: Renewable Energy, VOLUME: 130, PAGES: 428-438
AUTHORS: Jones C Camilo; Tatiana Guedes ; Darlan A Fernandes; J.D Melo; F.F Costa; Alfeu J Sguarezi Filho;
PUBLISHED: 2019, SOURCE: Renewable Energy, VOLUME: 130, PAGES: 428-438
8583
TITLE: A MCDA MODEL FOR OLIVE OIL SUPPLIER SELECTION USING MACBETH
AUTHORS: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 849-862
AUTHORS: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 849-862
8584
TITLE: A methodology to determine size and shape of plots for sugarcane plantation Full Text
AUTHORS: Adriana Cristina Cherri ; Andrea Carla Gonçalves Vianna; Rômulo Pimentel Ramos; Helenice De Oliveira Florentino;
PUBLISHED: 2019, SOURCE: Scientia Agricola, VOLUME: 76, ISSUE: 4, PAGES: 266-273
AUTHORS: Adriana Cristina Cherri ; Andrea Carla Gonçalves Vianna; Rômulo Pimentel Ramos; Helenice De Oliveira Florentino;
PUBLISHED: 2019, SOURCE: Scientia Agricola, VOLUME: 76, ISSUE: 4, PAGES: 266-273
8585
TITLE: A methodology to evaluate the uncertainties used to perform security assessment for branch overloads Full Text
AUTHORS: Vasconcelos, MH ; Goncalves, C ; Meirinhos, J; Omont, N; Pitto, A; Ceresa, G;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 112, PAGES: 169-177
AUTHORS: Vasconcelos, MH ; Goncalves, C ; Meirinhos, J; Omont, N; Pitto, A; Ceresa, G;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 112, PAGES: 169-177
8586
TITLE: A model for the multi-depot online vehicle routing problem with soft deadlines
AUTHORS: Silva, Á; Ferreira, LP; Pereira, MT ; Neves Moreira, F ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Innovation, Engineering and Entrepreneurship, Regional HELIX 2018 in Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 818-824
AUTHORS: Silva, Á; Ferreira, LP; Pereira, MT ; Neves Moreira, F ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Innovation, Engineering and Entrepreneurship, Regional HELIX 2018 in Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 818-824
8587
TITLE: A mosaicking technique for object identification in underwater environments
AUTHORS: Alexandra Pereira Nunes ; Ana Rita S Silva Gaspar ; Andry M Pinto ; Anibal Castilho Matos ;
PUBLISHED: 2019, SOURCE: SENSOR REVIEW, VOLUME: 39, ISSUE: 3, PAGES: 387-396
AUTHORS: Alexandra Pereira Nunes ; Ana Rita S Silva Gaspar ; Andry M Pinto ; Anibal Castilho Matos ;
PUBLISHED: 2019, SOURCE: SENSOR REVIEW, VOLUME: 39, ISSUE: 3, PAGES: 387-396
8588
TITLE: A Multi-agent System for Recommending Fire Evacuation Routes in Buildings, Based on Context and IoT
AUTHORS: Joaquim Neto; A. Jorge Morais ; Ramiro Gonçalves ; Leça L Coelho;
PUBLISHED: 2019, SOURCE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 1047, PAGES: 343-347
AUTHORS: Joaquim Neto; A. Jorge Morais ; Ramiro Gonçalves ; Leça L Coelho;
PUBLISHED: 2019, SOURCE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection - International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 1047, PAGES: 343-347
8589
TITLE: A Multi-objective Approach to the Optimization of Home Care Visits Scheduling
AUTHORS: Alves, F; Costa, L ; Rocha, AMAC ; Pereira, AI; Leitao, P ;
PUBLISHED: 2019, SOURCE: ICORES: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH AND ENTERPRISE SYSTEMS, PAGES: 435-442
AUTHORS: Alves, F; Costa, L ; Rocha, AMAC ; Pereira, AI; Leitao, P ;
PUBLISHED: 2019, SOURCE: ICORES: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH AND ENTERPRISE SYSTEMS, PAGES: 435-442
8590
TITLE: A new approach of developing games for motor rehabilitation using Microsoft Kinect
AUTHORS: Francisco M A de Araujo; Paulo Roberto F Viana Filho; Jesus A Adad Filho; Nuno M Fonseca Ferreira ; Antonio Valente ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2019, SOURCE: IEEE 7th International Conference on Serious Games and Applications for Health (SeGAH) in 2019 IEEE 7TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH), PAGES: 1-6
AUTHORS: Francisco M A de Araujo; Paulo Roberto F Viana Filho; Jesus A Adad Filho; Nuno M Fonseca Ferreira ; Antonio Valente ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2019, SOURCE: IEEE 7th International Conference on Serious Games and Applications for Health (SeGAH) in 2019 IEEE 7TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH), PAGES: 1-6
8591
TITLE: A new classification of wind instruments: Orofacial considerations Full Text
AUTHORS: Clemente, M ; Joaquim Mendes ; Moreira, A; Bernardes, G ; Van Twillert, H; Ferreira, A ; Amarante, JM ;
PUBLISHED: 2019, SOURCE: Journal of Oral Biology and Craniofacial Research, VOLUME: 9, ISSUE: 3, PAGES: 268-276
AUTHORS: Clemente, M ; Joaquim Mendes ; Moreira, A; Bernardes, G ; Van Twillert, H; Ferreira, A ; Amarante, JM ;
PUBLISHED: 2019, SOURCE: Journal of Oral Biology and Craniofacial Research, VOLUME: 9, ISSUE: 3, PAGES: 268-276
8592
TITLE: A NEW GAME-BASED APPROACH FOR THE CREATIVE LEARNING OF PROGRAMMING IN THE DIGITAL MEDIA AREA
AUTHORS: Coelho, A ; Reis, L; Monteiro, J;
PUBLISHED: 2019, SOURCE: 11th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 7907-7917
AUTHORS: Coelho, A ; Reis, L; Monteiro, J;
PUBLISHED: 2019, SOURCE: 11th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 7907-7917
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef8593
TITLE: A new interior point solver with generalized correntropy for multiple gross error suppression in state estimation
AUTHORS: Shabnam Pesteh ; Hamed Moayyed; Vladimiro Miranda ; Jorge Pereira ; Victor Freitas ; Simoes Costa, AS; London Jr, JBA;
PUBLISHED: 2019, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 176, PAGES: 105937
AUTHORS: Shabnam Pesteh ; Hamed Moayyed; Vladimiro Miranda ; Jorge Pereira ; Victor Freitas ; Simoes Costa, AS; London Jr, JBA;
PUBLISHED: 2019, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 176, PAGES: 105937
8594
TITLE: A Note on Convergence of Finite Differences Schemata for Gas Network Simulation
AUTHORS: Azevedo Perdicoulis, TP ; Perestrelo, F; Almeida, R ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Process Control (PC19) in PROCEEDINGS OF THE 2019 22ND INTERNATIONAL CONFERENCE ON PROCESS CONTROL (PC19), PAGES: 274-279
AUTHORS: Azevedo Perdicoulis, TP ; Perestrelo, F; Almeida, R ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Process Control (PC19) in PROCEEDINGS OF THE 2019 22ND INTERNATIONAL CONFERENCE ON PROCESS CONTROL (PC19), PAGES: 274-279
INDEXED IN: 
Scopus WOS
Scopus WOS8595
TITLE: A Note on Convergence of Finite Differences Schemata for Gas Network Simulation
AUTHORS: T-P Azevedo-Perdicoulis ; Perestrelo, F; Almeida, R;
PUBLISHED: 2019, SOURCE: 2019 22nd International Conference on Process Control (PC19)
AUTHORS: T-P Azevedo-Perdicoulis ; Perestrelo, F; Almeida, R;
PUBLISHED: 2019, SOURCE: 2019 22nd International Conference on Process Control (PC19)
8596
TITLE: A novel approach for distant wind farm interconnection: Iran South-West wind farms integration Full Text
AUTHORS: Javadi, MS ; Razavi, SE; Ahmadi, A; Siano, P;
PUBLISHED: 2019, SOURCE: RENEWABLE ENERGY, VOLUME: 140, PAGES: 737-750
AUTHORS: Javadi, MS ; Razavi, SE; Ahmadi, A; Siano, P;
PUBLISHED: 2019, SOURCE: RENEWABLE ENERGY, VOLUME: 140, PAGES: 737-750
8597
TITLE: A Novel Intrusion Detection System Architecture for Internet of Things Networks
AUTHORS: Leonel Santos; Ramiro Goncalves ; Carlos Rabadao ;
PUBLISHED: 2019, SOURCE: 18th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 18TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS 2019), VOLUME: 2019-July, PAGES: 428-435
AUTHORS: Leonel Santos; Ramiro Goncalves ; Carlos Rabadao ;
PUBLISHED: 2019, SOURCE: 18th European Conference on Cyber Warfare and Security (ECCWS) in PROCEEDINGS OF THE 18TH EUROPEAN CONFERENCE ON CYBER WARFARE AND SECURITY (ECCWS 2019), VOLUME: 2019-July, PAGES: 428-435
INDEXED IN: Scopus WOS
Scopus WOS8598
TITLE: A Novel Method for Scatterers Type Enumeration in Polydisperse Suspensions through Fiber Trapping and Unsupervised Scattering Analysis
AUTHORS: Joana S Paiva ; Rita S R Ribeiro; Pedro A S Jorge ; Carla C Rosa; Sampaio, P ; Joao P S Cunha ;
PUBLISHED: 2019, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues XVII in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES XVII, VOLUME: 10881
AUTHORS: Joana S Paiva ; Rita S R Ribeiro; Pedro A S Jorge ; Carla C Rosa; Sampaio, P ; Joao P S Cunha ;
PUBLISHED: 2019, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues XVII in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES XVII, VOLUME: 10881
8599
TITLE: A Pan-cancer Transcriptome Analysis Reveals Pervasive Regulation through Alternative Promoters
AUTHORS: Demircioglu, D; Cukuroglu, E; Kindermans, M; Nandi, T; Calabrese, C; Fonseca, NA ; Kahles, A; Kjong Van Lehmann, ; Stegle, O; Brazma, A; Brooks, AN; Ratsch, G; Tan, P; Goke, J;
PUBLISHED: 2019, SOURCE: CELL, VOLUME: 178, ISSUE: 6, PAGES: 1465-+
AUTHORS: Demircioglu, D; Cukuroglu, E; Kindermans, M; Nandi, T; Calabrese, C; Fonseca, NA ; Kahles, A; Kjong Van Lehmann, ; Stegle, O; Brazma, A; Brooks, AN; Ratsch, G; Tan, P; Goke, J;
PUBLISHED: 2019, SOURCE: CELL, VOLUME: 178, ISSUE: 6, PAGES: 1465-+
8600
TITLE: A Personal Robot as an Improvement to the Customers' In-store Experience
AUTHORS: Neves, AJR ; Campos, D ; Duarte, F; Pereira, F; Inês Domingues ; Santos, J; Leao, J; Xavier, J; de Matos, L; Camarneiro, M; Penas, M; Miranda, M; Silva, R; Esteves, T;
PUBLISHED: 2019, SOURCE: 6th International Conference on Smart Cities and Green ICT Systems (SMARTGREENS) / 3rd International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) in SMART CITIES, GREEN TECHNOLOGIES, AND INTELLIGENT TRANSPORT SYSTEMS, SMARTGREENS 2017, VOLUME: 921, PAGES: 296-317
AUTHORS: Neves, AJR ; Campos, D ; Duarte, F; Pereira, F; Inês Domingues ; Santos, J; Leao, J; Xavier, J; de Matos, L; Camarneiro, M; Penas, M; Miranda, M; Silva, R; Esteves, T;
PUBLISHED: 2019, SOURCE: 6th International Conference on Smart Cities and Green ICT Systems (SMARTGREENS) / 3rd International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) in SMART CITIES, GREEN TECHNOLOGIES, AND INTELLIGENT TRANSPORT SYSTEMS, SMARTGREENS 2017, VOLUME: 921, PAGES: 296-317
