zbMATH - the first resource for mathematics

Edit Profile

Rybalchenko, Andrey

Author ID:	rybalchenko.andrey
Published as:	Rybalchenko, Andrey

Documents Indexed:

40 Publications since 2004, including 3 Books

all top 5

0	single-authored
13	Podelski, Andreas
4	Cook, Byron
4	Lopes, Nuno P.
4	Popeea, Corneliu Alexandru
3	Gupta, Ashutosh
3	Henzinger, Thomas A.
3	Majumdar, Rupak
3	Malkis, Alexander
2	Bjørner, Nikolaj S.
2	Faber, Johannes
2	Köpf, Boris
2	Meyer, Roland
2	Pérez, Juan Antonio Navarro
2	Singh, Atul
2	Sofronie-Stokkermans, Viorica
2	von Gleissenthall, Klaus
1	Beyene, Tewodros
1	Beyer, Dirk
1	Chaudhuri, Swarat
1	Cohen, Ernie
1	Frid, Anna Èduardovna
1	Ganty, Pierre
1	Gotsman, Alexey
1	Gulwani, Sumit
1	Gurfinkel, Arie
1	Hoenicke, Jochen
1	Hoffmann, Jörg
1	Hottelier, Thibaud
1	Jhala, Ranjit
1	Kovács, Laura Ildikó
1	Kröning, Daniel
1	Kuncak, Viktor
1	Kupferschmid, Sebastian
1	Lev-Ami, Tal
1	McMillan, Kenneth L.
1	Morozov, Andreĭ Sergeevich
1	Navarro, Juan Antonio
1	Plotkin, Gordon D.
1	Pnueli, Amir
1	Sagiv, Mooly
1	Smaus, Jan-Georg
1	Vardi, Moshe Y.
1	Varghese, George
1	Wagner, Klaus W.
1	Wies, Thomas
1	Xu, Ru-Gang

all top 5

3	Lecture Notes in Computer Science
1	Journal of Symbolic Computation
1	Journal of Automated Reasoning
1	Formal Aspects of Computing
1	Formal Methods in System Design
1	Theory and Practice of Logic Programming

40	Computer science (68-XX)
7	Mathematical logic and foundations (03-XX)
4	General and overarching topics; collections (00-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Information and communication theory, circuits (94-XX)

Access to citation profile requires subscription