Search dblp for Publications

• > Home > Search

@article{DBLP:journals/afp/Ballarin05,
  author       = {Clemens Ballarin},
  title        = {Fast Fourier Transform},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/FFT.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Ballarin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Huffman05,
  author       = {Brian Huffman},
  title        = {Countable Ordinals},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/Ordinal.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Huffman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/JaskelioffM05,
  author       = {Mauro Jaskelioff and
                  Stephan Merz},
  title        = {Proving the Correctness of Disk Paxos},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/DiskPaxos.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/JaskelioffM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/KleinN05,
  author       = {Gerwin Klein and
                  Tobias Nipkow},
  title        = {Jinja is not Java},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/Jinja.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/KleinN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/LindenbergW05,
  author       = {Christina Lindenberg and
                  Kai Wirt},
  title        = {SHA1, RSA, {PSS} and more},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/RSAPSS.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/LindenbergW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/OKeefe05,
  author       = {Greg O'Keefe},
  title        = {Category Theory to Yoneda's Lemma},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/Category.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/OKeefe05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/RauchS05,
  author       = {Nicole Rauch and
                  Norbert Schirmer},
  title        = {Jive Data and Store Model},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/JiveDataStoreModel.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/RauchS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Tiu05,
  author       = {Alwen Tiu},
  title        = {Formalization of a Generalized Protocol for Clock Synchronization},
  journal      = {Arch. Formal Proofs},
  volume       = {2005},
  year         = {2005},
  url          = {https://www.isa-afp.org/entries/GenClock.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Tiu05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}