Robert Wille
Artificial Intelligence · 2008–2017
A researcher in the Science corpus: 4 papers; trusts 9 researchers and is trusted by 5 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 16 citations into it
- Computational Theory and Mathematics — 12 citations into it
Whom Robert Wille trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Pallav Gupta
- Gerhard Reinelt
- Vivek V. Shende
- Abhinav Agrawal
- Niraj Kumar Jha
- Holger H. Hoos
- George A. Miller
- Dmitri Maslov
- Aditya K. Prasad
Who trusts Robert Wille overall
Papers from Robert Wille's perspective
Ordered by how strongly the researchers Robert Wille trusts endorse each paper. Same corpus, a different order for every researcher.
- Synthesis of reversible logic circuits (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.)
- Quantum Computation and Quantum Information
- An Algorithm for Synthesis of Reversible Logic Circuits (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
- WordNet: A Lexical Database for English
- SATLIB: An Online Resource for Research on SAT
- TSPLIB - A Traveling Salesman Problem Library
- Quipper: a scalable quantum programming language (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
- Circuit for Shor's algorithm using 2n+3 qubits (Quantum information & computation)
- A Quantum Approximate Optimization Algorithm
Their papers
- RevLib: An Online Resource for Reversible Functions and Reversible Circuits (2008) — 541 citations
- An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures (2017) — 402 citations
- Generating formal system models from natural language descriptions (2012) — 11 citations
- BDD-based synthesis of reversible logic for large functions (2009) — 341 citations