Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2
LibreCat: /record/10002
DOI: 10.1007/978-3-662-55146-2

Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.
LibreCat: /record/10042

Gries T. A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. 2019. doi:10.1177/0569434519846477
LibreCat: /record/10090
DOI: 10.1177/0569434519846477

König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9‑18
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying10.1145/3293883.3295702__programs operationally. In: K. Hollingsworth J, Keidar I, eds. Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. ACM; 2019:355-365. doi:10.1145/3293883.3295702
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:157-158. doi:10.18420/se2019-48
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR. 2019;abs/1905.08505.
LibreCat: /record/10096