External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Trustworthy Graph Algorithms (Invited Talk)

Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow. Trustworthy Graph Algorithms (Invited Talk). In Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Volume 138 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Mohammad Abdulaziz

This author has not been identified. Look up 'Mohammad Abdulaziz' in Google

Kurt Mehlhorn

This author has not been identified. Look up 'Kurt Mehlhorn' in Google

Tobias Nipkow

This author has not been identified. Look up 'Tobias Nipkow' in Google
runs on