Proving Theorems with the Modification Method. - Daniel Brand (SIAM J. Comput., 1975)

Proving Programs Incorrect. - Daniel Brand (ICALP, 1976)

Analytic Resolution in Theorem Proving. - Daniel Brand (Artif. Intell., 1976)

Microprogram verification considered necessary. - William C. Carter; William H. Joyner Jr.; Daniel Brand (AFIPS National Computer Conference, 1978)

Using Machine Descriptions in Program Verification. - William H. Joyner Jr.; William C. Carter; Daniel Brand (Jerusalem Conference on Information Technology, 1978)

Verification of Protocols Using Symbolic Execution. - Daniel Brand; William H. Joyner Jr. (Comput. Networks, 1978)

Path Calculus in Program Verification. - Daniel Brand (J. ACM, 1978)

A note on data abstractions. - Daniel Brand (ACM SIGPLAN Notices, 1978)

Symbolic simulation for correct machine design. - William C. Carter; William H. Joyner Jr.; Daniel Brand (DAC, 1979)

Towards Analyzing and Synthesizing Protocols. - Pitro Zafiropulo; Colin H. West; Harry Rudin; D. D. Cowan; Daniel Brand (IEEE Trans. Commun., 1980)

Verification of HDLC. - Daniel Brand; William H. Joyner Jr. (IEEE Trans. Commun., 1982)

Redundancy and Don't Cares in Logic Synthesis. - Daniel Brand (IEEE Trans. Computers, 1983)

On Communicating Finite-State Machines - Daniel Brand; Pitro Zafiropulo (J. ACM, 1983)

Production logic synthesis. - John A. Darringer; Daniel Brand; William H. Joyner Jr.; Louise Trevillyan; John V. Gerbi (ACM Conference on Computer Science, 1985)

Technology adaption in logic synthesis. - William H. Joyner Jr.; Louise Trevillyan; Daniel Brand; Theresa A. Nix; Steven C. Gundersen (DAC, 1986)

On typing in prolog. - Daniel Brand (ACM SIGPLAN Notices, 1986)

Detecting Sneak Paths in Transistor Networks. - Daniel Brand (IEEE Trans. Computers, 1986)

Hill climbing with reduced search space (logic optimization). - Daniel Brand (ICCAD, 1988)

Timing Analysis Using Functional Analysis. - Daniel Brand; Vijay S. Iyengar (IEEE Trans. Computers, 1988)

Synthesis of Pseudo-Random Pattern Testable Designs. - Daniel Brand; Vijay S. Iyengar (ITC, 1989)

Identification of Single Gate Delay Fault Redundancies. - Daniel Brand; Vijay S. Iyengar (ICCD, 1992)

Verification of large synthesized designs. - Daniel Brand (ICCAD, 1993)

Minimization of AND-EXOR Expressions Using Rewrite Rules. - Daniel Brand; Tsutomu Sasao (IEEE Trans. Computers, 1993)

Exhaustive simulation need not require an exponential number of tests. - Daniel Brand (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Incremental synthesis. - Daniel Brand; Anthony D. Drumm; Sandip Kundu; Prakash Narain (ICCAD, 1994)

In the Driver's Seat of BooleDozer. - Daniel Brand; Robert F. Damiano; Lukas P. P. P. van Ginneken; Anthony D. Drumm (ICCD, 1994)

Identification of redundant delay faults. - Daniel Brand; Vijay S. Iyengar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Efficient use of large don't cares in high-level and logic synthesis. - Reinaldo A. Bergamaschi; Daniel Brand; Leon Stok; Michel R. C. M. Berkelaar; Shiv Prakash (ICCAD, 1995)

Be careful with don't cares. - Daniel Brand; Reinaldo A. Bergamaschi; Leon Stok (ICCAD, 1995)

Inaccuracies in power estimation during logic synthesis. - Daniel Brand; Chandramouli Visweswariah (ICCAD, 1996)

BooleDozer: Logic synthesis for ASICs. - Leon Stok; David S. Kung 001; Daniel Brand; Anthony D. Drumm; Andrew J. Sullivan; Lakshmi N. Reddy; Nathaniel Hieter; David J. Geiger; Han Hsun Chao; Peter J. Osler (IBM J. Res. Dev., 1996)

Don't cares in synthesis: theoretical pitfalls and practical solutions. - Daniel Brand; Reinaldo A. Bergamaschi; Leon Stok (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

A Software Falsifier. - Daniel Brand (ISSRE, 2000)

LSS: A system for production logic synthesis. - John A. Darringer; Daniel Brand; John V. Gerbi; William H. Joyner Jr.; Louise Trevillyan (IBM J. Res. Dev., 2000)

Early analysis tools for system-on-a-chip design. - John A. Darringer; Reinaldo A. Bergamaschi; Subhrajit Bhattacharya; Daniel Brand; Andreas Herkersdorf; Joseph K. Morrell; Indira Nair; Patricia Sagmeister; Youngsoo Shin (IBM J. Res. Dev., 2002)

Evidence-Based Analysis and Inferring Preconditions for Bug Detection. - Daniel Brand; Marcio Buss; Vugranam C. Sreedhar (ICSM, 2007)

Flexible pointer analysis using assign-fetch graphs. - Marcio Buss; Daniel Brand; Vugranam C. Sreedhar; Stephen A. Edwards (SAC, 2008)

A novel analysis space for pointer analysis and its application for bug finding. - Marcio Buss; Daniel Brand; Vugranam C. Sreedhar; Stephen A. Edwards (Sci. Comput. Program., 2010)

Efficient GPU implementation of convolutional neural networks for speech recognition. - Ewout van den Berg; Daniel Brand; Rajesh Bordawekar; Leonid Rachevsky; Bhuvana Ramabhadran (INTERSPEECH, 2015)

PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort. - Minsik Cho; Daniel Brand; Rajesh Bordawekar; Ulrich Finkler; Vincent KulandaiSamy; Ruchir Puri (Proc. VLDB Endow., 2015)

Pointing at the HUD: Gesture Interaction Using a Leap Motion. - Daniel Brand; Kevin Büchele; Alexander Meschtscherjakov (AutomotiveUI (adjunct), 2016)

MEC: Memory-efficient Convolution for Deep Neural Network. - Minsik Cho; Daniel Brand (ICML, 2017)

AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training. - Chia-Yu Chen; Jungwook Choi; Daniel Brand; Ankur Agrawal; Wei Zhang; Kailash Gopalakrishnan (AAAI, 2018)

The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. - Nicolas Riesterer; Daniel Brand; Marco Ragni (KI, 2018)

Developers' Needs and Severity Conceptions of Usability Problems. - Ngoc-Huy Truong; Daniel Brand; Carine Ewert; Laura Wächter; Rul von Stülpnagel (MuC, 2018)

Training Deep Neural Networks with 8-bit Floating Point Numbers. - Naigang Wang; Jungwook Choi; Daniel Brand; Chia-Yu Chen; Kailash Gopalakrishnan (NeurIPS, 2018)

When Does a Reasoner Respond: Nothing Follows? - Marco Ragni; Hannah Dames; Daniel Brand; Nicolas Riesterer (CogSci, 2019)

Analyzing the Differences in Human Reasoning via Joint Nonnegative Matrix Factorization. - Daniel Brand; Nicolas Riesterer; Hannah Dames; Marco Ragni (CogSci, 2020)

Do Models Capture Individuals? Evaluating Parameterized Models for Syllogistic Reasoning. - Nicolas Riesterer; Daniel Brand; Marco Ragni (CogSci, 2020)

Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems. - Nicolas Riesterer; Daniel Brand; Marco Ragni (CoRR, 2020)

Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion". - Nicolas Riesterer; Daniel Brand; Hannah Dames; Marco Ragni (Top. Cogn. Sci., 2020)

Predictive Modeling of Individual Human Cognition: Upper Bounds and a New Perspective on Performance. - Nicolas Riesterer; Daniel Brand; Marco Ragni (Top. Cogn. Sci., 2020)

Unifying Models for Belief and Syllogistic Reasoning. - Daniel Brand; Nicolas Riesterer; Marco Ragni (CogSci, 2021)

Rule-Based Categorization: Measuring the Cognitive Costs of Intentional Rule Updating. - Daniel Brand; Hannah Dames; Leonardo Puricelli; Marco Ragni (CogSci, 2022)

Generalizing Syllogistic Reasoning: Extending Syllogisms to General Quantifiers. - Daniel Brand; Maximilian Mittenbühler; Marco Ragni (CogSci, 2022)

Evidence for Multiple Mechanisms Underlying List-Method Directed Forgetting. - Hannah Dames; Daniel Brand; Marco Ragni (CogSci, 2022)

Predicting Individual Discomfort in Autonomous Driving. - Sara Todorovikj; Felix Kettner; Daniel Brand; Matthias Beggiato; Marco Ragni (CogSci, 2022)

Model-Based Explanation of Feedback Effects in Syllogistic Reasoning. - Daniel Brand; Nicolas Riesterer; Marco Ragni (Top. Cogn. Sci., 2022)

Effect of Response Format on Syllogistic Reasoning. - Daniel Brand; Marco Ragni (CogSci, 2023)

Are Facial Expressions Predictors for the Sense of Agency in a Dot Control Task? - Tina Frenzel; Daniel Brand; Marco Ragni (CogSci, 2023)

Towards Bridging the Gap Between Conditional and Syllogistic Reasoning. - Sara Todorovikj; Daniel Brand; Marco Ragni (CogSci, 2023)