×

zbMATH — the first resource for mathematics

Voronkov, Andrei

Compute Distance To:
Author ID: voronkov.andrei
Published as: Voronkov, A.; Voronkov, Andrei
Documents Indexed: 122 Publications since 1992, including 29 Books
all top 5

Co-Authors

16 single-authored
13 Korovin, Konstantin
11 Degtyarev, Anatoli I.
10 Kovács, Laura Ildikó
9 Riazanov, Alexandre
6 Hoder, Kryštof
6 Reger, Giles
5 Gurevich, Yuri
5 Rybina, Tatiana
4 Nieuwenhuis, Robert
4 Suda, Martin
4 Virbitskaite, Irina B.
2 Bjørner, Nikolaj S.
2 Chubarov, Dmitri Leonidovich
2 Clarke, Edmund Melson jun.
2 Fitting, Melvin Chris
2 Ganzinger, Harald
2 Kotelnikov, Evgenii
2 Narasamdya, Iman
2 Pérez, Juan Antonio Navarro
2 Thalmann, Lars
2 Tsiskaridze, Nestan
2 Weidenbach, Christoph
1 Baader, Franz
1 Baaz, Matthias
1 Bachmair, Leo
1 Cervesato, Iliano
1 Dantsin, Evgeny
1 Davis, Martin David
1 Dershowitz, Nachum
1 Diekert, Volker
1 Emmer, Moshe
1 Fehnker, Ansgar
1 Fermüller, Christian G.
1 Gupta, Ashutosh
1 Henzinger, Thomas A.
1 Hermann, Miki
1 Hillenbrand, Thomas
1 Horrocks, Ian
1 Hottelier, Thibaud
1 Hustadt, Ullrich
1 Kapur, Deepak
1 Khasidashvili, Zurab O.
1 Konev, Boris
1 Kragl, Bernhard
1 Maksimova, Larisa L’vovna
1 Mazzara, Manuel
1 McAllester, David Allen
1 McIver, Annabelle K.
1 McMillan, Kenneth L.
1 Middeldorp, Aart
1 Minamide, Yasuhiko
1 Moser, Georg
1 Narendran, Paliath
1 Navarro, Juan Antonio
1 Parigot, Michel
1 Pnueli, Amir
1 Ramakrishnan, I. V.
1 Robillard, Simon
1 Sakuma, Yuto
1 Sazonov, Vladimir Yu.
1 Sekar, R. Chandra Guru
1 Sticksel, Christoph
1 Sutcliffe, Geoff
1 Tillmann, Nikolai
1 Tishkovsky, Dmitry
1 Urban, Josef
1 Vardi, Moshe Y.
1 Veanes, Margus
1 Veith, Helmut
1 Volkov, Mikhail Vladimirovich
1 Wilhelm, Reinhard

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription