William R. Cook

Cited by

	All	Since 2016
Citations	7395	1349
h-index	34	20
i10-index	63	35

420

210

105

315

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202125 61 88 118 153 188 162 160 153 118 161 131 89 173 157 215 208 286 314 346 373 415 386 358 355 348 294 344 275 231 265 205 26

Co-authors

Jayadev MisraUniversity of Texas at AustinVerified email at utexas.edu
Don BatoryUniversity of Texas at AustinVerified email at cs.utexas.edu
ali ibrahimvoodoo specialistVerified email at voodoospellshome.com
Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
Ben WiedermannHarvey Mudd CollegeVerified email at g.hmc.edu
Eli TilevichProfessor of Computer Science, Virginia TechVerified email at cs.vt.edu
Bruno C. d. S. OliveiraAssistant Professor, The University of Hong KongVerified email at cs.hku.hk
Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerified email at metacase.com
Gabriël KonatDelft University of TechnologyVerified email at tudelft.nl
Markus Völterindependent consultant / itemisVerified email at acm.org
Guido WachsmuthOracle LabsVerified email at oracle.com
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
Walter OlthoffDFKIVerified email at dfki.de
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Douglas R SmithKestrel InstituteVerified email at kestrel.edu
Yang JiaoIT Director, Antech DiagnosticsVerified email at cs.vt.edu
Ian WehrmanSnap Inc.Verified email at snapchat.com

William R. Cook

Associate Professor of Computer Science, University of Texas at Austin

Verified email at cs.utexas.edu - Homepage

Programming Languages Modeling Objects Types


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Mixin-based inheritance G Bracha, W Cook ACM Sigplan Notices 25 (10), 303-311, 1990	1162	1990
Inheritance is not subtyping WR Cook, W Hill, PS Canning Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	633	1989
F-bounded polymorphism for object-oriented programming P Canning, W Cook, W Hill, W Olthoff, JC Mitchell Proceedings of the fourth international conference on functional programming …, 1989	532*	1989
A denotational semantics of inheritance and its correctness W Cook, J Palsberg ACM Sigplan Notices 24 (10), 433-443, 1989	515	1989
Computation orchestration J Misra, WR Cook Software & Systems Modeling 6 (1), 83-110, 2007	311	2007
Safe composition of product lines S Thaker, D Batory, D Kitchin, W Cook Proceedings of the 6th international conference on Generative programming …, 2007	305	2007
A Proposal for Making Eiffel Type Safe WR Cook The Computer Journal - Special issue on object-oriented programming 32 (4 …, 0	292*
Rule based database security system and method WR Cook, MR Gannholm US Patent 6,820,082, 2004	288	2004
Object-oriented programming versus abstract data types WR Cook Workshop/School/Symposium of the REX Project (Research and Education in …, 1990	200	1990
The state of the art in language workbenches S Erdweg, T Van Der Storm, M Völter, M Boersma, R Bosman, WR Cook, ... International Conference on Software Language Engineering, 197-217, 2013	198	2013
Interfaces for strongly-typed object-oriented programming PS Canning, WR Cook, WL Hill, WG Olthoff ACM SigPlan Notices 24 (10), 457-467, 1989	193	1989
Interfaces and specifications for the Smalltalk-80 collection classes WR Cook ACM SIGPlan Notices 27 (10), 1-15, 1992	179	1992
The Orc programming language D Kitchin, A Quark, W Cook, J Misra Formal techniques for Distributed Systems, 1-25, 2009	178	2009
A virtual class calculus E Ernst, K Ostermann, WR Cook Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	178	2006
Safe query objects: statically typed objects as remotely executable queries WR Cook, S Rai Proceedings of the 27th international conference on software engineering, 97-106, 2005	178	2005
Evaluating support for features in advanced modularization technologies RE Lopez-Herrejon, D Batory, W Cook European Conference on Object-Oriented Programming, 169-194, 2005	177	2005
Method and apparatus for creating interactive web page objects WR Cook, MR Gannholm US Patent 6,178,432, 2001	148	2001
A language for task orchestration and its semantic properties D Kitchin, WR Cook, J Misra International Conference on Concurrency Theory, 477-491, 2006	141	2006
Evaluating and comparing language workbenches: Existing results and benchmarks for the future S Erdweg, T Van Der Storm, M Völter, L Tratt, R Bosman, WR Cook, ... Computer Languages, Systems & Structures 44, 24-47, 2015	132	2015
Fitting the pieces together: a machine-checked model of safe composition B Delaware, WR Cook, D Batory Proceedings of the 7th joint meeting of the European software engineering …, 2009	85	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors