( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

, , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 175-195. Springer, (2024)

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.

Yeshawant Prabhu

Sumanth Kaushik

Robindra Prabhu

Bentval Prabhu

George Mathias Prabhu

 

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

Multi-class Text Classification using BERT-based Active Learning., , и . DaSH@KDD, (2021)Solving Constrained Horn Clauses Using Syntax and Data., , , и . FMCAD, стр. 1-9. IEEE, (2018)Maximal Quantified Precondition Synthesis for Linear Array Loops., , и . ESOP (2), том 14577 из Lecture Notes in Computer Science, стр. 245-274. Springer, (2024)Unsupervised Contextual Paraphrase Generation using Lexical Control and Reinforcement Learning., , , и . CoRR, (2021)Enhanced Text Classification using Proxy Labels and Knowledge Distillation., , и . COMAD/CODS, стр. 227-230. ACM, (2022)Quantified Invariants via Syntax-Guided Synthesis., , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 259-277. Springer, (2019)Identification of Food Quality Descriptors in Customer Chat Conversations using Named Entity Recognition., , , , и . COMAD/CODS, стр. 257-261. ACM, (2021)Weakest Precondition Inference for Non-Deterministic Linear Array Programs., , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 175-195. Springer, (2024)Efficiently Learning Safety Proofs from Appearance as well as Behaviours., , и . SAS, том 11002 из Lecture Notes in Computer Science, стр. 326-343. Springer, (2018)VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)., , , , , , , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 457-462. Springer, (2018)