Edit Profile (opens in new tab) Zwirchmayr, Jakob Compute Distance To: Compute Author ID: zwirchmayr.jakob Published as: Zwirchmayr, Jakob Documents Indexed: 4 Publications since 2010 Co-Authors: 5 Co-Authors with 3 Joint Publications 228 Co-Co-Authors Co-Authors 1 single-authored 3 Kovács, Laura Ildikó 2 Knoop, Jens 1 Černý, Pavol 1 Henzinger, Thomas A. 1 Radhakrishna, Arjun Serials 1 Journal of Symbolic Computation Fields 4 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Segment abstraction for worst-case execution time analysis. Zbl 1335.68049Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 1 2015 Segment abstraction for worst-case execution time analysis. Zbl 1335.68049Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 1 2015 Cited by 2 Authors 1 Hoffmann, Jan-Philipp 1 Lichtman, Benjamin Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year