Maurizio

Results: 569



#Item
161Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Add to Reading List

Source URL: csp2011.mimuw.edu.pl

Language: English - Date: 2011-09-01 11:05:10
    162Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’

    Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’

    Add to Reading List

    Source URL: csp2011.mimuw.edu.pl

    Language: English - Date: 2011-09-01 11:05:12
      163Specialization 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.sci.unich.it

      Language: English - Date: 2013-07-17 03:24:48
        164Program Transformation for Development, Verification, and Synthesis of Programs Fabio Fioravanti a , Alberto Pettorossi b , Maurizio Proietti c , and Valerio Senni b a

        Program Transformation for Development, Verification, and Synthesis of Programs Fabio Fioravanti a , Alberto Pettorossi b , Maurizio Proietti c , and Valerio Senni b a

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2013-07-17 03:27:06
          165Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

          Verification of Imperative Programs through Transformation of Constraint Logic Programs 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: 2013-07-17 05:56:07
            166Summer School Expo 2015 Food law: Rights, Responsibility, Liability Module n. 1 Right to Food and Water in Constitutional, European and International Law Lecturers: prof. Maurizio Arcari, prof. Monica Del Signore, dr. Li

            Summer School Expo 2015 Food law: Rights, Responsibility, Liability Module n. 1 Right to Food and Water in Constitutional, European and International Law Lecturers: prof. Maurizio Arcari, prof. Monica Del Signore, dr. Li

            Add to Reading List

            Source URL: summerschoolexpo2015.com

            Language: English - Date: 2016-03-03 10:20:25
              167Program 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
                168Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

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

                Add to Reading List

                Source URL: www.sci.unich.it

                Language: English - Date: 2014-06-19 06:26:53
                  169Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

                  Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-07-17 03:26:19
                    170Postponement Practices in the Wine Industry: Adaptation and Attitudes in California, Veneto, Emilia-Romagna and Tuscany Susan Cholette a, Christine Mauracher b, Maurizio Canavari c a b

                    Postponement Practices in the Wine Industry: Adaptation and Attitudes in California, Veneto, Emilia-Romagna and Tuscany Susan Cholette a, Christine Mauracher b, Maurizio Canavari c a b

                    Add to Reading List

                    Source URL: aic.ucdavis.edu

                    Language: English - Date: 2013-04-30 17:12:46