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
ProfessorPradella Matteo
QualificationAssociate professor full time
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (74.89Kb - 02/10/2013)
OrcIDhttps://orcid.org/0000-0003-3039-1084

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
Elettronica, Informazione e Bioingegneria--322TuesdayFrom 16:30
To 17:30
3495----
E-mailmatteo.pradella@polimi.it
Professor's personal websitehttps://pradella.faculty.polimi.it/

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

List of publications and reserach products for the year 2021 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Model-Checking Structured Context-Free Languages (Show >>)


List of publications and reserach products for the year 2020 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Linear temporal logics for structured context-free languages (Show >>)
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages (Show >>)
Journal Articles
Beyond operator-precedence grammars and languages (Show >>)
Operator precedence temporal logic and model checking (Show >>)


List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Temporal Logic and Model Checking for Operator Precedence Languages (Show >>)
Journal Articles
Generalizing input-driven languages: Theoretical and practical benefits (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Higher-order operator precedence languages (Show >>)
Weighted Operator Precedence Languages (Show >>)
Journal Articles
Toward a theory of input-driven locally parsable languages (Show >>)
manifesti v. 3.4.17 / 3.4.17
Area Servizi ICT
22/09/2021