×

zbMATH — the first resource for mathematics

Hermanns, Holger

Compute Distance To:
Author ID: hermanns.holger
Published as: Hermanns, H.; Hermanns, Holger
Documents Indexed: 108 Publications since 1995, including 10 Books
all top 5

Co-Authors

4 single-authored
32 Katoen, Joost-Pieter
19 Zhang, Lijun
18 Baier, Christel
11 Turrini, Andrea
10 Haverkort, Boudewijn R.
9 Hahn, Ernst Moritz
8 Eisentraut, Christian
7 D’Argenio, Pedro Rubén
7 Ferrer Fioriti, Luis María
7 Jansen, David N.
6 Hatefi, Hassan
6 Krčál, Jan
5 Hashemi, Vahid
4 Becker, Bernd
4 Hartmanns, Arnd
4 Siegle, Markus
4 Song, Lei
4 Wachter, Björn
4 Wimmer, Ralf D.
4 Wolf, Verena
3 Braitling, Bettina
3 Křetínský, Jan
3 Lohrey, Markus
2 Biewer, Sebastian
2 Brinksma, Ed
2 Damm, Werner
2 Eisenbrand, Friedrich
2 Fränzle, Martin
2 Godskesen, Jens Chr.
2 Klaren, Ric
2 Meyer-Kayser, Joachim
2 Nielson, Flemming
2 Schuster, Johann Christoph
2 Segala, Roberto
1 Aljazzar, Husain
1 Andova, Suzana
1 Barthe, Gilles
1 Bohnenkamp, Henrik C.
1 Bravetti, Mario
1 Brázdil, Tomáš
1 Butkova, Yuliya
1 Cloth, Lucia
1 Coste, Nicolas
1 Crouzen, Pepijn
1 Dayar, Tugrul
1 Derisavi, Salem
1 Dimitrova, Rayna
1 Fietzke, Arnaud
1 Finkbeiner, Bernd
1 Folmer, J.
1 Fox, Gereon
1 Frey, Georg
1 Garavel, Hubert
1 Guck, Dennis
1 Herbstritt, Marc
1 Herzog, Ulrich
1 Hoffmann, Jörg
1 Infante-Lopez, Gabriel G.
1 Joubert, Christophe
1 Klauck, Michaela
1 Köhl, Maximilian A.
1 Krämer, Julia
1 Kwiatkowska, Marta Z.
1 Lahijanian, Morteza
1 Lantreibecq, Etienne
1 Leue, Stefan
1 Liu, Lun
1 Majumdar, Rupak
1 Niehaus, Jürgen
1 Norman, Gethin
1 Palsberg, Jens
1 Parker, David F.
1 Parma, Augusto
1 Ratschan, Stefan
1 Řehák, Vojtěch
1 Sanders, William H.
1 Serwe, Wendelin
1 She, Zhikun
1 Spieler, David
1 Stan, Daniel
1 Steinmetz, Marcel
1 Strampp, Kelley
1 Subramani, Krishnan
1 Teige, Tino
1 Timmer, Mark
1 Vester, Steen
1 Vogel-Heuser, Birgit
1 Weidenbach, Christoph
1 Wojciechowski, Piotr J.
1 Wolovick, Nicolás
1 Yang, Pengfei

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription