... WACHTER , b . Oct. 9 , 1856 . + -5000 . II . JESSIE J. WACHTER , b . Sept. 3 , 1858 . +5001 . 1. ELSA E. WACHTER , b . Aug. 16 , 1860 . 5002. IV . EDWIN G. WACHTER , b . Feb. 2 , 1863 ; d . Dec. 1869 . +5003 . v . ALBERT G. WACHTER , b ...

... Wachter , B. Batlogg , R. G. Maines ( Solid State Commun . 38 [ 1981 ] 75/7 ) . [ 7 ] H. Boppart , P. Wachter ( Phys . Rev. Letters 53 [ 1984 ] 1759/62 ) . [ 8 ] H. Boppart , P. Wachter ( Mater . Res . Soc . Symp . Proc . 22 Pt . 1 ...

... Wachter, B.: Refined Probabilistic Abstraction. Ph.D. thesis, Universitä des Saarlandes (2010) 30. Wachter, B., Zhang, L.: Best Probabilistic Transformers. In: Barthe, G., Hermenegildo, M. (eds.) VMCAI 2010. LNCS, vol. 5944, pp. 362–379 ...

... Wachter , B. , Zhang , L .: Probabilistic CEGAR . In : Gupta , A. , Malik , S. ( eds . ) CAV 2008. LNCS , vol . 5123 , pp . 162-175 . Springer , Heidelberg ( 2008 ) . doi : 10.1007 / 978-3-540-70545-1_16 22. Dehnert , C. , Gebler , D ...

... Wachter, B. Bucher, J. Malar, Europhys. Lett. 62, 343 (2003) [04A1] S. Adachi, EXCON '04, Cracow; J. Lumin. 112 7, 34 (2005) [04A2] I.A. Akimov et al., Phys. Status Solidi A 201, 412 (2004) [04E1] [04E2] [04H1] Proc. 6th Intern. Conf ...

... Wachter , B. Dal Don , M. Schmidt , M. Baldauf , A. Dinger , E. Kurtz , C. Klingshirn and H. Kalt , phys . stat . sol . ( b ) 224 ( 2001 ) 437 [ 38 ] S. Wachter , B. Dal Don , M. Baldauf , M. Schmidt , E. Kurtz , C. Klingshirn , H ...

... Wachter, B.: Variable probabilis- tic abstraction refinement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 300–316. Springer, Heidelberg (2012) [23] Hahn, E.M., Hermanns, H., Wachter, B., Zhang, L.: Pass ...

... Wachter, B. Mittelstadt, C. Russell (2018), Counterfactual explanations without opening the black box: automated decisions and the GDPR, Harvard Journal of Law & Technology, 31(2), 842–887; S. Wachter, B. Mittelstadt, L. Floridi (2017) ...

... Wachter, B., Zhang, L.: Probabilistic logical characterization. Inf. Comput. 209(2), 154–172 (2011) Hermanns, H., Wachter, B., Zhang, L.: Probabilistic CEGAR. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 162–175 ...

... Wachter, B., Zhang, L.: PASS: Abstraction Refinement for Infinite Probabilistic Models. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 353–357. Springer, Heidelberg (2010) 8. Hermanns, H., Wachter, B., Zhang, L ...