Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017,... von Yang, Hongseok

Volltext

Compositional Shape Analysis by Means of Bi-Abduction von CALCAGNO, Cristiano, DISTEFANO, Dino, O'HEARN, Peter W, YANG, Hongseok

Volltext

Linearizability with Ownership Transfer von Gotsman, Alexey, Yang, Hongseok

Volltext

Retraction Note: Establishment of an Acanthamoeba keratitis mouse model confirmed by amoebic DNA amplification von Kang, Heekyoung, Sohn, Hae‑Jin, Park, A‑Young, Ham, A‑Jeong, Lee, Jeong‑Heon, Oh, Young‑Hwan, Chwae, Yong‑Joon, Kim, Kyongmin, Park, Sun, Yang, Hongseok, Jung, Suk‑Yul, Kim, Jong‑Hyun, Shin, Ho‑Joon

Volltext

Denotational validation of higher-order Bayesian inference von Ścibior, Adam, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris, Ghahramani, Zoubin

Volltext

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings von Yang, Hongseok

Volltext

A Local Shape Analysis Based on Separation Logic von Distefano, Dino, O’Hearn, Peter W., Yang, Hongseok

Volltext

Relational separation logic von Yang, Hongseok

Volltext

Relational Parametricity and Separation Logic von Birkedal, Lars, Yang, Hongseok

Volltext

Local Action and Abstract Separation Logic von Calcagno, C., O'Hearn, P.W., Hongseok Yang

Volltext

Fabrication of hierarchical Rh nanostructures by understanding the growth kinetics of facet-controlled Rh nanocrystals von Kim, Heonjo, Khi, Nguyen Tien, Yoon, Jisun, Yang, Hongseok, Chae, Youngjoo, Baik, Hionsuck, Lee, HyunKyung, Sohn, Jeong-Hun, Lee, Kwangyeol

Volltext

Abstraction for concurrent objects von Filipović, Ivana, O’Hearn, Peter, Rinetzky, Noam, Yang, Hongseok

Volltext

alpha$ -Stable convergence of heavy-/light-tailed infinitely wide neural networks von Jung, Paul, Lee, Hoil, Lee, Jiho, Yang, Hongseok

Volltext

Stable convergence of heavy-/light-tailed infinitely wide neural networks von Jung, Paul, Lee, Hoil, Lee, Jiho, Yang, Hongseok

Volltext

Effect of Diastolic Dysfunction on Early Outcomes During Elective Off-Pump Coronary Artery Bypass Grafting: A Prospective Observational Study von Youn, Young-Nam, MD, Shim, Chi Young, MD, Yang, Hongseok, MD, Hong, Soonchang, MD, Chung, Namsik, MD, Yoo, Kyung-Jong, MD

Volltext

Specification and space complexity of collaborative text editing von Attiya, Hagit, Burckhardt, Sebastian, Gotsman, Alexey, Morrison, Adam, Yang, Hongseok, Zawirski, Marek

Volltext

Possible worlds and resources: the semantics of BI von Pym, David J., O'Hearn, Peter W., Yang, Hongseok

Volltext

Hypertension as a risk factor for recurrent subretinal hemorrhage in polypoidal choroidal vasculopathy von Chung, Yoo-Ri, MD, Seo, Eoi Jong, MD, Kim, Yong Hyun, MD, Yang, Hongseok, MD, Lee, Kihwang, MD

Volltext

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference von Lee, Wonyeol, Rival, Xavier, Yang, Hongseok

Volltext

RETRACTED ARTICLE: Establishment of an Acanthamoeba keratitis mouse model confirmed by amoebic DNA amplification von Kang, Heekyoung, Sohn, Hae-Jin, Park, A-Young, Ham, A-Jeong, Lee, Jeong-Heon, Oh, Young-Hwan, Chwae, Yong-Joon, Kim, Kyongmin, Park, Sun, Yang, Hongseok, Jung, Suk-Yul, Kim, Jong-Hyun, Shin, Ho-Joon

Volltext