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
ProfessorMorzenti Angelo Carlo
QualificationFull professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (15.63Kb - 10/11/2011)
OrcIDhttps://orcid.org/0000-0002-6469-2929

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
------MondayFrom 12:15
To 14:15
02.2399.3634----
E-mailangelo.morzenti@polimi.it
Professor's personal websitehttp://www.dei.polimi.it/personale/docentidettaglio.php?id_docente=161&id_sezione=&lettera=M&idlang=ita

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

List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Scientific Books
Formal Languages and Compilation (Show >>)
Conference proceedings
A Benchmark Production Tool for Regular Expressions (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Fast deterministic parsers for transition networks (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Fast deterministic parsers for Transition Networks (Show >>)
A logic-based approach for the verification of UML timed models (Show >>)
Contributions on scientific books
Architecture of the Green Move System (Show >>)
Green Move Dynamic Applications (Show >>)


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 temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Traduzione in volume
Linguaggi formali e compilazione - 2a edizione (Show >>)
Conference proceedings
From Ambiguous Regular Expressions to Deterministic Parsing Automata (Show >>)
Abstract in Atti di convegno
BSP: A Parsing Tool for Ambiguous Regular Expressions (Show >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
10/12/2019