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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            [104] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329471
                    [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/MATRICOLA7758
                    [s_type] => uri
                )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            [17] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18632
                    [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/MATRICOLA7758
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA12148
                    [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/unitaDiPersonaleEsterno/ID182
                    [s_type] => uri
                )

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

            [6] => 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/MATRICOLA10361-COMMESSA1425-ANNO2008
                    [s_type] => uri
                )

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

            [2] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-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/MATRICOLA10361
                    [s_type] => uri
                )

        )

    [http://www.w3.org/2004/02/skos/core#isSubjectOf] => Array
        (
            [0] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Software_architecture
                    [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/MATRICOLA10361</strong> </div>
					<div class="scheda"><h1>MAURICE HENRI TER BEEK</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>MAURICE HENRI TER BEEK (literal)</li><li>MAURICE HENRI TER BEEK (literal)</li></ul></dd><dt>Http://www.w3.org/2002/07/owl#sameAs</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID320'>MAURICE HENRI TER BEEK</a> (Persona)</li></ul></dd><dt>Subject</dt><dd><ul><li><a href='http://dbpedia.org/resource/Category:Software_architecture' class = 'external' >Software architecture</a> (Categoria DBpedia)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK nell'anno 2006</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK nell'anno 2008</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/MATRICOLA10361'>Rapporto con CNR di DOTT. MAURICE HENRI TER BEEK</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/ID173847'>Towards security analyses of an identity federation protocol for Web services in convergent networks (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/ID294421'>Model checking value-passing modal specifications (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/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/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/ID276309'>Guaranteeing correct evolution of software product lines (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/ID120588'>Modelling and analysing an identity federation protocol: federated network providers scenario (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/ID161038'>Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91711'>Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68422'>Formal methods for service composition (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/ID199409'>A state/event-based model-checking approach for the analysis of abstract system properties (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/ID277189'>VMC: a tool for the analysis of variability in software product lines (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/ID44144'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (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/ID91954'>CMC-UMC: a framework for the verification of abstract service-oriented properties (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/ID44235'>A logical framework to deal with variability (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/ID91850'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91970'>Dynamic software architecture development: towards an automated process (Contributo in atti di convegno)</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/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/ID174406'>Teams in Grammar Systems: Hybridity and Weak Rewriting (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/ID199878'>A model-checking tool for families of 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/ID276689'>Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91810'>A Calculus for Team Automata (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID202590'>Analysing robot movement using the SENSORIA methods (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394'>Formal description of variability in product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43781'>TEAMS OF PUSHDOWN AUTOMATA (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/ID92121'>An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327846'>From EU projects to a family of model checkers from Kandinsky to KandISTI (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/ID217118'>Variability and Rigour in Service Computing Engineering (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91733'>An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (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/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/ID160956'>Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139044'>Detecting policy conflicts by model checking UML state machines (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/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/ID329470'>Coherent branching feature bisimulation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329471'>Quantitative analysis of probabilistic models of software product lines with statistical model checking (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178854'>Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91934'>Modelling variability, evolvability, and adaptability in service 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/ID293445'>VMC: Recent advances and challenges ahead (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/ID293443'>Using mCRL2 for the analysis of software product lines (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/ID293428'>Towards modular verification of software product lines with mCRL2 (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/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/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/ID160937'>Case studies scenario description (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID215297'>The Variability Model Checker VMC. (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44259'>Associativity of Infinite Synchronized Shuffles and Team Automata (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/ID205393'>Guaranteeing correct evolution of software product lines: setting up the problem (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294333'>Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno)</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/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/ID179768'>A logical framework to deal with variability (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/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/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/ID68326'>A team automaton scenario for the analysis of security properties in communication protocols (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/ID68406'>Formal modelling and verification in service-oriented computing (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/ID161192'>Sensoria - Manual for using the UMC model of the automotive case study (Rapporti finali progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID219059'>A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295298'>Shuffles and synchronized shuffles: a survey (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/ID277608'>Web Services and Formal Methods (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID83611'>Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277676'>Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92042'>A deontic logical framework for modelling product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44039'>On Competence in CD Grammar Systems with Parallel Rewriting (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204361'>Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</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/ID201919'>Sensoria Results Applied to the Case Studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID201906'>Cooperating distributed grammar systems: components with nonincreasing competence (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277622'>Validating reconfigurations of reo circuits in an e-Banking scenario (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/ID91966'>Deontic logics for modeling behavioural variability (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/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/ID146892'>Preface (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43830'>Modularity for teams of I/O automata (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/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/ID161225'>Sensoria - Manual for using the UMC model of the finance case study (Rapporti finali progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1718)</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/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/ID329757'>Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161204'>Modelling and analysing the finance case study in UMC (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/ID44320'>Preface - Architecting Dependable Systems VI (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID180181'>Detecting policy conflicts by model checking UML state machines (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/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/ID285215'>Using mCRL2 for the analysis of software product lines (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/ID285212'>A collection of models of a bike-sharing case study. (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/ID175106'>On Competence in CD Grammar 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/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/ID43992'>Infinite unfair shuffles and associativity (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/ID206124'>Product line architectures for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199830'>Design and validation of variability in product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44090'>Teams of Pushdown Automata (Articolo in rivista)</a> (Prodotto della ricerca)</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/ID174401'>Synchronizations in Team Automata for Groupware Systems (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277703'>Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68362'>Automated verification of groupware protocols (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/ID285076'>KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285077'>On distributed cooperation and synchronised collaboration (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/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/ID161155'>Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161156'>Proceedings of the Third international workshop on Views On Designing Complex Architectures (VODCA 2008) (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161221'>Sensoria results applied to the case studies (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID178590'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294536'>Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela)</a> (Prodotto della ricerca)</li></ul></dd><dt>Coautore</dt><dd><ul><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><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/unitaDiPersonaleEsterno/ID343'>GIANLUCA TRENTANNI</a> (Unità di personale esterno)</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/MATRICOLA7758'>MIEKE MASSINK</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/MATRICOLA1269'>PATRIZIA ASIRELLI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18431'>PATRIZIA ASIRELLI</a> (Unità di personale esterno)</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/unitaDiPersonaleEsterno/ID20582'>LUCA BORTOLUSSI</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/unitaDiPersonaleInterno/MATRICOLA7601'>FOSCA GIANNOTTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18632'>Erik Pete de Vink</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10096'>MARINELLA PETROCCHI</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/ID182'>ANTONIO BUCCHIARONE</a> (Persona)</li></ul></dd><dt>Nome</dt><dd><ul><li>MAURICE HENRI (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>TER BEEK (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/MATRICOLA39290'>FRANCO MAZZANTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID313'>ALESSANDRO FANTECHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA7758'>MIEKE MASSINK</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/MATRICOLA11305'>GIANLUCA TRENTANNI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID182'>ANTONIO BUCCHIARONE</a> (Persona)</li></ul></dd>

</dl>

<br/><h4>Incoming links:</h4><br/><dl><dt>Autore CNR</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91733'>An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (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/ID91966'>Deontic logics for modeling behavioural variability (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/ID83611'>Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91810'>A Calculus for Team Automata (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91954'>CMC-UMC: a framework for the verification of abstract service-oriented properties (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/ID91970'>Dynamic software architecture development: towards an automated process (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID92042'>A deontic logical framework for modelling product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID43781'>TEAMS OF PUSHDOWN AUTOMATA (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/ID44259'>Associativity of Infinite Synchronized Shuffles and Team Automata (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/ID43992'>Infinite unfair shuffles and associativity (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44090'>Teams of Pushdown Automata (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44144'>An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (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/ID44235'>A logical framework to deal with variability (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/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/ID68362'>Automated verification of groupware protocols (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/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/ID43830'>Modularity for teams of I/O automata (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/ID44039'>On Competence in CD Grammar Systems with Parallel Rewriting (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/ID44320'>Preface - Architecting Dependable Systems VI (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/ID68326'>A team automaton scenario for the analysis of security properties in communication protocols (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/ID68406'>Formal modelling and verification in service-oriented computing (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/ID68422'>Formal methods for service composition (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/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/ID91711'>Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91850'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91934'>Modelling variability, evolvability, and adaptability in service 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/ID92121'>An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID120588'>Modelling and analysing an identity federation protocol: federated network providers scenario (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/ID139044'>Detecting policy conflicts by model checking UML state machines (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/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/ID160937'>Case studies scenario description (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID160956'>Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007. (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/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/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/ID161192'>Sensoria - Manual for using the UMC model of the automotive case study (Rapporti finali progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID146892'>Preface (Curatela)</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/ID161204'>Modelling and analysing the finance case study in UMC (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/ID161225'>Sensoria - Manual for using the UMC model of the finance case study (Rapporti finali progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1718)</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/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/ID161038'>Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161155'>Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161156'>Proceedings of the Third international workshop on Views On Designing Complex Architectures (VODCA 2008) (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID161221'>Sensoria results applied to the case studies (Rapporti progetti di ricerca)</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/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/ID178854'>Formal modelling and verification of an asynchronous extension of SOAP (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID179768'>A logical framework to deal with variability (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/ID199409'>A state/event-based model-checking approach for the analysis of abstract system properties (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/ID173847'>Towards security analyses of an identity federation protocol for Web services in convergent networks (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/ID174406'>Teams in Grammar Systems: Hybridity and Weak Rewriting (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/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/ID175106'>On Competence in CD Grammar 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/ID180181'>Detecting policy conflicts by model checking UML state machines (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/ID199830'>Design and validation of variability in product lines (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID201906'>Cooperating distributed grammar systems: components with nonincreasing competence (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID201919'>Sensoria Results Applied to the Case Studies (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID202590'>Analysing robot movement using the SENSORIA methods (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205394'>Formal description of variability in product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</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/ID174401'>Synchronizations in Team Automata for Groupware Systems (Articolo in rivista)</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/ID178590'>Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID199878'>A model-checking tool for families of 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/ID204361'>Product lines for service oriented applications - PL for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID205393'>Guaranteeing correct evolution of software product lines: setting up the problem (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206124'>Product line architectures for SOA (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID219059'>A compositional framework to derive product line behavioural descriptions (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID217118'>Variability and Rigour in Service Computing Engineering (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/ID277189'>VMC: a tool for the analysis of variability in software product lines (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/ID277622'>Validating reconfigurations of reo circuits in an e-Banking scenario (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/ID215297'>The Variability Model Checker VMC. (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID276309'>Guaranteeing correct evolution of software product lines (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/ID276689'>Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277608'>Web Services and Formal Methods (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277676'>Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277703'>Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294333'>Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID295298'>Shuffles and synchronized shuffles: a survey (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/ID285076'>KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285077'>On distributed cooperation and synchronised collaboration (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285212'>A collection of models of a bike-sharing case study. (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/ID285215'>Using mCRL2 for the analysis of software product lines (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/ID294421'>Model checking value-passing modal specifications (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/ID293428'>Towards modular verification of software product lines with mCRL2 (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/ID293443'>Using mCRL2 for the analysis of software product lines (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/ID293445'>VMC: Recent advances and challenges ahead (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/ID294536'>Proceedings of the 18th International Software Product Line Conference, Volume 2 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID327846'>From EU projects to a family of model checkers from Kandinsky to KandISTI (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/ID329757'>Model checking value-passing modal specifications (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329470'>Coherent branching feature bisimulation (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID329471'>Quantitative analysis of probabilistic models of software product lines with statistical model checking (Contributo in atti di convegno)</a> (Prodotto della ricerca)</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/MATRICOLA7758'>MIEKE MASSINK</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/MATRICOLA1269'>PATRIZIA ASIRELLI</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/MATRICOLA10096'>MARINELLA PETROCCHI</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/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/ID313'>ALESSANDRO FANTECHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID18431'>PATRIZIA ASIRELLI</a> (Unità di personale esterno)</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/ID18632'>Erik Pete de Vink</a> (Unità di personale esterno)</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/MATRICOLA7758'>MIEKE MASSINK</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/MATRICOLA7405'>STEFANIA GNESI</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/ID313'>ALESSANDRO FANTECHI</a> (Persona)</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/MATRICOLA10361-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA10361-COMMESSA1425-ANNO2006'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MAURICE HENRI TER BEEK 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/MATRICOLA10361'>Rapporto con CNR di DOTT. MAURICE HENRI TER BEEK</a> (Rapporto con CNR)</li></ul></dd><dt>Http://www.w3.org/2004/02/skos/core#isSubjectOf</dt><dd><ul><li><a href='http://dbpedia.org/resource/Category:Software_architecture' class = 'external' >Software architecture</a> (Categoria DBpedia)</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>