Ali Asadi

Orcid: 0000-0002-4919-9917

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Hybrid quantum programming with PennyLane Lightning on HPC platforms.
CoRR, 2024

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights.
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.
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.
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.
Proceedings of the IEEE International Conference on Advanced Robotics and Its Social Impacts, 2023

2022
Inducing Changes in Breathing Patterns Using a Soft Robot.
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

2021
Polynomial reachability witnesses via Stellensätze.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Inductive Reachability Witnesses.
CoRR, 2020

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.
CoRR, 2020

Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.
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.
Comput. Ind. Eng., 2019

2014
Research on angle of the failure cone of lightweight nanoceramic/metal laminated composite in the impact test.
Neural Comput. Appl., 2014

An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

2013
Optimization of fracture behavior of alumina/silicon carbide nano ceramic.
Neural Comput. Appl., 2013

2007
Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles.
Proceedings of the Selected Papers of the Fifth International Conference on, 2007


  Loading...