Edit Profile (opens in new tab) Wendler, Philipp Compute Distance To: Compute Author ID: wendler.philipp Published as: Wendler, Philipp Documents Indexed: 3 Publications since 2016 Co-Authors: 4 Co-Authors with 3 Joint Publications 48 Co-Co-Authors Co-Authors 0 single-authored 2 Beyer, Dirk 2 Dangl, Matthias 1 Karpenkov, Egor George 1 Monniaux, David P. Serials 2 Journal of Automated Reasoning Fields 3 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 Program analysis with local policy iteration. Zbl 1475.68092Karpenkov, Egor George; Monniaux, David; Wendler, Philipp 1 2016 A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 Program analysis with local policy iteration. Zbl 1475.68092Karpenkov, Egor George; Monniaux, David; Wendler, Philipp 1 2016 all top 5 Cited by 8 Authors 1 Boutonnet, Rémy 1 Ernst, Gidon 1 Hajdu, Ákos 1 Halbwachs, Nicolas 1 Micskei, Zoltán 1 Salamati, Ali 1 Soudjani, Sadegh 1 Zamani, Majid Cited in 3 Serials 1 Automatica 1 Journal of Automated Reasoning 1 Formal Methods in System Design Cited in 4 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year