[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Debugging of Dependability Models Using Interactive Visualization of Counterexamples
- 作者Aljazzar, Husain; Leue, Stefan
- 文件大小1417.31KB
- 发表时间2008
- DOI10.1109/QEST.2008.40
- 页码189-198
Saturating the holographic entropy boundBousso, Raphael; Freivogel, Ben; Leichenauer, Stefan · Physical Review D · 2010
Quantum focusing conjectureBousso, Raphael; Fisher, Zachary; Leichenauer, Stefan; Wall, Aron C. · Physical Review D · 2016
Light-sheets and AdS/CFTBousso, Raphael; Leichenauer, Stefan; Rosenhaus, Vladimir · Physical Review D · 2012
Boundary definition of a multiverse measureBousso, Raphael; Freivogel, Ben; Leichenauer, Stefan; Rosenhaus, Vladimir · Physical Review D · 2010
Predictions from star formation in the multiverseBousso, Raphael; Leichenauer, Stefan · Physical Review D · 2010
Eternal inflation predicts that time will endBousso, Raphael; Freivogel, Ben; Leichenauer, Stefan; Rosenhaus, Vladimir · Physical Review D · 2011
Proof of the quantum null energy conditionBousso, Raphael; Fisher, Zachary; Koeller, Jason; Leichenauer, Stefan; Wall, Aron C. · Physical Review D · 2016
Thermal properties of time machinesGonzález-Díaz, Pedro F. · Physical Review D · 2012
extension of the standard modelBasso, Lorenzo; Moretti, Stefano; Pruna, Giovanni Marco · Physical Review D · 2010
limitMilekhin, A. · Physical Review D · 2012
Minkowski vacuum stress tensor fluctuationsFord, L. H.; Roman, Thomas A. · Physical Review D · 2005
Fluctuations of the Hawking fluxWu, C.-H.; Ford, L. H. · Physical Review D · 1999
Nonstatic Schwarzschild Model of a StarRoss, James A. · Physical Review D · 1973
cosmologiesMeyer, Sven; Pace, Francesco; Bartelmann, Matthias · Physical Review D · 2012
Attractors, universality, and inflationDownes, Sean; Dutta, Bhaskar; Sinha, Kuver · Physical Review D · 2012