Ali Asadi

202020212022202320242 4 11 13 9

Openbare toegang

2 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Krishnendu ChatterjeeProfessor, IST AustriaGeverifieerd e-mailadres voor ist.ac.at
Amir GoharshadyHong Kong University of Science and Technology (HKUST)Geverifieerd e-mailadres voor cse.ust.hk
Raimundo Julián Saona UrmenetaPhD student, IST AustriaGeverifieerd e-mailadres voor ug.uchile.cl
Jakub SvobodaIST AustriaGeverifieerd e-mailadres voor ist.ac.at

Ali Asadi

Ph.D. Student, IST Austria

Geverifieerd e-mailadres voor ist.ac.at - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Polynomial reachability witnesses via Stellensätze A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	27	2021
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth A Asadi, K Chatterjee, AK Goharshady, K Mohammadi, A Pavlogiannis International Symposium on Automated Technology for Verification and …, 2020	12	2020
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms A Asadi, K Chatterjee, R Saona, J Svoboda arXiv preprint arXiv:2405.02486, 2024		2024
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights A Asadi, K Chatterjee, R Saona, J Svoboda arXiv preprint arXiv:2405.02479, 2024		2024

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4

Citaties per jaar