Julian Parsert
ORCIDPublication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 16
Publications (10 Years): 16
Publications
- Julian Parsert, Elizabeth Polgreen
- Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
- Mirco Giacobbe, Daniel Kroening, Julian Parsert
- Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
- Mirco Giacobbe, Daniel Kroening, Julian ParsertNeural Termination Analysis. CoRR (2021)
- Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
- Julian Parsert, Stephanie Autherith, Cezary Kaliszyk
- Julian Parsert, Cezary KaliszykLinear Programming. Arch. Formal Proofs 2019 (2019)
- Julian Parsert, Cezary Kaliszyk
- Cezary Kaliszyk, Julian Parsert
- Yutaka Nagashima, Julian Parsert
- Yutaka Nagashima, Julian Parsert
- Julian Parsert, Cezary Kaliszyk
- Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel
- Julian Parsert, Cezary Kaliszyk