共 50 条
- [1] String Extension Learning Despite Noisy Intrusions INTERNATIONAL CONFERENCE ON GRAMMATICAL INFERENCE, VOL 217, 2023, 217 : 80 - 95
- [3] String Analysis as an Abstract Interpretation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 294 - 308
- [4] On the Expressive Power of String Constraints PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL):
- [5] The Many Facets of String Transducers 36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019), 2019,
- [7] Word Equations in the Context of String Solving DEVELOPMENTS IN LANGUAGE THEORY (DLT 2022), 2022, 13257 : 13 - 32
- [9] The Capacity of String-Duplication Systems 2014 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2014, : 1301 - 1305