Automated Mapping of Real-world Oncology Laboratory Data to LOINC. - Jonathan Kelly; Chen Wang; Jianyi Zhang; Spandan Das; Anna Ren; Pradnya Warnekar (AMIA, 2021)

Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics. - Spandan Das; Sujata Ghosh (ICAART (2), 2021)

Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics. - Spandan Das; Pavithra Prabhakar (CoRR, 2021)

Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. - Spandan Das; Pavithra Prabhakar (QEST, 2022)

Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL. - Spandan Das; Pavithra Prabhakar (CoRR, 2022)

A Comprehensive Machine Learning Study to Classify Precipitation Type over Land from Global Precipitation Measurement Microwave Imager (GPM-GMI) Measurements. - Spandan Das; Yiding Wang; Jie Gong; Leah Ding; Stephen Joseph Munchak; Chenxi Wang; Dong L. Wu; Liang Liao; William S. Olson; Donifan O. Barahona (Remote. Sens., 2022)

Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. - Spandan Das; Pavithra Prabhakar (HSCC, 2023)

Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems. - Spandan Das; Pavithra Prabhakar (CoRR, 2023)

MATES: Model-Aware Data Selection for Efficient Pretraining with Data Influence Models. - Zichun Yu; Spandan Das; Chenyan Xiong (NeurIPS, 2024)

TLDR at SemEval-2024 Task 2: T5-generated clinical-Language summaries for DeBERTa Report Analysis. - Spandan Das; Vinay Samuel; Shahriar Noroozizadeh (SemEval@NAACL, 2024)