"au:"F. Vincentelli"" — arXiv2 Search