×

zbMATH — the first resource for mathematics

Kohlhase, Michael

Compute Distance to:
Author ID: kohlhase.michael
Published as: Kohlhase, Michael
Homepage: https://kwarc.info/people/mkohlhase
External Links: MGP · Wikidata · dblp · GND
Documents indexed: 83 Publications since 1992, including 4 Books
all top 5

Co-Authors

10single-authored
15 Rabe, Florian
10 Kohlhase, Andrea
8 Iancu, Mihnea
6 Benzmüller, Christoph Ewald
6 Horozal, Fulya
5 Franke, Andreas
5 Stamerjohanns, Heinrich
4 Brown, Chad Edward
4 David, Catalin
4 Ginev, Deyan
4 Jucovschi, Constantin
4 Sperber, Wolfram
3 Codescu, Mihai
3 Kerber, Manfred
3 Lange, Christoph
3 Miller, Bruce R.
3 Mossakowski, Till
3 Müller, Dennis
3 Sorge, Volker
3 Wiesing, Tom
2 Normann, Immanuel
2 Prodescu, Corneliu-Claudiu
2 Teschke, Olaf
2 Urban, Josef
2 Zholudev, Vyacheslav
2 Zimmer, Jürgen
1 Alama, Jesse
1 Anghelache, Romeo
1 Antoniou, Ioannis E.
1 Armando, Alessandro
1 Autexier, Serge
1 Bratsas, Charalampos
1 Brezhnev, Vladimir
1 Carette, Jacques
1 Cheikhrouhou, Lassaad
1 Corneli, Joseph
1 Davenport, James Harold
1 Dehaye, Paul-Olivier
1 Dietrich, Dominik
1 Dimou, Anastasia
1 Farmer, William M.
1 Fiedler, Armin
1 Freksa, Christian
1 Fürsich, Michael
1 Gauthier, Thibault
1 Grigore, Mihai
1 Hambasan, Radu
1 Hess, Stephan M.
1 Hilf, Eberhard R.
1 Horacek, Helmut
1 Hutter, Dieter
1 Iacob, Alin
1 Ion, Patrick D.F.
1 Johansson, Moa
1 Jucovshi, Constantin
1 Jung, Christoph G.
1 Kaliszyk, Cezary
1 Kohlhase, Lukas
1 Koller, Alexander
1 Konovalov, Alexander B.
1 Koprucki, Thomas
1 Lelièvre, Samuel
1 Luzhnica, Enxhell
1 Mamane, Lionel Elie
1 Mance, Felix
1 Matican, Bogdan A.
1 Meier, Andreas
1 Melis, Erica
1 Mihaljević-Brandt, Helena
1 Misey, Dimitar
1 Moschner, Markus
1 Moura, Leonardo de
1 Müller, Christine H.
1 Naumowicz, Adam
1 Oripov, Akbar
1 Pfeiffer, Markus
1 Pollet, Martin
1 Ranise, Silvio
1 Rudnicki, Piotr
1 Sacerdoti Coen, Claudio
1 Schefter, Jürgen
1 Scheja, Ortwin
1 Schill, Kerstin
1 Siekmann, Jörg H.
1 Sojakova, Kristina
1 Şucan, Ioan A.
1 Tabelow, Karsten
1 Thiéry, Nicolas Marc
1 Tompa, Frank Wm.
1 Ullrich, Carsten A.
1 Wirth, Claus-Peter
1 Wolska, Magdalena
1 Zamdzhiev, Vladimir

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline