Publications
This section contains publications published by ISI over the past several decades.
Late Triassic extension of thickened lithosphere of the East Kunlun orogenic Belt, northern Tibetan Plateau: Evidence from the geochemistry and geochronology of mafic magmatism
B Zhang, Y Dong, S Sun, D He, B Hui, Y Yue, X Ren, W He
Gondwana Research 137, 99-116, 2025
Machine Learning-Enhanced Analysis and Design for Trustworthy Integrated Circuits
K Yang, Y Hu, D Chen, C Lin, Y Yi, PA Beerel, P Nuzzo
AI-Enabled Electronic Circuit and System Design: From Ideation to …, 2025
Network-informed Prompt Engineering against Organized Astroturf Campaigns under Extreme Class Imbalance
N Kanakaris, H Ping, X Xiao, NK Ahmed, L Luceri, E Ferrara, P Bogdan
WWW'25 Companion Proceedings (BeyondFacts'25), 2025
QuFeX: Quantum feature extraction module for hybrid quantum-classical deep neural networks
N Jain, A Kalev
arXiv preprint arXiv:2501.13165, 2025
R2D2: Remembering, Reflecting and Dynamic Decision Making for Web Agents
T Huang, K Basu, I Abdelaziz, P Kapanipathi, J May, M Chen
arXiv preprint arXiv:2501.12485, 2025
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
Y Xia, D Sur, AS Pingle, JV Deshmukh, M Raghothaman, S Ravi
International Conference on Verification, Model Checking, and Abstract …, 2025
Persistent HyTM via Fast Path Fine-Grained Locking
G Coccimiglio, T Brown, S Ravi
arXiv preprint arXiv:2501.14783, 2025
Making Sense Of Distributed Representations With Activation Spectroscopy
K Reing, GV Steeg, A Galstyan
arXiv preprint arXiv:2501.15435, 2025
Automating Annotation Guideline Improvements using LLMs: A Case Study
A Bibal, N Gerlek, G Muric, E Boschee, SC Fincke, M Ross, SN Minton
Proceedings of Context and Meaning: Navigating Disagreements in NLP …, 2025
Characterizing Network Structure of Anti-Trans Actors on TikTok
M Leitner, R Dorn, F Morstatter, K Lerman
arXiv preprint arXiv:2501.16507, 2025
Making Sense Of Distributed Representations With Activation Spectroscopy
K Reing, GV Steeg, A Galstyan
arXiv preprint arXiv:2501.15435, 2025
Characterizing Network Structure of Anti-Trans Actors on TikTok
M Leitner, R Dorn, F Morstatter, K Lerman
arXiv preprint arXiv:2501.16507, 2025
Characterizing Network Structure of Anti-Trans Actors on TikTok
M Leitner, R Dorn, F Morstatter, K Lerman
arXiv preprint arXiv:2501.16507, 2025
Public Health Messaging on Twitter During the COVID-19 Pandemic: Observational Study
A Rao, N Sabri, S Guo, L Raschid, K Lerman
Journal of Medical Internet Research 27, e63910, 2025
DiffusionCounterfactuals: Inferring High-dimensional Counterfactuals with Guidance of Causal Representations
J Zhu, H Xie, J Li, W Abd-Almageed
arXiv preprint arXiv:2407.20553, 2024
Ethics and fairness for diabetes artificial intelligence
J Li, W Abd-Almageed
Diabetes Digital Health, Telehealth, and Artificial Intelligence, 263-274, 2024
Poster: Security and Privacy Heterogeneous Environment for Reproducible Experimentation (SPHERE)
J Mirkovic, D Balenson, B Kocoloski, G Lawler, C Tran, J Barnes, ...
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
LoyalDiffusion: A Diffusion Model Guarding Against Data Replication
C Li, Y Zhang, D Chen, J Xu, PA Beerel
arXiv preprint arXiv:2412.01118, 2024
What Makes Vision Transformers Robust Towards Bit-Flip Attack?
X Zhou, S Kundu, D Chen, J Huang, P Beerel
International Conference on Pattern Recognition, 424-438, 2024
A Joint Optimization of Buffer and Splitter Insertion for Phase-Skipping Adiabatic Quantum-Flux-Parametron Circuits
RS Aviles, PA Beerel
2024 IEEE 42nd International Conference on Computer Design (ICCD), 534-541, 2024