( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.

, , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 790-795. Springer, (2013)

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.

Samin Karim

Sarah Sylvie Saminadin-Peter

Agus Setiano Samingan

Ali Samini

Ishtiaq Ahmed

 

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

Bringing LTL Model Checking to Biologists., , , , , , , , , и 1 other автор(ы). VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2017)Diagnosing Abstraction Failure for Separation Logic-Based Analyses., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 155-173. Springer, (2012)NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition., , , , , , , , и . ICLR, OpenReview.net, (2021)"Share and Enjoy": Publishing Useful and Usable Scientific Models., , , и . UCC, стр. 957-961. IEEE Computer Society, (2014)Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems., , , , , , , , и . INTERSPEECH, стр. 3565-3569. ISCA, (2020)At the interface of biology and computation., , , , , , , и . CHI, стр. 493-502. ACM, (2013)The semantics of power and ARM multiprocessor machine code., , , , , , и . DAMP, стр. 13-24. ACM, (2009)Design Verification of the Quantum Control Stack., , , , , , и . CoRR, (2023)SLAyer: Memory Safety for Systems-Level Code., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 178-183. Springer, (2011)Resourceful Reachability as HORN-LA., , , , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 137-146. Springer, (2013)