Maurizio

Results: 569



#Item
51

04-AGOLettori: n.d. Diffusione: n.d. Dir. Resp.: Maurizio Cattaneo

Add to Reading List

Source URL: www.storiaxxisecolo.it

- Date: 2011-08-08 03:44:41
    52

    Deriving numerical abstract domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit` a di Chieti-Pescara – Dipartimento di Scienze

    Add to Reading List

    Source URL: www.sci.unich.it

    - Date: 2013-12-10 01:36:05
      53

      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

      - Date: 2014-01-22 12:57:06
        54

        Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

        Add to Reading List

        Source URL: www.iasi.cnr.it

        - Date: 2013-07-17 08:16:13
          55

          Reasoning on Data-Aware Business Processes with Constraint Logic Maurizio Proietti and Fabrizio Smith National Research Council, IASI ”Antonio Ruberti” - Via dei Taurini 19, 00185 Roma, Italy {maurizio.proietti, fabr

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2014-11-12 06:08:42
            56

            Fame for sale: efficient detection of fake Twitter followers✩ Stefano Crescia,b , Roberto Di Pietrob, Marinella Petrocchia , Angelo Spognardia,1,∗, Maurizio Tesconia a IIT-CNR, b Bell Via G. Moruzzi, 1 – 56124 Pis

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2015-11-10 20:58:20
              57

              25-AGOLettori: n.d. Diffusione: n.d. Dir. Resp.: Maurizio Cattaneo

              Add to Reading List

              Source URL: www.storiaxxisecolo.it

              - Date: 2011-08-29 04:40:35
                58

                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

                - Date: 2013-02-28 10:50:36
                  59

                  Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

                  Add to Reading List

                  Source URL: www.inf.unibz.it

                  - Date: 2009-07-06 12:03:35
                    60

                    THE LIST OF REVIEWERS COOPERATING WITH SCIENTIFIC PAPERS ENTITLED MODERN MANAGEMENT REVIEW – 2015 Maurizio D’AMATO (Włochy) Nelli ARTIENWICZ

                    Add to Reading List

                    Source URL: www.oficyna.portal.prz.edu.pl

                    - Date: 2016-07-01 04:27:33
                      UPDATE