Fabio

Results: 1279



#Item
81

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
    82

    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
      83

      TOPICA: A Tool for Visualising Emerging Semantics of POIs based on Social Awareness Streams A. Elizabeth Cano1 , Gregoire Burel2 , Aba-Sah Dadzie1 , and Fabio Ciravegna1 1 OAK Group, Dept. of Computer Science, The Unive

      Add to Reading List

      Source URL: iswc2011.semanticweb.org

      - Date: 2011-09-19 07:16:40
        84

        Viral Misinformation: The Role of Homophily and Polarization Alessandro Bessi Fabio Petroni

        Add to Reading List

        Source URL: www.www2015.it

        - Date: 2015-05-15 11:13:34
          85

          Doris: Managing Document-based Knowledge in Large Organisations via Semantic Web Technologies Ravish Bhagdev, Jonathan Butters, Ajay Chakravarthy, Sam Chapman, Aba-Sah Dadzie, Mark A. Greenwood, José Iria and Fabio Cira

          Add to Reading List

          Source URL: sunsite.informatik.rwth-aachen.de

          - Date: 2007-11-13 05:55:29
            86

            fab i o b r av o . i t Fabio Bravo 1

            Add to Reading List

            Source URL: www.fabiobravo.it

            - Date: 2009-05-22 08:59:00
              87

              MADAM: A Multi Level Anomaly Detector for Android Malware Fabio Martinelli National Research Council of Italy (CNR) Joint work with Andrea Saracino, Daniele Sgandurra et al.

              Add to Reading List

              Source URL: comsec.spb.ru

              - Date: 2015-12-03 06:47:11
                88

                Approaching OBDA Evolution through Mapping Repairs? Domenico Lembo1 , Riccardo Rosati1 , Valerio Santarelli1 , Domenico Fabio Savo1 , Evgenij Thorstensen2 1 Sapienza Universit`a di Roma

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2016-04-09 08:12:00
                  89

                  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
                    90

                    fab i o b r av o . i t Fabio Bravo 4

                    Add to Reading List

                    Source URL: www.fabiobravo.it

                    - Date: 2009-06-09 16:44:38
                      UPDATE