Check computer science papers: citations, claims and retractions

An Extensive Formal Analysis of Multi-factor Authentication Protocols

Jacomme, C., & Kremer, S. (2021) · ACM Transactions on Privacy and Security

Advanced Authentication Protocols SecurityUser Authentication and Security Systems

Cited by 51

Speech Emotion Recognition via an Attentive Time–Frequency Neural Network

Lu, C., Zheng, W., Lian, H., Zong, Y., Tang, C., Li, S., & Zhao, Y. (2023) · IEEE Transactions on Computational Social Systems

Emotion and Mood RecognitionSpeech Recognition and Synthesis

Cited by 51

Learning to See the Wood for the Trees: Deep Laser Localization in Urban and Natural Environments on a CPU

Tinchev, G., Penate-Sanchez, A., & Fallon, M. (2019) · IEEE Robotics and Automation Letters

Robotics and Sensor-Based LocalizationAdvanced Image and Video Retrieval Techniques

Cited by 51

Igniting language intelligence: The hitchhiker’s guide from chain-of-thought reasoning to language agents

Zhang, Z., Yao, Y., Zhang, A., Tang, X., Ma, X., He, Z., Wang, Y., Gerstein, M., Wang, R., Liu, G., et al. (2025) · ACM Computing Surveys

Topic ModelingNatural Language Processing Techniques

Cited by 51

A Survey of Autoscaling in Kubernetes

Tran, M.-N., Vu, D.-D., & Kim, Y. (2022) · 2022 Thirteenth International Conference on Ubiquitous and Future Networks (ICUFN)

Cloud Computing and Resource ManagementSoftware System Performance and Reliability

Cited by 51

Comparing and Combining Virtual Hand and Virtual Ray Pointer Interactions for Data Manipulation in Immersive Analytics

Wagner, J., Stuerzlinger, W., & Nedel, L. (2021) · IEEE Transactions on Visualization and Computer Graphics

Data Visualization and AnalyticsInteractive and Immersive Displays

Cited by 51

Robot error detection using an artificial immune system

Canham, R., Jackson, A. H., & Tyrrell, A. (2003) · NASA/DoD Conference on Evolvable Hardware, 2003. Proceedings.

Artificial Immune Systems ApplicationsFault Detection and Control Systems

Cited by 51

Utilization of FPGA for onboard inference of landmark localization in CNN-based spacecraft pose estimation

Cosmas, K., & Kenichi, A. (2020) · Aerospace

Advanced Neural Network ApplicationsEmbedded Systems Design Techniques

Cited by 51

Insider Threat Detection Based on NLP Word Embedding and Machine Learning

Anul Haq, M., Abdul Rahim Khan, M., & Alshehri, M. (2022) · Intelligent Automation & Soft Computing

Network Security and Intrusion DetectionInformation and Cyber Security

Cited by 51

MULTIMODAL AFFECT MODELING AND RECOGNITION FOR EMPATHIC ROBOT COMPANIONS

CASTELLANO, G., LEITE, I., PEREIRA, A., MARTINHO, C., PAIVA, A., & MCOWAN, P. W. (2013) · International Journal of Humanoid Robotics

Emotion and Mood RecognitionSocial Robot Interaction and HRI

Cited by 51

NFTs and Cryptocurrencies—The Metamorphosis of the Economy under the Sign of Blockchain: A Time Series Approach

Apostu, S. A., Panait, M., Vasa, L., Mihaescu, C., & Dobrowolski, Z. (2022) · Mathematics

Blockchain Technology Applications and SecurityMarket Dynamics and Volatility

Cited by 51

Analyzing Modality Robustness in Multimodal Sentiment Analysis

Hazarika, D., Li, Y., Cheng, B., Zhao, S., Zimmermann, R., & Poria, S. (2022) · Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies

Sentiment Analysis and Opinion MiningEmotion and Mood Recognition

Cited by 51

Nagini: A Static Verifier for Python

Eilers, M., & Müller, P. (2018) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 51

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

DeepSeek-AI, Zhu, Q., Guo, D., Shao, Z., Yang, D., Wang, P., Xu, R., Wu, Y., Li, Y., Gao, H., et al. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 51

Multi-task paired masking with alignment modeling for medical vision-language pre-training

Zhang, K., Yang, Y., Yu, J., Jiang, H., Fan, J., Huang, Q., & Han, W. (2024) · IEEE Transactions on Multimedia

Multimodal Machine Learning ApplicationsImage Retrieval and Classification Techniques

Cited by 51

Masakhane -- Machine Translation For Africa

Orife, I., Kreutzer, J., Sibanda, B., Whitenack, D., Siminyu, K., Martinus, L., Ali, J. T., Abbott, J., Marivate, V., Kabongo, S., et al. (2020) · arXiv

Natural Language Processing TechniquesTopic Modeling

Cited by 51

Scaling and logic in the colour code on a superconducting quantum processor

Lacroix, N., Bourassa, A., Heras, F. J. H., Zhang, L. M., Bausch, J., Senior, A. W., Edlich, T., Shutty, N., Sivak, V., Bengtsson, A., et al. (2025) · Nature

Quantum Computing Algorithms and ArchitectureQuantum Information and Cryptography

Cited by 51

A Systematic Assessment of National Artificial Intelligence Policies: Perspectives from the Nordics and Beyond

van Berkel, N., Papachristos, E., Giachanou, A., Hosio, S., & Skov, M. B. (2020) · Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society

Ethics and Social Impacts of AIDigitalization, Law, and Regulation

Cited by 51

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge

Hazra, R., Martires, P. Z. D., & De Raedt, L. (2023) · arXiv

AI-based Problem Solving and PlanningNatural Language Processing Techniques

Cited by 51

Interactive 3D U-net for the segmentation of the pancreas in computed tomography scans

Boers, T. G. W., Hu, Y., Gibson, E., Barratt, D. C., Bonmati, E., Krdzalic, J., van der Heijden, F., Hermans, J. J., & Huisman, H. J. (2020) · Physics in Medicine & Biology

Medical Image Segmentation TechniquesMedical Imaging and Analysis

Cited by 51

Communication Challenges and Strategies in Distributed DevOps

Diel, E., Marczak, S., & Cruzes, D. S. (2016) · 2016 IEEE 11th International Conference on Global Software Engineering (ICGSE)

Software Engineering Techniques and PracticesTeam Dynamics and Performance

Cited by 51

e-Commerce Personalized Recommendation Based on Machine Learning Technology

Liu, L. (2022) · Mobile Information Systems

Recommender Systems and TechniquesInformation Retrieval and Search Behavior

Cited by 51

Municipal surveillance regulation and algorithmic accountability

Young, M., Katell, M., & Krafft, P. M. (2019) · Big Data & Society

Ethics and Social Impacts of AIDigitalization, Law, and Regulation

Cited by 51

Unbiasing time-dependent Variational Monte Carlo by projected quantum evolution

Sinibaldi, A., Giuliani, C., Carleo, G., & Vicentini, F. (2023) · Quantum

Quantum Computing Algorithms and ArchitectureQuantum many-body systems

Cited by 51