Daniel Große - Concepedia

Author

Daniel Große

Also Known As

D. Grosse, D. Große, Daniel Grosse, Daniel Große, Daniel J. Grosse, GROSSE Dennis, Grosse, Grosse, Daniel, Große, Daniel

283

Publications

2.9K

Citations

H-Index

101

Concepts

All Affiliations

University of Bremen German Research Centre for Artificial Intelligence École Polytechnique Fédérale de Lausanne University of New Brunswick Johannes Kepler University of Linz

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	23	40	1.3K
2	Computer Engineering	22	34	1.1K
3	Natural Sciences	3	3	78
4	Language Studies	2	2	76
5	Applied Physics	1	1	12

Daniel Große

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne, EngineeringSymbolic ComputationApplied AlgebraFormal VerificationInteger Multipliers	2016	77
Equivalence Checking of Reversible Circuits Robert Wille, Daniel Große, D. Michael Miller, Circuit ComplexityHardware SecurityLogic SynthesisEngineeringQuantum Computing	2009	76
Approximation-aware rewriting of AIGs for error tolerant applications Arun Chandrasekharan, Mathias Soeken, Daniel Große, Relaxed MetricsEngineeringElectronic Design AutomationVerificationComputer Architecture	2016	68
RISC-V based virtual prototype: An extensible and configurable platform for the system-level Vladimir Herdt, Daniel Große, Pascal Pieper, Journal of Systems Architecture EngineeringVirtual PrototypeConfigurable PlatformHardware VirtualizationRisc-v	2020	63
Scalable design for field-coupled nanocomputing circuits Marcel Walter, Robert Wille, Frank Sill Torres, Scalable DesignEngineeringVlsi DesignElectronic DesignComputer Architecture	2019	57
Reversible Logic Synthesis with Output Permutation Robert Wille, Daniel Große, Gerhard W. Dueck, Circuit ComplexityOutput PermutationComputational LogicReversible LogicEngineering	2009	51
PolyCleaner Alireza Mahzoon, Daniel Große, Rolf Drechsler EngineeringAutomated ReasoningParallel Complexity TheoryAlgebraic SemanticsComputer Engineering	2018	50
Status of the McCad geometry conversion tool and related visualization capabilities for 3D fusion neutronics calculations Daniel Große, U. Fischer, Keitaro Kondo, Fusion Engineering and Design Geometric ModelingEngineeringPhysicsNatural SciencesRelated Visualization Capabilities	2013	49
Exact sat-based toffoli network synthesis Daniel Große, Xiaobo Chen, Gerhard W. Dueck, Quantum CompilersCircuit ComplexityLogic SynthesisEngineeringQuantum Computing	2007	49
Verifying SystemC using an intermediate verification language and symbolic simulation Hoang M. Le, Daniel Große, Vladimir Herdt, EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2013	48

Page 1