PaperA Direct Method for Solving Linear SystemsM. TismenetskyInternational Journal of Computer Mathematics
PaperA minimal descriptor of an ancestral recombinations graphLaxmi Parida, Pier F. Palamara, et al.BMC Bioinformatics
PaperA Formal Treatment of Non-repudiation ProtocolsSatoshi HadaIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
PaperSubspace iterative methods for eigenvalue problemsTong Zhang, G.H. Golub, et al.Linear Algebra and Its Applications