References in zbMATH (referenced in 83 articles )

Showing results 1 to 20 of 83.
Sorted by year (citations)

1 2 3 4 5 next

  1. Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan: A proof system for disjoint parallel quantum programs (2022)
  2. Slavnov, Sergey: Linear logic in normed cones: probabilistic coherence spaces and beyond (2021)
  3. Zamdzhiev, Vladimir: Computational adequacy for substructural lambda calculi (2021)
  4. Amy, Matthew: Sized types for low-level quantum metaprogramming (2019)
  5. Clairambault, Pierre; de Visme, Marc; Winskel, Glynn: Concurrent quantum strategies (2019)
  6. Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita: QPCF: higher-order languages and quantum circuits (2019)
  7. Stonyakin, Fedor Sergeevich: Hahn-Banach type theorems on functional separation for convex ordered normed cones (2019)
  8. Ying, Mingsheng: Toward automatic verification of quantum programs (2019)
  9. Dahlqvist, Fredrik; Silva, Alexandra; Danos, Vincent; Garnier, Ilias: Borel kernels and their approximation, categorically (2018)
  10. Rennela, Mathys; Staton, Sam: Classical control and quantum circuits in enriched category theory (2018)
  11. Stonyakin, F. S.: A sublinear analog of the Banach-Mazur theorem in separated convex cones with norm (2018)
  12. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  13. Ameen, El-Mahdy M.; Ali, Hesham A.; Salem, Mofreh M.; Badawy, Mahmoud: Towards implementation of a generalized architecture for high-level quantum programming language (2017)
  14. Hasuo, Ichiro; Hoshino, Naohiko: Semantics of higher-order quantum computation via geometry of interaction (2017)
  15. Scherer, Artur; Valiron, Benoît; Mau, Siun-Chuon; Alexander, Scott; van den Berg, Eric; Chapuran, Thomas E.: Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (2017)
  16. Stevens, Kelly E.; Amini, Jason M.; Doret, S. Charles; Mohler, Greg; Volin, Curtis; Harter, Alexa W.: Automating quantum experiment control. From circuit compilation to ion routing (2017)
  17. Chiribella, Giulio; Ebler, Daniel: Optimal quantum networks and one-shot entropies (2016)
  18. Cho, Kenta: Semantics for a quantum programming language by operator algebras (2016)
  19. Coecke, Bob; Heunen, Chris: Pictures of complete positivity in arbitrary dimension (2016)
  20. Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki: Semi-automated verification of security proofs of quantum cryptographic protocols (2016)

1 2 3 4 5 next