Maurizio

Results: 569



#Item
141Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Software Model Checking by Program Specialization 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-07-17 03:25:20
    142Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

    Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2014-07-10 04:18:43
      143

      Tra gli ospiti: Remo Bodei, Giulio Giorello, Maurizio Ferraris, Massimiliano Allegri, Clio Make Up, Paolo Barberis, Massimo Bottura, Marco Malvaldi, Sammy Basso, Don Mussie Zerai, Gigi Marzullo, GIPI e The Jackal INTERN

      Add to Reading List

      Source URL: www.internetfestival.it

      Language: Italian - Date: 2015-10-02 06:24:17
        144Museion presenta Maurizio Nannucci. “Top Hundred” Inaugurazione, orea cura di Andreas Hapkemeyer Top Hundred è un progetto di Maurizio Nannucci e presenta cento opere scelte

        Museion presenta Maurizio Nannucci. “Top Hundred” Inaugurazione, orea cura di Andreas Hapkemeyer Top Hundred è un progetto di Maurizio Nannucci e presenta cento opere scelte

        Add to Reading List

        Source URL: gallery.mailchimp.com

        Language: Italian - Date: 2015-09-10 09:46:42
          145

          Tra gli ospiti: Irene Grandi, Remo Bodei, Giulio Giorello, Maurizio Ferraris, Massimiliano Allegri, Clio Make Up, Paolo Barberis, Massimo Bottura, Marco Malvaldi, Frédéric Martel, Don Mussie Zerai, Gigi Marzullo, GIPI

          Add to Reading List

          Source URL: www.internetfestival.it

          Language: Italian - Date: 2015-10-06 10:59:19
            146VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

            VeriMAP: A Tool for Verifying Programs through Transformations 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-16 13:38:07
              147A Transformation Strategy for Verifying Logic Programs on Infinite Lists Alberto Pettorossi1, Maurizio Proietti2 , and Valerio Senni1 1 DISP, University of Rome Tor Vergata, Via del Politecnico 1, IRome, Italy

              A Transformation Strategy for Verifying Logic Programs on Infinite Lists Alberto Pettorossi1, Maurizio Proietti2 , and Valerio Senni1 1 DISP, University of Rome Tor Vergata, Via del Politecnico 1, IRome, Italy

              Add to Reading List

              Source URL: ceur-ws.org

              Language: English - Date: 2010-06-08 09:11:08
                148Kemp’s Point Volume 15, Number 1, Spring 2014 News from the University of Wisconsin-Madison’s Kemp Natural Resources Station Life Under the Ice By Emily Ebert, Maurizio

                Kemp’s Point Volume 15, Number 1, Spring 2014 News from the University of Wisconsin-Madison’s Kemp Natural Resources Station Life Under the Ice By Emily Ebert, Maurizio

                Add to Reading List

                Source URL: kemp.wisc.edu

                Language: English - Date: 2010-12-02 17:50:00
                  149VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                  VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                  Add to Reading List

                  Source URL: map.uniroma2.it

                  Language: English - Date: 2014-01-16 13:38:07
                    150Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 Dipartimento di Scienze, University ‘G. D’Ann

                    Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 Dipartimento di Scienze, University ‘G. D’Ann

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    Language: English - Date: 2013-07-17 03:27:17