logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Attività docente
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
Informazioni sul docente
DocenteSan Pietro Pierluigi
QualificaProfessore ordinario a tempo pieno
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (58.49Kb - 14/05/2015)
OrcIDhttps://orcid.org/0000-0002-2437-8716

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
DEI----GiovedìDalle 10:15
Alle 12:15
3617----
E-mailpierluigi.sanpietro@polimi.it
Pagina web redatta a cura del docentehttp://www.elet.polimi.it/upload/sanpietr/didattica.html

Fonte dati: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019
Nessun prodotto attualmente registrato nell'anno 2019


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2018
Nessun prodotto attualmente registrato nell'anno 2018


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017
Nessun prodotto attualmente registrato nell'anno 2017


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A tool for deciding the satisfiability of continuous-time metric temporal logic (Mostra >>)
A logical characterization of timed regular languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
An SMT-based approach to satisfiability checking of MITL (Mostra >>)
manifesti v. 3.1.7 / 3.1.7
Area Servizi ICT
12/11/2019