( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A semantic account of metric preservation.

, , , , и . POPL, стр. 545-556. ACM, (2017)

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.

Justin Lang

Justin Winter

Justin Möhring

Justin Vollmann

Justin Bayer

 

Другие публикации лиц с тем же именем

Almost Sure Productivity., , , и . ICALP, том 107 из LIPIcs, стр. 113:1-113:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A separation logic for negative dependence., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Hardware-Aware Latency Pruning for Real-Time 3D Object Detection., , , , , , , и . IV, стр. 1-6. IEEE, (2023)Expressive Policies For Microservice Networks., , и . HotNets, стр. 280-286. ACM, (2023)Differential privacy for the analyst via private equilibrium computation., , и . STOC, стр. 341-350. ACM, (2013)Privately Solving Linear Programs., , , и . ICALP (1), том 8572 из Lecture Notes in Computer Science, стр. 612-624. Springer, (2014)Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy., , , , и . LICS, стр. 1-14. IEEE, (2019)Synthesizing Probabilistic Invariants via Doob's Decomposition., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 43-61. Springer, (2016)Data Poisoning against Differentially-Private Learners: Attacks and Defenses., , и . IJCAI, стр. 4732-4738. ijcai.org, (2019)Data-Driven Invariant Learning for Probabilistic Programs., , , и . CoRR, (2021)