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
DocentePradella Matteo
QualificaProfessore associato a tempo pieno
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Gruppo Scientifico DisciplinareIINF-05/A - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (135.42Kb - 28/07/2024)
OrcIDhttps://orcid.org/0000-0003-3039-1084

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
Elettronica, Informazione e BioingegneriaEd 22, III piano322LunedìDalle 15:30
Alle 16:30
3495---Sono disponibile in maniera flessibile al ricevimento: contattatemi via email.
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 2026
Nessun prodotto attualmente registrato nell'anno 2026


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2025 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Attribute-Based Precedence Relations for Free-Form Grammars (Mostra >>)
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars (Mostra >>)
Articoli su riviste
Cyclic operator precedence grammars for parallel parsing (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2024 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Recensioni su riviste
Review on Verified Functional Programming in Agda (Mostra >>)
Contributo in Atti di convegno
Cyclic Operator Precedence Grammars for Improved Parallel Parsing (Mostra >>)
SMT-Based Symbolic Model-Checking for Operator Precedence Languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2023 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A Model Checker for Operator Precedence Languages (Mostra >>)
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES (Mostra >>)


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 >>)
manifesti v. 3.13.7 / 3.13.7
Area Servizi ICT
18/04/2026