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)Model Checking Large Software Specifications., , , , , , and . SIGSOFT FSE, page 156-166. ACM, (1996)Improving Efficiency of Symbolic Model Checking for State-Based System Requirements., , , and . ISSTA, page 102-112. ACM, (1998)Ordinal definability and combinatorics of equivalence relations.. J. Math. Log., 19 (2): 1950009:1-1950009:24 (2019)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)Privacy Partition: A Privacy-Preserving Framework for Deep Neural Networks in Edge Networks., , , , , , , , , and 2 other author(s). SEC, page 378-380. IEEE, (2018)Distributed asynchronous optimization of convolutional neural networks., and . INTERSPEECH, page 1073-1077. ISCA, (2014)Noise2Music: Text-conditioned Music Generation with Diffusion Models., , , , , , , , , and 4 other author(s). CoRR, (2023)Cascaded Diffusion Models for High Fidelity Image Generation., , , , , and . CoRR, (2021)