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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        )

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

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

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

        )

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

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

        )

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

        )

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

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

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

            [3] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2012
                    [s_type] => uri
                )

            [4] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2010
                    [s_type] => uri
                )

            [5] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2014
                    [s_type] => uri
                )

        )

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

        )

    [http://www.w3.org/2002/07/owl#sameAs] => Array
        (
            [0] => Array
                (
                    [s] => http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA16724
                    [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/unitaDiPersonaleEsterno/ID1288</strong> </div>
					<div class="scheda"><h1>Alberto Pettorossi</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>Alberto Pettorossi (literal)</li><li>Alberto Pettorossi (literal)</li></ul></dd><dt>Partecipa a commessa</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2013'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2013</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2011'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2011</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2014'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2014</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2010'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2010</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2012'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2012</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2006'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2006</a> (Partecipazione a commessa)</li></ul></dd><dt>Persona in rapporto</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/ID1288'>Employment relationship with CNR of Alberto Pettorossi</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/ID7526'>The Transformational Approach to Program Development (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153616'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153617'>Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153702'>Transformations of logic programs on infinite lists (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID170370'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153595'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100402'>Verifcation of Sets of Infinite State Systems Using Program Transformation (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7420'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132614'>Information Science and Technology for the New Century (Monografia o trattato scientifico)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153512'>Combining logic programs and monadic second order logics by program transformation (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75316'>A theory of totally correct logic program transformations (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132564'>Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60070'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7320'>Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7311'>Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID145417'>Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7012'>Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7558'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132542'>First Order Predicate Calculus and Logic Programming (Monografia o trattato scientifico)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7120'>Program derivation = rules + strategies (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75555'>Using Real Relaxations During Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75554'>Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75394'>Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153503'>Transformations of logic programs with goals as arguments (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153490'>Verification of sets of infinite state processes using program transformation (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153484'>Derivation of efficient logic programs by specialization and reduction of nondeterminism (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75352'>A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153479'>Program Derivation = Rules + Strategies (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153471'>Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153476'>Verifying CTL properties of infinite state systems by specializing constraint logic programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75351'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75317'>Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7539'>The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7536'>Preface to the Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153427'>Transformations of Logic Programs with Goals as Arguments (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153428'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75296'>Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153425'>Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153426'>A Theory of Totally Correct Logic Program Transformations (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7249'>Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153714'>Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7495'>Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153673'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7352'>Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153580'>Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7237'>Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (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/ID75472'>Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60140'>Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7317'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60105'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60106'>Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60071'>Editorial for the Special Issue Dedicated to Bob Paige (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/ID75350'>Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153742'>Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153741'>A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7208'>Transformation rules for locally stratified constraint logic programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153694'>Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153695'>Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75524'>A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75525'>Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75523'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16294'>FABIO FIORAVANTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA42097'>MAURIZIO PROIETTI</a> (Unità di personale interno)</li></ul></dd><dt>Nome</dt><dd><ul><li>Alberto (literal)</li></ul></dd><dt>Cognome</dt><dd><ul><li>Pettorossi (literal)</li></ul></dd><dt>Afferisce a</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS003'>Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI)</a> (Istituto)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA42097'>MAURIZIO PROIETTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Persona)</li></ul></dd>

</dl>

<br/><h4>Incoming links:</h4><br/><dl><dt>Autore CNR</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75316'>A theory of totally correct logic program transformations (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75523'>Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75524'>A Transformation Strategy for Verifying Logic Programs on Infinite Lists (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75525'>Generalization Strategies for the Verification of Infinite State Systems (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75350'>Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75472'>Folding Transformation Rules for Constraint Logic Programs (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7012'>Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7237'>Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (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/ID7352'>Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7536'>Preface to the Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7539'>The List Introduction Strategy for the Derivation of Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7120'>Program derivation = rules + strategies (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/ID7208'>Transformation rules for locally stratified constraint logic programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7317'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7495'>Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7558'>Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7249'>Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7311'>Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7320'>Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7420'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID7526'>The Transformational Approach to Program Development (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60071'>Editorial for the Special Issue Dedicated to Bob Paige (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60105'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60106'>Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60140'>Program Transformation for Development, Verification, and Synthesis of Programs (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID60070'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75296'>Transformational Verification of Parameterized Protocols Using Array Formulas (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75317'>Totally correct logic program transformations using well-founded annotations (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75351'>Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75352'>A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75394'>Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75554'>Controlling Polyvariance for Specialization-Based Verification (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID75555'>Using Real Relaxations During Program Specialization (Contributo in atti di convegno)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID100402'>Verifcation of Sets of Infinite State Systems Using Program Transformation (Abstract/Poster in atti di convegno)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132542'>First Order Predicate Calculus and Logic Programming (Monografia o trattato scientifico)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132564'>Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio))</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID132614'>Information Science and Technology for the New Century (Monografia o trattato scientifico)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153476'>Verifying CTL properties of infinite state systems by specializing constraint logic programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153479'>Program Derivation = Rules + Strategies (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153484'>Derivation of efficient logic programs by specialization and reduction of nondeterminism (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153490'>Verification of sets of infinite state processes using program transformation (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153503'>Transformations of logic programs with goals as arguments (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153595'>Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153616'>Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153617'>Verifying Infinite State Systems by Specializing Constraint Logic Programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153694'>Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153695'>Deciding Full Branching Time Logic by Program Transformation (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153741'>A Constraint-Based Transformation for Verifying Infinite State Systems (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153742'>Constraint-Based Correctness Proofs for Logic Program Transformations (Rapporti tecnici/preprint/working paper)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID145417'>Special Issue on the Italian Conference on Computational Logic: CILC 2009 (Curatela)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153425'>Transformation Rules for Locally Stratified Constraint Logic Programs (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153426'>A Theory of Totally Correct Logic Program Transformations (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153427'>Transformations of Logic Programs with Goals as Arguments (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153428'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153471'>Verifying parameterized protocols by transforming stratified logic programs (Altre pubblicazioni)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153702'>Transformations of logic programs on infinite lists (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153512'>Combining logic programs and monadic second order logics by program transformation (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153580'>Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153673'>A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Rapporti progetti di ricerca)</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID153714'>Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca)</a> (Prodotto della ricerca)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/prodotto/ID170370'>Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Contributo in volume (capitolo o saggio))</a> (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)</li></ul></dd><dt>Coautore</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA42097'>MAURIZIO PROIETTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID16294'>FABIO FIORAVANTI</a> (Persona)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Persona)</li></ul></dd><dt>Ha pubblicazioni con</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA42097'>MAURIZIO PROIETTI</a> (Unità di personale interno)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID1333'>Valerio Senni</a> (Persona)</li></ul></dd><dt>Ha afferente</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/istituto/CDS003'>Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI)</a> (Istituto)</li></ul></dd><dt>Partecipazione di</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2013'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2013</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2011'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2011</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2006'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2006</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2012'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2012</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2010'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2010</a> (Partecipazione a commessa)</li><li><a href='http://www.cnr.it/ontology/cnr/individuo/personale-partecipazioneacommessa/unitaDiPersonaleEsterno/ID1288-COMMESSA1384-ANNO2014'>Partecipazione a Commessa "Metodi e Sistemi per l' Informazione e la Conoscenza" (ICT.P08.001) di Alberto Pettorossi nell'anno 2014</a> (Partecipazione a commessa)</li></ul></dd><dt>Rapporto con persona</dt><dd><ul><li><a href='http://www.cnr.it/ontology/cnr/individuo/rapportoConCNR/ID1288'>Employment relationship with CNR of Alberto Pettorossi</a> (Rapporto con CNR)</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/unitaDiPersonaleInterno/MATRICOLA16724'>ALBERTO PETTOROSSI</a></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>