( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Android Stack Machine.

, , , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 487-504. Springer, (2018)

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.

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)
 

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

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