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