Kim B. Bruce - Concepedia

Author

Kim B. Bruce

Williams College

Also Known As

Bruce, Kim, Bruce, Kim B., Elisa Bertino, K B Bruce, K. B. Bruce, K. Bruce, Kim B. Bruce, Kim Bruce, S. Kahraman

171

Publications

Citations

H-Index

Concepts

All Affiliations

Williams College Pomona College Victoria University of Wellington Portland State University University of Kent

About

Kim B. Bruce is an author at Williams College specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	23	30	1.7K
2	Education	12	13	527
3	Language Studies	7	7	375
4	Computer Engineering	2	2	225
5	Arts	1	1	32

Kim B. Bruce

Publications

2.8K

Citations

H-Index

Page 1

	Year	Citations
On Reacting to Assertions and Polar Questions Donka F. Farkas, Kim B. Bruce Journal of Semantics	2009	693
On Binary Methods Kim B. Bruce, Luca Cardelli, Giuseppe Castagna Theory and Practice of Object Systems Computational Complexity TheoryEngineeringSoftware SystemsWide AudienceSoftware Engineering	1995	197
Comparing Object Encodings Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce Information and Computation EngineeringSimilarity MeasureProgram AnalysisPattern RecognitionComputational Linguistics	1999	180
A paradigmatic object-oriented programming language: Design, static typing and semantics Kim B. Bruce Journal of Functional Programming EngineeringObject-oriented ModelingVerificationSoftware EngineeringObject Orientation	1994	143
Controversy on how to teach CS 1 Kim B. Bruce ACM SIGCSE Bulletin Teacher EducationLate MarchPedagogyLearning ObjectEducation	2004	119
A modest model of records, inheritance, and bounded quantification Kim B. Bruce, G. Longo Information and Computation EngineeringAutomated ReasoningModest ModelModel TheoryFirst-order Logic	1990	119
Safe type checking in a statically-typed object-oriented programming language Kim B. Bruce EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1993	82
Provable isomorphisms of types Kim B. Bruce, Roberto Di Cosmo, G. Longo Mathematical Structures in Computer Science Constructive MathematicsNon-monotonic LogicEngineeringAutomated ReasoningProvable Isomorphisms	1992	75
The semantics of second-order lambda calculus Kim B. Bruce, Albert R. Meyer, John C. Mitchell Information and Computation EngineeringAutomated ReasoningFormal MethodsHigher-order LogicSemantics	1990	71
PER models of subtyping, recursive types and higher-order polymorphism Kim B. Bruce, John C. Mitchell EngineeringPer ModelsAutomated ReasoningPolymorphism (Computer Science)Type Theory	1992	68

Page 1