Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2018 | Advanced Automata-based Algorithms for Program Termination Checking | Yu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang | ||||
2018 | Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) | Matthias Heizmann; Yu-Fang Chen; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li; Alexander Nutz; Betim Musa; Christian Schilling; Tanja Schindler; Andreas Podelski |