Concepedia

Lee Braine

LB

Statistics

Publications

4

Citations

302

H-Index

4

Active since

1997

Affiliations

IBM Research - Zurich(Current)

Lee Braine is an author at IBM Research - Zurich specializing in engineering, law, and computer science.

Top concepts

EngineeringLawDesignFormal MethodsSmart ContractsSoftware DesignComputer ScienceTechnology LawQuantum DevicesQuantum Science

Publications per year

1997–2021

4

Publications

4

Smart Contract Templates: foundations, design landscape and research directions

Christopher D. Clack, Vikram A. Bakshi, Lee Braine · arXiv (Cornell University) · 2016 · 167 citations · Full text

Smart Contract Language, Specification Language, Engineering +11

Smart Contract Templates: essential requirements and design options

Christopher D. Clack, Vikram A. Bakshi, Lee Braine · arXiv (Cornell University) · 2016 · 69 citations · Full text

Engineering, Law, Smart Contracts +17

Quantum Algorithms for Mixed Binary Optimization Applied to Transaction Settlement

Lee Braine, Daniel J. Egger, Jennifer R. Glick et al. · IEEE Transactions on Quantum Engineering · 2021 · 55 citations · Full text

Mathematical Programming, Quantum Science, Quantum Security +14

Object-Oriented Functional Spreadsheets

Christopher D. Clack, Lee Braine · 1997 · 11 citations

1–4 of 4