Ali Asadi

According to our database, Ali Asadi authored at least 16 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms.

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda

CoRR, 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, Jakub Svoboda, Raimundo Saona Urmeneta

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

The Effect of Performance Features of Telepresence Robots on the Personality Perception of Their Users.

Ali Asadi, Kerstin Fischer

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

Mitigating the Negative Effect of Telepresence Robots via an Empathy-Eliciting Robot Moderator.

Ali Asadi, Erica Chinzer, Davide Marocco, Kerstin Fischer

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

The effect of an empathy-eliciting intervention on the perception of telepresence robot users.

Ali Asadi, Kerstin Fischer

Proceedings of the IEEE International Conference on Advanced Robotics and Its Social Impacts, 2023

2022

Inducing Changes in Breathing Patterns Using a Soft Robot.

Ali Asadi, Oliver Niebuhr, Jonas Jørgensen, Kerstin Fischer

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

2021

Polynomial reachability witnesses via Stellensätze.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Inductive Reachability Witnesses.

Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi

CoRR, 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

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.

Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

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

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

An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function.

Mohsen Mahrami, Habibollah Haron, Ali Asadi

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

2013

Optimization of fracture behavior of alumina/silicon carbide nano ceramic.

Naser Kordani, Ali Sadough Vanini, Ali Asadi, Amin Jabbari

Neural Comput. Appl., 2013

2007

Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles.

Ali Asadi, Mohammad Reza Razzazi

Proceedings of the Selected Papers of the Fifth International Conference on, 2007