Author of the publication

Analyzing Inductively Defined Properties for Recursive Data Structures.

, , , , , and . Internetware, page 221-228. ACM, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data., , and . Internetware, page 195-198. ACM, (2015)Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java., , , and . QRS, page 208-215. IEEE, (2017)Node-Set Analysis for Linked Recursive Data Structures., , , , , and . QRS, page 59-64. IEEE, (2015)Analyzing Inductively Defined Properties for Recursive Data Structures., , , , , and . Internetware, page 221-228. ACM, (2015)Precondition Calculation for Loops Iterating over Data Structures., , , , and . QRS, page 132-143. IEEE, (2016)Research on a new method of subpixel location using GA., , and . ICNC, page 4219-4223. IEEE, (2010)Incremental Call Graph Construction in Industrial Practice., , , , , and . ICSE-SEIP, page 471-482. IEEE, (2023)Prediction of temperature distribution in a furnace using the incremental deep extreme learning machine., , , , and . PeerJ Comput. Sci., (2023)Multimodal Neural Machine Translation with Search Engine Based Image Retrieval., , , and . WAT@COLING, page 89-98. International Conference on Computational Linguistics, (2022)A Framework for Array Invariants Synthesis in Induction-Loop Programs., , , , and . APSEC, page 21-30. IEEE Computer Society, (2017)