logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorSan Pietro Pierluigi
QualificationFull professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (58.49Kb - 14/05/2015)
OrcIDhttps://orcid.org/0000-0002-2437-8716

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
DEI----ThursdayFrom 10:15
To 12:15
3617----
E-mailpierluigi.sanpietro@polimi.it
Professor's personal websitehttp://www.elet.polimi.it/upload/sanpietr/didattica.html

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2019
No product yet registered in the year 2019


List of publications and reserach products for the year 2018
No product yet registered in the year 2018


List of publications and reserach products for the year 2017
No product yet registered in the year 2017


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A tool for deciding the satisfiability of continuous-time metric temporal logic (Show >>)
A logical characterization of timed regular languages (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
An SMT-based approach to satisfiability checking of MITL (Show >>)
manifesti v. 3.1.3 / 3.1.3
Area Servizi ICT
18/10/2019