Concepedia

Heinz Riener

HR

21

Publications

425

Citations

14

H-Index

2011

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

University of California, Berkeley

Berkeley College

Synopsys (United States)

Microsoft (Switzerland)

Heinz Riener is an author at École Polytechnique Fédérale de Lausanne specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputer ArchitectureFormal VerificationParallel ComputingQuantum ComputingSoftware Design

Publications per year

2011–2022

21

Publications

21

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Heinz Riener, Winston Haaswijk, Alan Mishchenko et al. · 2019 · 46 citations · Full text

Circuit Complexity, Logic Synthesis, Boolean Networks +15

The EPFL Logic Synthesis Libraries

Mathias Soeken, Heinz Riener, Winston Haaswijk · arXiv (Cornell University) · 2018 · 34 citations · Full text

Quantum Compilers, Logic Synthesis, Engineering +14

A Simulation-Guided Paradigm for Logic Synthesis and Verification

Siang-Yun Lee, Heinz Riener, Alan Mishchenko et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021 · 33 citations · Full text

Engineering, Verification, Computer Architecture +18

A Versatile Mapping Approach for Technology Mapping and Graph Optimization

Alessandro Tempia Calvino, Heinz Riener, Shubham Rai et al. · 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC) · 2022 · 29 citations · Full text

Engineering, Technology Mapping, Computer Architecture +29

Scalable Generic Logic Synthesis

Heinz Riener, Eleonora Testa, Winston Haaswijk et al. · 2019 · 27 citations · Full text

Engineering, Computer Architecture, System Synthesis +16

Rows per page

1–5 of 21