Edit Profile (opens in new tab) Kaiser, Alexander D. Co-Author Distance Author ID: kaiser.alexander-d Published as: Kaiser, Alexander; Kaiser, Alexander D. Documents Indexed: 6 Publications since 2000, including 1 Book Co-Authors: 6 Co-Authors with 5 Joint Publications 350 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Kröning, Daniel 4 Wahl, Thomas 1 Bailey, David Harold 1 Borwein, Jonathan Michael 1 Donaldson, Alastair F. 1 Tautschnig, Michael Serials 1 Journal of Symbolic Computation 1 Information and Computation 1 Formal Methods in System Design Fields 6 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 10 times in 9 Documents Cited by ▼ Year ▼ Efficient coverability analysis by proof minimization. Zbl 1364.68138Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas 6 2012 Counterexample-guided abstraction refinement for symmetric concurrent programs. Zbl 1284.68179Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas 2 2012 Automated simplification of large symbolic expressions. Zbl 1310.68259Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D. 1 2014 Lost in abstraction: monotonicity in multi-threaded programs. Zbl 1355.68055Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas 1 2017 Lost in abstraction: monotonicity in multi-threaded programs. Zbl 1355.68055Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas 1 2017 Automated simplification of large symbolic expressions. Zbl 1310.68259Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D. 1 2014 Efficient coverability analysis by proof minimization. Zbl 1364.68138Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas 6 2012 Counterexample-guided abstraction refinement for symmetric concurrent programs. Zbl 1284.68179Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas 2 2012 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 2 Chatterjee, Krishnendu 2 Henzinger, Thomas A. 2 Otop, Jan 2 Wahl, Thomas 1 Bai, Yunjun 1 Bailey, David Harold 1 Blondin, Michael 1 Borwein, Jonathan Michael 1 Finkel, Alain 1 Jiao, Li 1 Johnson, Andrew D. 1 Kaiser, Alexander D. 1 Kang, Jiawen 1 Kröning, Daniel 1 Lazić, Marijana 1 McKenzie, Pierre 1 Miné, Antoine 1 Monat, Raphaël 1 Veith, Helmut 1 Widder, Josef Cited in 3 Serials 2 Information and Computation 1 Journal of Approximation Theory 1 Formal Methods in System Design Cited in 2 Fields 8 Computer science (68-XX) 1 Number theory (11-XX) Citations by Year