Concepedia

Daniel Große

DG

45

Publications

1.4K

Citations

24

H-Index

2001

Active since

Affiliations

University of Bremen(Current)

German Research Centre for Artificial Intelligence

École Polytechnique Fédérale de Lausanne

University of New Brunswick

Johannes Kepler University of Linz

Daniel Große is an author at University of Bremen specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal VerificationFormal MethodsSystems EngineeringVerificationComputer ArchitectureSoftware AnalysisProgram Analysis

Publications per year

2001–2024

45

Publications

45

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne et al. · 2016 · 77 citations

Engineering, Symbolic Computation, Applied Algebra +17

Equivalence Checking of Reversible Circuits

Robert Wille, Daniel Große, D. Michael Miller et al. · 2009 · 76 citations

Circuit Complexity, Hardware Security, Logic Synthesis +14

Approximation-aware rewriting of AIGs for error tolerant applications

Arun Chandrasekharan, Mathias Soeken, Daniel Große et al. · 2016 · 68 citations · Full text

Relaxed Metrics, Engineering, Electronic Design Automation +19

RISC-V based virtual prototype: An extensible and configurable platform for the system-level

Vladimir Herdt, Daniel Große, Pascal Pieper et al. · Journal of Systems Architecture · 2020 · 63 citations

Engineering, Virtual Prototype, Configurable Platform +14

Scalable design for field-coupled nanocomputing circuits

Marcel Walter, Robert Wille, Frank Sill Torres et al. · 2019 · 57 citations

Scalable Design, Engineering, Vlsi Design +16

Rows per page

1–5 of 45