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)

Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms - Ali Asadi; Krishnendu Chatterjee; Raimundo Saona; Jakub Svoboda (44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024, December 16-18, 2024, Gandhinagar, Gujarat, India, 2024)

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights - Ali Asadi; Krishnendu Chatterjee; Jakub Svoboda; Raimundo Saona Urmeneta (Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024, 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)

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

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

Limit-sure reachability for small memory policies in POMDPs is NP-complete - Ali Asadi; Krishnendu Chatterjee; Raimundo Saona; Ali Shafiee (CoRR, 2024)

The effect of an empathy-eliciting intervention on the perception of telepresence robot users - Ali Asadi; Kerstin Fischer (IEEE International Conference on Advanced Robotics and Its Social Impacts, ARSO 2023, Berlin, Germany, June 5-7, 2023, 2023)

The Effect of Performance Features of Telepresence Robots on the Personality Perception of Their Users - Ali Asadi; Kerstin Fischer (IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering, MetroXRAINE 2023, Milano, Italy, October 25-27, 2023, 2023)

Mitigating the Negative Effect of Telepresence Robots via an Empathy-Eliciting Robot Moderator - Ali Asadi; Erica Chinzer; Davide Marocco; Kerstin Fischer (IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering, MetroXRAINE 2023, Milano, Italy, October 25-27, 2023, 2023)

Inducing Changes in Breathing Patterns Using a Soft Robot - Ali Asadi; Oliver Niebuhr; Jonas Jørgensen; Kerstin Fischer (ACM/IEEE International Conference on Human-Robot Interaction, HRI 2022, Sapporo, Hokkaido, Japan, March 7 - 10, 2022, 2022)

Polynomial reachability witnesses via Stellensätze - Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi (PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, 2021)

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth - Ali Asadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Kiarash Mohammadi; Andreas Pavlogiannis (Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, 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; Amir Kafshdar Goharshady; Mohammad Mahdavi (CoRR, 2020)

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

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)

An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function - Mohsen Mahrami; Habibollah Haron; Ali Asadi (New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Thirteenth SoMeT '14, Langkawi, Malaysia, September 22-24, 2014, 2014)

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

Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles - Ali Asadi; Mohammad Reza Razzazi (Selected Papers of the Fifth International Conference on, Computational Science and its Applications, ICCSA 2007, Kuala Lumpur, Malaysia, August 26-29, 2007, 2007)