Jaco van de Pol
- A manifesto for applicable formal methods
2021/12/23 by Mario Gleirscher, Jaco van de Pol, Jim Woodcock · 2 voices · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Embedded Systems Design Techniques
- Optimal Layout Synthesis for Quantum Circuits as Classical Planning (full version)
2023/04/24 by Irfansha Shaik, Shaik, Irfansha, Jaco van de Pol +1 · 4 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Physical sciences #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation
2024/08/08 by Irfansha Shaik, Shaik, Irfansha, Jaco van de Pol +1 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
- Parallel Recursive State Compression for Free
2011/04/15 by Alfons Laarman, Jaco van de Pol, Laarman, Alfons +3 · 1 citation
Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques