Concepedia

Daniël Brand

DB

Statistics

Publications

38

Citations

3.6K

H-Index

26

Active since

1973

Affiliations

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

IBM (United States)

IBM Research - Zurich

Poughkeepsie Public Library District

Daniël Brand is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationSystems EngineeringComputer ArchitectureVerificationAutomated ReasoningProgram Analysis

Publications per year

1973–2018

38

Publications

38

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

Verification of large synthesized designs

Daniël Brand · International Conference on Computer Aided Design · 1993 · 265 citations

Circuit Complexity, Engineering, Accelerated Design +23

Towards Analyzing and Synthesizing Protocols

P. Zafiropulo, Colin H. West, H. Rudin et al. · IRE Transactions on Communications Systems · 1980 · 239 citations

Engineering, Verification, Fault-tolerant Messaging +19

Training Deep Neural Networks with 8-bit Floating Point Numbers

Naigang Wang, Jungwook Choi, Daniël Brand et al. · arXiv (Cornell University) · 2018 · 205 citations · Full text

Convolutional Neural Network, Deep Neural Networks, Hardware Training Platforms +12

Verification of large synthesized designs

Daniël Brand · Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) · 2002 · 187 citations

Circuit Complexity, Engineering, Accelerated Design +23

1–5 of 38