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
5401
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
5402
TITLE: A generalized program verification workflow based on loop elimination and SA form
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PAGES: 75-84
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PAGES: 75-84
5403
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
5404
TITLE: A GENETIC ALGORITHM FOR A MULTI-PRODUCT DISTRIBUTION PROBLEM
AUTHORS: Bruno Cretú; Faculdade de Economia da Universidade do Porto, Porto, Portugal, ; Dalila B M M Fontes; Seyed Mahdi Homayouni ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 901-914
AUTHORS: Bruno Cretú; Faculdade de Economia da Universidade do Porto, Porto, Portugal, ; Dalila B M M Fontes; Seyed Mahdi Homayouni ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 901-914
5405
TITLE: A hardware-independent solution for high-performance simulations of the Maxwell-Bloch system
AUTHORS: Nuno A Silva ; Ferreira, TD ; Guerreiro, A ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
AUTHORS: Nuno A Silva ; Ferreira, TD ; Guerreiro, A ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
5406
TITLE: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
INDEXED IN: 
WOS
WOS5407
TITLE: A Kernel Principal Component Regressor for LPV System Identification
AUTHORS: Paulo Lopes dos Santos ; Azevedo P A Perdicoulis ;
PUBLISHED: 2019, SOURCE: 3rd International-Federation-of-Automatic-Control (IFAC) Workshop on Linear Parameter Varying Systems (LPVS) in IFAC PAPERSONLINE, VOLUME: 52, ISSUE: 28, PAGES: 7-12
AUTHORS: Paulo Lopes dos Santos ; Azevedo P A Perdicoulis ;
PUBLISHED: 2019, SOURCE: 3rd International-Federation-of-Automatic-Control (IFAC) Workshop on Linear Parameter Varying Systems (LPVS) in IFAC PAPERSONLINE, VOLUME: 52, ISSUE: 28, PAGES: 7-12
5408
TITLE: A Line Follower Educational Mobile Robot Performance Robustness Increase Using a Competition as Benchmark
AUTHORS: Jose Goncalves ; Vitor H Pinto ; Paulo Costa ;
PUBLISHED: 2019, SOURCE: 6th International Conference on Control, Decision and Information Technologies (CoDIT) in 2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), PAGES: 934-939
AUTHORS: Jose Goncalves ; Vitor H Pinto ; Paulo Costa ;
PUBLISHED: 2019, SOURCE: 6th International Conference on Control, Decision and Information Technologies (CoDIT) in 2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), PAGES: 934-939
5409
TITLE: A Local Electricity Market Model for DSO Flexibility Trading
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2019, SOURCE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM;
PUBLISHED: 2019, SOURCE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
5410
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PAGES: 79-88
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PAGES: 79-88
5411
TITLE: A Low-Cost System to Estimate Leaf Area Index Combining Stereo Images and Normalized Difference Vegetation Index
AUTHORS: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 236-247
AUTHORS: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 236-247
5412
TITLE: A Machine Learning Based Quality of Service Estimator for Aerial Wireless Networks
AUTHORS: Eduardo Nuno Almeida ; Kelwin Fernandes; Francisco Andrade; Pedro Silva; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 1-6
AUTHORS: Eduardo Nuno Almeida ; Kelwin Fernandes; Francisco Andrade; Pedro Silva; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 1-6
5413
TITLE: A Machine Learning Model to Early Detect Low Performing Students from LMS Logged Interactions
AUTHORS: Bruno Cabral; Álvaro Figueira ;
PUBLISHED: 2019, SOURCE: Learning and Analytics in Intelligent Systems - Innovation in Information Systems and Technologies to Support Learning Research, PAGES: 145-154
AUTHORS: Bruno Cabral; Álvaro Figueira ;
PUBLISHED: 2019, SOURCE: Learning and Analytics in Intelligent Systems - Innovation in Information Systems and Technologies to Support Learning Research, PAGES: 145-154
INDEXED IN: 
CrossRef
CrossRef5414
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
5415
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
5416
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
5417
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
5418
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
5419
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
5420
TITLE: A Multi-agent System for Recommending Fire Evacuation Routes in Buildings, Based on Context and IoT
AUTHORS: Joaquim Neto; Jorge J 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; Jorge J 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
