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

2020

13 releases
Aug 27, 2024
KeYmaera X
4.9.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.13380013
Aug 27, 2024
KeYmaera X
4.9.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.13380010
Aug 27, 2024
KeYmaera X
4.9.0
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.13380004
Aug 27, 2024
KeYmaera X
4.8.0
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.13379992
Sep 19, 2023
MESSy
2.54.03
The MESSy Consortium
DOI: 10.5281/zenodo.8360212
Oct 16, 2020
Kadi4Mat
0.2.0
Nico Brandt, Lars Griem, Christoph Herrmann, Ephraim Schoof, Giovanna Tosato, Yinghan Zhao, Philipp Zschumme, Michael Selzer
DOI: 10.5281/zenodo.4088270
Aug 13, 2020
LiberTEM
0.5.1
Alexander Clausen, Dieter Weber, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Shankhadeep Dey, Sayandip Halder, Barnaby D.A. Levin, Magnus Nord, Colin Ophus, Simon Peter, Jay Schyndel van, Jaeweon Shin, Sai Sunku, Knut Müller-Caspary, Rafal E. Dunin-Borkowski
DOI: 10.5281/zenodo.3982290
May 27, 2020
Heat
v
Daniel Coquelin, Claudia Comito, Markus Goetz, Simon, Charlie Debus, Björn Hagemeier, Martin Siggel, Philipp Glock
DOI: 10.5281/zenodo.3859421
Apr 23, 2020
LiberTEM
0.5.0
Alexander Clausen, Dieter Weber, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Shankhadeep Dey, Sayandip Halder, Barnaby D.A. Levin, Magnus Nord, Colin Ophus, Simon Peter, Jay Schyndel van, Jaeweon Shin, Sai Sunku, Knut Müller-Caspary, Rafal E. Dunin-Borkowski
DOI: 10.5281/zenodo.3763313
Feb 19, 2020
Heat
0.3.0
Daniel Coquelin, Markus Goetz, Claudia Comito, Simon, Charlie Debus, Björn Hagemeier, Martin Siggel, Philipp Glock
DOI: 10.5281/zenodo.3676046
Feb 18, 2020
LiberTEM
0.4.1
Alexander Clausen, Dieter Weber, Karina Ruzaeva, Vadim Migunov, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Magnus Nord, Colin Ophus, Simon Peter, Jay Schyndel van, Jaeweon Shin, Knut Müller-Caspary, Rafal E. Dunin-Borkowski
DOI: 10.5281/zenodo.3674003
Feb 14, 2020
LiberTEM
0.4.0
Alexander Clausen, Dieter Weber, Karina Ruzaeva, Vadim Migunov, Abijith Bahuleyan, Jan Caron, Rahul Chandra, Magnus Nord, Colin Ophus, Simon Peter, Jay Schyndel van, Jaeweon Shin, Knut Müller-Caspary, Rafal E. Dunin-Borkowski
DOI: 10.5281/zenodo.3666686
Jan 30, 2020
Heat
0.2.2
Daniel Coquelin, Markus Goetz, Claudia Comito, Simon, Charlie Debus, Björn Hagemeier, Martin Siggel, Philipp Glock
DOI: 10.5281/zenodo.3632019