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
Settore 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 2025
Nessun prodotto attualmente registrato nell'anno 2025


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 >>)


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 >>)
manifesti v. 3.9.3 / 3.9.3
Area Servizi ICT
24/04/2025