Daniel Große

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Refined notions of QBF equivalences	2025-12-15	Paper
Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation Formal Methods in System Design	2025-10-24	Paper
Formal Verification of Structurally Complex Multipliers	2024-03-18	Paper
Clustering-Guided SMT($$\mathcal {L\!R\!A}$$) Learning	2023-03-21	Paper
GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools Recent Findings in Boolean Techniques	2021-10-18	Paper
Semi-formal cycle-accurate temporal execution traces reconstruction	2017-12-01	Paper
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules Automated Technology for Verification and Analysis	2016-01-08	Paper
Exact synthesis of elementary quantum gate circuits	2012-04-26	Paper
scientific article; zbMATH DE number 5353387 (Why is no real title available?)	2008-10-17	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 2044679 (Why is no real title available?)	2004-02-18	Paper
scientific article; zbMATH DE number 1908585 (Why is no real title available?) Genetic Programming and Evolvable Machines	2003-05-11	Paper
scientific article; zbMATH DE number 1700026 (Why is no real title available?)	2002-02-03	Paper

Research outcomes over time

This page was built for person: Daniel Große