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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            [51] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/prodotto/ID172239
                    [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/persone.owl#argomentoDiRicercaSimile] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15
                    [s_type] => uri
                )

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

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

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

        )

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

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

        )

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

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

        )

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

        )

    [http://www.w3.org/2004/02/skos/core#isSubjectOf] => Array
        (
            [0] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Software_engineering
                    [s_type] => uri
                )

            [1] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Theoretical_computer_science
                    [s_type] => uri
                )

            [2] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Logic_in_computer_science
                    [s_type] => uri
                )

            [3] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Data_modeling
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://dbpedia.org/resource/Category:Formal_methods
                    [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/MATRICOLA8847</strong> </div>
					<div class="scheda"><h1>MATTEO PRADELLA</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>MATTEO PRADELLA (literal)</li><li>MATTEO PRADELLA (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/ID18230'>MATTEO PRADELLA</a> (Unità di personale esterno)</li></ul></dd><dt>Subject</dt><dd><ul><li><a href='http://dbpedia.org/resource/Category:Logic_in_computer_science' class = 'external' >Logic in computer science</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Data_modeling' class = 'external' >Data modeling</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Formal_methods' class = 'external' >Formal methods</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Software_engineering' class = 'external' >Software engineering</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Theoretical_computer_science' class = 'external' >Theoretical computer science</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/MATRICOLA8847-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MATTEO PRADELLA nell'anno 2007</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA8847-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MATTEO PRADELLA 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/MATRICOLA8847'>Employment relationship with CNR of DOTT. MATTEO PRADELLA</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/ID79817'>Bounded Reachability for Temporal Logic over Constraint Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79818'>SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79808'>Synthesizing adapters for conversational web-services from their WSDL interface (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79810'>Context Oriented Programming in Highly Concurrent Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155115'>Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (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/ID79222'>Tile Rewriting Grammars (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/ID20513'>Tiling Systems versus Tile Rewriting Grammars (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20504'>Comments on An interval logic for Real-Time System specification (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79569'>ArchiTRIO: a UML-compatible language for architectural description and its formal semantics (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/ID79246'>The Role of Formal Methods in Software Procurement for the Railway Transportation Industry (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/ID79247'>Model-checking TRIO specifications in SPIN (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/ID79254'>Analyzing Security-Enhanced Linux Policy 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/ID79669'>Regional Languages and Tiling: a Unifying Approach to Picture Grammars (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79692'>Associative Language Descriptions versus Context-Free models (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/ID79693'>On parsing some classes of 2D languages (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79688'>Software procurement and methods for specification and validation in the railway transportation industry (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/ID79690'>ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (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/ID79670'>Refining Real-Time System Specifications Through Bounded Model- and Satisfiability-Checking (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155090'>Analyzing Security-Enhanced Linux Policy Specifications (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/ID20648'>A SAT-Based Parser and Completer for Pictures Specified by Tiling (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20646'>Comments on Temporal Logics for Real-Time System Specification (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20660'>Associative Definition of Programming Languages, Computer Languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79809'>Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155100'>Dense-Time MTL Verification Through Sampling (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/ID79762'>Picture recognizability with automata based on Wang tiles (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/ID155152'>A Metric Encoding for Bounded Model Checking (extended version) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155153'>Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79493'>Trio2Promela: a model checker for temporal metric 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/ID171695'>Tile Rewriting Grammars and Picture Languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20564'>Model checking temporal metric specifications with Trio2Promela (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79253'>Modeling Security-Enchanced Linux Policy Specifications for Analysis (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79248'>Practical Model Checking of LTL with Past (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79470'>SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20704'>A UML-compatible formal language for system architecture description, SDL (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/ID155154'>A unifying approach to picture grammars (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/ID20749'>Deterministic recognizability of picture languages with Wang 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/ID20754'>Strategies to scan pictures with automata based on Wang tiles (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/ID20661'>A Formal Approach for Designing CORBA based 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/ID20649'>A CKY Parser for Picture Grammars (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/ID172239'>A UML 2-compatible language and tool for formal modeling real-time system architectures (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79471'>The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79668'>Benchmarking Model- and Satisfiability-Checking on Bi-Infinite Time (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/ID79671'>Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (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/ID79667'>Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation (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/ID79771'>Deterministic recognizability of picture languages by Wang automata (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79689'>A UML-compatible formal language for system architecture description (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/ID79773'>Picture Languages: From Wang Tiles to 2D Grammars (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79770'>An Automatic Approach to Enable Replacement of Conversational 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/ID79769'>Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79763'>A Tile-based Approach for Self-assembling Service Compositions (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/ID79772'>Snake-Deterministic Tiling Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79768'>A Metric Encoding for Bounded 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/unitaDiPersonaleEsterno/ID1547'>STEFANO CRESPI REGHIZZI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1541'>DINO MANDRIOLI</a> (Persona)</li></ul></dd><dt>Nome</dt><dd><ul><li>MATTEO (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>PRADELLA (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/unitaDiPersonaleEsterno/ID1541'>DINO MANDRIOLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1547'>STEFANO CRESPI REGHIZZI</a> (Persona)</li></ul></dd><dt>Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID279'>PAOLO GENTILINI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15'>MARCO PEDICINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11159'>FRANCO BREZZI</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/ID79248'>Practical Model Checking of LTL with Past (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79253'>Modeling Security-Enchanced Linux Policy Specifications for Analysis (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79471'>The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79569'>ArchiTRIO: a UML-compatible language for architectural description and its formal semantics (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/ID79669'>Regional Languages and Tiling: a Unifying Approach to Picture Grammars (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79670'>Refining Real-Time System Specifications Through Bounded Model- and Satisfiability-Checking (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79688'>Software procurement and methods for specification and validation in the railway transportation industry (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/ID79690'>ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (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/ID79692'>Associative Language Descriptions versus Context-Free models (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/ID79693'>On parsing some classes of 2D languages (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79762'>Picture recognizability with automata based on Wang tiles (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/ID79246'>The Role of Formal Methods in Software Procurement for the Railway Transportation Industry (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/ID79247'>Model-checking TRIO specifications in SPIN (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/ID79254'>Analyzing Security-Enhanced Linux Policy 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/ID79493'>Trio2Promela: a model checker for temporal metric 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/ID79667'>Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation (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/ID79668'>Benchmarking Model- and Satisfiability-Checking on Bi-Infinite Time (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/ID79671'>Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (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/ID79689'>A UML-compatible formal language for system architecture description (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/ID79768'>A Metric Encoding for Bounded Model Checking (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79769'>Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79772'>Snake-Deterministic Tiling Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79773'>Picture Languages: From Wang Tiles to 2D Grammars (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79808'>Synthesizing adapters for conversational web-services from their WSDL interface (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79810'>Context Oriented Programming in Highly Concurrent Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79817'>Bounded Reachability for Temporal Logic over Constraint Systems (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79818'>SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20649'>A CKY Parser for Picture Grammars (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/ID20661'>A Formal Approach for Designing CORBA based 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/ID20504'>Comments on An interval logic for Real-Time System specification (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20513'>Tiling Systems versus Tile Rewriting Grammars (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20646'>Comments on Temporal Logics for Real-Time System Specification (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20648'>A SAT-Based Parser and Completer for Pictures Specified by Tiling (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20660'>Associative Definition of Programming Languages, Computer Languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20564'>Model checking temporal metric specifications with Trio2Promela (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID20704'>A UML-compatible formal language for system architecture description, SDL (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/ID20749'>Deterministic recognizability of picture languages with Wang 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/ID20754'>Strategies to scan pictures with automata based on Wang tiles (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/ID79222'>Tile Rewriting Grammars (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/ID79470'>SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79763'>A Tile-based Approach for Self-assembling Service Compositions (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/ID79770'>An Automatic Approach to Enable Replacement of Conversational 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/ID79771'>Deterministic recognizability of picture languages by Wang automata (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID79809'>Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155154'>A unifying approach to picture grammars (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/ID155090'>Analyzing Security-Enhanced Linux Policy Specifications (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/ID155100'>Dense-Time MTL Verification Through Sampling (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/ID155115'>Practical Automated Partial Verification of Multi-Paradigm Real-Time Models (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/ID155152'>A Metric Encoding for Bounded Model Checking (extended version) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID155153'>Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID171695'>Tile Rewriting Grammars and Picture Languages (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID172239'>A UML 2-compatible language and tool for formal modeling real-time system architectures (Contributo in atti di convegno)</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>Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA15'>MARCO PEDICINI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11159'>FRANCO BREZZI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID279'>PAOLO GENTILINI</a> (Persona)</li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA8847-COMMESSA1425-ANNO2008'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MATTEO PRADELLA nell'anno 2008</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleInterno/MATRICOLA8847-COMMESSA1425-ANNO2007'>Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. MATTEO PRADELLA nell'anno 2007</a> (Partecipazione a commessa)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1541'>DINO MANDRIOLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1547'>STEFANO CRESPI REGHIZZI</a> (Persona)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1541'>DINO MANDRIOLI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1547'>STEFANO CRESPI REGHIZZI</a> (Persona)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/MATRICOLA8847'>Employment relationship with CNR of DOTT. MATTEO PRADELLA</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_engineering' class = 'external' >Software engineering</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Theoretical_computer_science' class = 'external' >Theoretical computer science</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Logic_in_computer_science' class = 'external' >Logic in computer science</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Data_modeling' class = 'external' >Data modeling</a> (Categoria DBpedia)</li><li><a href='http://dbpedia.org/resource/Category:Formal_methods' class = 'external' >Formal methods</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>