Ittai Balaban - Concepedia

Author

Ittai Balaban

IBM Research - Thomas J. Watson Research Center

Also Known As

ITTAI BALABAN, Ittai Balaban

Publications

405

Citations

H-Index

Concepts

All Affiliations

IBM Research - Thomas J. Watson Research Center New York University

About

Ittai Balaban is an author at IBM Research - Thomas J. Watson Research Center specializing in formal verification, software engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	239
2	Computer Science	4	4	239
3	Computer Engineering	2	2	159
4	Systems Engineering	1	1	66
5	Combinatorial Optimization	1	1	14

Ittai Balaban

Publications

239

Citations

H-Index

Page 1

	Year	Citations
Refactoring support for class library migration Ittai Balaban, Frank Tip, Robert M. Fuhrer Software MaintenanceEngineeringLegacy ClassesSoftware EngineeringObject Orientation	2005	141
Refactoring using type constraints Frank Tip, Robert M. Fuhrer, Adam Kieżun, ACM Transactions on Programming Languages and Systems EngineeringType TheoryVerificationSoftware EngineeringSoftware Analysis	2011	66
Refactoring support for class library migration Ittai Balaban, Frank Tip, Robert M. Fuhrer ACM SIGPLAN Notices Software MaintenanceEngineeringLegacy ClassesSoftware EngineeringObject Orientation	2005	18
MODULAR RANKING ABSTRACTION Ittai Balaban, Amir Pnueli, Lenore D. Zuck International Journal of Foundations of Computer Science Ranking AlgorithmEngineeringVerificationLearning To RankSoftware Engineering	2007	14

Page 1