( en | de | ru )

 

Disambiguation of "Wu, Zhilin"

Author of the publication

copydeleteadd this publication to your clipboard
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.

, , and . SOFSEM, volume 11376 of Lecture Notes in Computer Science, page 206-220. 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. 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

Regular path queries on graphs with data: A rigid approach.. CoRR, (2014)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)SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits., , , , and . CoRR, (2023)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)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)Audio-visual continuous speech recognition using MPEG-4 compliant visual features., , , and . ICIP (1), page 960-963. IEEE, (2002)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)Feasibility of motion planning on acyclic and strongly connected directed graphs., and . Discret. Appl. Math., 158 (9): 1017-1028 (2010)