×

zbMATH — the first resource for mathematics

Hagen, George

Compute Distance To:
Author ID: hagen.george Recent zbMATH articles by "Hagen, George"
Published as: Hagen, G.; Hagen, George
Documents Indexed: 4 Publications since 2004

Serials

Publications by Year

all top 5

Cited by 92 Authors

4 Barrett, Clark W.
3 Bruttomesso, Roberto
3 Cimatti, Alessandro
3 de Moura, Leonardo
3 Sebastiani, Roberto
2 Banković, Milan
2 Blanchette, Jasmin Christian
2 Bozzano, Marco
2 Bright, Curtis
2 Christ, Jürgen
2 Ganesh, Vijay
2 Griggio, Alberto
2 Hoenicke, Jochen
2 Junttila, Tommi A.
2 Kotsireas, Ilias S.
2 Kröning, Daniel
2 Meier, Andreas
2 Nieuwenhuis, Robert
2 Ranise, Silvio
2 Reynolds, Andrew
2 Sorge, Volker
2 Strichman, Ofer
2 Stump, Aaron
2 Tinelli, Cesare
2 Tiwari, Ashish Kumar
2 van Rossum, Peter
1 Achterberg, Tobias
1 Albeverio, Sergio A.
1 Badban, Bahareh
1 Banerjee, Anindya
1 Bjørner, Nikolaj S.
1 Böhme, Sascha
1 Bonacina, Maria Paola
1 Brain, Martin
1 Collavizza, Hélène
1 Colton, Simon
1 Danielewicz, Pawel
1 Déharbe, David
1 Đoković, Dragomir Ž.
1 Dorca, Miquel
1 Drechsler, Rolf
1 D’silva, Vijay
1 Echenim, Mnacho
1 Eggers, Andreas
1 Franzén, Anders
1 Fränzle, Martin
1 Ge, Yeting
1 Hagen, Gregory
1 Haller, Leopold
1 Herde, Christian
1 Iosif, Radu
1 Jansen, Georg
1 Kapur, Deepak
1 Lincoln, Patrick D.
1 Liu, Sheng
1 Lynch, Christopher A.
1 Ma, Feifei
1 Manolios, Panagiotis
1 McCasland, Roy L.
1 Moskal, Michał
1 Motovilov, Aleksandr Konstantinovich
1 Naumann, David A.
1 Nunes, F. C. P.
1 Oliveras, Albert
1 Papenbrock, Thomas
1 Rosenberg, Stan
1 Rotureau, J.
1 Rozanov, Mirron
1 Rueher, Michel
1 Sánchez, Alejandro D.
1 Sánchez, César
1 Schulte, Wolfram
1 Schulz, Stephan
1 Serban, Cristina
1 Soeken, Mathias
1 Srinivasan, Sudarshan K.
1 Ta, Quang-Trung
1 Tran, Duc-Khanh
1 Tveretina, Olga
1 van de Pol, Jan Cornelis
1 Van Hentenryck, Pascal
1 van Tonder, André J.
1 Vidal, Jorgiano
1 Voronkov, Andrei
1 Waldmann, Uwe
1 Wand, Daniel
1 Weidenbach, Christoph
1 Wilhelm, Reinhard
1 Wille, Robert
1 Wolff, Burkhart
1 Zantema, Hans
1 Zhang, Jian

Citations by Year