MitoSort: Robust Demultiplexing of Pooled Single-cell Genomic Data Using Endogenous Mitochondrial Variants.
Genom. Proteom. Bioinform., 2024
Model-Guided Synthesis for LTL over Finite Traces.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Energy Efficiency Maximization Under Delay-Outage Probability Constraints Using Fluid Antenna Systems.
Proceedings of the IEEE Statistical Signal Processing Workshop, 2023
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
LTLf Satisfiability Checking via Formula Progression (S).
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
The novel and powerful ICD-11 classification system for neoplasm coding: a comparative study with the ICD-O.
BMC Medical Informatics Decis. Mak., 2022
Mixed-Granularity Human-Swarm Interaction.
Proceedings of the International Conference on Robotics and Automation, 2019