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 (63)Projects (7)Releases (589)About

Releases per year

2019

12 releases
Aug 27, 2024
KeYmaera X
4.7.4
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379991
Aug 27, 2024
KeYmaera X
4.7.3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379982
Aug 27, 2024
KeYmaera X
4.7.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379965
Aug 27, 2024
KeYmaera X
4.7.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379964
Aug 27, 2024
KeYmaera X
4.7
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379959
Aug 27, 2024
KeYmaera X
4.6.3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379954
Sep 19, 2023
MESSy
2.54.0.2
The MESSy Consortium
DOI: 10.5281/zenodo.8360200
Dec 20, 2019
Heat
0.2.1
Daniel Coquelin, Markus Goetz, Claudia Comito, Simon, Charlie Debus, Björn Hagemeier, Martin Siggel, Philipp Glock
DOI: 10.5281/zenodo.3587398
Dec 12, 2019
LiberTEM
0.3.0
Alexander Clausen, Dieter Weber, Karina Ruzaeva, Vadim Migunov, Jan Caron, Rahul Chandra, Magnus Nord, Colin Ophus, Simon Peter, Jay Schyndel van, Jaeweon Shin, Knut Müller-Caspary, Rafal Dunin-Borkowski
DOI: 10.5281/zenodo.3572855
Oct 14, 2019
LiberTEM
0.2.2
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord, Knut Müller-Caspary, Colin Ophus, Rafal Dunin-Borkowski, Karina Ruzaeva, Rahul Chandra, Jaeweon Shin, Jay van Schyndel
DOI: 10.5281/zenodo.3489385
Oct 07, 2019
LiberTEM
0.2.1
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord, Knut Müller-Caspary, Colin Ophus, Rafal Dunin-Borkowski, Karina Ruzaeva, Rahul Chandra, Jaeweon Shin, Jay van Schyndel
DOI: 10.5281/zenodo.3474968
Jan 04, 2019
Heat
0.0.5-citation
Björn Hagemeier, Claudia Comito, Markus Goetz, Martin Siggel
DOI: 10.5281/zenodo.2531473