Concepedia

Bruce M. Kapron

BM

24

Publications

987

Citations

18

H-Index

1987

Active since

Affiliations

University of Victoria(Current)

University of Toronto

University of Southern California

National University of Singapore

Centre for Quantum Technologies

Bruce M. Kapron is an author at University of Victoria specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityNetwork ScienceNetwork AnalysisTheory Of ComputingCryptography

Publications per year

1987–2022

24

Publications

24

Dynamic graph connectivity in polylogarithmic worst case time

Bruce M. Kapron, Valerie King, Ben Mountjoy · Symposium on Discrete Algorithms · 2013 · 137 citations

Cluster Computing, Edge Deletion, Engineering +24

A new Characterization of Type-2 Feasibility

Bruce M. Kapron, Stephen Cook · SIAM Journal on Computing · 1996 · 87 citations

Logics for reasoning about cryptographic constructions

Russell Impagliazzo, Bruce M. Kapron · Journal of Computer and System Sciences · 2005 · 85 citations

Non-classical Logic, Engineering, Automated Reasoning +7

Dynamic graph connectivity in polylogarithmic worst case time

Bruce M. Kapron, Valerie King, Ben Mountjoy · 2013 · 85 citations

Complexity of social network anonymization

Sean Chester, Bruce M. Kapron, Gautam Srivastava · Social Network Analysis and Mining · 2012 · 59 citations

Social Network Aggregation, Computational Social Science, Network Science +10

Rows per page

1–5 of 24