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: 18334
1699 Team MembersFilters -> Year: 2024
1301
TITLE: Feature Extraction Towards Underwater SLAM using Imaging Sonar
AUTHORS: Oliveira, Antonio J. ; Ferreira, Bruno M. ; Cruz, Nuno A. ;
PUBLISHED: 2023, SOURCE: OCEANS Conference in OCEANS 2023 - LIMERICK
AUTHORS: Oliveira, Antonio J. ; Ferreira, Bruno M. ; Cruz, Nuno A. ;
PUBLISHED: 2023, SOURCE: OCEANS Conference in OCEANS 2023 - LIMERICK
1302
TITLE: Feature Importances as a Tool for Root Cause Analysis in Time-Series Events
AUTHORS: Michal Kuk; Szymon Bobek; Bruno Veloso ; Lala H Rajaoarisoa; Grzegorz J Nalepa;
PUBLISHED: 2023, SOURCE: 23rd International Conference on Computational Science, ICCS 2023 in Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V, VOLUME: 14077, PAGES: 408-416
AUTHORS: Michal Kuk; Szymon Bobek; Bruno Veloso ; Lala H Rajaoarisoa; Grzegorz J Nalepa;
PUBLISHED: 2023, SOURCE: 23rd International Conference on Computational Science, ICCS 2023 in Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V, VOLUME: 14077, PAGES: 408-416
1303
TITLE: Feature-Based Place Recognition Using Forward-Looking Sonar
AUTHORS: Gaspar, Ana Rita ; Matos, Anibal;
PUBLISHED: 2023, SOURCE: JOURNAL OF MARINE SCIENCE AND ENGINEERING, VOLUME: 11, ISSUE: 11, PAGES: 2198
AUTHORS: Gaspar, Ana Rita ; Matos, Anibal;
PUBLISHED: 2023, SOURCE: JOURNAL OF MARINE SCIENCE AND ENGINEERING, VOLUME: 11, ISSUE: 11, PAGES: 2198
1304
TITLE: Femoral Neck Thickness Index as an Indicator of Proximal Femur Bone Modeling
AUTHORS: Franco Goncalo, Pedro; Pereira, Ana Ines; Loureiro, Catia; Alves Pimenta, Sofia; Filipe, Vitor ; Goncalves, Lio ; Colaco, Bruno; Leite, Pedro; McEvoy, Fintan; Ginja, Mario;
PUBLISHED: 2023, SOURCE: VETERINARY SCIENCES, VOLUME: 10, ISSUE: 6, PAGES: 371
AUTHORS: Franco Goncalo, Pedro; Pereira, Ana Ines; Loureiro, Catia; Alves Pimenta, Sofia; Filipe, Vitor ; Goncalves, Lio ; Colaco, Bruno; Leite, Pedro; McEvoy, Fintan; Ginja, Mario;
PUBLISHED: 2023, SOURCE: VETERINARY SCIENCES, VOLUME: 10, ISSUE: 6, PAGES: 371
1305
TITLE: FGPE+: The Mobile FGPE Environment and the Pareto-Optimized Gamified Programming Exercise Selection Model-An Empirical Evaluation
AUTHORS: Maskeliunas, Rytis; Damasevicius, Robertas; Blazauskas, Tomas; Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: COMPUTERS, VOLUME: 12, ISSUE: 7, PAGES: 144
AUTHORS: Maskeliunas, Rytis; Damasevicius, Robertas; Blazauskas, Tomas; Swacha, Jakub; Queiros, Ricardo ; Paiva, Jose Carlos ;
PUBLISHED: 2023, SOURCE: COMPUTERS, VOLUME: 12, ISSUE: 7, PAGES: 144
1306
TITLE: Fiber Loop Mirror Based on Optical Fiber Circulator for Sensing Applications Full Text
AUTHORS: Robalinho, Paulo ; Soares, Beatriz ; Lobo, Antonio ; Silva, Susana ; Frazao, Orlando ;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 2, PAGES: 618
AUTHORS: Robalinho, Paulo ; Soares, Beatriz ; Lobo, Antonio ; Silva, Susana ; Frazao, Orlando ;
PUBLISHED: 2023, SOURCE: SENSORS, VOLUME: 23, ISSUE: 2, PAGES: 618
1307
TITLE: Fill in the blank for fashion complementary outfit product Retrieval: VISUM summer school competition Full Text
AUTHORS: Castro, Eduardo ; Ferreira, Pedro M.; Rebelo, Ana; Rio Torto, Isabel ; Capozzi, Leonardo ; Ferreira, Mafalda Falcao ; Goncalves, Tiago ; Albuquerque, Tome ; Silva, Wilson ; Afonso, Carolina; Gamelas Sousa, Ricardo; Cimarelli, Claudio; Daoudi, Nadia; Moreira, Gabriel; Yang, Hsiu yu; Hrga, Ingrid; Ahmad, Javed; Keswani, Monish; Beco, Sofia;
PUBLISHED: 2023, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 34, ISSUE: 1, PAGES: 16
AUTHORS: Castro, Eduardo ; Ferreira, Pedro M.; Rebelo, Ana; Rio Torto, Isabel ; Capozzi, Leonardo ; Ferreira, Mafalda Falcao ; Goncalves, Tiago ; Albuquerque, Tome ; Silva, Wilson ; Afonso, Carolina; Gamelas Sousa, Ricardo; Cimarelli, Claudio; Daoudi, Nadia; Moreira, Gabriel; Yang, Hsiu yu; Hrga, Ingrid; Ahmad, Javed; Keswani, Monish; Beco, Sofia;
PUBLISHED: 2023, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 34, ISSUE: 1, PAGES: 16
1308
TITLE: Filling the maize yield gap based on precision agriculture-A MaxEnt approach
AUTHORS: Norberto, M.; Sillero, N. ; Coimbra, J.; Cunha, M. ;
PUBLISHED: 2023, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 211, PAGES: 107970
AUTHORS: Norberto, M.; Sillero, N. ; Coimbra, J.; Cunha, M. ;
PUBLISHED: 2023, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 211, PAGES: 107970
1309
TITLE: Firefly and Cuckoo Search Algorithm for Scheduling Problems: A Performance Analysis
AUTHORS: Moreira, C; Costa, C; Santos, AS; Bastos, JA ; Varela, LR; Brito, MF;
PUBLISHED: 2023, SOURCE: 2nd International Conference Innovation in Engineering, ICIE 2022 in Lecture Notes in Mechanical Engineering, PAGES: 75-88
AUTHORS: Moreira, C; Costa, C; Santos, AS; Bastos, JA ; Varela, LR; Brito, MF;
PUBLISHED: 2023, SOURCE: 2nd International Conference Innovation in Engineering, ICIE 2022 in Lecture Notes in Mechanical Engineering, PAGES: 75-88
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1310
TITLE: FIRMa: A Framework to Support the Requirements Management Process Based on Information Management Tools Full Text
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
AUTHORS: Fagundes, Priscila Basto; de Macedo, Douglas Dyllon Jeronimo; Soares, Antonio Lucas ;
PUBLISHED: 2023, SOURCE: MOBILE NETWORKS & APPLICATIONS
1311
TITLE: First insight into oral microbiome diversity in Papua New Guineans reveals a specific regional signature Full Text
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
AUTHORS: Pedro, Nicole; Brucato, Nicolas; Cavadas, Bruno; Lisant, Valentine; Camacho, Rui ; Kinipi, Christopher; Leavesley, Matthew; Pereira, Luisa; Ricaut, Francois Xavier;
PUBLISHED: 2023, SOURCE: MOLECULAR ECOLOGY, VOLUME: 32, ISSUE: 10, PAGES: 2551-2564
1312
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
1313
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
INDEXED IN: 
DBLP
DBLP1314
TITLE: Flexcomm Simulator: Exploring Energy Flexibility in Software Defined Networks with ns-3
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
1315
TITLE: Flexibility Modeling and Trading in Renewable Energy Communities
AUTHORS: Agrela, Joao ; Rezende, Igor ; Soares, Tiago ; Gouveia, Clara ; Silva, Ricardo ; Villar, Jose ;
PUBLISHED: 2023, SOURCE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
AUTHORS: Agrela, Joao ; Rezende, Igor ; Soares, Tiago ; Gouveia, Clara ; Silva, Ricardo ; Villar, Jose ;
PUBLISHED: 2023, SOURCE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
1316
TITLE: FLOOR - Forklift Laser OmnidirectiOnal Robot
AUTHORS: Pinto, Vitor H. ; Ribeiro, Francisco M.; Brito, Thadeu ; Pereira, Ana I.; Lima, Jose; Costa, Paulo ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 245-250
AUTHORS: Pinto, Vitor H. ; Ribeiro, Francisco M.; Brito, Thadeu ; Pereira, Ana I.; Lima, Jose; Costa, Paulo ;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PAGES: 245-250
1317
TITLE: FluidHarmony: Defining an equal-tempered and hierarchical harmonic lexicon in the Fourier space Full Text
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
AUTHORS: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLISHED: 2023, SOURCE: JOURNAL OF NEW MUSIC RESEARCH, PAGES: 1-20
1318
TITLE: Foreword
AUTHORS: José Fernando Oliveira ;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
AUTHORS: José Fernando Oliveira ;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
INDEXED IN: Scopus
Scopus1319
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
1320
TITLE: Formally verifying Kyber Part I: Implementation Correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
INDEXED IN: DBLP
DBLP