Maurizio

Results: 569



#Item
171Self-assembly of nanostructures and nanomaterials Isabelle Berbezier*1 and Maurizio De Crescenzi2 Editorial Address: 1CNRS-AMU, Im2np, Faculté des Sciences et Techniques, Avenue

Self-assembly of nanostructures and nanomaterials Isabelle Berbezier*1 and Maurizio De Crescenzi2 Editorial Address: 1CNRS-AMU, Im2np, Faculté des Sciences et Techniques, Avenue

Add to Reading List

Source URL: www.beilstein-journals.org

Language: English - Date: 2015-06-24 03:59:20
    172VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’,

    VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’,

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2015-01-15 17:01:04
      173Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

      Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

      Add to Reading List

      Source URL: www.sci.unich.it

      Language: English - Date: 2013-11-28 03:44:27
        174Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

        Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2015-01-15 16:54:25
          175Capitolo 5.5 La qualità della vita Dopo lo choc della crisi Maurizio Maggi

          Capitolo 5.5 La qualità della vita Dopo lo choc della crisi Maurizio Maggi

          Add to Reading List

          Source URL: www.regiotrend.piemonte.it

          Language: Italian
            1761 A Networked Transferable Belief Model approach for Distributed Data Aggregation Andrea Gasparri, Flavio Fiorini, Maurizio Di Rocco and Stefano Panzieri.

            1 A Networked Transferable Belief Model approach for Distributed Data Aggregation Andrea Gasparri, Flavio Fiorini, Maurizio Di Rocco and Stefano Panzieri.

            Add to Reading List

            Source URL: gasparri.dia.uniroma3.it

            Language: English - Date: 2016-02-02 14:41:40
              177Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

              Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

              Add to Reading List

              Source URL: www.sci.unich.it

              Language: English - Date: 2014-01-22 12:57:47
                178Uncovering the Big Players of the Web Vinicius Gehlen1 , Alessandro Finamore2 , Marco Mellia2 , Maurizio M. Munaf`o2 1 2

                Uncovering the Big Players of the Web Vinicius Gehlen1 , Alessandro Finamore2 , Marco Mellia2 , Maurizio M. Munaf`o2 1 2

                Add to Reading List

                Source URL: tma2012.ftw.at

                Language: English
                  179Branching Preserving Specialization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

                  Branching Preserving Specialization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2012-10-22 15:04:00
                    180Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                    Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                    Add to Reading List

                    Source URL: www.iasi.cnr.it

                    Language: English - Date: 2013-03-14 08:11:04