107 citations · 291 across the 5 of their papers we have counts for
10 papers
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some importan…
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…
The spatial clustering of X-ray selected AGN in the XMM-COSMOS field
R. Gilli, G. Zamorani, T. Miyaji +70
We study the spatial clustering of 538 X-ray selected AGN in the 2 deg^2 XMM-COSMOS field that are spectroscopically identified to I_{AB}<23 and span the redshift range z=0.2-3.0.…
The zCOSMOS redshift survey: the three-dimensional classification cube and bimodality in galaxy physical properties
M. Mignoli, G. Zamorani, M. Scodeggio +56
Aims. We investigate the relationships between three main optical galaxy observables (spectral properties, colours, and morphology), exploiting the data set provided by the COSMOS/…
The optical spectra of 24 micron galaxies in the COSMOS field: I. Spitzer/MIPS bright sources in the zCOSMOS-bright 10k catalogue
K. I. Caputi, S. J. Lilly, H. Aussel +23
We study zCOSMOS-bright optical spectra for 609 Spitzer/MIPS 24 micron-selected galaxies with S(24um)> 0.30 mJy and I<22.5 (AB mag) over 1.5 sq. deg. of the COSMOS field. From emis…
Metal enrichment in near-IR luminous galaxies at z~2: signatures of proto-ellipticals?
Duilia de Mello, E. Daddi, A. Renzini +4
We present the analysis of the coadded rest-frame UV spectrum (1200<z<2000 A) of five K-luminous galaxies at z~2 from the K20 survey. The composite spectrum is characterized by str…