\:The tree isomorphism algorithm in Section \ref{bucketsort}. Not published yet.
\:Both algorithms for minor-closed graph classes in Section \ref{minorclosed}. Published in \cite{mm:mst}.
\:The linear-time verification algorithm in Section \ref{verifysect} is a~simplification
- of the algorithm of King \cite{king:verify} and it corrects many omissions
+ of the algorithm of King \cite{king:verifytwo} and it corrects many omissions
in the original paper. Not published yet.
\:The ranking algorithms in Sections \ref{ranksect} to \ref{kpranksect} are results of joint research with Milan Straka.
Published in \cite{mm:rank}.