logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Indicatori corsi di studio
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
DocentePradella Matteo
QualificaProfessore associato 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 (2.02Mb - 20/11/2022)
OrcIDhttps://orcid.org/0000-0003-3039-1084

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
Elettronica, Informazione e BioingegneriaEd 22, III piano322MartedìDalle 16:30
Alle 17:30
3495----
E-mailmatteo.pradella@polimi.it
Pagina web redatta a cura del docentehttps://pradella.faculty.polimi.it/

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

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


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2022 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Static Analysis of Infrastructure as Code: A Survey (Mostra >>)
Articoli su riviste
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES (Mostra >>)
Weighted operator precedence languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2021 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Model-Checking Structured Context-Free Languages (Mostra >>)
Verification of Programs with Exceptions Through Operator Precedence Automata (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2020 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Linear temporal logics for structured context-free languages (Mostra >>)
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages (Mostra >>)
Articoli su riviste
Beyond operator-precedence grammars and languages (Mostra >>)
Operator precedence temporal logic and model checking (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Mostra >>)
manifesti v. 3.5.4 / 3.5.4
Area Servizi ICT
02/02/2023