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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        )

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

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

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

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

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

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305
                    [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/MATRICOLA7758-COMMESSA1425-ANNO2007
                    [s_type] => uri
                )

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

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2006
                    [s_type] => uri
                )

        )

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

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#rapportoConPersona] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA7758
                    [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/MATRICOLA7758</strong> </div>
					<div class="scheda"><h1>MIEKE MASSINK</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>MIEKE MASSINK (literal)</li><li>MIEKE MASSINK (literal)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK 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/MATRICOLA7758'>Employment relationship with CNR of DOTT.SSA MIEKE MASSINK</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/ID175273'>MarCaSPiS: a Markovian extension of a Calculus for Services (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/ID68435'>Assisting the design of an industrial groupware system by model checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285217'>Stochastically timed predicate-based communication primitives for autonomic computing - Full Paper. (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/ID175128'>Analysis of a pointing task on a white board (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID290160'>Two possibly alternative approaches to the semantics of stochastic process calculi. (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/ID290140'>On-the-fly fluid model checking via discrete time population models - Extended version. (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/ID207147'>State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174917'>Model Checking Groupware Protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68249'>A reference framework for continuous interaction (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID156734'>Sistemi di Voto Elettronico: l'Esperienza degli USA (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/ID327129'>On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149638'>FP7-ICT-2009-5  IP Ascens: Autonomic Service-Component Ensembles (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92108'>Scalable analysis of collective behaviour in smart service systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174931'>Model checking publish/subscribe notification for thinkteam (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/ID149616'>XXL - CNR/RSTL (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149615'>FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275092'>Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227142'>Responsible scientists - a social-constructivist approach (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227157'>Reasoning about interactive systems with stochastic models (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227135'>Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44306'>Rate-based transition systems for stochastic process calculi (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44299'>On a uniform framework for the definition of stochastic process languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190174'>Modelling Non-linear Crowd Dynamics in Bio-PEPA (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/ID44270'>Combining timed coordination primitives and probabilistic tuple spaces (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/ID44092'>AGILE: Software Architecture for Mobility (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/ID44258'>Assisting the design of a groupware system - Model checking usability aspects of thinkteam (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/ID190155'>Analysing robot swarm decision-making with Bio-PEPA (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/ID190160'>Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (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/ID276693'>On-the-fly PCTL fast mean-field model-checking for self-organising coordination - Preliminary version (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/ID91975'>Engineering crowd interaction within smart environments (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68256'>Model checking publish/subscribe notification for thinkteam (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190084'>Continuous interaction in future computing systems (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190085'>International Workshop on Conti- nuity in Future Computer Systems, Apr. 23-24, 2001, Porto, Portugal (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190082'>Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009) (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190071'>SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44138'>A fluid flow approach to usability analysis of multi-user systems (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/ID190031'>The hybrid world of virtual environments (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276691'>On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206950'>Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91406'>A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic 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/ID43954'>Using hybrid automata to support human factors analysis in a critical system (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/ID168905'>On mobility extensions of UML Statecharts; a pragmatic approach (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/ID276558'>Logics of space and time (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID283681'>Stochastically timed predicate-based communication primitives for autonomic computing (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/ID91746'>Basic observables for probabilistic may testing (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/ID120710'>Modelling crowd dynamics in Bio-PEPA - Extended Abstract (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/ID149634'>TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149617'>TOCAI.it - MIUR (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160092'>AGILE - D3.1b - UML-based Description Techniques for the Design of Mobile and Distributed System (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160086'>FM '03 Tutorial Notes (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID314870'>Scalable context-dependent analysis of emergency egress models (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/ID160084'>Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160085'>D1.1 - Trends in Verification and Validation: Model Checking. (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276452'>Analysing robot swarm decision-making with Bio-PEPA (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/ID43896'>On testing UML statecharts (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161152'>Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161153'>Preface of the Special Section on FMICS05 (Rassegne, recensioni, prefazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161188'>A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43723'>Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91150'>A case study on the automated verification of groupware protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91148'>Deriving manuals from formal specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161134'>Thinkteam with replicated data repositories: stochastic model checking in industry (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/ID233058'>Stochastic process algebra and stability analysis of collective 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/ID91576'>On testing and conformance relations for UML statechart diagrams behaviours (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/ID161122'>Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92109'>A scalable fluid flow process algebraic approach to emergency egress analysis (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/ID161085'>Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161109'>On a uniform framework for the definition of stochastic process languages---Full Version--- (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/ID91435'>Continuous interaction with computers: Issues and requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160998'>Notes on non-Markovian Extension of Value Passing CCS (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/ID160967'>A fluid flow approach to usability analysis of multi-user systems - Full Version (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/ID160997'>Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160974'>Assisting the design of a groupware system - model checking usability aspects of thinkteam (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/ID160948'>TOCAI.IT - D7.1 - Process-oriented models and languages (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91937'>A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160933'>Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Rassegne, recensioni, prefazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID284137'>A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID284128'>Specifying and Verifying Properties of Space (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/ID149633'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID187491'>Fluid Analysis of Foraging Ants (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/ID149556'>TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID176092'>Rate-Based Transition Systems for Stochastic Process Calculi (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/ID149554'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294612'>QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161212'>A process algebraic fluid flow model of emergency egress (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/ID160739'>Rigorous Design (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190550'>First passage time analysis of stochastic process algebra using partial orders (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/ID91086'>Model checking dependability attributes of wireless group communication. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68508'>Modelling interactive experience, function and performance in ubiquitous systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91465'>Modeling Free Flight with Collision Avoidance. (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/ID68483'>MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227158'>A syndetic approach to human computer interfaces (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227138'>Constructing a vulnerable society (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150'>Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190299'>A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68392'>Towards integrated cognitive and interface analysis (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/ID68381'>Formal verification in the design of gestural interaction (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285220'>TR 11: On STOCS: a stochastic exten- sion of SCEL. (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/ID207634'>TR 09: Coalgebraic bisimulation of FuTS (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/ID207628'>An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID175173'>Combining timed coordination primitives and probabilistic tuple spaces (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/ID68327'>FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (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/ID268766'>A uniform definition of stochastic process calculi (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44309'>Resilience of Interaction Techniques to Interrupts (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/ID91196'>Formal modeling and quantitative analysis of KLAIM-based mobile 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/ID190563'>Completeness of the equational semantics for basic LOTOS (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/ID190561'>Investigating the behaviour of PREMO synchronisable objects (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/ID190562'>Using LOTOS for the evaluation of design options in the PREMO standard (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/ID190559'>Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version (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/ID190560'>Specification and verification of media constraints using UPPAAL (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/ID190556'>Towards a formal operational semantics of UML statechart diagrams (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/ID190558'>Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174947'>A Fluid Flow Approach to Usability Analysis of Multi-user 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/ID190552'>Continuous interaction and human control (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/ID190553'>Model checking UML statechart diagrams using JACK (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/ID176533'>Towards a logic for performance and mobility (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190551'>A stochastic extension of a behavioural subset of UML statechart diagrams (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/ID160083'>Mobile UML Statecharts with Localities. Full version (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/ID91073'>Formal test-case generation for UML statecharts (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160078'> Deriving manuals from formal specifications. Extended version (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/ID281108'>Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID176328'>Mobile UML Statecharts with Localities (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID138936'>Model checking groupware protocols (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID176278'>Resilience of Interaction Techniques to Interrupts: A formal model-based approach (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID215413'>On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190362'>Analysis of Pointing Tasks on a White Board (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/ID277863'>ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294507'>On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43996'>Model checking mobile stochastic logic (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294427'>On-the-fly probabilistic model checking (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/ID176050'>On a uniform framework for the definition of stochastic process languages (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/ID43948'>Reasoning about interactive systems with stochastic models (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207122'>Continuous approximation of collective systems behaviour: a tutorial (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/ID299518'>Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294338'>Data verification for collective adaptive systems: spatial model-checking of vehicle location data (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/ID207624'>Continuous approximation of collective systems behaviour: a tutorial (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/ID161002'>TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190083'>Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190088'>Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th Int. SPIN Workshops (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID279468'>On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206992'>Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190078'>Preface. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43828'>Mobile UML statecharts with localities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190034'>Modelling and verification of PREMO synchronisable objects (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190033'>Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190028'>Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (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/ID190016'>Haptic cues for image disambiguation (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/ID227146'>Se il computer conta i voti, tutti i voti contano? (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID328145'>The SCEL language: design, implementation, verification (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/ID160802'>SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7601'>FOSCA GIANNOTTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID343'>GIANLUCA TRENTANNI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15115'>ALDI SULOVA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15294'>VINCENZO CIANCIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15348'>ANDREA BRACCIALI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39009'>GIOVANNI MAINETTO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320'>MAURICE HENRI TER BEEK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID20582'>LUCA BORTOLUSSI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6421'>GIORGIO FACONTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA2362'>TOMMASO BOLOGNESI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7405'>STEFANIA GNESI</a> (Persona)</li></ul></dd><dt>Nome</dt><dd><ul><li>MIEKE (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>MASSINK (literal)</li></ul></dd><dt>Afferisce a</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS074'>Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7405'>STEFANIA GNESI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39009'>GIOVANNI MAINETTO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Unità di personale interno)</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/ID91073'>Formal test-case generation for UML statecharts (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91196'>Formal modeling and quantitative analysis of KLAIM-based mobile 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/ID91465'>Modeling Free Flight with Collision Avoidance. (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/ID91937'>A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92109'>A scalable fluid flow process algebraic approach to emergency egress analysis (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/ID91086'>Model checking dependability attributes of wireless group communication. (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91435'>Continuous interaction with computers: Issues and requirements (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91576'>On testing and conformance relations for UML statechart diagrams behaviours (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/ID91746'>Basic observables for probabilistic may testing (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/ID91975'>Engineering crowd interaction within smart environments (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92108'>Scalable analysis of collective behaviour in smart service systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43723'>Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43954'>Using hybrid automata to support human factors analysis in a critical system (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/ID44092'>AGILE: Software Architecture for Mobility (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/ID68327'>FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (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/ID68381'>Formal verification in the design of gestural interaction (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68392'>Towards integrated cognitive and interface analysis (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/ID68483'>MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68508'>Modelling interactive experience, function and performance in ubiquitous systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43828'>Mobile UML statecharts with localities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43948'>Reasoning about interactive systems with stochastic models (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43996'>Model checking mobile stochastic logic (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44309'>Resilience of Interaction Techniques to Interrupts (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/ID68249'>A reference framework for continuous interaction (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68435'>Assisting the design of an industrial groupware system by model checking (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43896'>On testing UML statecharts (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44138'>A fluid flow approach to usability analysis of multi-user systems (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/ID44258'>Assisting the design of a groupware system - Model checking usability aspects of thinkteam (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/ID44270'>Combining timed coordination primitives and probabilistic tuple spaces (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/ID44299'>On a uniform framework for the definition of stochastic process languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44306'>Rate-based transition systems for stochastic process calculi (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68256'>Model checking publish/subscribe notification for thinkteam (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91148'>Deriving manuals from formal specifications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91150'>A case study on the automated verification of groupware protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91406'>A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic 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/ID120710'>Modelling crowd dynamics in Bio-PEPA - Extended Abstract (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/ID138936'>Model checking groupware protocols (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149617'>TOCAI.it - MIUR (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149634'>TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID156734'>Sistemi di Voto Elettronico: l'Esperienza degli USA (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/ID160078'> Deriving manuals from formal specifications. Extended version (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/ID160083'>Mobile UML Statecharts with Localities. Full version (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/ID160933'>Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Rassegne, recensioni, prefazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160948'>TOCAI.IT - D7.1 - Process-oriented models and languages (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160967'>A fluid flow approach to usability analysis of multi-user systems - Full Version (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/ID161085'>Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161122'>Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161134'>Thinkteam with replicated data repositories: stochastic model checking in industry (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/ID161152'>Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (Rassegne, recensioni, prefazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161153'>Preface of the Special Section on FMICS05 (Rassegne, recensioni, prefazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149554'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149556'>TOCAI.IT Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR) (Progetti)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149633'>SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160084'>Model Checking Groupware Protocols (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160085'>D1.1 - Trends in Verification and Validation: Model Checking. (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160086'>FM '03 Tutorial Notes (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160092'>AGILE - D3.1b - UML-based Description Techniques for the Design of Mobile and Distributed System (Altre pubblicazioni)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160802'>SENSORIA - D4.2a - Stochastic logics (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161002'>TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161212'>A process algebraic fluid flow model of emergency egress (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/ID149615'>FAERUS, nell'ambito di RESIST, EU contr. n. 026764 (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149616'>XXL - CNR/RSTL (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID149638'>FP7-ICT-2009-5  IP Ascens: Autonomic Service-Component Ensembles (Progetti)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160739'>Rigorous Design (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160974'>Assisting the design of a groupware system - model checking usability aspects of thinkteam (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/ID160997'>Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160998'>Notes on non-Markovian Extension of Value Passing CCS (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/ID161109'>On a uniform framework for the definition of stochastic process languages---Full Version--- (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/ID161188'>A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID174917'>Model Checking Groupware Protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID175128'>Analysis of a pointing task on a white board (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID175273'>MarCaSPiS: a Markovian extension of a Calculus for Services (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/ID176278'>Resilience of Interaction Techniques to Interrupts: A formal model-based approach (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID176328'>Mobile UML Statecharts with Localities (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID176533'>Towards a logic for performance and mobility (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID187491'>Fluid Analysis of Foraging Ants (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/ID190031'>The hybrid world of virtual environments (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190071'>SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190082'>Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009) (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190084'>Continuous interaction in future computing systems (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190085'>International Workshop on Conti- nuity in Future Computer Systems, Apr. 23-24, 2001, Porto, Portugal (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190155'>Analysing robot swarm decision-making with Bio-PEPA (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/ID190160'>Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (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/ID190174'>Modelling Non-linear Crowd Dynamics in Bio-PEPA (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/ID168905'>On mobility extensions of UML Statecharts; a pragmatic approach (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/ID174947'>A Fluid Flow Approach to Usability Analysis of Multi-user 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/ID175173'>Combining timed coordination primitives and probabilistic tuple spaces (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/ID176092'>Rate-Based Transition Systems for Stochastic Process Calculi (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/ID190016'>Haptic cues for image disambiguation (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/ID190028'>Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (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/ID190033'>Automatic verification of a lip-synchronisation protocol using UPPAAL (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190034'>Modelling and verification of PREMO synchronisable objects (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190078'>Preface. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190083'>Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190088'>Theoretical and Practical Aspects of SPIN Model Checking. 5th and 6th Int. SPIN Workshops (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190362'>Analysis of Pointing Tasks on a White Board (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/ID190551'>A stochastic extension of a behavioural subset of UML statechart diagrams (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/ID190552'>Continuous interaction and human control (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/ID190553'>Model checking UML statechart diagrams using JACK (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/ID190556'>Towards a formal operational semantics of UML statechart diagrams (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/ID190558'>Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190559'>Automatic verification of a lip synchronisation algorithm using UPPAAL - extended version (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/ID190560'>Specification and verification of media constraints using UPPAAL (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/ID190561'>Investigating the behaviour of PREMO synchronisable objects (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/ID190562'>Using LOTOS for the evaluation of design options in the PREMO standard (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/ID190563'>Completeness of the equational semantics for basic LOTOS (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/ID206992'>Revisiting the limit behaviour of ``El Botellon\" (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207122'>Continuous approximation of collective systems behaviour: a tutorial (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/ID207628'>An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207634'>TR 09: Coalgebraic bisimulation of FuTS (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/ID174931'>Model checking publish/subscribe notification for thinkteam (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/ID176050'>On a uniform framework for the definition of stochastic process languages (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/ID190299'>A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190550'>First passage time analysis of stochastic process algebra using partial orders (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/ID206950'>Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID207624'>Continuous approximation of collective systems behaviour: a tutorial (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/ID207147'>State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227146'>Se il computer conta i voti, tutti i voti contano? (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID233058'>Stochastic process algebra and stability analysis of collective 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/ID215413'>On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227138'>Constructing a vulnerable society (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150'>Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227158'>A syndetic approach to human computer interfaces (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID268766'>A uniform definition of stochastic process calculi (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276452'>Analysing robot swarm decision-making with Bio-PEPA (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/ID276558'>Logics of space and time (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276691'>On-the-fly fast mean-field model-checking - Extended version (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID279468'>On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227135'>Equational semantics for basic LOTOS and an example of its use in a transformational proof style (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227142'>Responsible scientists - a social-constructivist approach (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227157'>Reasoning about interactive systems with stochastic models (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID275092'>Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages (Curatela)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276693'>On-the-fly PCTL fast mean-field model-checking for self-organising coordination - Preliminary version (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/ID277863'>ASCENS - D2.3 - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID283681'>Stochastically timed predicate-based communication primitives for autonomic computing (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/ID281108'>Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285220'>TR 11: On STOCS: a stochastic exten- sion of SCEL. (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/ID294507'>On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014 (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294612'>QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID314870'>Scalable context-dependent analysis of emergency egress models (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/ID284128'>Specifying and Verifying Properties of Space (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/ID284137'>A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285217'>Stochastically timed predicate-based communication primitives for autonomic computing - Full Paper. (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/ID290140'>On-the-fly fluid model checking via discrete time population models - Extended version. (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/ID290160'>Two possibly alternative approaches to the semantics of stochastic process calculi. (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/ID294338'>Data verification for collective adaptive systems: spatial model-checking of vehicle location data (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/ID294427'>On-the-fly probabilistic model checking (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/ID299518'>Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327129'>On StocS: a stochastic extension of SCEL (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID328145'>The SCEL language: design, implementation, verification (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39009'>GIOVANNI MAINETTO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA6421'>GIORGIO FACONTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7601'>FOSCA GIANNOTTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7405'>STEFANIA GNESI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA2362'>TOMMASO BOLOGNESI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID343'>GIANLUCA TRENTANNI</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID20582'>LUCA BORTOLUSSI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15115'>ALDI SULOVA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320'>MAURICE HENRI TER BEEK</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15294'>VINCENZO CIANCIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15348'>ANDREA BRACCIALI</a> (Persona)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148'>DIEGO LATELLA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39009'>GIOVANNI MAINETTO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7405'>STEFANIA GNESI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10361'>MAURICE HENRI TER BEEK</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Persona)</li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA7758-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT.SSA MIEKE MASSINK nell'anno 2006</a> (Partecipazione a commessa)</li></ul></dd><dt>Ha afferente</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS074'>Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI)</a> (Istituto)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA7758'>Employment relationship with CNR of DOTT.SSA MIEKE MASSINK</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>