Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Image Super-Resolution via Iterative Refinement, , , , , and . (2021)Ordinal definability and combinatorics of equivalence relations.. J. Math. Log., 19 (2): 1950009:1-1950009:24 (2019)Model Checking Large Software Specifications., , , , , , and . SIGSOFT FSE, page 156-166. ACM, (1996)Privacy Partition: A Privacy-Preserving Framework for Deep Neural Networks in Edge Networks., , , , , , , , , and 2 other author(s). SEC, page 378-380. IEEE, (2018)Improving Efficiency of Symbolic Model Checking for State-Based System Requirements., , , and . ISSTA, page 102-112. ACM, (1998)Noise2Music: Text-conditioned Music Generation with Diffusion Models., , , , , , , , , and 4 other author(s). CoRR, (2023)Distributed asynchronous optimization of convolutional neural networks., and . INTERSPEECH, page 1073-1077. ISCA, (2014)Temporal-Locig Queries.. CAV, volume 1855 of Lecture Notes in Computer Science, page 450-463. Springer, (2000)Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints., , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 316-327. Springer, (1997)Model Checking Large Software Specifications., , , , , , and . IEEE Trans. Software Eng., 24 (7): 498-520 (1998)