The following publications are possibly variants of this publication:
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution)Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele. TACAS 2020: 418-422 [doi]
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski. TACAS 2023: 582-587 [doi]
- Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution)Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler. TACAS 2018: 452-456 [doi]
- Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution)Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski. TACAS 2024: 418-423 [doi]
- Ultimate Kojak - (Competition Contribution)Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski. TACAS 2014: 421-423 [doi]
- Ultimate Automizer with SMTInterpol - (Competition Contribution)Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski. TACAS 2013: 641-643 [doi]