main
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
main [2024/01/31 02:12] yfc [Recent PC Duties] |
main [2024/04/22 05:21] (current) yfc [Recent Publications] |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| * Quantum Algortihms | * Quantum Algortihms | ||
| =====Recent Publications ===== | =====Recent Publications ===== | ||
| + | Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan\\ | ||
| + | A Decision Procedure for String Constraints with String/Integer Conversion and Flat Regular Constraints.\\ **Acta Informatica 2024**\\ | ||
| + | |||
| + | Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc\\ | ||
| + | Z3-Noodler: An Automata-based String Solver.\\ | ||
| + | **TACAS 2024 (Best paper nomination)**\\ | ||
| + | |||
| + | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini\\ | ||
| + | A symbolic Algorithm for the Case-split Rule in Solving Word Constraints with Extensions.\\ | ||
| + | **Journal System Software 2023**\\ | ||
| + | |||
| Yu-Fang Chen, David Chocholaty, Vojtech Havlena, Lukás Holik, Ondrej Lengal, Juraj Síc\\ | Yu-Fang Chen, David Chocholaty, Vojtech Havlena, Lukás Holik, Ondrej Lengal, Juraj Síc\\ | ||
| Solving String Constraints with Lengths by Stabilization.\\ | Solving String Constraints with Lengths by Stabilization.\\ | ||
main.txt · Last modified: 2024/04/22 05:21 by yfc
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
