Statistics
Publications
1
Citations
16
H-Index
1
Active since
2023
Affiliations
Brno University of Technology(Current)
David Chocholatý is an author at Brno University of Technology.
Publications per year
2023–2023
1
1
Solving String Constraints with Lengths by Stabilization
Yu‐Fang Chen, David Chocholatý, Vojtěch Havlena et al. · Proceedings of the ACM on Programming Languages · 2023 · 16 citations · Full text
1–1 of 1