( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Angelic Verification: Precise Verification Modulo Unknowns.

, , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 324-342. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Akash Mehta

Akash Patwari

Hussein Ali Akash

Abdulrhman Ahmed Akasha

Eleanor Lallis

Lügen und Belogenwerden: pädagogische Untersuchung zur wissentlichen Täuschung. Uni Wuppertal, (2008)
 

Другие публикации лиц с тем же именем

Extended Weighted Pushdown Systems., , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 434-448. Springer, (2005)Reachability Modulo Theories., и . RP, том 8169 из Lecture Notes in Computer Science, стр. 23-44. Springer, (2013)Program Analysis Using Weighted Pushdown Systems., , и . FSTTCS, том 4855 из Lecture Notes in Computer Science, стр. 23-51. Springer, (2007)A program transformation for faster goal-directed search., и . FMCAD, стр. 147-154. IEEE, (2014)Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation., и . Comput. Lang. Syst. Struct., (2017)Building Reliable Cloud Services Using P# (Experience Report)., , , и . CoRR, (2020)PostHat and All That: Automating Abstract Interpretation., , , и . TAPAS@SAS, том 311 из Electronic Notes in Theoretical Computer Science, стр. 15-32. Elsevier, (2013)SMACK+Corral: A Modular Verifier - (Competition Contribution)., , , , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 451-454. Springer, (2015)Concurrency Testing: A Journey from Research to Practice.. ISEC, стр. 1:1. ACM, (2024)Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis., и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 37-51. Springer, (2008)