PESCETTI ANDREA

foto_personale.png

Dott.

Docente a contratto

Settore scientifico disciplinare

INFORMATICA APPLICATA AL GIORNALISMO
Anno di corso: 1 - Corso di Laurea Magistrale - GIORNALISMO E CULTURA EDITORIALE - Coorte: 2018/2019

INFORMATICA APPLICATA AL GIORNALISMO
Anno di corso: 1 - Corso di Laurea Magistrale - GIORNALISMO E CULTURA EDITORIALE - Coorte: 2017/2018

INFORMATICA APPLICATA AL GIORNALISMO
Anno di corso: 1 - Corso di Laurea Magistrale - GIORNALISMO E CULTURA EDITORIALE - Coorte: 2016/2017

INFORMATICA APPLICATA AL GIORNALISMO
Anno di corso: 1 - Corso di Laurea Magistrale - GIORNALISMO E CULTURA EDITORIALE - Coorte: 2015/2016

INFORMATICA APPLICATA AL GIORNALISMO
Anno di corso: 1 - Corso di Laurea Magistrale - GIORNALISMO E CULTURA EDITORIALE - Coorte: 2014/2015

A New Look at the Automatic Synthesis of Linear Ranking Functions

Anno: 2012

Autore/i: Bagnara Roberto, Mesnard F., Pescetti Andrea, Zaffanella Enea
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version

Anno: 2010

Autore/i: Bagnara Roberto, Mesnard F., Pescetti Andrea, Zaffanella Enea
On the Design of Generic Static Analyzers for Imperative Languages

Anno: 2008

Autore/i: Bagnara Roberto, Hill P. M., Pescetti Andrea, Zaffanella Enea
Verification of C Programs Via Natural Semantics and Abstract Interpretation

Anno: 2007

Autore/i: Bagnara Roberto, Hill P. M., Pescetti Andrea, Zaffanella Enea
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

Anno: 2005

Autore/i: Bagnara Roberto, Pescetti Andrea, Zaccagnini Alessandro, Zaffanella Enea

E-mail

Ubicazione dell'ufficio

Dipartimento di Ingegneria e Architettura (Parco Area delle Scienze 181/A)
Parco Area delle Scienze, 181/A
43124 PARMA

Elly