Ismail Alkhouri

34 papers A* 7A 1C 1Misc 2Journal 19Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra.
CoRR
Curie Kim, Carsten Portner, Mingju Liu, Steve Dai, Haoxing Ren, Brucek Khailany, Alvaro Velasquez, Ismail Alkhouri, Cunxi Yu
2026 J jnl
Understanding Untrained Deep Models for Inverse Problems [From the Guest Editors]: Algorithms and theory.
IEEE Signal Process. Mag.
Ismail Alkhouri, Evan Bell, Avrajit Ghosh, Shijun Liang, Rongrong Wang, Saiprasad Ravishankar
2025 J jnl
A Dataless Reinforcement Learning Approach to Rounding Hyperplane Optimization for Max-Cut.
CoRR
Gabriel Malikal, Ismail Alkhouri, Alvaro Velasquez, Adam M. Alessio, Saiprasad Ravishankar
2025 J jnl
A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut Problem.
CoRR
Ismail Alkhouri, Mian Wu, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025 A* conf
Differentiable Quadratic Optimization For the Maximum Independent Set Problem.
ICML
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025 — conf
Network-Regularized Diffusion Sampling For 3D Computed Tomography.
CAMSAP
Shijun Liang, Ismail Alkhouri, Qing Qu, Rongrong Wang, Saiprasad Ravishankar
2025 A* conf
SITCOM: Step-wise Triple-Consistent Diffusion Sampling For Inverse Problems.
ICML
Ismail Alkhouri, Shijun Liang, Cheng-Han Huang, Jimmy Dai, Qing Qu, Saiprasad Ravishankar, Rongrong Wang
2025 Misc conf
Sequential Diffusion-Guided Deep Image Prior for Medical Image Reconstruction.
ICASSP
Shijun Liang, Ismail Alkhouri, Qing Qu, Rongrong Wang, Saiprasad Ravishankar
2025 — conf
Tada-DIP: Input-adaptive Deep Image Prior for One-shot 3D Image Reconstruction.
IEEECONF
Evan Bell, Shijun Liang, Ismail Alkhouri, Saiprasad Ravishankar
2025 J jnl
Tada-DIP: Input-adaptive Deep Image Prior for One-shot 3D Image Reconstruction.
CoRR
Evan Bell, Shijun Liang, Ismail Alkhouri, Saiprasad Ravishankar
2024 J jnl
Controller synthesis for linear temporal logic and steady-state specifications.
Auton. Agents Multi Agent Syst.
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2024 J jnl
Dataless Quadratic Neural Networks for the Maximum Independent Set Problem.
CoRR
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2024 Misc conf
Diffusion-Based Adversarial Purification for Robust Deep Mri Reconstruction.
ICASSP
Ismail Alkhouri, Shijun Liang, Rongrong Wang, Qing Qu, Saiprasad Ravishankar
2024 A* conf
Image Reconstruction Via Autoencoding Sequential Deep Image Prior.
NeurIPS
Ismail Alkhouri, Shijun Liang, Evan Bell, Qing Qu, Rongrong Wang, Saiprasad Ravishankar
2024 A* conf
Improving Training Efficiency of Diffusion Models via Multi-Stage Framework and Tailored Multi-Decoder Architecture.
CVPR
Huijie Zhang, Yifu Lu, Ismail Alkhouri, Saiprasad Ravishankar, Dogyoon Song, Qing Qu
2024 J jnl
SITCOM: Step-wise Triple-Consistent Diffusion Sampling for Inverse Problems.
CoRR
Ismail Alkhouri, Shijun Liang, Cheng-Han Huang, Jimmy Dai, Qing Qu, Saiprasad Ravishankar, Rongrong Wang
2024 J jnl
Structure-Preserving Network Compression Via Low-Rank Induced Training Through Linear Layers Composition.
Trans. Mach. Learn. Res.
Ismail Alkhouri, Xitong Zhang, Rongrong Wang
2023 J jnl
Fooling the Big Picture in Classification Tasks.
Circuits Syst. Signal Process.
Ismail Alkhouri, George K. Atia, Wasfy Mikhael
2023 J jnl
Improving Efficiency of Diffusion Models via Multi-Stage Framework and Tailored Multi-Decoder Architectures.
CoRR
Huijie Zhang, Yifu Lu, Ismail Alkhouri, Saiprasad Ravishankar, Dogyoon Song, Qing Qu
2023 J jnl
On the Robustness of AlphaFold: A COVID-19 Case Study.
CoRR
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
2023 J jnl
Optimal Deterministic Controller Synthesis from Steady-State Distributions.
J. Autom. Reason.
Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia
2023 J jnl
Robust MRI Reconstruction by Smoothed Unrolling (SMUG).
CoRR
Shijun Liang, Van Hoang Minh Nguyen, Jinghan Jia, Ismail Alkhouri, Sijia Liu, Saiprasad Ravishankar
2022 A conf
Controller Synthesis for Omega-Regular and Steady-State Specifications.
AAMAS
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2022 A* conf
Multi-Agent Tree Search with Dynamic Reward Shaping.
ICAPS
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
2021 J jnl
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples.
CoRR
Ismail Alkhouri, Alvaro Velasquez, George K. Atia
2021 J jnl
Controller Synthesis for Omega-Regular and Steady-State Specifications.
CoRR
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
2021 A* conf
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.
AAAI
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
2021 J jnl
Steady-State Planning in Expected Reward Multichain MDPs.
J. Artif. Intell. Res.
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 — conf
A Minimax Approach to Perturbation Attacks on Hierarchical Image Classifiers.
MWSCAS
Ismail Alkhouri, Zaid Matloub, George K. Atia, Wasfy Mikhael
2020 — conf
Adversarial Attacks on Hierarchical Composite Classifiers VIA Convex Programming.
MLSP
Ismail Alkhouri, George K. Atia
2020 C conf
Adversarial Perturbation Attacks on GLRT-Based Detectors.
ISCAS
Ismail Alkhouri, George K. Atia, Wasfy Mikhael
2020 A* conf
Steady-State Policy Synthesis in Multichain Markov Decision Processes.
IJCAI
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 J jnl
Verifiable Planning in Expected Reward Multichain MDPs.
CoRR
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2019 J jnl
Large-Scale Spectrum Occupancy Learning via Tensor Decomposition and LSTM Networks.
CoRR
Mohsen Joneidi, Ismail Alkhouri, Nazanin Rahnavard