CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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: 8279

531 Team Members
Filters -> Year: 2024
141
TÍTULO: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTORES: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2024, FONTE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXADO EM: DBLP
142
TÍTULO: Forecasting financial market structure from network features using machine learning
AUTORES: Douglas Castilho; Thársis T P Souza; Soong Moon Kang; João Gama ; André C P L F de Carvalho;
PUBLICAÇÃO: 2024, FONTE: Knowl. Inf. Syst., VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: DBLP
143
TÍTULO: Forecasting financial market structure from network features using machine learning PDF  Full Text
AUTORES: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLICAÇÃO: 2024, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: Scopus WOS DBLP arXiv
144
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PÁGINAS: 384-421
INDEXADO EM: Scopus WOS DBLP
145
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
146
TÍTULO: FRAFOL: FRAmework FOr Learning mutation testing
AUTORES: Pedro Tavares; Ana C R Paiva ; Domenico Amalfitano; René Just;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, PÁGINAS: 1846-1850
INDEXADO EM: Scopus DBLP CrossRef
147
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
148
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
149
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
150
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: 1
151
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
152
TÍTULO: GAMAI, an AI-Powered Programming Exercise Gamifier Tool
AUTORES: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLICAÇÃO: 2024, FONTE: 25th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, VOLUME: 2150, PÁGINAS: 485-493
INDEXADO EM: Scopus WOS DBLP CrossRef
153
TÍTULO: Game Theory for Predicting Stocks' Closing Prices  Full Text
AUTORES: Freitas, Joao Costa; Pinto, Alberto Adrego ; Felgueiras, Oscar ;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICS, VOLUME: 12, NÚMERO: 17, PÁGINAS: 2676
INDEXADO EM: Scopus WOS CrossRef
154
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
155
TÍTULO: GDBN, a Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTORES: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao; Villar, Jose ; Bessa, Ricardo ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
156
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
157
TÍTULO: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data  Full Text
AUTORES: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLICAÇÃO: 2024, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef Unpaywall
158
TÍTULO: Hardware Security for Internet of Things Identity Assurance  Full Text
AUTORES: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLICAÇÃO: 2024, FONTE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, NÚMERO: 2, PÁGINAS: 1041-1079
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
159
TÍTULO: HEIs teachers' and students' current experience of AI introduction in teaching and learning
AUTORES: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo; Ricardo Queiros ; Mario Cruz; Daniela Mascarenhas;
PUBLICAÇÃO: 2024, FONTE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PÁGINAS: 1-4
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 8 de 414. Total de resultados: 8279.