( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Chain-Free String Constraints.

, , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 277-293. Springer, (2019)

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.

Hiep Diep-Quang

Phi-Nga Nguyen

Trong-Phi Lê

Phuong-Nguyen-Tam Bui

Langzeitoutcome und Sicherheit der systemischen Fibrinolyse mit rekombinantem Gewebsplasminogen-Aktivator bei ischämischem Schlaganfall im hinteren Stromgebiet. Uni Heidelberg, (2009)

Bui Muu

 

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

Counter-Example Guided Program Verification., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 25-42. (2016)On Solving String Constraints.. Uppsala University, Sweden, (2021)base-search.net (ftuppsalauniv:oai:DiVA.org:uu-428900).Trau: SMT solver for string constraints., , , , , , и . FMCAD, стр. 1-5. IEEE, (2018)Efficient handling of string-number conversion., , , , , , , , и . PLDI, стр. 943-957. ACM, (2020)Solving Not-Substring Constraint withFlat Abstraction., , , , , , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2021)A runtime approach for estimating resource usage., , и . SoICT, стр. 261-266. ACM, (2013)Chain-Free String Constraints., , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 277-293. Springer, (2019)Distributed Bounded Model Checking., , , и . FMCAD, стр. 47-56. IEEE, (2020)