Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles. - Ali Asadi; Mohammad Reza Razzazi (ICCSA Workshops, 2007)

Optimization of fracture behavior of alumina/silicon carbide nano ceramic. - Naser Kordani; Ali Sadough Vanini; Ali Asadi; Amin Jabbari (Neural Comput. Appl., 2013)

An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function. - Mohsen Mahrami; Habibollah Haron; Ali Asadi (SoMeT, 2014)

Research on angle of the failure cone of lightweight nanoceramic/metal laminated composite in the impact test. - Naser Kordani; Ali Sadough; Ali Asadi (Neural Comput. Appl., 2014)

Analyzing household charging patterns of Plug-in electric vehicles (PEVs): A data mining approach. - Anoop Verma; Ali Asadi; Kai Yang 005; A. Maitra; H. Asgeirsson (Comput. Ind. Eng., 2019)

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. - Ali Asadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Kiarash Mohammadi; Andreas Pavlogiannis (ATVA, 2020)

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. - Ali Asadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Kiarash Mohammadi; Andreas Pavlogiannis (CoRR, 2020)

Inductive Reachability Witnesses. - Ali Asadi; Krishnendu Chatterjee; Hongfei Fu 001; Amir Kafshdar Goharshady; Mohammad Mahdavi (CoRR, 2020)

Polynomial reachability witnesses via Stellensätze. - Ali Asadi; Krishnendu Chatterjee; Hongfei Fu 001; Amir Kafshdar Goharshady; Mohammad Mahdavi (PLDI, 2021)

Inducing Changes in Breathing Patterns Using a Soft Robot. - Ali Asadi; Oliver Niebuhr; Jonas Jørgensen; Kerstin Fischer (HRI, 2022)

The effect of an empathy-eliciting intervention on the perception of telepresence robot users. - Ali Asadi; Kerstin Fischer (ARSO, 2023)

Mitigating the Negative Effect of Telepresence Robots via an Empathy-Eliciting Robot Moderator. - Ali Asadi; Erica Chinzer; Davide Marocco; Kerstin Fischer (MetroXRAINE, 2023)

The Effect of Performance Features of Telepresence Robots on the Personality Perception of Their Users. - Ali Asadi; Kerstin Fischer (MetroXRAINE, 2023)

Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms. - Ali Asadi; Krishnendu Chatterjee; Raimundo Saona; Jakub Svoboda (FSTTCS, 2024)

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. - Ali Asadi; Krishnendu Chatterjee; Jakub Svoboda; Raimundo Saona Urmeneta (LICS, 2024)

Hybrid quantum programming with PennyLane Lightning on HPC platforms. - Ali Asadi; Amintor Dusko; Chae-Yeun Park; Vincent Michaud-Rioux; Isidor Schoch; Shuli Shu; Trevor Vincent; Lee James O'Riordan (CoRR, 2024)

Catalyst: a Python JIT compiler for auto-differentiable hybrid quantum programs. - David Ittah; Ali Asadi; Erick Ochoa Lopez; Sergei Mironov; Samuel Banning; Romain Moyard; Mai Jacob Peng; Josh A. Izaac (J. Open Source Softw., 2024)

Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. - Ali Asadi; Krishnendu Chatterjee; Jakob de Raaij (UAI, 2025)

Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. - Ali Asadi; Krishnendu Chatterjee; Raimundo Saona; Ali Shafiee (UAI, 2025)

Qualitative Analysis of ω-Regular Objectives on Robust MDPs. - Ali Asadi; Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Ali Shafiee (CoRR, 2025)

ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games. - Ali Asadi; Léonard Brice; Krishnendu Chatterjee; K. S. Thejaswini (CoRR, 2025)