"au:"G. S. Paraoanu"" — arXiv2 Search