Daniël Brand

3.7k citations

51 papers · 2.1k indexed · 1 hit paper · h-index 22

Impact in

Hardware and Architecture top 0.5%
- VLSI and Analog Circuit Testing
- Embedded Systems Design Techniques
Software top 1%
- Software Testing and Debugging Techniques

Papers in

Hardware and Architecture 28
- VLSI and Analog Circuit Testing 19
- Embedded Systems Design Techniques 17
- Parallel Computing and Optimization Techniques 7
Software 9
- Software Testing and Debugging Techniques 7

Co-authors: P. Zafiropulo William H. Joyner V. Iyengar Jungwook Choi Colin H. West Donald Cowan H. Rudin Louise Trevillyan
Journals: IBM Journal of Research and Development (4 papers)IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (3 papers)Journal of the ACM (2 papers)IEEE Transactions on Computers (2 papers)Science of Computer Programming (1 paper)
Partner nations: United States Switzerland Canada

In The Last Decade

Daniël Brand

48 papers receiving 2.0k citations

Hit Papers

align trajectories log scale

On Communicating Finite-State Machines 1983 · 552 citations

Peers

Countries citing papers authored by Daniël Brand

Since Specialization

Citations

This map shows the geographic impact of Daniël Brand's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Daniël Brand with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Daniël Brand more than expected).

Fields of papers citing papers by Daniël Brand

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daniël Brand. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Daniël Brand. The network helps show where Daniël Brand may publish in the future.

Co-authorship network

The 25 scholars most cited alongside Daniël Brand, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Daniël Brand Line = papers co-authored together Daniël Brand links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	Trapped by Evil and Deceit Academic Studies Press eBooks ·Daniël Brand	2021	0
2	MEC: Memory-efficient Convolution for Deep Neural Network. International Conference on Machine Learning ·Minsik Cho, Daniël Brand	2017	16
3	Pointing at the HUD Daniël Brand, Fujio Kameda, Alexander Meschtscherjakov	2016	17
4	De impact van psychofarmaca op de gezondheid met een bijzondere aandacht voor ouderen Ghent University Academic Bibliography (Ghent University) ·Facundo Giménez, Daniël Brand, Prosper Yandia Simplice, Ren-jie Wu, Johanna Burzig, Marc De Meyere, Jacques De Mol, Emmanuel Hermans, Mirko Petrović, Anne Rogiers, Éric Salmon, Eduardo Mendieta	2011	0
5	A novel analysis space for pointer analysis and its application for bug finding Science of Computer Programming ·Thiago Gabriel de Oliveira Rosa, Daniël Brand, Vugranam C. Sreedhar, Stephen A. Edwards	2009	4
6	Synthesis of pseudo-random pattern testable designs V. Iyengar, Daniël Brand	2003	40
7	Verification of large synthesized designs Daniël Brand	2002	128
8	Early analysis tools for system-on-a-chip design IBM Journal of Research and Development ·John A. Darringer, Reinaldo A. Bergamaschi, Sandip Bhattacharya, Daniël Brand, Andreas Herkersdorf, Naresh Vankayalapati, Manuel Rego Nieto, Ramsey Gohar, Youngsoo Shin	2002	30
9	Incremental synthesis International Conference on Computer Aided Design ·Daniël Brand, Collin M. Reeser, Sandip Kundu, D. Gierth	1994	63
10	Incremental Synthesis IEEE/ACM International Conference on Computer-Aided Design ·Daniël Brand	1994	32
11	Verification of large synthesized designs International Conference on Computer Aided Design ·Daniël Brand	1993	194
12	Minimization of AND-EXOR expressions using rewrite rules IEEE Transactions on Computers ·Daniël Brand, T. Sasao	1993	24
13	Exhaustive simulation need not require an exponential number of tests International Conference on Computer Aided Design ·Daniël Brand	1992	1
14	Technology adaption in logic synthesis Design Automation Conference ·William H. Joyner, Louise Trevillyan, Daniël Brand, Lucky Adjun Pratama, Eui Kyung Chung	1986	12
15	Technology Adaptation in Logic Synthesis William H. Joyner, Louise Trevillyan, Daniël Brand, Lucky Adjun Pratama, Maksudul Alam	1986	20
16	Symbolic Simulation for Correct Machine Design Design Automation Conference ·William C. Carter, William H. Joyner, Daniël Brand	1979	27
17	Microprogram verification considered necessary. William C. Carter, William H. Joyner, Daniël Brand	1978	30
18	Using Machine Descriptions in Program Verification. William H. Joyner, William C. Carter, Daniël Brand	1978	10
19	Proving Programs Incorrect. International Colloquium on Automata, Languages and Programming ·Daniël Brand	1976	3
20	Analytic resolution in theorem proving Artificial Intelligence ·Daniël Brand	1976	4

About Daniël Brand

Daniël Brand is a scholar working on Hardware and Architecture, Software, Computational Theory and Mathematics, Artificial Intelligence and Electrical and Electronic Engineering, having authored 51 papers that have together received 2.1k indexed citations. Recurring topics across this work include VLSI and Analog Circuit Testing (19 papers), Embedded Systems Design Techniques (17 papers), Formal Methods in Verification (17 papers), VLSI and FPGA Design Techniques (9 papers), Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (7 papers), Software Testing and Debugging Techniques (7 papers) and Logic, Reasoning, and Knowledge (3 papers). The work is most often cited by research in Hardware and Architecture (1.0k citations), Software (337 citations), Computational Theory and Mathematics (1.0k citations), Artificial Intelligence (648 citations) and Computer Networks and Communications (399 citations). Daniël Brand has collaborated with scholars based in United States, Switzerland and Canada. Frequent co-authors include P. Zafiropulo, William H. Joyner, V. Iyengar, Jungwook Choi, Colin H. West, Donald Cowan, H. Rudin, Louise Trevillyan, John A. Darringer and William C. Carter. Their work appears in journals such as IBM Journal of Research and Development, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Journal of the ACM, IEEE Transactions on Computers and Science of Computer Programming.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact