Concepedia

Author

Andrey Rybalchenko

Also Known As

A. Rybalchenko, Andrey Rybalchenko, Rybalchenko, A., Rybalchenko, Andrey, Sandip Ray

135

Publications

5.2K

Citations

40

H-Index

66

Concepts

All Affiliations

AR

About

Andrey Rybalchenko is an author at Max Planck Institute for Informatics specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

26

38

3.1K

2

Computer Science

26

38

3.1K

3

Computer Engineering

16

16

1.5K

4

Business

2

2

95

5

Data Science

2

2

273

Andrey Rybalchenko

×

42

Publications

3.2K

Citations

28

H-Index

YearCitations

2006

319

2004

251

2012

237

2006

234

2009

203

2008

155

2004

153

2007

141

2011

128

2007

88

Page 1