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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        )

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

        )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            [18] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24714
                    [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/MATRICOLA29381-COMMESSA1425-ANNO2007
                    [s_type] => uri
                )

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

        )

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

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

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

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

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

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

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

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

        )

    [http://www.cnr.it/ontology/cnr/personale.owl#rapportoConPersona] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA29381
                    [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/MATRICOLA29381</strong> </div>
					<div class="scheda"><h1>IVAN CIBRARIO BERTOLOTTI</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>IVAN CIBRARIO BERTOLOTTI (literal)</li><li>IVAN CIBRARIO BERTOLOTTI (literal)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA29381-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. IVAN CIBRARIO BERTOLOTTI nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA29381-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. IVAN CIBRARIO BERTOLOTTI 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/MATRICOLA29381'>Rapporto con CNR di DOTT. IVAN CIBRARIO BERTOLOTTI</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/ID262292'>Design and implementation of the master-master takeover protocol on MODBUS CAN (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/ID79820'>A Software Implementation of IEEE 1588 on RTAI/RTnet Platforms (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID212460'>Design and implementation of a hard real-time Modbus protocol stack over Controller Area Network (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/ID318924'>Model Checking (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/ID261192'>A Model for the Analysis of Security Policies in Industrial 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/ID20436'>A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20642'>Detecting Chains of Vulnerabilities in Industrial Networks (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/ID20435'>Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20641'>Virtual Machines for Distributed Real-Time 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/ID20713'>Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79485'>Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79486'>Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79481'>Reasoning About Communication Latencies in Real WLANs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79514'>Experimental Evaluation of the Linux RT Patch for Real-Time Applications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79403'>Experimental Analysis of Latencies in Ethernet Communications (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/ID280107'>Un Codec a Basso Jitter per Reti CAN (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID290587'>Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution (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/ID286847'>System-Level Performance of an Automation Solution Based on Industry Standards (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID187433'>Formal Verification of a Distributed Master Election Protocol (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/ID144668'>A process for managing virtual machines in a physical processing machine, corresponding processor system and computer program product  therefore (Brevetto)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID134901'>Internal Architecture and Features of Real-time Embedded Operating Systems (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/ID183819'>Virtual Processors for Industrial Applications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID187920'>Misura di Tempi di Latenza in Reti Industrial Ethernet (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/ID186766'>An Efficient Fixed-Length Encoding Scheme for CAN (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/ID62296'>Virtual Processors for Industrial 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/ID261133'>Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID296870'>Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico (Brevetto)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID206673'>On a Family of Run Length Limited, Block Decodable Codes to Prevent Payload-Induced Jitter in Controller Area Networks (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/ID79965'>Analisi di una pila protocollare open source per sistemi in tempo reale a basso costo (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/ID206983'>Synchronize Your Watches: Part I: General-Purpose Solutions for Distributed Real-Time Control (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/ID134908'>Open-Source Operating Systems for Embedded, Real-Time Applications (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/ID134903'>Real-Time Embedded Operating Systems: Standards and Perspectives (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79700'>Asymmetric Virtualisation for Real-Time Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID134946'>Real-Time Embedded Systems: Open-Source Operating Systems Perspective (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79765'>Modelling CANopen Communications According to the Socket Paradigm (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/ID187907'>Modeling Emergency Response Plans with Coloured Petri Nets (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/ID79798'>On The Accuracy Of The Distributed Clock Mechanism in EtherCAT (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/ID79799'>Automatic Analysis of Security Policies in Industrial 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/ID187901'>Performance Comparison of Mechanisms To Reduce Bit Stuffing Jitters in Controller Area 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/ID227309'>Synchronize Your Watches: Part II: Special-Purpose Solutions for Distributed Real-Time Control (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/ID187902'>Performance Evaluation and Improvement of the CPU-CAN Controller Interface for Low-Jitter Communication (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/ID79664'>Industrial Applications of IEEE 802.11e WLANs (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/ID199079'>Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication (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/ID79951'>Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID282793'>Porting FreeRTOS to the EA LPC2468 OEM Board for gcc-Based Software Development (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/ID20543'>Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID188001'>A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79801'>A MODBUS Extension For Inexpensive Distributed Embedded Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20793'>Evaluation of EtherCAT Distributed Clock Performance (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/ID187943'>Misura di Prestazioni di Reti Ethernet Industriali (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20783'>Performance of a Real-Time EtherCAT Master under Linux (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/ID20690'>Exploiting Symmetries for Testing Equivalence in the Spi Calculus (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/ID20708'>Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20701'>Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79482'>Analysis of Response Times in 802.11 Industrial Networks (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79468'>A High-Performance CAN-like Arbitration Scheme for EtherCAT (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID193007'>Long-term reliability and performance of lwIP on FreeRTOS and NXP LPC 24xx/17xx (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/ID79458'>Performance Evaluation of an EtherCAT Master Using Linux and the RT-Patch (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/ID79480'>Socket-Based CAN Support for Embedded Operating 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/ID79766'>Inexpensive Tools for Measuring Ethernet Performance (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/ID79764'>A Socket-Based Interface to CAN (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/ID212533'>Design of a soft real-time framework for building automation, supporting local and remote I/O points (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/ID79362'>An RTOS-Based Design for Inexpensive Distributed Embedded System (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/ID20558'>Evaluation of Response Times in Industrial WLANs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79404'>On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols (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/ID20557'>A Socket Interface for CAN Devices (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID290574'>A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79699'>On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID281419'>Effect of Jitter-Reducing Encoders on CAN Error Detection Mechanisms (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/ID281418'>Modular Design of an Open-Source, Networked Embedded System (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID281421'>Design, Verification, and Performance of a MODBUS-CAN Adaptation Layer (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/ID20559'>Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID294588'>USB Host Driver Development Using OpenOCD with the EA LPC4357 Development Board (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9760'>MANUEL CHEMINOD</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15341'>STEFANO SCANZIO</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA8550'>GIANLUCA CENA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11251'>ALESSANDRO BRUSAFERRI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID19663'>federico tramarin</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15392'>MARCO CEREIA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10136'>CLAUDIO ZUNINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15137'>STEFANO SCANZIO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16836'>TINGTING HU</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39296'>GABRIELE MANDUCHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2110'>MARCO CEREIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11250'>ANDREA BALLARINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22396'>STEFANO VITTURI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22059'>ADRIANO VALENZANO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9335'>LUCA DURANTE</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2130'>RICCARDO SISTO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9759'>LUCIA SENO</a> (Persona)</li></ul></dd><dt>Nome</dt><dd><ul><li>IVAN (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>CIBRARIO BERTOLOTTI (literal)</li></ul></dd><dt>Afferisce a</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS029'>Institute of Electronics, Computer and Telecommunication Engineering (IEIIT)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA5593'>JUAN CARLOS DE MARTIN</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2110'>MARCO CEREIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA8550'>GIANLUCA CENA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9335'>LUCA DURANTE</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22059'>ADRIANO VALENZANO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10136'>CLAUDIO ZUNINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2130'>RICCARDO SISTO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9760'>MANUEL CHEMINOD</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/ID79403'>Experimental Analysis of Latencies in Ethernet Communications (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/ID79481'>Reasoning About Communication Latencies in Real WLANs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79485'>Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79486'>Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79514'>Experimental Evaluation of the Linux RT Patch for Real-Time Applications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79699'>On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79820'>A Software Implementation of IEEE 1588 on RTAI/RTnet Platforms (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79965'>Analisi di una pila protocollare open source per sistemi in tempo reale a basso costo (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/ID79362'>An RTOS-Based Design for Inexpensive Distributed Embedded System (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/ID79404'>On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols (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/ID79480'>Socket-Based CAN Support for Embedded Operating 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/ID79664'>Industrial Applications of IEEE 802.11e WLANs (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/ID79700'>Asymmetric Virtualisation for Real-Time Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79765'>Modelling CANopen Communications According to the Socket Paradigm (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/ID79801'>A MODBUS Extension For Inexpensive Distributed Embedded Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79951'>Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20435'>Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20436'>A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20543'>Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20690'>Exploiting Symmetries for Testing Equivalence in the Spi Calculus (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/ID20701'>Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20708'>Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20783'>Performance of a Real-Time EtherCAT Master under Linux (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/ID20793'>Evaluation of EtherCAT Distributed Clock Performance (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/ID20557'>A Socket Interface for CAN Devices (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20558'>Evaluation of Response Times in Industrial WLANs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20559'>Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20641'>Virtual Machines for Distributed Real-Time 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/ID20642'>Detecting Chains of Vulnerabilities in Industrial Networks (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/ID20713'>Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID62296'>Virtual Processors for Industrial 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/ID79458'>Performance Evaluation of an EtherCAT Master Using Linux and the RT-Patch (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/ID79468'>A High-Performance CAN-like Arbitration Scheme for EtherCAT (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79482'>Analysis of Response Times in 802.11 Industrial Networks (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79764'>A Socket-Based Interface to CAN (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/ID79766'>Inexpensive Tools for Measuring Ethernet Performance (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/ID79798'>On The Accuracy Of The Distributed Clock Mechanism in EtherCAT (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/ID79799'>Automatic Analysis of Security Policies in Industrial 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/ID134946'>Real-Time Embedded Systems: Open-Source Operating Systems Perspective (Monografia o trattato scientifico)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID134903'>Real-Time Embedded Operating Systems: Standards and Perspectives (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID134908'>Open-Source Operating Systems for Embedded, Real-Time Applications (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/ID134901'>Internal Architecture and Features of Real-time Embedded Operating Systems (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/ID144668'>A process for managing virtual machines in a physical processing machine, corresponding processor system and computer program product  therefore (Brevetto)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID187433'>Formal Verification of a Distributed Master Election Protocol (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/ID187920'>Misura di Tempi di Latenza in Reti Industrial Ethernet (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/ID187901'>Performance Comparison of Mechanisms To Reduce Bit Stuffing Jitters in Controller Area 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/ID187902'>Performance Evaluation and Improvement of the CPU-CAN Controller Interface for Low-Jitter Communication (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/ID187907'>Modeling Emergency Response Plans with Coloured Petri Nets (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/ID199079'>Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication (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/ID183819'>Virtual Processors for Industrial Applications (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID186766'>An Efficient Fixed-Length Encoding Scheme for CAN (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/ID187943'>Misura di Prestazioni di Reti Ethernet Industriali (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID188001'>A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID193007'>Long-term reliability and performance of lwIP on FreeRTOS and NXP LPC 24xx/17xx (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/ID206673'>On a Family of Run Length Limited, Block Decodable Codes to Prevent Payload-Induced Jitter in Controller Area Networks (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/ID206983'>Synchronize Your Watches: Part I: General-Purpose Solutions for Distributed Real-Time Control (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/ID212460'>Design and implementation of a hard real-time Modbus protocol stack over Controller Area Network (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/ID261133'>Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID212533'>Design of a soft real-time framework for building automation, supporting local and remote I/O points (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/ID227309'>Synchronize Your Watches: Part II: Special-Purpose Solutions for Distributed Real-Time Control (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/ID261192'>A Model for the Analysis of Security Policies in Industrial 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/ID262292'>Design and implementation of the master-master takeover protocol on MODBUS CAN (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/ID280107'>Un Codec a Basso Jitter per Reti CAN (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID281418'>Modular Design of an Open-Source, Networked Embedded System (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID281419'>Effect of Jitter-Reducing Encoders on CAN Error Detection Mechanisms (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/ID286847'>System-Level Performance of an Automation Solution Based on Industry Standards (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID290574'>A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID318924'>Model Checking (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/ID281421'>Design, Verification, and Performance of a MODBUS-CAN Adaptation Layer (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/ID282793'>Porting FreeRTOS to the EA LPC2468 OEM Board for gcc-Based Software Development (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/ID290587'>Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution (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/ID294588'>USB Host Driver Development Using OpenOCD with the EA LPC4357 Development Board (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/ID296870'>Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico (Brevetto)</a> (Prodotto della ricerca)</li></ul></dd><dt>Ha afferente</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS029'>Institute of Electronics, Computer and Telecommunication Engineering (IEIIT)</a> (Istituto)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA39296'>GABRIELE MANDUCHI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22059'>ADRIANO VALENZANO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA8550'>GIANLUCA CENA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9335'>LUCA DURANTE</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22396'>STEFANO VITTURI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10136'>CLAUDIO ZUNINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID15341'>STEFANO SCANZIO</a> (Unità di personale esterno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2110'>MARCO CEREIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9760'>MANUEL CHEMINOD</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2130'>RICCARDO SISTO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9759'>LUCIA SENO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID19663'>federico tramarin</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16836'>TINGTING HU</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11251'>ALESSANDRO BRUSAFERRI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11250'>ANDREA BALLARINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15137'>STEFANO SCANZIO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15392'>MARCO CEREIA</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24713'>http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24713</a></li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24714'>http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24714</a></li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA29381-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. IVAN CIBRARIO BERTOLOTTI nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA29381-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. IVAN CIBRARIO BERTOLOTTI nell'anno 2008</a> (Partecipazione a commessa)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA22059'>ADRIANO VALENZANO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA8550'>GIANLUCA CENA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA9335'>LUCA DURANTE</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10136'>CLAUDIO ZUNINO</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2110'>MARCO CEREIA</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID9760'>MANUEL CHEMINOD</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID2130'>RICCARDO SISTO</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA5593'>JUAN CARLOS DE MARTIN</a> (Unità di personale interno)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA29381'>Rapporto con CNR di DOTT. IVAN CIBRARIO BERTOLOTTI</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>