Fabian Immler

发表

Fabian Immler, 2014, Joint Workshop of the German Research Training Groups in Computer Science.

Fabian Immler, Yong Kiam Tan, Fabian Immler, 2020, CPP.

Fabian Immler, Christoph Traut, 2018, Arch. Formal Proofs.

Fabian Immler, Yong Kiam Tan, 2019, Arch. Formal Proofs.

Johannes Hölzl, Fabian Immler, 2012, Arch. Formal Proofs.

Fabian Immler, Fabian Immler, 2018, Journal of Automated Reasoning.

Matthias Althoff, Xin Chen, Niklas Kochdumper, 2018, ARCH@ADHS.

Fabian Immler, 2011, Arch. Formal Proofs.

Matthias Althoff, Albert Rizaldi, Fabian Immler, 2016, NFM.

Matthias Althoff, Niklas Kochdumper, Fabian Immler, 2018, ARCH@ADHS.

Johannes Hölzl, Fabian Immler, Fabian Immler, 2012, ITP.

Fabian Immler, Alexander Maletzky, Fabian Immler, 2016, Arch. Formal Proofs.

Matthias Althoff, Xin Chen, Fabian Immler, 2017, ARCH@CPSWeek.

Luca Geretti, Matthias Althoff, Julien Alexandre Dit Sandretto, 2020, ARCH.

Fabian Immler, Christoph Traut, Fabian Immler, 2016, ITP.

Matthias Althoff, Tobias Nipkow, Albert Rizaldi, 2017, IFM.

Johannes Hölzl, Brian Huffman, Fabian Immler, 2013, ITP.

Matthias Althoff, Albert Rizaldi, Fabian Immler, 2018, ATVA.

Fabian Immler, Christoph Traut, Fabian Immler, 2018, Journal of Automated Reasoning.

Fabian Immler, Fabian Immler, 2015, TACAS.

Fabian Immler, Alexander Maletzky, Fabian Immler, 2018, CICM.

Fabian Immler, 2014, Arch. Formal Proofs.

Fabian Immler, Markus Wenzel, Jonas Rädle, 2019, ITP.

Fabian Immler, 2019, Arch. Formal Proofs.

Bohua Zhan, Fabian Immler, Bohua Zhan, 2021, Arch. Formal Proofs.

Fabian Immler, Fabian Immler, 2013 .