All Stories

  1. Tools for Quantum Computing Based on Decision Diagrams
  2. Introduction to the Special Issue on Design Automation for Quantum Computing
  3. Limiting the Search Space in Optimal Quantum Circuit Mapping
  4. Improving the Robustness of Microfluidic Networks
  5. Practical Assessment of Payload- Header Switching in Microfluidic Networks
  6. Efficient One-pass Synthesis for Digital Microfluidic Biochips
  7. Exploiting Quantum Teleportation in Quantum Circuit Mapping
  8. One-pass Synthesis for Field-coupled Nanocomputing Technologies
  9. Accurate and Efficient Simulation of Microfluidic Networks
  10. Random Stimuli Generation for the Verification of Quantum Circuits
  11. Robust Multi-Target Sample Preparation on MEDA Biochips Obviating Waste Production
  12. Considering decoherence errors in the simulation of quantum circuits using decision diagrams
  13. JKQ
  14. Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning
  15. Near Zero-Energy Computation Using Quantum-Dot Cellular Automata
  16. Harnessing the Granularity of Micro-Electrode-Dot-Array Architectures for Optimizing Droplet Routing in Biochips
  17. Improved DD-based Equivalence Checking of Quantum Circuits
  18. Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP -complete (Research Note)
  19. Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits
  20. Advanced Simulation of Droplet Microfluidics
  21. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
  22. IC/IP piracy assessment of reversible logic
  23. Computer-aided design for quantum computation
  24. Multi-channel and fault-tolerant control multiplexing for flow-based microfluidic biochips
  25. From biochips to quantum circuits: computer-aided design for emerging technologies
  26. Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
  27. Embedding of Large Boolean Functions for Reversible Logic
  28. Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability