default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniel Brand
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j25]Daniel Brand
, Nicolas Riesterer, Marco Ragni:
Model-Based Explanation of Feedback Effects in Syllogistic Reasoning. Top. Cogn. Sci. 14(4): 828-844 (2022)- 2020
- [j24]Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni:
Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion". Top. Cogn. Sci. 12(1): 446-459 (2020) - [j23]Nicolas Riesterer, Daniel Brand, Marco Ragni:
Predictive Modeling of Individual Human Cognition: Upper Bounds and a New Perspective on Performance. Top. Cogn. Sci. 12(3): 960-974 (2020) - 2015
- [j22]Minsik Cho, Daniel Brand, Rajesh Bordawekar, Ulrich Finkler, Vincent KulandaiSamy, Ruchir Puri:
PARADIS: An Efficient Parallel Algorithm for In-place Radix Sort. Proc. VLDB Endow. 8(12): 1518-1529 (2015) - 2010
- [j21]Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
A novel analysis space for pointer analysis and its application for bug finding. Sci. Comput. Program. 75(11): 921-942 (2010) - 2002
- [j20]John A. Darringer, Reinaldo A. Bergamaschi, Subhrajit Bhattacharya, Daniel Brand, Andreas Herkersdorf, Joseph K. Morrell, Indira Nair, Patricia Sagmeister, Youngsoo Shin:
Early analysis tools for system-on-a-chip design. IBM J. Res. Dev. 46(6): 691-708 (2002) - 2000
- [j19]John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan:
LSS: A system for production logic synthesis. IBM J. Res. Dev. 44(1): 157-166 (2000) - 1998
- [j18]Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok:
Don't cares in synthesis: theoretical pitfalls and practical solutions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(4): 285-304 (1998) - 1996
- [j17]Leon Stok, David S. Kung, Daniel Brand, Anthony D. Drumm, Andrew J. Sullivan, Lakshmi N. Reddy, Nathaniel Hieter, David J. Geiger, Han Hsun Chao, Peter J. Osler:
BooleDozer: Logic synthesis for ASICs. IBM J. Res. Dev. 40(4): 407-430 (1996) - 1994
- [j16]Daniel Brand, Vijay S. Iyengar:
Identification of redundant delay faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(5): 553-565 (1994) - 1993
- [j15]Daniel Brand, Tsutomu Sasao:
Minimization of AND-EXOR Expressions Using Rewrite Rules. IEEE Trans. Computers 42(5): 568-576 (1993) - [j14]Daniel Brand:
Exhaustive simulation need not require an exponential number of tests. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(11): 1635-1641 (1993) - 1988
- [j13]Daniel Brand, Vijay S. Iyengar:
Timing Analysis Using Functional Analysis. IEEE Trans. Computers 37(10): 1309-1315 (1988) - 1986
- [j12]Daniel Brand:
On typing in prolog. ACM SIGPLAN Notices 21(1): 28-30 (1986) - [j11]Daniel Brand:
Detecting Sneak Paths in Transistor Networks. IEEE Trans. Computers 35(3): 274-278 (1986) - 1984
- [j10]John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan:
LSS: A System for Production Logic Synthesis. IBM J. Res. Dev. 28(5): 537-545 (1984) - 1983
- [j9]Daniel Brand, Pitro Zafiropulo:
On Communicating Finite-State Machines. J. ACM 30(2): 323-342 (1983) - [j8]Daniel Brand:
Redundancy and Don't Cares in Logic Synthesis. IEEE Trans. Computers 32(10): 947-952 (1983) - 1982
- [j7]Daniel Brand, William H. Joyner Jr.:
Verification of HDLC. IEEE Trans. Commun. 30(5): 1136-1142 (1982) - 1980
- [j6]Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand:
Towards Analyzing and Synthesizing Protocols. IEEE Trans. Commun. 28(4): 651-661 (1980) - 1978
- [j5]Daniel Brand, William H. Joyner Jr.:
Verification of Protocols Using Symbolic Execution. Comput. Networks 2: 351-360 (1978) - [j4]Daniel Brand:
Path Calculus in Program Verification. J. ACM 25(4): 630-651 (1978) - [j3]Daniel Brand:
A note on data abstractions. ACM SIGPLAN Notices 13(1): 21-24 (1978) - 1976
- [j2]Daniel Brand:
Analytic Resolution in Theorem Proving. Artif. Intell. 7(4): 285-318 (1976) - 1975
- [j1]Daniel Brand:
Proving Theorems with the Modification Method. SIAM J. Comput. 4(4): 412-430 (1975)
Conference and Workshop Papers
- 2023
- [c38]Daniel Brand, Marco Ragni:
Effect of Response Format on Syllogistic Reasoning. CogSci 2023 - [c37]Tina Frenzel, Daniel Brand, Marco Ragni:
Are Facial Expressions Predictors for the Sense of Agency in a Dot Control Task? CogSci 2023 - [c36]Sara Todorovikj, Daniel Brand, Marco Ragni:
Towards Bridging the Gap Between Conditional and Syllogistic Reasoning. CogSci 2023 - 2022
- [c35]Daniel Brand, Hannah Dames, Leonardo Puricelli, Marco Ragni:
Rule-Based Categorization: Measuring the Cognitive Costs of Intentional Rule Updating. CogSci 2022 - [c34]Daniel Brand, Maximilian Mittenbühler, Marco Ragni:
Generalizing Syllogistic Reasoning: Extending Syllogisms to General Quantifiers. CogSci 2022 - [c33]Hannah Dames, Daniel Brand, Marco Ragni:
Evidence for Multiple Mechanisms Underlying List-Method Directed Forgetting. CogSci 2022 - [c32]Sara Todorovikj, Felix Kettner, Daniel Brand, Matthias Beggiato, Marco Ragni:
Predicting Individual Discomfort in Autonomous Driving. CogSci 2022 - 2021
- [c31]Daniel Brand, Nicolas Riesterer, Marco Ragni:
Unifying Models for Belief and Syllogistic Reasoning. CogSci 2021 - 2020
- [c30]Daniel Brand, Nicolas Riesterer, Hannah Dames, Marco Ragni:
Analyzing the Differences in Human Reasoning via Joint Nonnegative Matrix Factorization. CogSci 2020 - [c29]Nicolas Riesterer, Daniel Brand, Marco Ragni:
Do Models Capture Individuals? Evaluating Parameterized Models for Syllogistic Reasoning. CogSci 2020 - 2019
- [c28]Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni:
Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion". CogSci 2019: 953-959 - [c27]Marco Ragni, Hannah Dames, Daniel Brand, Nicolas Riesterer:
When Does a Reasoner Respond: Nothing Follows? CogSci 2019: 2640-2546 - 2018
- [c26]Chia-Yu Chen, Jungwook Choi, Daniel Brand, Ankur Agrawal, Wei Zhang, Kailash Gopalakrishnan:
AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training. AAAI 2018: 2827-2835 - [c25]Nicolas Riesterer, Daniel Brand, Marco Ragni:
The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. KI 2018: 415-421 - [c24]Ngoc-Huy Truong, Daniel Brand, Carine Ewert, Laura Wächter, Rul von Stülpnagel:
Developers' Needs and Severity Conceptions of Usability Problems. MuC 2018 - [c23]Naigang Wang, Jungwook Choi, Daniel Brand, Chia-Yu Chen, Kailash Gopalakrishnan:
Training Deep Neural Networks with 8-bit Floating Point Numbers. NeurIPS 2018: 7686-7695 - 2017
- [c22]Minsik Cho, Daniel Brand:
MEC: Memory-efficient Convolution for Deep Neural Network. ICML 2017: 815-824 - 2016
- [c21]Daniel Brand, Kevin Büchele, Alexander Meschtscherjakov:
Pointing at the HUD: Gesture Interaction Using a Leap Motion. AutomotiveUI (adjunct) 2016: 167-172 - 2015
- [c20]Ewout van den Berg, Daniel Brand, Rajesh Bordawekar, Leonid Rachevsky, Bhuvana Ramabhadran:
Efficient GPU implementation of convolutional neural networks for speech recognition. INTERSPEECH 2015: 1483-1487 - 2008
- [c19]Marcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards:
Flexible pointer analysis using assign-fetch graphs. SAC 2008: 234-239 - 2007
- [c18]Daniel Brand, Marcio Buss, Vugranam C. Sreedhar:
Evidence-Based Analysis and Inferring Preconditions for Bug Detection. ICSM 2007: 44-53 - 2000
- [c17]Daniel Brand:
A Software Falsifier. ISSRE 2000: 174-185 - 1996
- [c16]Daniel Brand, Chandramouli Visweswariah:
Inaccuracies in power estimation during logic synthesis. ICCAD 1996: 388-394 - 1995
- [c15]Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok:
Be careful with don't cares. ICCAD 1995: 83-86 - [c14]Reinaldo A. Bergamaschi, Daniel Brand, Leon Stok, Michel R. C. M. Berkelaar, Shiv Prakash:
Efficient use of large don't cares in high-level and logic synthesis. ICCAD 1995: 272-278 - 1994
- [c13]Daniel Brand, Anthony D. Drumm, Sandip Kundu, Prakash Narain:
Incremental synthesis. ICCAD 1994: 14-18 - [c12]Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm:
In the Driver's Seat of BooleDozer. ICCD 1994: 518-521 - 1993
- [c11]Daniel Brand:
Verification of large synthesized designs. ICCAD 1993: 534-537 - 1992
- [c10]Daniel Brand:
Exhaustive simulation need not require an exponential number of tests. ICCAD 1992: 98-101 - [c9]Daniel Brand, Vijay S. Iyengar:
Identification of Single Gate Delay Fault Redundancies. ICCD 1992: 24-28 - 1989
- [c8]Daniel Brand, Vijay S. Iyengar:
Synthesis of Pseudo-Random Pattern Testable Designs. ITC 1989: 501-508 - 1988
- [c7]Daniel Brand:
Hill climbing with reduced search space (logic optimization). ICCAD 1988: 294-297 - 1986
- [c6]William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen:
Technology adaption in logic synthesis. DAC 1986: 94-100 - 1985
- [c5]John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi:
Production logic synthesis. ACM Conference on Computer Science 1985: 13-16 - 1979
- [c4]William C. Carter, William H. Joyner Jr., Daniel Brand:
Symbolic simulation for correct machine design. DAC 1979: 280-286 - 1978
- [c3]William C. Carter, William H. Joyner Jr., Daniel Brand:
Microprogram verification considered necessary. AFIPS National Computer Conference 1978: 657-664 - [c2]William H. Joyner Jr., William C. Carter, Daniel Brand:
Using Machine Descriptions in Program Verification. Jerusalem Conference on Information Technology 1978: 515-522 - 1976
- [c1]Daniel Brand:
Proving Programs Incorrect. ICALP 1976: 201-227
Informal and Other Publications
- 2020
- [i4]Nicolas Riesterer, Daniel Brand, Marco Ragni:
Uncovering the Data-Related Limits of Human Reasoning Research: An Analysis based on Recommender Systems. CoRR abs/2003.05196 (2020) - 2018
- [i3]Naigang Wang, Jungwook Choi, Daniel Brand, Chia-Yu Chen, Kailash Gopalakrishnan:
Training Deep Neural Networks with 8-bit Floating Point Numbers. CoRR abs/1812.08011 (2018) - 2017
- [i2]Minsik Cho, Daniel Brand:
MEC: Memory-efficient Convolution for Deep Neural Network. CoRR abs/1706.06873 (2017) - [i1]Chia-Yu Chen, Jungwook Choi, Daniel Brand, Ankur Agrawal, Wei Zhang, Kailash Gopalakrishnan:
AdaComp : Adaptive Residual Gradient Compression for Data-Parallel Distributed Training. CoRR abs/1712.02679 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
