June 2024

Table of Contents - PeerJ Computer Science

Sorted by downloads
  • Publication date
  • Downloads
  • Pageviews
Comp Sci
  • PeerJ - Medicine articles
  • PeerJ - Biology & Life science articles
  • PeerJ - General bio (stats, legal, policy, edu)
  • PeerJ Computer Science
  • PeerJ Preprints
software-engineering programming-languages
Login to save + alerts
June 20, 2024
Symbolic model checking quantum circuits in Maude
Canh Minh Do, Kazuhiro Ogata
https://doi.org/10.7717/peerj-cs.2098
  • ← Previous
  • 1
  • Next →

Archives - Computer Science

software-engineering programming-languages
2024
  • September 1
  • August 1
  • July 0
  • June 1
2023
  • November 1
  • October 0
  • September 0
  • August 0
  • July 0
  • June 0
  • May 0
  • April 0
  • March 0
  • February 1
2022
  • December 1
2021
  • July 1
  • June 0
  • May 0
  • April 0
  • March 0
  • February 1
2020
2019
  • October 1
2018
  • September 1
  • August 0
  • July 0
  • June 0
  • May 0
  • April 1
2017
  • May 1
2016
  • October 1
  • September 0
  • August 0
  • July 0
  • June 0
  • May 0
  • April 0
  • March 1

Filter on subjects this month

  • emerging-technologies 1
  • programming-languages 1
  • quantum-computing 1
  • software-engineering 1
  • theory-and-formal-methods 1
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback