( en | de | ru )

 

Disambiguation of "Wu, Zhilin"

Author of the publication

copydeleteadd this publication to your clipboard
Solving Not-Substring Constraint withFlat Abstraction.

, , , , , , , , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 305-320. Springer, (2021)

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.

Zhilin Zhang

Zhilin Yao

Zhilin Li

Zhilin Yu

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche Chromatographie. Uni Erlangen-Nürnberg, (2009)
 

Other publications of authors with the same name

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 325-342. Springer, (2020)Model Checking Pushdown Epistemic Game Structures., , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 36-53. Springer, (2017)Regular path queries on graphs with data: A rigid approach.. CoRR, (2014)Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints., , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 509-527. Springer, (2017)The Complexity of SORE-definability Problems., , and . MFCS, volume 83 of LIPIcs, page 22:1-22:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Audio-visual continuous speech recognition using MPEG-4 compliant visual features., , , and . ICIP (1), page 960-963. IEEE, (2002)Tractability of Separation Logic with Inductive Definitions: Beyond Lists., , and . CONCUR, volume 85 of LIPIcs, page 37:1-37:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Extending Temporal Logics with Data Variable Quantifications., and . FSTTCS, volume 29 of LIPIcs, page 253-265. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Monadic Decomposition in Integer Linear Arithmetic., , , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 122-140. Springer, (2020)Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions., , and . CoRR, (2024)