"au:"Alfredo Micera"" — arXiv2 Search