<!-- Array
(
    [http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autoreCNR] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75316
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75517
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75523
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75524
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75525
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75350
                    [s_type] => uri
                )

            [6] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75472
                    [s_type] => uri
                )

            [7] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75494
                    [s_type] => uri
                )

            [8] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75526
                    [s_type] => uri
                )

            [9] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75553
                    [s_type] => uri
                )

            [10] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100373
                    [s_type] => uri
                )

            [11] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7012
                    [s_type] => uri
                )

            [12] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7088
                    [s_type] => uri
                )

            [13] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7352
                    [s_type] => uri
                )

            [14] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7432
                    [s_type] => uri
                )

            [15] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7539
                    [s_type] => uri
                )

            [16] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7559
                    [s_type] => uri
                )

            [17] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7120
                    [s_type] => uri
                )

            [18] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7208
                    [s_type] => uri
                )

            [19] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7227
                    [s_type] => uri
                )

            [20] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7317
                    [s_type] => uri
                )

            [21] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7495
                    [s_type] => uri
                )

            [22] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7558
                    [s_type] => uri
                )

            [23] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7249
                    [s_type] => uri
                )

            [24] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7311
                    [s_type] => uri
                )

            [25] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7320
                    [s_type] => uri
                )

            [26] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7420
                    [s_type] => uri
                )

            [27] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7494
                    [s_type] => uri
                )

            [28] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7526
                    [s_type] => uri
                )

            [29] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7527
                    [s_type] => uri
                )

            [30] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7557
                    [s_type] => uri
                )

            [31] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60105
                    [s_type] => uri
                )

            [32] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60106
                    [s_type] => uri
                )

            [33] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60140
                    [s_type] => uri
                )

            [34] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60070
                    [s_type] => uri
                )

            [35] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75296
                    [s_type] => uri
                )

            [36] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75317
                    [s_type] => uri
                )

            [37] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75351
                    [s_type] => uri
                )

            [38] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75352
                    [s_type] => uri
                )

            [39] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75394
                    [s_type] => uri
                )

            [40] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75495
                    [s_type] => uri
                )

            [41] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75519
                    [s_type] => uri
                )

            [42] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75554
                    [s_type] => uri
                )

            [43] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75555
                    [s_type] => uri
                )

            [44] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75556
                    [s_type] => uri
                )

            [45] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100403
                    [s_type] => uri
                )

            [46] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100374
                    [s_type] => uri
                )

            [47] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100402
                    [s_type] => uri
                )

            [48] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132542
                    [s_type] => uri
                )

            [49] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132564
                    [s_type] => uri
                )

            [50] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153476
                    [s_type] => uri
                )

            [51] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153479
                    [s_type] => uri
                )

            [52] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153484
                    [s_type] => uri
                )

            [53] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153490
                    [s_type] => uri
                )

            [54] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153503
                    [s_type] => uri
                )

            [55] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153595
                    [s_type] => uri
                )

            [56] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153616
                    [s_type] => uri
                )

            [57] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153617
                    [s_type] => uri
                )

            [58] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153677
                    [s_type] => uri
                )

            [59] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153694
                    [s_type] => uri
                )

            [60] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153695
                    [s_type] => uri
                )

            [61] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153741
                    [s_type] => uri
                )

            [62] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153742
                    [s_type] => uri
                )

            [63] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153425
                    [s_type] => uri
                )

            [64] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153426
                    [s_type] => uri
                )

            [65] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153427
                    [s_type] => uri
                )

            [66] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153428
                    [s_type] => uri
                )

            [67] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153471
                    [s_type] => uri
                )

            [68] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153678
                    [s_type] => uri
                )

            [69] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153702
                    [s_type] => uri
                )

            [70] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153713
                    [s_type] => uri
                )

            [71] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153715
                    [s_type] => uri
                )

            [72] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153512
                    [s_type] => uri
                )

            [73] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153580
                    [s_type] => uri
                )

            [74] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153673
                    [s_type] => uri
                )

            [75] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153714
                    [s_type] => uri
                )

            [76] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194084
                    [s_type] => uri
                )

            [77] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194356
                    [s_type] => uri
                )

            [78] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194626
                    [s_type] => uri
                )

            [79] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194632
                    [s_type] => uri
                )

            [80] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195028
                    [s_type] => uri
                )

            [81] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID170370
                    [s_type] => uri
                )

            [82] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID193976
                    [s_type] => uri
                )

            [83] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194365
                    [s_type] => uri
                )

            [84] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194621
                    [s_type] => uri
                )

            [85] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195031
                    [s_type] => uri
                )

            [86] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195034
                    [s_type] => uri
                )

            [87] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195036
                    [s_type] => uri
                )

            [88] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194698
                    [s_type] => uri
                )

            [89] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195021
                    [s_type] => uri
                )

            [90] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236538
                    [s_type] => uri
                )

            [91] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236586
                    [s_type] => uri
                )

            [92] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236605
                    [s_type] => uri
                )

            [93] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236614
                    [s_type] => uri
                )

            [94] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236657
                    [s_type] => uri
                )

            [95] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236664
                    [s_type] => uri
                )

            [96] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268078
                    [s_type] => uri
                )

            [97] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268080
                    [s_type] => uri
                )

            [98] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268097
                    [s_type] => uri
                )

            [99] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268105
                    [s_type] => uri
                )

            [100] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268159
                    [s_type] => uri
                )

            [101] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268084
                    [s_type] => uri
                )

            [102] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268101
                    [s_type] => uri
                )

            [103] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268161
                    [s_type] => uri
                )

            [104] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268162
                    [s_type] => uri
                )

            [105] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272437
                    [s_type] => uri
                )

            [106] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID274373
                    [s_type] => uri
                )

            [107] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID235780
                    [s_type] => uri
                )

            [108] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236593
                    [s_type] => uri
                )

            [109] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236659
                    [s_type] => uri
                )

            [110] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236694
                    [s_type] => uri
                )

            [111] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268050
                    [s_type] => uri
                )

            [112] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272436
                    [s_type] => uri
                )

            [113] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272438
                    [s_type] => uri
                )

            [114] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID273521
                    [s_type] => uri
                )

            [115] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288262
                    [s_type] => uri
                )

            [116] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288342
                    [s_type] => uri
                )

            [117] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288254
                    [s_type] => uri
                )

            [118] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288260
                    [s_type] => uri
                )

            [119] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288480
                    [s_type] => uri
                )

            [120] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288491
                    [s_type] => uri
                )

            [121] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID293281
                    [s_type] => uri
                )

            [122] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288257
                    [s_type] => uri
                )

            [123] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288259
                    [s_type] => uri
                )

            [124] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288261
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#partecipazioneDi] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2006
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2007
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/retescientifica.owl#responsabile] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/commessa/ID1384
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/pubblicazioni.owl#coautore] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9877
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA13981
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15206
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16294
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18454
                    [s_type] => uri
                )

            [6] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID889
                    [s_type] => uri
                )

            [7] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333
                    [s_type] => uri
                )

            [8] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288
                    [s_type] => uri
                )

            [9] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10936
                    [s_type] => uri
                )

            [10] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14237
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/suddivisioni.owl#haAfferente] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/istituto/CDS003
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/persone.owl#haPubblicazioniCon] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/moduli.owl#gestore] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/modulo/ID2271
                    [s_type] => uri
                )

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#rapportoConPersona] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA42097
                    [s_type] => uri
                )

        )

)
--> <!doctype html>
<!-- v.1.0 2010.12.30 -->
<html lang="en" class="no-js">
	<head>
		<meta charset="utf-8" />
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
		<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" />

		<title>SPARQL Endpoint</title>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.js"></script>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/jquery-ui.min.js"></script>
		<link rel="stylesheet" href="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/themes/base/jquery-ui.css" type="text/css" media="all" />
		<link rel="stylesheet" href="https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.1/themes/overcast/jquery-ui.css" type="text/css" media="all" />

		<link rel="shortcut icon" href="/template.data.cnr.it/favicon.ico" />
		<link rel="stylesheet" href="/template.data.cnr.it/css/style.css" />
		<style>
			#navlocal{display:none;}
			#container{background-color:#FCFCFC;}
			#main .content {margin-left:0px}
			#main #footercontent {margin-left: 20px}
			#main {background: transparent}
			textarea#query {width: 600px; height: 100px}
		</style>
		<script>
			$('document').ready(function(){
				$('a.external').after($('<span/>').text(' ').append($('<img/>').attr('src','/template.data.cnr.it/img/extlnk.png').attr('alt','').attr('title','External link')));
			});
		</script>
	</head>
	<body>
		<div id="container">
			<div id="header">
				<div id="logo">
					<a href="/site" title="Home">
					<img src="/template.data.cnr.it/img/logo.png" />
					</a>
				</div>
				<ul id="navglobal">
					<li>
						<a href="/site">data.CNR.it</a>
					</li>
					<li>
						<a href="/sparql">SPARQL Endpoint</a>
					</li>
                                        <li>
                                                <a href="http://www.cnr.it/ontology/cnr/individuo/CNR">Browse</a>
                                        </li>
					<li>
						<a href="http://www.cnr.it/" target="_blank">CNR.it</a>
					</li>
				</ul>
			</div>
			<div id="navlocal">
<!--				<ul>
					<li><a href="2.1.3">Voce 2.1.3</a>
						<ul>
							<li><a href="2.1.3.1">Voce 2.1.3.1</a></li>
							<li><a href="2.1.3.1">Voce 2.1.3.2</a></li>
							<li><strong>Voce 2.1.3.3</strong></li>
							<li><a href="2.1.3.1">Voce 2.1.3.4</a></li>
							<li><a href="2.1.3.1">Voce 2.1.3.5</a></li>

								<li>
									<strong>Voce 2.1.3.6</strong>
									<ul>
										<li><a href="2.1.3.1">Voce 2.1.3.6.1</a></li>
										<li><a href="2.1.3.1">Voce 2.1.3.6.2</a></li>
										<li class="selected"><strong>Voce 2.1.3.6.3</strong></li>
										<li><a href="2.1.3.1">Voce 2.1.3.4</a></li>
									</ul>
								</li>

								<li><a href="2.1.3.1">Voce 2.1.3.7</a></li>
						</ul>
					</li>
				</ul>-->
			</div>
			<div id="main">
				<div class="content">
					<div id="navpath"><strong>http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA42097</strong> </div>
					<div class="scheda"><h1>MAURIZIO PROIETTI</h1>
<dl><dt>Type</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/persone.owl#Persona' class = 'external' >Persona</a> (Classe)</li></ul></dd><dt>Label</dt><dd><ul><li>MAURIZIO PROIETTI (literal)</li><li>MAURIZIO PROIETTI (literal)</li></ul></dd><dt>Gestore di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/modulo/ID2271'>Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001)</a> (Modulo)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2007'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di DOTT. MAURIZIO PROIETTI nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2006'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di DOTT. MAURIZIO PROIETTI nell'anno 2006</a> (Partecipazione a commessa)</li></ul></dd><dt>Persona in rapporto</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA42097'>Employment relationship with CNR of DOTT. MAURIZIO PROIETTI</a> (Rapporto con CNR)</li></ul></dd><dt>Autore CNR di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID235780'>Program Specialization via Algorithmic Unfold/Fold Transformations. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100402'>Verifcation of Sets of Infinite State Systems Using Program Transformation (Abstract/Poster in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153425'>Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153426'>A Theory of Totally Correct Logic Program Transformations (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153427'>Transformations of Logic Programs with Goals as Arguments (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153428'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100374'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Comunicazione a convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60140'>Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID273521'>A Semantic Framework for Knowledge Management in Virtual Innovation Factories (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75495'>Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75519'>A Business Process Knowledge Base for Composite Services Development (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75394'>Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272437'>Verifying Array Programs by Transforming Verification Conditions (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153471'>Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195028'>Ontology-Based Querying of Composite Services (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75555'>Using Real Relaxations During Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75556'>Querying Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268050'>Verification of Imperative Programs by Constraint Logic Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75554'>Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288254'>Program verification via iterated specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60105'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60106'>Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288260'>Program Verification using Constraint Handling Rules and Array Constraint Generalizations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75296'>Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153616'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153617'>Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7559'>Querying Semantically Enriched Business Processes (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75352'>A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153595'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75317'>Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID274373'>First Order Predicate Calculus and Logic Programming, Third Edition (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153742'>Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75351'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153741'>A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100403'>Verification of Infinite-State Systems by Specialization of {CLP} Programs (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153677'>A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153694'>Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153695'>Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153479'>Program Derivation = Rules + Strategies (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153476'>Verifying CTL properties of infinite state systems by specializing constraint logic programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153484'>Derivation of efficient logic programs by specialization and reduction of nondeterminism (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153490'>Verification of sets of infinite state processes using program transformation (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153678'>The Transformational Approach to Program Development (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153503'>Transformations of logic programs with goals as arguments (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153702'>Transformations of logic programs on infinite lists (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288262'>Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153713'>Linking Ontologies to Business Process Schemas (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153715'>Querying semantically annotated business processes (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60070'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288342'>Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75523'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75517'>A Logic-Based Method for Business Process Knowledge Base Management (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288480'>Verification of Programs by Combining Iterated Specialization with Interpolation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75524'>A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75525'>Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288491'>A Rule-based Verification Strategy for Array Manipulating Programs (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID193976'>Branching Preserving Specialization for Software Model Checking (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7249'>Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272436'>Program Verification via Iterated Specialization (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272438'>Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153512'>Combining logic programs and monadic second order logics by program transformation (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75316'>A theory of totally correct logic program transformations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75472'>Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75494'>Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7120'>Program derivation = rules + strategies (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7558'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75526'>Reasoning on Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75553'>Synthesizing Concurrent Programs using Answer Set Programming (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268078'>Verification of Imperative Programs by Transforming Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268097'>Program Transformation for Program Verification (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268105'>Controlling Polyvariance for Specialization-based Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268080'>A Platform for Managing Business Process Knowledge Bases via Logic Programming (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268159'>Rule-Based Behavioural Reasoning on Semantic Business Processes (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194365'>Verifying Programs via Iterated Specialization (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7557'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194621'>Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153714'>Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236605'>Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236586'>Developing Correct and Efficient Logic Programs by Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288259'>VeriMAP: A tool for verifying programs through transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7495'>Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7527'>An Open Platform for Business Process Modeling and Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288257'>Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7526'>The Transformational Approach to Program Development (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236614'>Transformation of Logic Programs: Foundations and Techniques (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288261'>Reasoning on Data-Aware Business Processes with Constraint Logic (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195021'>Constraint-Based Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236664'>Semantics Preserving Transformation Rules for Prolog (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132564'>Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236657'>An Abstract Strategy for Transforming Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75350'>Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID170370'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236538'>Future Directions in Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194698'>Using Real Relaxations During Program Specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195031'>Rule-Based Behavioral Reasoning on Semantic Business Processes (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195036'>A Software Platform for Semantics-based Enterprise Knowledge Management (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195034'>Knowledge-Based Support to Business Innovation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7227'>Transformations of logic programs with goals as arguments (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID293281'>Knowledge-intensive choreographies for open manufacturing production networks (Abstract/Poster in convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153580'>Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236694'>Rules and Strategies for Contextual Specialization of Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194356'>Software Model Checking by Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7311'>Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7208'>Transformation rules for locally stratified constraint logic programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7320'>Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7317'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236593'>Rules and Strategies for Transforming Functional and Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132542'>First Order Predicate Calculus and Logic Programming (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153673'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236659'>The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7088'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7494'>Transformations of Logic Programs on Infinite Lists (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7012'>Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7420'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194084'>Synthesizing Concurrent Programs Using Answer Set Programming (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268162'>Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268084'>Proving Theorems by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268101'>Verification of Imperative Programs through Transformation of Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268161'>Verifying Programs via Iterated Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7432'>A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7352'>Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194626'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194632'>Generalization Strategies for the Verification of Infinite State Systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7539'>The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100373'> Software Verification and Synthesis via Program Transformation (Comunicazione a convegno)</a> (Prodotto della ricerca)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID889'>ANTONIO DE NICOLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA13981'>MICHELE MISSIKOFF</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10936'>ANTONIO DE NICOLA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288'>Alberto Pettorossi</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14237'>GIUSEPPE STECCA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9877'>FRANCESCO TAGLINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18454'>Emanuele De Angelis</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15206'>FABRIZIO SMITH</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947'>GUGLIELMO DE ANGELIS</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16294'>FABIO FIORAVANTI</a> (Persona)</li></ul></dd><dt>Responsabile di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/commessa/ID1384'>Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001)</a> (Commessa)</li></ul></dd><dt>Nome</dt><dd><ul><li>MAURIZIO (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>PROIETTI (literal)</li></ul></dd><dt>Afferisce a</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS003'>Institute for system analysis and computer science \"Antonio Ruberti\" (IASI)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288'>Alberto Pettorossi</a> (Persona)</li></ul></dd>

</dl>

<br/><h4>Incoming links:</h4><br/><dl><dt>Autore CNR</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75316'>A theory of totally correct logic program transformations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75517'>A Logic-Based Method for Business Process Knowledge Base Management (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75523'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75524'>A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75525'>Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75350'>Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75472'>Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75494'>Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75526'>Reasoning on Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75553'>Synthesizing Concurrent Programs using Answer Set Programming (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100373'> Software Verification and Synthesis via Program Transformation (Comunicazione a convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7012'>Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7088'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7352'>Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7432'>A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7539'>The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7559'>Querying Semantically Enriched Business Processes (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7120'>Program derivation = rules + strategies (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7208'>Transformation rules for locally stratified constraint logic programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7227'>Transformations of logic programs with goals as arguments (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7317'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7495'>Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7558'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7249'>Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7311'>Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7320'>Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7420'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7494'>Transformations of Logic Programs on Infinite Lists (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7526'>The Transformational Approach to Program Development (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7527'>An Open Platform for Business Process Modeling and Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7557'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60105'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60106'>Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60140'>Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60070'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75296'>Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75317'>Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75351'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75352'>A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75394'>Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75495'>Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75519'>A Business Process Knowledge Base for Composite Services Development (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75554'>Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75555'>Using Real Relaxations During Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75556'>Querying Business Processes and Ontologies in a Logic Programming Environment (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100403'>Verification of Infinite-State Systems by Specialization of {CLP} Programs (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100374'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Comunicazione a convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100402'>Verifcation of Sets of Infinite State Systems Using Program Transformation (Abstract/Poster in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132542'>First Order Predicate Calculus and Logic Programming (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132564'>Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153476'>Verifying CTL properties of infinite state systems by specializing constraint logic programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153479'>Program Derivation = Rules + Strategies (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153484'>Derivation of efficient logic programs by specialization and reduction of nondeterminism (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153490'>Verification of sets of infinite state processes using program transformation (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153503'>Transformations of logic programs with goals as arguments (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153595'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153616'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153617'>Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153677'>A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153694'>Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153695'>Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153741'>A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153742'>Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153425'>Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153426'>A Theory of Totally Correct Logic Program Transformations (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153427'>Transformations of Logic Programs with Goals as Arguments (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153428'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153471'>Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153678'>The Transformational Approach to Program Development (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153702'>Transformations of logic programs on infinite lists (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153713'>Linking Ontologies to Business Process Schemas (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153715'>Querying semantically annotated business processes (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153512'>Combining logic programs and monadic second order logics by program transformation (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153580'>Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153673'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153714'>Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194084'>Synthesizing Concurrent Programs Using Answer Set Programming (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194356'>Software Model Checking by Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194626'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194632'>Generalization Strategies for the Verification of Infinite State Systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195028'>Ontology-Based Querying of Composite Services (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID170370'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID193976'>Branching Preserving Specialization for Software Model Checking (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194365'>Verifying Programs via Iterated Specialization (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194621'>Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195031'>Rule-Based Behavioral Reasoning on Semantic Business Processes (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195034'>Knowledge-Based Support to Business Innovation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195036'>A Software Platform for Semantics-based Enterprise Knowledge Management (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID194698'>Using Real Relaxations During Program Specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID195021'>Constraint-Based Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236538'>Future Directions in Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236586'>Developing Correct and Efficient Logic Programs by Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236605'>Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236614'>Transformation of Logic Programs: Foundations and Techniques (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236657'>An Abstract Strategy for Transforming Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236664'>Semantics Preserving Transformation Rules for Prolog (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268078'>Verification of Imperative Programs by Transforming Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268080'>A Platform for Managing Business Process Knowledge Bases via Logic Programming (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268097'>Program Transformation for Program Verification (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268105'>Controlling Polyvariance for Specialization-based Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268159'>Rule-Based Behavioural Reasoning on Semantic Business Processes (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268084'>Proving Theorems by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268101'>Verification of Imperative Programs through Transformation of Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268161'>Verifying Programs via Iterated Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268162'>Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272437'>Verifying Array Programs by Transforming Verification Conditions (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID274373'>First Order Predicate Calculus and Logic Programming, Third Edition (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID235780'>Program Specialization via Algorithmic Unfold/Fold Transformations. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236593'>Rules and Strategies for Transforming Functional and Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236659'>The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID236694'>Rules and Strategies for Contextual Specialization of Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268050'>Verification of Imperative Programs by Constraint Logic Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272436'>Program Verification via Iterated Specialization (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID272438'>Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID273521'>A Semantic Framework for Knowledge Management in Virtual Innovation Factories (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288262'>Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288342'>Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288254'>Program verification via iterated specialization (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288260'>Program Verification using Constraint Handling Rules and Array Constraint Generalizations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288480'>Verification of Programs by Combining Iterated Specialization with Interpolation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288491'>A Rule-based Verification Strategy for Array Manipulating Programs (Rapporti tecnici/preprint/working paper)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID293281'>Knowledge-intensive choreographies for open manufacturing production networks (Abstract/Poster in convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1304)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288257'>Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288259'>VeriMAP: A tool for verifying programs through transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID288261'>Reasoning on Data-Aware Business Processes with Constraint Logic (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2006'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di DOTT. MAURIZIO PROIETTI nell'anno 2006</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA42097-COMMESSA1384-ANNO2007'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di DOTT. MAURIZIO PROIETTI nell'anno 2007</a> (Partecipazione a commessa)</li></ul></dd><dt>Responsabile</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/commessa/ID1384'>Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001)</a> (Commessa)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9877'>FRANCESCO TAGLINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA13981'>MICHELE MISSIKOFF</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10947'>GUGLIELMO DE ANGELIS</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15206'>FABRIZIO SMITH</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16294'>FABIO FIORAVANTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18454'>Emanuele De Angelis</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID889'>ANTONIO DE NICOLA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288'>Alberto Pettorossi</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10936'>ANTONIO DE NICOLA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA14237'>GIUSEPPE STECCA</a> (Persona)</li></ul></dd><dt>Ha afferente</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS003'>Institute for system analysis and computer science \"Antonio Ruberti\" (IASI)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1288'>Alberto Pettorossi</a> (Persona)</li></ul></dd><dt>Gestore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/modulo/ID2271'>Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001)</a> (Modulo)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA42097'>Employment relationship with CNR of DOTT. MAURIZIO PROIETTI</a> (Rapporto con CNR)</li></ul></dd>

</dl></div>				</div>

				<div id="footercontent">
					data.CNR.it
				</div>
			</div>
			<div id="footer">
				<dl class="section">
					<dt>DATA.CNR.IT</dt>
					<dd>
						<ul>
							<li>
								<a href="/site">data.CNR.it</a>
							</li>
							<li>
								<a href="/sparql">SPARQL Endpoint</a>
							</li>
							<li>
								<a href="http://www.cnr.it/">CNR.it</a>
							</li>
						</ul>
					</dd>
				</dl>
				<dl class="section">
					<dt>Be updated</dt>
					<dd>
						<ul>
							<!--li>
								<a href="/...">Site map</a>
							</li-->
							<!--li>
								<a href="/...">RSS</a>
							</li-->
							<li>
								<a href="http://twitter.com/data_cnr_it">twitter</a>
							</li>
							<li>
								<a href="/site/contacts">contacts</a>
							</li>
						</ul>
					</dd>
				</dl>
				<dl class="section">
					<dt>External resources</dt>
					<dd>
						<ul>
							<li>
								<a href="http://www.w3.org/2001/sw/">W3C Semantic Web Activity</a>
							</li>
							<li>
								<a href="http://www.w3.org/TR/rdf-sparql-query/">SPARQL Query Language</a>
							</li>
							<li>
								<a href="http://linkeddata.org/">linkeddata.org</a>
							</li>
							<!-- li>
								<a href="http://www.w3.org/DesignIssues/LinkedData.html"><img src="http://lab.linkeddata.deri.ie/2010/lod-badges/img/data-badge-5.png" alt="five star open Web data" /></a>
							</li-->
						</ul>
					</dd>
				</dl>
				<p>Copyright &copy; 2010 <a href="http://www.cnr.it" class="lang-dyn">Italian National Research Council</a> <br/> <br/>
				This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License</a><br/><br/>
				<a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/"><img alt="Creative Commons License" style="border-width:0" src="http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png" /></a>
				</p>
			</div>
		</div>
	</body>
</html>