Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking von Cabodi, G., Camurati, P. E., Palena, M., Pasini, P.

Volltext

Reducing Interpolant Circuit Size Through SAT-Based Weakening von Cabodi, G., Camurati, P. E., Palena, M., Pasini, P., Vendraminetto, D.

Volltext

Logic Synthesis for Interpolant Circuit Compaction von Cabodi, G., Camurati, P. E., Palena, M., Pasini, P., Vendraminetto, D.

Volltext

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking von Cabodi, G., Camurati, P. E., Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S.

Volltext

SAT solver management strategies in IC3: an experimental approach von Cabodi, G., Camurati, P. E., Mishchenko, A., Palena, M., Pasini, P.

Volltext

Structure−Property Correlations in Polypropylene from Metallocene Catalysts:  Stereodefective, Regioregular Isotactic Polypropylene von De Rosa, Claudio, Auriemma, Finizia, Di Capua, Annunziata, Resconi, Luigi, Guidotti, Simona, Camurati, Isabella, Nifant'ev, Ilya E, Laishevtsev, Ilya P

Volltext

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings von Camurati, Paolo E, Eveking, Hans

Volltext

Outbreak of 2009 Pandemic Influenza A (H1N1) at a New York City School von Lessler, Justin, Reich, Nicholas G, Cummings, Derek A.T

Volltext

Highly Regiospecific Zirconocene Catalysts for the Isospecific Polymerization of Propene von Resconi, Luigi, Piemontesi, Fabrizio, Camurati, Isabella, Sudmeijer, Olof, Nifant'ev, Ilya E, Ivchenko, Pavel V, Kuz'mina, Lyudmila G

Volltext

Heterocycle-Fused Indenyl Silyl Amido Dimethyl Titanium Complexes as Catalysts for High Molecular Weight Syndiotactic Amorphous Polypropylene von Grandini, Cristiano, Camurati, Isabella, Guidotti, Simona, Mascellani, Nicoletta, Resconi, Luigi, Nifant'ev, Ilya E, Kashulin, Igor A, Ivchenko, Pavel V, Mercandelli, Pierluigi, Sironi, Angelo

Volltext

C1-Symmetric Heterocyclic Zirconocenes as Catalysts for Propylene Polymerization, 2 von Resconi, Luigi, Guidotti, Simona, Camurati, Isabella, Frabetti, Riccardo, Focante, Francesca, Nifant'ev, Ilya E., Laishevtsev, Ilya P.

Volltext

C 1 ‐Symmetric Heterocyclic Zirconocenes as Catalysts for Propylene Polymerization, 2 von Resconi, Luigi, Guidotti, Simona, Camurati, Isabella, Frabetti, Riccardo, Focante, Francesca, Nifant'ev, Ilya E., Laishevtsev, Ilya P.

Volltext

Impact of hemoglobin levels in psychiatric patients with cancer von De Marino, E., Biaggi, G., Bellan, L., Caprioli, A. M., Forti, G., Manachino, D., Camurati, P., Lozza, P., Basunti, P., Alabiso, O.

Volltext

Impact of hemoglobin levels in psychiatric patients with cancer von De Marino, E., Biaggi, G., Bellan, L., Caprioli, A. M., Forti, G., Manachino, D., Camurati, P., Lozza, P., Basunti, P., Alabiso, O.

Volltext

C1-Symmetric Heterocyclic Zirconocenes as Catalysts for Propylene Polymerization, 1 von Nifant'ev, Ilya E., Laishevtsev, Ilya, Ivchenko, Pavel V., Kashulin, Igor A., Guidotti, Simona, Piemontesi, Fabrizio, Camurati, Isabella, Resconi, Luigi, Klusener, Peter A. A., Rijsemus, Jos J. H., de Kloe, Kees P., Korndorffer, Frans M.

Volltext

C 1 ‐Symmetric Heterocyclic Zirconocenes as Catalysts for Propylene Polymerization, 1 von Nifant'ev, Ilya E., Laishevtsev, Ilya, Ivchenko, Pavel V., Kashulin, Igor A., Guidotti, Simona, Piemontesi, Fabrizio, Camurati, Isabella, Resconi, Luigi, Klusener, Peter A. A., Rijsemus, Jos J. H., de Kloe, Kees P., Korndorffer, Frans M.

Volltext

C1-symmetric heterocyclic zirconocenes as catalysts for propylene polymerization, 2 ansa-zirconocenes with linked dithienocyclopentadienyl-substituted indenyl ligands von RESCONI, Luigi, GUIFIOTTI, Simona, CAMURATI, Isabella, FRABETTI, Riccardo, FOCANTE, Francesca, NIFANT'EV, Ilva E, LAISHEVTSEV, Ilya P

Volltext

Problems encountered in the machine-assisted proof of hardware von Curzon, Paul

Volltext

Transforming Boolean relations by symbolic encoding von Cabodi, Gianpiero, Quer, Stefano, Camurati, Paolo

Volltext

Structure-property correlations in polypropylene from metallocene catalysts: Stereodefective, regioregular isotactic polypropylene von DE ROSA, Claudio, AURIEMMA, Finizia, DI CAPUA, Annunziata, RESCONI, Luigi, GUIDOTTI, Simona, CAMURATI, Isabella, NIFANT'EV, Llya E, LAISHEVTSEV, Ilya P

Volltext