×

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 · ORCID · dblp · GND
Documents Indexed: 100 Publications since 1992, including 4 Books
all top 5

Co-Authors

10 single-authored
24 Rabe, Florian
11 Kohlhase, Andrea
8 Iancu, Mihnea
8 Müller, Dennis
7 Benzmüller, Christoph Ewald
6 Horozal, Fulya
6 Kerber, Manfred
6 Wiesing, Tom
5 Franke, Andreas
5 Stamerjohanns, Heinrich
4 Brown, Chad Edward
4 David, Catalin
4 Ginev, Deyan
4 Jucovschi, Constantin
4 Sorge, Volker
4 Sperber, Wolfram
3 Codescu, Mihai
3 Lange, Christoph
3 Miller, Bruce R.
3 Mossakowski, Till
2 Cheikhrouhou, Lassaad
2 Fiedler, Armin
2 Hutter, Dieter
2 Meier, Andreas
2 Melis, Erica
2 Normann, Immanuel
2 Pfeiffer, Markus
2 Prodescu, Corneliu-Claudiu
2 Sacerdoti Coen, Claudio
2 Siekmann, Jörg H.
2 Teschke, Olaf
2 Thiéry, Nicolas Marc
2 Urban, Josef
2 Zholudev, Vyacheslav
2 Zimmer, Jürgen
1 Alama, Jesse
1 Amann, Kai
1 Anghelache, Romeo
1 Antoniou, Ioannis E.
1 Armando, Alessandro
1 Autexier, Serge
1 Berčič, Katja
1 Betzendahl, Jonas
1 Bratsas, Charalampos
1 Brezhnev, Vladimir
1 Carette, Jacques
1 Condoluci, Andrea
1 Corneli, Joseph
1 Davenport, James Harold
1 De Feo, Luca
1 de Moura, Leonardo
1 Dehaye, Paul-Olivier
1 Dietrich, Dominik
1 Dimou, Anastasia
1 Farmer, William M.
1 Fehrer, Detlef
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 Huang, Xiaorong
1 Iacob, Alin
1 Ion, Patrick D. F.
1 Johann, Patricia
1 Johansson, Moa
1 Jucovshi, Constantin
1 Jung, Christoph G.
1 Kaliszyk, Cezary
1 Kohlhase, Lukas
1 Koller, Alexander
1 Konovalov, Alexander B.
1 Konrad, Karsten
1 Koprucki, Thomas
1 Köstler, Harald
1 Lelièvre, Samuel
1 Luzhnica, Enxhell
1 Mamane, Lionel Elie
1 Mance, Felix
1 Matican, Bogdan A.
1 Mihaljević, Helena
1 Misey, Dimitar
1 Moschner, Markus
1 Müller, Christine H.
1 Naumowicz, Adam
1 Oripov, Akbar
1 Ouypornkochagorn, Taweechai
1 Owre, Sam
1 Pollet, Martin
1 Pollinger, Theresa
1 Ranise, Silvio
1 Rudnicki, Piotr
1 Schaarschmidt, Wolf
1 Schefter, Jürgen
1 Scheja, Ortwin
1 Schill, Kerstin
1 Sojakova, Kristina
...and 9 more Co-Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline