Daniel Brand - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 63 from 63

2023

Effect of Response Format on Syllogistic ReasoningDaniel Brand, Marco Ragni. cogsci 2023: [doi]

Are Facial Expressions Predictors for the Sense of Agency in a Dot Control Task?Tina Frenzel, Daniel Brand, Marco Ragni. cogsci 2023: [doi]

Towards Bridging the Gap Between Conditional and Syllogistic ReasoningSara Todorovikj, Daniel Brand, Marco Ragni. cogsci 2023: [doi]

2022

2021

Unifying Models for Belief and Syllogistic ReasoningDaniel Brand, Nicolas Riesterer, Marco Ragni. cogsci 2021: [doi]

2020

2019

When Does a Reasoner Respond: Nothing Follows?Marco Ragni, Hannah Dames, Daniel Brand, Nicolas Riesterer. cogsci 2019: 2640-2546 [doi]

Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion"Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni. cogsci 2019: 953-959 [doi]

2018

2017

MEC: Memory-efficient Convolution for Deep Neural NetworkMinsik Cho, Daniel Brand. icml 2017: 815-824 [doi]

2016

Pointing at the HUD: Gesture Interaction Using a Leap MotionDaniel Brand, Kevin Büchele, Alexander Meschtscherjakov. automotiveUI 2016: 167-172 [doi]

2015

PARADIS: An Efficient Parallel Algorithm for In-place Radix SortMinsik Cho, Daniel Brand, Rajesh Bordawekar, Ulrich Finkler, Vincent KulandaiSamy, Ruchir Puri. pvldb, 8(12):1518-1529, 2015. [doi]

Efficient GPU implementation of convolutional neural networks for speech recognitionEwout van den Berg, Daniel Brand, Rajesh Bordawekar, Leonid Rachevsky, Bhuvana Ramabhadran. interspeech 2015: 1483-1487 [doi]

2010

A novel analysis space for pointer analysis and its application for bug findingMarcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards. SCP, 75(11):921-942, 2010. [doi]

2008

Flexible pointer analysis using assign-fetch graphsMarcio Buss, Daniel Brand, Vugranam C. Sreedhar, Stephen A. Edwards. SAC 2008: 234-239 [doi]

2007

Evidence-Based Analysis and Inferring Preconditions for Bug DetectionDaniel Brand, Marcio Buss, Vugranam C. Sreedhar. ICSM 2007: 44-53 [doi]

2002

Early analysis tools for system-on-a-chip designJohn A. Darringer, Reinaldo A. Bergamaschi, Subhrajit Bhattacharya, Daniel Brand, Andreas Herkersdorf, Joseph K. Morrell, Indira Nair, Patricia Sagmeister, Youngsoo Shin. ibmrd, 46(6):691-708, 2002. [doi]

2000

A Software FalsifierDaniel Brand. issre 2000: 174-185 [doi]

LSS: A system for production logic synthesisJohn A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan. ibmrd, 44(1):157-166, 2000. [doi]

1998

Don t cares in synthesis: theoretical pitfalls and practical solutionsDaniel Brand, Reinaldo A. Bergamaschi, Leon Stok. tcad, 17(4):285-304, 1998. [doi]

1996

Inaccuracies in power estimation during logic synthesisDaniel Brand, Chandramouli Visweswariah. iccad 1996: 388-394 [doi]

BooleDozer: Logic synthesis for ASICsLeon 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. ibmrd, 40(4):407-430, 1996.

1995

Efficient use of large don t cares in high-level and logic synthesisReinaldo A. Bergamaschi, Daniel Brand, Leon Stok, Michel R. C. M. Berkelaar, Shiv Prakash. iccad 1995: 272-278 [doi]

Be careful with don t caresDaniel Brand, Reinaldo A. Bergamaschi, Leon Stok. iccad 1995: 83-86 [doi]

1994

In the Driver s Seat of BooleDozerDaniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm. iccd 1994: 518-521

Identification of redundant delay faultsDaniel Brand, Vijay S. Iyengar. tcad, 13(5):553-565, 1994. [doi]

Incremental synthesisDaniel Brand, Anthony D. Drumm, Sandip Kundu, Prakash Narain. iccad 1994: 14-18 [doi]

1993

Verification of large synthesized designsDaniel Brand. iccad 1993: 534-537 [doi]

Exhaustive simulation need not require an exponential number of testsDaniel Brand. tcad, 12(11):1635-1641, 1993. [doi]

Minimization of AND-EXOR Expressions Using Rewrite RulesDaniel Brand, Tsutomu Sasao. TC, 42(5):568-576, 1993.

1992

Exhaustive simulation need not require an exponential number of testsDaniel Brand. iccad 1992: 98-101 [doi]

Identification of Single Gate Delay Fault RedundanciesDaniel Brand, Vijay S. Iyengar. iccd 1992: 24-28

1989

Synthesis of Pseudo-Random Pattern Testable DesignsDaniel Brand, Vijay S. Iyengar. itc 1989: 501-508

1988

Hill climbing with reduced search space (logic optimization)Daniel Brand. iccad 1988: 294-297 [doi]

Timing Analysis Using Functional AnalysisDaniel Brand, Vijay S. Iyengar. TC, 37(10):1309-1315, 1988.

1986

Detecting Sneak Paths in Transistor NetworksDaniel Brand. TC, 35(3):274-278, 1986.

On typing in prologDaniel Brand. SIGPLAN, 21(1):28-30, 1986. [doi]

Technology adaption in logic synthesisWilliam H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen. dac 1986: 94-100 [doi]

1985

Production logic synthesisJohn A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi. acm 1985: 13-16 [doi]

1984

LSS: A System for Production Logic SynthesisJohn A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan. ibmrd, 28(5):537-545, 1984.

1983

Redundancy and Don t Cares in Logic SynthesisDaniel Brand. TC, 32(10):947-952, 1983.

On Communicating Finite-State MachinesDaniel Brand, Pitro Zafiropulo. JACM, 30(2):323-342, April 1983. [doi]

1982

Verification of HDLCDaniel Brand, William H. Joyner Jr.. tcom, 30(5):1136-1142, 1982. [doi]

1980

Towards Analyzing and Synthesizing ProtocolsPitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand. tcom, 28(4):651-661, 1980. [doi]

1979

Symbolic simulation for correct machine designWilliam C. Carter, William H. Joyner Jr., Daniel Brand. dac 1979: 280-286 [doi]

1978

Verification of Protocols Using Symbolic ExecutionDaniel Brand, William H. Joyner Jr.. cn, 2:351-360, 1978.

Path Calculus in Program VerificationDaniel Brand. JACM, 25(4):630-651, 1978. [doi]

A note on data abstractionsDaniel Brand. SIGPLAN, 13(1):21-24, 1978. [doi]

Microprogram verification considered necessaryWilliam C. Carter, William H. Joyner Jr., Daniel Brand. afips 1978: 657-664

Using Machine Descriptions in Program VerificationWilliam H. Joyner Jr., William C. Carter, Daniel Brand. jcit 1978: 515-522

1976

Proving Programs IncorrectDaniel Brand. icalp 1976: 201-227

Analytic Resolution in Theorem ProvingDaniel Brand. ai, 7(4):285-318, 1976.

1975

Proving Theorems with the Modification MethodDaniel Brand. SICOMP, 4(4):412-430, 1975.

Sign in or sign up to see more results.

runs on WebDSL