The Physics and Mass Assembly of distant galaxies with the E-ELT (2009)
Puech, M., Rosati, P., Toft, S., Cimatti, A., Neichel, B., Fusco, T.
One of the main science goal of the future European Extremely Large Telescope will be to understand the mass assembly process in galaxies as a function of cosmic time. To this aim, a multi-object,...
Properties and environment of Radio Emitting Galaxies in the VLA-zCOSMOS survey (2009)
Bardelli, S., Schinnerer, E., Smolcic, V., Zamorani, G., Zucca, E., Mignoli, M., ...
We investigate the properties and the environment of radio sources with optical counterpart from the combined VLA-COSMOS and zCOSMOS samples. The advantage of this sample is the availability of...
Orsi, Alvaro, Baugh, C. M., Lacey, C. G., Cimatti, A., Wang, Y., Zamorani, G.
Future galaxy surveys will map the galaxy distribution in the redshift interval $0.5
Empirical H-alpha emitter count predictions for dark energy surveys (2009)
Geach, J. E., Cimatti, A., Percival, W., Wang, Y., Guzzo, L., Zamorani, G., ...
Future galaxy redshift surveys aim to measure cosmological quantities from the galaxy power spectrum. A prime example is the detection of baryonic acoustic oscillations (BAOs), providing a standard...
Caputi, K. I., Lilly, S. J., Aussel, H., Floc'h, E. Le, Sanders, D., Maier, C., ...
We have used the zCOSMOS-bright 10k sample to identify 3244 Spitzer/MIPS 24-micron-selected galaxies with 0.06< S(24um)< 0.50 mJy and I(AB)
Rodighiero, G., Vaccari, M., Franceschini, A., Tresse, L., Fevre, O. Le, Brun, V. Le, ...
[Abridged]We exploit a large homogeneous dataset to derive a self-consistent picture of IR emission based on the time-dependent 24, 15, 12 and 8micron monochromatic and bolometric IR luminosity...
The nonlinear biasing of the 10k zCOSMOS galaxies up to z~1 (2009)
Kovac, K., Porciani, C., Lilly, S. J., Marinoni, C., Guzzo, L., Cucciati, O., ...
We use the overdensity field reconstructed in the volume of the COSMOS area to study the nonlinear biasing of the zCOSMOS galaxies. The galaxy overdensity field is reconstructed using the current...
Sacchi, N., La Franca, F., Feruglio, C., Fiore, F., Puccetti, S., Cocchia, F., ...
We present a catalog of optical spectroscopic identifications of sources detected by Spitzer at 3.6 or 24 μm down to ~10 and ~280 μJy, respectively, in the SWIRE/XMM-Newton/ELAIS-S1 field and...
Zucca, E., Bardelli, S., Bolzonella, M., Zamorani, G., Ilbert, O., Pozzetti, L., ...
(Abridged) We studied the evolution in the B band luminosity function to z~1 in the zCOSMOS 10k sample, for which both accurate galaxy classifications and a detailed description of the local density...
High-redshift elliptical galaxies: are they (all) really compact? (2009)
Mancini, C., Daddi, E., Renzini, A., Salmi, F., McCracken, H. J., Cimatti, A., ...
We investigate the properties of 12 ultra-massive passively evolving early type galaxies (ETGs) at z_phot>1.4 in the COSMOS 2 deg^2 field. These 12 ETGs were selected as pBzKs, have accurate 1.4
Sacchi, N., La Franca, F., Feruglio, C., Fiore, F., Puccetti, S., Cocchia, F., ...
We present a catalog of optical spectroscopic identifications of sources detected by Spitzer at 3.6 or 24 micron down to 10 and 280 microJy, respectively, in the SWIRE/XMM-Newton/ELAIS-S1 field and...
The 10k zCOSMOS: morphological transformation of galaxies in the group environment since z~1 (2009)
Kovac, K., Lilly, S. J., Knobel, C., Bolzonella, M., Iovino, A., Carollo, C. M., ...
We study the evolution of galaxies inside and outside of the group environment since z=1 using a large well defined set of groups and galaxies from the zCOSMOS-bright redshift survey in the COSMOS...
The zCOSMOS Redshift Survey: How group environment alters global downsizing trends (2009)
Iovino, A., Cucciati, O., Scodeggio, M., Knobel, C., Kovac, K., Lilly, S., ...
We took advantage of the wealth of information provided by the first ~10000 galaxies of the zCOSMOS-bright survey and its group catalogue to study the complex interplay between group environment and...
Vergani, D., Zamorani, G., Lilly, S. J., Lamareille, F., Halliday, C., Scodeggio, M., ...
The identities of the main processes triggering and quenching star-formation in galaxies remain unclear. A key stage in evolution, however, appears to be represented by post-starburst galaxies. To...
Taniguchi, Y., Murayama, T., Scoville, N. Z., Sasaki, S. S., Nagao, T., Shioya, Y., ...
We present detailed morphological properties of Lyα emitters (LAEs) at z ≈ 5.7 in the COSMOS field based on Hubble Space Telescope Advanced Camera for Surveys (ACS) data. The ACS imaging in the...
Pozzetti, L., Bolzonella, M., Zucca, E., Zamorani, G., Lilly, S., Renzini, A., ...
We present the Galaxy Stellar Mass Function (GSMF) up to z~1 from the zCOSMOS-bright 10k spectroscopic sample. We investigate the total MF and the contribution of ETGs and LTGs, defined by broad-band...
Bolzonella, M., Kovac, K., Pozzetti, L., Zucca, E., Cucciati, O., Lilly, S. J., ...
We study the impact of the environment on the evolution of galaxies in the zCOSMOS 10k sample in the redshift range 0.1
Kurk, J., Cimatti, A., Zamorani, G., Halliday, C., Mignoli, M., Pozzetti, L., ...
We present a study of a galaxy overdensity at z=1.6, Cl 0332-2742, uncovered in the Galaxy Mass Assembly ultra-deep Spectroscopic Survey (GMASS). We conservatively estimate the overdensity in...
Tasca, L. A. M., Kneib, J. P., Iovino, A., Fevre, O. Le, Kovac, K., Bolzonella, M., ...
For more than two decades we have known that galaxy morphological segregation is present in the Local Universe. It is important to see how this relation evolves with cosmic time. To investigate how...
Dynamical masses of early-type galaxies at z~2: Are they truly superdense? (2009)
Cappellari, Michele, Alighieri, S. Di Serego, Cimatti, A., Daddi, E., Renzini, A., Kurk, J. D., ...
We measured stellar velocity dispersions sigma and dynamical masses of 9 massive (M~10^11 Msun) early-type galaxies (ETG) from the GMASS sample at redshift 1.4
HST/ACS Morphology of Lyman Alpha Emitters at Redshift 5.7 in the COSMOS Field (2009)
Taniguchi, Y., Murayama, T., Scoville, N. Z., Sasaki, S. S., Nagao, T., Shioya, Y., ...
We present detailed morphological properties of Lyman alpha emitters (LAEs) at z~ 5.7 in the COSMOS field, based on {\it Hubble Space Telescope} Advanced Camera for Surveys (ACS) data. The ACS...
The zCOSMOS Survey. The dependence of clustering on luminosity and stellar mass at z=0.2-1 (2009)
Meneux, B., Guzzo, L., Porciani, C., Zamorani, G., Abbas, U., ...
We study the dependence of galaxy clustering on luminosity and stellar mass at redshifts z ~ [0.2-1] using the first zCOSMOS 10K sample. We measure the redshift-space correlation functions xi(rp,pi)...
Maier, C., Lilly, S. J., Zamorani, G., Scodeggio, M., Lamareille, F., Contini, T., ...
In order to try to understand the internal evolution of galaxies and relate this to the global evolution of the galaxy population, we present a comparative study of the dependence of star formation...
GMASS ultradeep spectroscopy of galaxies at z ~ 2. IV. The variety of dust populations (2009)
Noll, S., Pierini, D., Cimatti, A., Daddi, E., Kurk, J. D., Bolzonella, M., ...
The properties of dust attenuation at rest-frame UV wavelengths are inferred from very high-quality FORS2 spectra of 78 galaxies from the GMASS survey at 1
The density field of the 10k zCOSMOS galaxies (2009)
Kovac, K., Lilly, S. J., Cucciati, O., Porciani, C., Iovino, A., Zamorani, G., ...
We use the current sample of ~10,000 zCOSMOS spectra of sources selected with I(AB) < 22.5 to define the density field out to z~1, with much greater resolution in the radial dimension than has been...
An optical group catalogue to z = 1 from the zCOSMOS 10k sample (2009)
Knobel, C., Lilly, S. J., Iovino, A., Porciani, C., Kovac, K., Cucciati, O., ...
We present a galaxy group catalogue spanning the redshift range 0.1
SPACE: the spectroscopic all-sky cosmic explorer (2009)
Cimatti, A., Robberto, M., Baugh, C., Beckwith, S. V. W., Content, R., Daddi, E., ...
We describe the scientific motivations, the mission concept and the instrumentation of SPACE, a class-M mission proposed for concept study at the first call of the ESA Cosmic-Vision 2015–2025...
The SINS survey: modeling the dynamics of z~2 galaxies and the high-z Tully-Fisher relation (2009)
Cresci, G., Hicks, E. K. S., Genzel, R., Schreiber, N. M. Foerster, Davies, R., Bouche', N., ...
We present the modeling of SINFONI integral field dynamics of 18 star forming galaxies at z ~ 2 from Halpha line emission. The galaxies are selected from the larger sample of the SINS survey, based...
Applications of DMDs for astrophysical research (2009)
Robberto, M., Cimatti, A., Jacobsen, A., Zamkotsian, F., Zerbi, F. M.
A long-standing problem of astrophysical research is how to simultaneously obtain spectra of thousands of sources randomly positioned in the field of view of a telescope. Digital Micromirror Devices,...
Searching for massive galaxies at z>=3.5 in GOODS-North (2009)
Mancini, C., Matute, I., Cimatti, A., Daddi, E., Dickinson, M., Rodighiero, G., ...
We constrain the space density and properties of massive galaxy candidates at redshifts of z>=3.5 in the GOODS-N field. By selecting sources in the Spitzer+IRAC bands, a highly stellar mass-complete...
The close environment of 24 μm galaxies at 0.6 < z < 1.0 in the cosmos field (2009)
Caputi, K. I., Kovač, K., Bolzonella, M., Lilly, S. J., Zamorani, G., Aussel, H., ...
We investigate the close environment of 203 Spitzer 24 μm -selected sources at 0.6 < z < 1.0 using zCOSMOS-bright redshifts and spectra of I < 22.5 AB mag galaxies, over 1.5 deg^2 of the COSMOS...
Maier, C., Lilly, S. J., Zamorani, G., Scodeggio, M., Lamareille, F., Contini, T., ...
In order to try to understand the internal evolution of galaxies and relate this to the global evolution of the galaxy population, we present a comparative study of the dependence of star formation...
Mignoli, M., Zamorani, G., Scodeggio, M., Cimatti, A., Halliday, C., Lilly, S. J., ...
Aims. We investigate the relationships between three main optical galaxy observables (spectral properties, colors, and morphology), exploiting the data set provided by the COSMOS/zCOSMOS survey. The...
Mignoli, M., Zamorani, G., Scodeggio, M., Cimatti, A., Halliday, C., Lilly, S. J., ...
Aims. We investigate the relationships between three main optical galaxy observables (spectral properties, colors, and morphology), exploiting the data set provided by the COSMOS/zCOSMOS survey. The...
The spatial clustering of X-ray selected AGN in the XMM-COSMOS field (2009)
Gilli, R., Zamorani, G., Miyaji, T., Silverman, J., Brusa, M., Mainieri, V., ...
We study the spatial clustering of 538 X-ray selected AGN in the 2 deg^2 XMM-COSMOS field that are spectroscopically identified with I_(AB) < 23 and span the redshift range z = 0.2−3.0. The median...
The spatial clustering of X-ray selected AGN in the XMM-COSMOS field (2009)
Gilli, R., Zamorani, G., Miyaji, T., Silverman, J., Brusa, M., Mainieri, V., ...
The close environment of 24 μm galaxies at 0.6 < z < 1.0 in the cosmos field (2009)
Caputi, K. I., Kovac, K., Bolzonella, M., Lilly, S. J., Zamorani, G., Aussel, H., ...
An optical group catalog to z = 1 from the zCOSMOS 10 k sample (2009)
Knobel, C., Lilly, S. J., Iovino, A., Porciani, C., Kovac, K., Cucciati, O., ...
The SINS survey: modeling the dynamics of z ~ 2 galaxies and the high-z Tully-Fisher relation (2009)
Cresci, G., Hicks, E. K. S., Genzel, R., Förster Schreiber, N. M., Davies, R., Bouché, N., ...
GMASS ultradeep spectroscopy of galaxies at z ~ 2 - IV. The variety of dust populations (2009)
Noll, S., Pierini, D., Cimatti, A., Daddi, E., Kurk, J. D., Bolzonella, M., ...
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, ...
• A rewrite of SMV developed at CMU. • Incorporates both BDD-based and SAT-based model checking.
Genzel, R., Burkert, A., Bouché, N., Cresci, G., Förster Schriber, N. M., Shapley, A., ...
We present Hα integral field spectroscopy of well-resolved, UV/optically selected z ~ 2 star-forming galaxies as part of the SINS survey with SINFONI on the ESO VLT. Our laser guide star adaptive...
The spatial clustering of X-ray selected AGN in the XMM-COSMOS field (2008)
Gilli, R., Zamorani, G., Miyaji, T., Silverman, J., Brusa, M., Mainieri, V., ...
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} 3 x 10^{10} M_sun) at the same redshift. This suggests that...
Mignoli, M., Zamorani, G., Scodeggio, M., Cimatti, A., Halliday, C., Lilly, S. J., ...
Aims. We investigate the relationships between three main optical galaxy observables (spectral properties, colours, and morphology), exploiting the data set provided by the COSMOS/zCOSMOS survey. The...
Berta, S., Rubele, S., Franceschini, A., Held, E. V., Rizzi, L., Rodighiero, G., ...
Context. The ESO-Spitzer Imaging extragalactic Survey (ESIS) is the optical follow up of the Spitzer Wide-area Infra-Red Extragalactic survey (SWIRE) in the ELAIS-S1 region of the sky. Aims. In the...
The close environment of 24 micron galaxies at 0.6 (2008)
Caputi, K. I., Kovac, K., Bolzonella, M., Lilly, S. J., Zamorani, G., Aussel, H., ...
We investigate the close environment of 203 Spitzer 24 micron-selected sources at 0.6
Genzel, R., Burkert, A., Bouche, N., Cresci, G., Schreiber, N. M. Foerster, Shapley, A., ...
We present Ha integral field spectroscopy of well resolved, UV/optically selected z~2 star-forming galaxies as part of the SINS survey with SINFONI on the ESO VLT. Our laser guide star adaptive...
Berta, S., Rubele, S., Franceschini, A., Held, E., Rizzi, L., Rodighiero, G., ...
(abridged) The ESIS survey is the optical follow up of the SWIRE/Spitzer in the ELAIS-S1 region of the sky. In the era of observational cosmology, the main efforts are focused on the study of galaxy...
Caputi, K. I., Lilly, S. J., Aussel, H., Sanders, D., Frayer, D., Le Févre, O., ...
We study zCOSMOS-bright optical spectra for 609 Spitzer MIPS 24 μm-selected galaxies with S_(24) μ m > 0.30 mJy and I < 22.5 (AB mag) over 1.5 deg^2 of the COSMOS field. From emission-line...
AMAZE. I. The evolution of the mass-metallicity relation at z>3 (2008)
Maiolino, R., Nagao, T., Grazian, A., Cocchia, F., Marconi, A., Mannucci, F., ...
We present initial results of an ESO-VLT large programme (AMAZE) aimed at determining the evolution of the mass-metallicity relation at z>3 by means of deep near-IR spectroscopy. Gas metallicities...
Tacconi, L. J., Genzel, R., Smail, I., Neri, R., Chapman, S. C., Ivison, R. J., ...
We report subarcsecond resolution IRAM PdBI millimeter CO interferometry of four z ~ 2 submillimeter galaxies (SMGs), and sensitive CO(3-2) flux limits toward three z ~ 2 UV/optically selected...
SPACE: the SPectroscopic All-sky Cosmic Explorer (2008)
Cimatti, A., Robberto, M., Baugh, C. M., Beckwith, S. V. W., Content, R., Daddi, E., ...
We describe the scientific motivations, the mission concept and the instrumentation of SPACE, a class-M mission proposed for concept study at the first call of the ESA Cosmic-Vision 2015-2025...
Cassata, P., Cimatti, A., Kurk, J., Rodighiero, G., Pozzetti, L., Bolzonella, M., ...
The aim of this work is to study the evolution of the rest frame color distribution of galaxies with the redshift, in particular in the critical interval 1.42 are passively evolving, with the bulk of...
ABSTRACT Formal Analysis of Hardware Requirements ∗ (2008)
I. Pill, S. Semprini, R. Cavada, M. Roveri, R. Bloem, A. Cimatti
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent and as basis for...
Shapiro, K. L., Genzel, R., Schreiber, N. M. Forster, Tacconi, L. J., Bouche, N., Cresci, G., ...
We present a simple set of kinematic criteria that can distinguish between galaxies dominated by ordered rotational motion and those involved in major merger events. Our criteria are based on the...
Tacconi, L. J., Genzel, R., Smail, I., Neri, R., Chapman, S. C., Ivison, R. J., ...
We report sub-arcsecond resolution IRAM PdBI millimeter CO interferometry of four z~2 submillimeter galaxies (SMGs), and sensitive CO (3-2) flux limits toward three z~2 UV-/optically selected star...
GMASS Ultradeep Spectroscopy of Galaxies at 1.4 (2008)
Cimatti, A., Cassata, P., Pozzetti, L., Kurk, J., Mignoli, M., Renzini, A., ...
We combine ultradeep optical spectroscopy from the GMASS project ("Galaxy Mass Assembly ultradeep Spectroscopic Survey") with GOODS multi-band photometry and HST imaging to study a sample of passive...
GMASS Ultradeep Spectroscopy of Galaxies at redshift z~2. I. The stellar metallicity (2008)
Halliday, C., Daddi, E., Cimatti, A., Kurk, J., Renzini, A., Mignoli, M., ...
Context: Galaxy metallicities have been measured to redshift z~2 by gas-phase oxygen abundances of the interstellar medium using the R23 and N2 methods. Galaxy stellar metallicities provide crucial...
Tacconi, L. J., Genzel, R., Smail, I., Neri, R., Chapman, S. C., Ivison, R. J., ...
We report subarcsecond resolution IRAM PdBI millimeter CO interferometry of four z~2 submillimeter galaxies (SMGs), and sensitive CO(3-2) flux limits toward three z~2 UV/optically selected...
A spectroscopic study of a z=1.6 galaxy overdensity in the GMASS field (2008)
Kurk, J., Cimatti, A., Zamorani, G., Halliday, C., Mignoli, M., Pozzetti, L., ...
The Galaxy Mass Assembly ultra-deep Spectroscopic Survey samples a part of the CDFS to unprecedented depth. The resulting distribution of 150 z>1.4 redshifts reveals a significant peak at z = 1.6,...
GMASS, Unveiling Distant Massive Galaxies with Spitzer (2008)
Kurk, J. D., Cimatti, A., Daddi, E., Dickinson, M., Mignoli, M., Pozzetti, L., ...
One of the main questions of galaxy formation is how and when galaxies assembled their mass. Observations suggest that most mass assembly and star formation occured at 1 < z < 3. However, in the same...
GMASS ultradeep spectroscopy of galaxies at z ~ 2 . I. The stellar metallicity (2008)
Halliday, C., Daddi, E., Cimatti, A., Kurk, J., Renzini, A., Mignoli, M., ...
Context: Galaxy metallicities have been measured to redshift zÃÅ2 by gas-phase oxygen abundances of the interstellar medium using the R{23} and N2 methods. Galaxy stellar metallicities provide...
Cimatti, A., Cassata, P., Pozzetti, L., Kurk, J., Mignoli, M., Renzini, A., ...
Aims. The aim of this work is to investigate the physical, structural and evolutionary properties of old, passive galaxies at z > 1.4 and to place new constraints on massive galaxy formation and...
Cassata, P., Cimatti, A., Kurk, J., Rodighiero, G., Pozzetti, L., Bolzonella, M., ...
Aims. The aim of this work is to study the evolution of the rest-frame color distribution of galaxies with the redshift, in particular in the critical interval 1.42 we still find red galaxies in the...
The evolution of the mass-metallicity relation at z~3 (2007)
Maiolino, R., Nagao, T., Grazian, A., Cocchia, F., Marconi, A., Mannucci, F., ...
We present preliminary results of an ESO-VLT large programme (AMAZE) aimed at determining the evolution of the mass-metallicity relation at z~3 by means of deep near-IR spectroscopy. Gas...
Dynamical Properties of z ~ 2 Star-forming Galaxies and a Universal Star Formation Relation (2007)
Bouché, N., Cresci, G., Davies, R., Eisenhauer, F., Förster Schreiber, N. M., Genzel, R., ...
We present the first comparison of the dynamical properties of different samples of z ~ 1.4-3.4 star-forming galaxies from spatially resolved imaging spectroscopy from SINFONI/VLT integral field...
The contribution of very massive high-redshift SWIRE galaxies to the stellar mass function (2007)
Berta, S., Lonsdale, C. J., Polletta, M., Savage, R. S., Franceschini, A., Buttery, H., ...
Context. In the last couple of years a population of very massive (M_* > 10^(11) M_⊙), high-redshift (z ≥ 2) galaxies has been identified, but its role in galaxy evolution has not yet been fully...
Cimatti A, Giunchiglia E, Pecchiari P, Spalazzi L, Traverso P, A. Armando, ...
istituto per la ricerca scientifica e tecnologica
Presented at the ECAI-92 Workshop Beyond Sequential Planning, Vienna, (2007)
F. Giunchiglia, P. Traverso, A. Cimatti, L. Spalazzi, Fausto Giunchiglia, ...
Tactics: extending the notion of plan
Mechanized Reasoning Group (2007)
A. Cimatti, F. Giunchiglia, M. Roveri
Planning via Model Checking is a novel approach to planning. It is based on the reformulation of a planning problem to the exploration of a finite state automaton. Automata exploration can be...
Formal Specification and Development of a Safety-Critical Train Management System (2007)
A. Chiappini, Safety-critical Train, Management System, A. Cimatti, C. Porzia, G. Rotondo, ...
. In this paper we describe the on-going specication and development of Ansaldo's Radio Block Center (RBC), a component of the next-generation European Rail Trac Management System (ERTMS). The...
Formal Specification and Validation of a Vital Communication Protocol (2007)
A. Cimatti, P. L. Pieraccini, R. Sebastiani, P. Traverso, A. Villafiorita
. Formal methods have a great potential of application as powerful specification and early debugging methods in the development of industrial systems. In certain application fields, formal methods...
Spectropolarimetry of the Circinus galaxy (2007)
Oliva Marconi, E. Oliva, A. Marconi, A. Cimatti
. High quality 4500--6800 A spectropolarimetric observations of the Circinus galaxy are reported. These show polarized and relatively broad (FWHM¸3300 km/s) Hff (as well as marginal Hfi) arising...
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking (2007)
Scientifica E Tecnologica, Cimatti A, Giunchiglia E, Pistore M, Roveri M, Sebastiani R, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Scientifica E Tecnologica, A. Cimatti, M. Roveri, Alessandro Cimatti, Marco Roveri
This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its...
Daddi, E., Alexander, D. M., Dickinson, M., Gilli, R., Renzini, A., Elbaz, D., ...
Approximately 20%-30% of 1.4 ≾ z ≾ 2.5 galaxies with K_(Vega) < 22 detected with Spitzer MIPS at 24 μm show excess mid-IR emission relative to that expected based on the rates of star formation...
Proof Logging and Checking (2007)
P. Bertoli, A. Cimatti, F. Giunchiglia, P. Traverso, Piergiorgio Bertoli, Ro Cimatti, ...
istituto per la ricerca scientifica e tecnologica
P. Traverso, A. Cimatti, L. Spalazzi, Paolo Traverso, Alessandro Cimatti, ...
Beyond the single planning paradigm: introspective planning
Alessandro Cimatti, Fausto Giunchiglia, Richard Weyhrauch, A. Cimatti, F. Giunchiglia, ...
A many sorted natural deduction
Bounded Model Checking for Timed Systems (2007)
Scientifica E Tecnologica, Audemard G, Cimatti A, Kornilowicz A, Sebastiani R, G. Audemard, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
An Overview of the SPACE Mission Proposal (2007)
Robberto, M., Cimatti, A., Team, The SPACE Science
SPACE (SPectroscopic All-sky Cosmic Explorer) is a class-M mission proposed to ESA for the Cosmic Vision 2015-2025 call and recently promoted to the next assessment study phase. SPACE will produce...
The contribution of very massive high-redshift SWIRE galaxies to the stellar mass function (2007)
Berta, S., Lonsdale, C. J., Polletta, M., Savage, R. S., Franceschini, A., Buttery, H., ...
(Abridged) We selected high-z massive galaxies at 5.8 microns, in the SWIRE ELAIS-S1 field (1 sq. deg.). Galaxies with the 1.6 microns stellar peak redshifted into the IRAC bands (z~1-3, called...
D'Elia, V., Fiore, F., Meurs, E., Chincarini, G., Melandri, A., Norci, L., ...
We analyze high resolution spectroscopic observations of the optical afterglow of GRB050730, obtained with UVES@VLT about hours after the GRB trigger. The spectrum shows that the ISM of the GRB host...
D'Elia, V., Fiore, F., Meurs, E., Chincarini, G., Melandri, A., Norci, L., ...
We analyze high resolution spectroscopic observations of the optical afterglow of GRB050730, obtained with UVES@VLT about hours after the GRB trigger. The spectrum shows that the ISM of the GRB host...
D'Elia, V., Fiore, F., Meurs, E., Chincarini, G., Melandri, A., Norci, L., ...
We analyze high resolution spectroscopic observations of the optical afterglow of GRB050730, obtained with UVES@VLT about hours after the GRB trigger. The spectrum shows that the ISM of the GRB host...
D'Elia, V., Fiore, F., Meurs, E.J.A., Chincarini, G., Melandri, A., Norci, Laura, ...
Aims. The aim of this paper is to study the Gamma Ray Burst (GRB) environment through the analysis of the optical absorption features due to the gas surrounding the GRB. Methods. To this purpose we...
D'Elia, V., Fiore, F., Meurs, E.J.A., Chincarini, G., Melandri, A., Norci, Laura, ...
Aims. The aim of this paper is to study the Gamma Ray Burst (GRB) environment through the analysis of the optical absorption features due to the gas surrounding the GRB. Methods. To this purpose we...
Unveiling the oldest and most massive galaxies at very high redshift (2007)
Rodighiero, G., Cimatti, A., Franceschini, A., Brusa, M., Fritz, J., Bolzonella, M.
zCOSMOS: a large VLT/VIMOS redshift survey covering 0 < z < 3 in the COSMOS field (2007)
Lilly, S. J., Le Fèvre, O., Renzini, A., Zamorani, G., Scodeggio, M., Contini, T., ...
The contribution of very massive high-redshift SWIRE galaxies to the stellar mass function (2007)
Berta, S., Lonsdale, C. J., Polletta, M., Savage, R. S., Franceschini, A., Buttery, H., ...
Dynamical properties of z 2 star-forming galaxies and a universal star formation relation (2007)
Bouché, N., Cresci, G., Davies, R., Eisenhauer, F., Förster Schreiber, N. M., Genzel, R., ...
Ravikumar, C. D., Puech, M., Flores, H., Proust, D., Hammer, F., Lehnert, M., ...
Context: .This paper prepares a series of papers analysing the Intermediate MAss Galaxy Evolution Sequence (IMAGES) up to a redshift of one. Intermediate mass galaxies (MJ
Lya emitters at redshift 5.7 in the COSMOS field (2007)
Murayama, T., Taniguchi, Y., Scoville, N. Z., Ajiki, M., Sanders, D. B., Mobasher, B., ...
We present results from a narrowband optical survey of a contiguous area of 1.95 deg2, covered by the Cosmic Evolution Survey (COSMOS). Both optical narrowband (lambdac=8150 Å and Deltalambda=120...
Maraston, C., Daddi, E., Renzini, A., Cimatti, A., Dickinson, M., Papovich, C., ...
Due to an error at the Press, in Table 1 data are incorrect for HUDF 4650 for the J, F160W, K, and m bands, and for all galaxies in the last two columns, m(8.0 mum) and MIPS (24 mum) (which...
zCOSMOS: a large VLT/VIMOS redshift survey covering 0 < z < 3 in the COSMOS field (2007)
Lilly, S. J., Le Fevre, O., Renzini, A., Zamorani, G., Scodeggio, M., Contini, T., ...
zCOSMOS is a large redshift survey that is being undertaken in the COSMOS field using 600 hours of observation with the VIMOS spectrograph on the 8-m VLT. The survey is designed to characterise the...
Multiwavelength study of massive galaxies at z~2. I. Star formation and galaxy growth (2007)
Daddi, E., Dickinson, M., Morrison, G., Chary, R., Cimatti, A., Elbaz, D., ...
Examining a sample of massive galaxies at 1.4
Daddi, E., Alexander, D. M., Dickinson, M., Gilli, R., Renzini, A., Elbaz, D., ...
Approximately 20%-30% of 1.4~1024 cm-2 and an average, unobscured X-ray luminosity L2-8keV~(1-4)×1043 ergs s-1. Their sky density (~3200 deg-2) and space density (~2.6×10-4 Mpc-3) are twice those...
Diagnostic information for realizability (2007)
A. Cimatti, M. Roveri, A. Tchaltsev
Abstract. Realizability – checking whether a specification can be implemented by an open system – is a fundamental step in the design flow. However, if the specification turns out not to be...
D'Elia, V., Fiore, F., Meurs, E., Chincarini, G., Melandri, A., Norci, L., ...
We analyze high resolution spectroscopic observations of the optical afterglow of GRB050730, obtained with UVES@VLT about hours after the GRB trigger. The spectrum shows that the ISM of the GRB host...
Maraston, C., Daddi, E., Renzini, A., Cimatti, A., Dickinson, M., Papovich, C., ...
We explore the effects of stellar population models on estimating star formation histories, ages and masses of high redshift galaxies. The focus is on the Thermally-Pulsing Asymptotic Giant Branch...
MAMBO 1.2 mm observations of BzK-selected star-forming galaxies at z ~ 2 (2006)
Dannerbauer, H., Daddi, E., Onodera, M., Kong, X., Röttgering, H., Arimoto, N., ...
Maraston, C., Daddi, E., Renzini, A., Cimatti, A., Dickinson, M., Papovich, C., ...
We explore the effects of using different stellar population models on estimates of star formation histories, ages, and masses of high-redshift galaxies by fitting the SEDs with models by Maraston...
MAMBO 1.2 mm observations of BzK-selected star-forming galaxies at z ~ 2 (2006)
Dannerbauer, H., Daddi, E., Onodera, M., Kong, X., Röttgering, H., Arimoto, N., ...
Passively Evolving Early-type Galaxies at 1.4 (2005)
Daddi, E., Renzini, A., Pirzkal, N., Cimatti, A., Malhotra, S., Stiavelli, M., ...
We report on a complete sample of 7 luminous early-type galaxies in the Hubble Ultra Deep Field (UDF) with spectroscopic redshifts between 1.39 and 2.47 and to K1.4. Low-resolution spectra of these...
The masses of X-ray emitting EROs (2005)
Brusa, M., Comastri, A., Daddi, E., Pozzetti, L., Zamorani, G., Vignali, C., ...
Passively evolving early-type galaxies at 1.4 (2005)
Daddi, E., Renzini, A., Pirzkal, N., Cimatti, A., Malhotra, S., Stiavelli, M., ...
The K20 survey. VI. The Distribution of the Stellar Masses in Galaxies up to z~2 (2004)
Fontana, A., Pozzetti, L., Donnarumma, I., Renzini, A., Cimatti, A., Zamorani, G., ...
We present a detailed analysis of the stellar mass content of galaxies up to z=2.5 in the K20 galaxy sample, that has a 92% spectroscopic completeness and a complete $UBVRIzJK_s$ multicolor coverage....
Wolf, C., Meisenheimer, K., Kleinheinrich, M., Borch, A., Dye, S., Gray, M., ...
We present the COMBO-17 object catalogue of the Chandra Deep Field South for public use, covering a field which is 31.5' x 30' in size. This catalogue lists astrometry, photometry in 17 passbands...
A Lyman α emitter at z = 6.5 found with slitless spectroscopy (2004)
Kurk, J. D., Cimatti, A., Vernet, J., Daddi, E., Ferrara, A., ...
Photometric Redshifts for galaxies in the GOODS southern field (2004)
Mobasher, B., Idzi, R., Benítez, N., Cimatti, A., Christiani, S., Daddi, E., ...
Wolf, C., Meisenheimer, K., Kleinheinrich, M., Borch, A., Dye, S., Gray, M., ...
We present the COMBO-17 object catalogue of the Chandra Deep Field South for public use, covering a field which is 31.5 arcmin times; 30 arcmin in size. This catalogue lists astrometry,...
Conformant Planning via Symbolic Model Checking and Heuristic Search (2004)
Scientifica E Tecnologica, Cimatti A, Roveri M, Bertoli P, A. Cimatti, ...
This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its...
Heuristic Search in Belief Space, Symbolic Model Checking (2004)
A. Cimatti, M. Roveri, P. Bertoli
In this paper we tackle the problem of Conformant Planning: find a sequence of actions that guarantees goal achievement regardless of an uncertain initial condition and of nondeterministic action...
SAT-based Induction for Temporal Safety Properties................. 7 (2004)
Armin Biere, Ofer Strichman, Alessandro Cimatti, Sharad Malik, Koen Claessen, João Marques Silva, ...
These are the preliminary proceedings of the second international workshop on Bounded Model Checking (BMC’04), which is affiliated to the 16th International Conference on Computer-Aided...
Tracing the large-scale structure in the Chandra deep field south. (2003)
Gilli, R., Cimatti, A., Daddi, E., Hasinger, G., Rosati, P., Szokoly, G., ...
A. Cimatti, M. Pistore, and M. Roveri (2003)
International Conference On, A. Cimatti, M. Pistore, M. Roveri
This document is part of the distribution package of the NuSMV model checker, available at http://nusmv.irst.itc.it
Polarimetric observations of GRB 011211 (2002)
Covino, S., Lazzati, D., Malesani, D., Ghisellini, G., Israel, G. L., Stella, L., ...
We present and discuss polarimetric observations performed with the VLT-UT3 (Melipal) on the afterglow of GRB 011211, ~35 hours after the burst onset. The observations yielded a 3-sigma upper limit...
Search for sub-mm, mm and radio continuum emission from extremely red objects (2002)
Mohan, Niruj R., Cimatti, A., Röttgering, H. J. A., Andreani, P., Severgnini, P., Tilanus, R. P. J., ...
We present the results of sub-mm, mm (850 mum, 450 mum and 1250 mum) and radio (1.4 and 4.8 GHz) continuum observations of a sample of 27 K-selected Extremely Red Objects, or EROs, (14 of which form...
Bounded model checking for timed systems (2002)
G. Audemard, A. Cimatti, A. Kornilowicz, R. Sebastiani
Abstract. Enormous progress has been achieved in the last decade in the verification of timed systems, making it possible to analyze significant real-world protocols. An open challenge is the...
NuSMV: a new symbolic model checker (2000)
A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
This paper describes a new symbolic model checker, called NUSMV, developed as part of a joint project between CMU and IRST. NUSMV is the result of the reengineering, reimplementation, and, to a...
NuSMV: a new symbolic model checker (2000)
A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
This paper describes a new symbolic model checker, called NUSMV, developed as part of a joint project between CMU and IRST. NUSMV is the result of the reengineering, reimplementation, and, to a...
NUSMV: a new symbolic model checker (2000)
Cimatti Clarke Giunchiglia, A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
This paper describes a new symbolic model checker, called NUSMV, developed as part of a joint project between CMU and IRST. NUSMV is the result of the reengineering, reimplementation, and, to a...
NuSMV: A new symbolic model verifier (1999)
A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
1 Introduction This paper describes NUSMV, a new symbolic model checker developed as a jointproject between Carnegie Mellon University (CMU) and Istituto per la Ricerca Scientifica e Tecnolgica...
Symbolic Model Checking Using SAT Procedures instead of BDDs (1999)
A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu
In this paper, we study the application of propositional decision procedures in hardware verification. In particular, we apply bounded model checking, as introduced in [1], to equivalence and...
NUSMV: a new Symbolic Model Verifier (1999)
Cimatti Clarke Giunchiglia, A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
This paper describes NUSMV, a new symbolic model checker developed as a joint project between Carnegie Mellon University (CMU) and Istituto per la Ricerca Scientifica e Tecnolgica (IRST). NUSMV is...
Symbolic Model Checking Using SAT Procedures instead of BDDs (1999)
A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu
Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or the United States Government. The U....
Symbolic Model Checking Using SAT Procedures instead of BDDs (1999)
A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu
Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or the United States Government. The U....
Symbolic Model Checking Using SAT Procedures instead of BDDs (1999)
A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu
In this paper, we study the application of propositional decision procedures in hardware verification. In particular, we apply bounded model checking, as introduced in [1], to equivalence and...
Strong Planning in Non-Deterministic Domains via Model Checking (1998)
A. Cimatti, Marco Roveri, Paolo Traverso
istituto per la ricerca scientifica e tecnologica
NuSmv: a reimplementation of smv (1998)
A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri, Alessandro Cimatti, Fausto Giunchiglia, ...
istituto per la ricerca scientifica e tecnologica
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains (1998)
A. Cimatti, M. Roveri, P. Traverso, Ro Cimatti, Marco Roveri, Paolo Traverso
istituto per la ricerca scientifica e tecnologica
Formal Validation & Verification of Software for Railway Control and (1997)
A. Cimatti, F. Giunchiglia, G. Mongardi, B. Pietra, F. Torielli, P. Traverso, ...
istituto per la ricerca scientifica e tecnologica
Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study (1995)
A. Cimatti, L. Serafini, Ro Cimatti, Luciano Serafini
Abstract. In this paper we discuss the use of belief contexts for the formalization of multi-agent reasoning. In addition to representational power, belief contexts provide implementational...
MRG: Building planners for real world complex applications (1994)
P. Traverso, A. Cimatti, L. Spalazzi, E. Giunchiglia, A. Arm, ...
MRG: building planners for real world complex applications
Experiencing Real-Life Interactions with the Experimental Platform of MAIA (1994)
G. Antoniol, B. Caprile, A. Cimatti, R. Fiutem
Over the years, automated vehicles have evolved from reliable yet rigidly constrained AGV to the fairly flexible ones of the HelpMate generation. If many problems related to the autonomous navigation...
Navigation by Combining Reactivity and Planning (1992)
A. Cimatti, P. Traverso, S. Dalbosco, A. Arm, Alessandro Cimatti, ...
Navigation by combining reactivity and planning