Dipayan Gangopadhyay

Publications

689

Citations

H-Index

1989

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Northeastern University

Dipayan Gangopadhyay is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringDesignSoftware DesignSystem Software

Publications per year

1989–2008

Publications

Contracts: specifying behavioral compositions in object-oriented systems

Richard F. Helm, Ian M. Holland, Dipayan Gangopadhyay · 1990 · 469 citations

Software Maintenance, Engineering, Object-oriented Modeling +18

Contracts: specifying behavioral compositions in object-oriented systems

Richard F. Helm, Ian M. Holland, Dipayan Gangopadhyay · ACM SIGPLAN Notices · 1990 · 92 citations · Full text

Software Maintenance, Engineering, Object-oriented Modeling +18

M(DM): an open framework for interoperation of multimodel multidatabase systems

Thierry Barsalou, Dipayan Gangopadhyay · 2003 · 43 citations

Engineering, Extensible Metalevel System, Higher-order Logic +24

Understanding frameworks by exploration of exemplars

Dipayan Gangopadhyay, Subrata Mitra · 2002 · 35 citations

OOLP: A Translation Approach to Object-Oriented Logic Programming.

Mukesh Dalal, Dipayan Gangopadhyay · 1989 · 17 citations

Engineering, Automated Reasoning, Object-oriented Modeling +7

Rows per page

1–5 of 7