Sign in
Ctrl K
Karlsruhe Institute of Technology (KIT)

Karlsruhe Institute of Technology (KIT)

Karlsruhe, Germany

education
funder
www.kit.edu
ROR info
Wikipedia
Map
Software (66)Projects (7)Releases (612)About

2016

10 releases
Aug 27, 2024
KeYmaera X
4.3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379654
Aug 27, 2024
KeYmaera X
4.2.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379651
Aug 27, 2024
KeYmaera X
4.2.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379648
Aug 27, 2024
KeYmaera X
4.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379645
Aug 27, 2024
KeYmaera X
4.2b2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379640
Aug 27, 2024
KeYmaera X
4.2b1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379635
Aug 27, 2024
KeYmaera X
4.1b4
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379632
Aug 27, 2024
KeYmaera X
4.1b3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379628
Sep 21, 2023
MESSy
2.51
The MESSy Consortium
DOI: 10.5281/zenodo.8367075
Sep 23, 2022
matRad
2.1.0
Mark Bangert, Eduardo Cisternas, Hubert Gabryś, Thomas Klinge, Hennig Mescher, Alexander Stadler, Niklas Wahl
DOI: 10.5281/zenodo.7107805