2 papers
physics.optics2022
Efficient, Spectrally Tunable Single-Photon Sources Based on Chlorine-Doped ZnSe Nanopillars
Y. Kutovyi, M. M. Jansen, S. Qiao +8
Isolated impurity states in epitaxially grown semiconductor systems possess important radiative features such as distinct wavelength emission with a very short radiative lifetime a…
cs.LO2022
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
Kevin Batz, Ira Fesefeldt, Marvin Jansen +4
Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers inste…