Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 18079

1699 Team Members
Filters -> Year: 2024
281
TÍTULO: Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921, PÁGINAS: 384-421
INDEXADO EM: Scopus DBLP
282
TÍTULO: Foundations for a Rust-Like Borrow Checker for C
AUTORES: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLICAÇÃO: 2024, FONTE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PÁGINAS: 155-165
INDEXADO EM: Scopus WOS DBLP CrossRef
283
TÍTULO: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTORES: Carvalho, Nadia; Bernardes, Gilberto ;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 305-316
INDEXADO EM: Scopus WOS CrossRef Unpaywall
284
TÍTULO: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTORES: Pereira, Samuel; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLICAÇÃO: 2024, FONTE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PÁGINAS: 317-329
INDEXADO EM: Scopus WOS CrossRef Unpaywall
285
TÍTULO: Framework for adaptive serious games  Full Text
AUTORES: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLICAÇÃO: 2024, FONTE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
286
TÍTULO: From fault detection to anomaly explanation: A case study on predictive maintenance
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PÁGINAS: 100821
INDEXADO EM: Scopus WOS CrossRef Unpaywall
287
TÍTULO: From localized to propagating surface plasmon resonances in Au nanoparticle coated optical fiber sensors and its implications in biosensing
AUTORES: Paulo dos Santos; João Mendes; Jorge Pérez-Juste; Isabel Pastoriza-Santos; Jose Almeida; Luis Coelho ;
PUBLICAÇÃO: 2024, FONTE: Photonics Research
INDEXADO EM: CrossRef
288
TÍTULO: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTORES: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PÁGINAS: 492-502
INDEXADO EM: DBLP
289
TÍTULO: From sensor fusion to knowledge distillation in collaborative LIBS and hyperspectral imaging for mineral identification  Full Text
AUTORES: Lopes, Tomas; Capela, Diana; Guimaraes, Diana ; Ferreira, Miguel F. S.; Jorge, Pedro A. S. ; Silva, Nuno A.;
PUBLICAÇÃO: 2024, FONTE: SCIENTIFIC REPORTS, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef Unpaywall
290
TÍTULO: Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo
AUTORES: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLICAÇÃO: 2024, FONTE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PÁGINAS: 61-70
INDEXADO EM: Scopus WOS DBLP CrossRef
291
TÍTULO: Fusing heterogeneous tri-dimensional information for reconstructing submerged structures in harsh sub-sea environments  Full Text
AUTORES: Leite, Pedro Nuno; Pinto, Andry Maykol ;
PUBLICAÇÃO: 2024, FONTE: INFORMATION FUSION, VOLUME: 103, PÁGINAS: 102126
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
292
TÍTULO: Fusion of Time-of-Flight Based Sensors with Monocular Cameras for a Robotic Person Follower  Full Text
AUTORES: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef Unpaywall
293
TÍTULO: Fuzzy Super-Twisting Sliding Mode Controller for Switched Reluctance Wind Power Generator in Low-Voltage DC Microgrid Applications  Full Text
AUTORES: Touati, Zeineb; Mahmoud, Imed; Araujo, Rui Esteves ; Khedher, Adel;
PUBLICAÇÃO: 2024, FONTE: ENERGIES, VOLUME: 17, NÚMERO: 6, PÁGINAS: 1416
INDEXADO EM: Scopus WOS CrossRef Unpaywall
294
TÍTULO: GAMAI, an AI-Powered Programming Exercise Gamifier Tool
AUTORES: Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Tullio Ciricillo; Dario Caramiello; Diana Di Luccio; Sokol Kosta; Robertas Damasevicius; Rytis Maskeliunas; Ricardo Queirós ; Jakub Swacha;
PUBLICAÇÃO: 2024, FONTE: 25th International Conference on Artificial Intelligence in Education, AIED 2024 in Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky - 25th International Conference, AIED 2024, Recife, Brazil, July 8-12, 2024, Proceedings, Part I, VOLUME: 2150, PÁGINAS: 485-493
INDEXADO EM: Scopus DBLP CrossRef
295
TÍTULO: Gamification Approaches to Immigrants Experiences and Issues. A Systematic Review
AUTORES: Diogo Martins; Carla Fernandes; Maria Joana Campos; Marta Campos Ferreira ;
PUBLICAÇÃO: 2024, FONTE: The International Journal of Information, Diversity, & Inclusion (IJIDI), PÁGINAS: 83-102
INDEXADO EM: CrossRef Unpaywall
296
TÍTULO: Gamification in Mobile Ticketing Systems: A Review
AUTORES: Ferreira, Marta Campos ; Gouveia, Diogo; Dias, Teresa Galvao ;
PUBLICAÇÃO: 2024, FONTE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PÁGINAS: 143-152
INDEXADO EM: Scopus WOS CrossRef Unpaywall
297
TÍTULO: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTORES: Bruno Vaz; Álvaro Figueira ;
PUBLICAÇÃO: 2024, FONTE: ACM Transactions on Multimedia Computing, Communications, and Applications
INDEXADO EM: CrossRef Unpaywall
298
TÍTULO: GDBN, A Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTORES: Fábio Coelho ; Luís Rodrigues ; João Mello; José Villar ; Ricardo Bessa;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on the European Energy Market, EEM 2024 in International Conference on the European Energy Market, EEM, VOLUME: 158, PÁGINAS: 1-6
INDEXADO EM: Scopus CrossRef: 2 Unpaywall
299
TÍTULO: GERF - Gamified Educational Virtual Escape Room Framework for Innovative Micro-Learning and Adaptive Learning Experiences
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2024, FONTE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PÁGINAS: 140-148
INDEXADO EM: Scopus CrossRef
300
TÍTULO: Guest Editorial Introduction to the Special Section on Next Generation Zero-Emission Vehicles
AUTORES: de Castro, Ricardo; Moura, Scott; Esteves, Rui E. ; Corzine, Keith;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 73, NÚMERO: 4, PÁGINAS: 4526-4529
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 15 de 904. Total de resultados: 18079.