( en | de | ru )

 

Disambiguierung von "Wu, Zhilin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A decision procedure for string constraints with string/integer conversion and flat regular constraints.

, , , , und . Acta Informatica, 61 (1): 23-52 (März 2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

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