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
DocenteMandrioli Dino
QualificaProfessore ordinario non più in servizio
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
OrcIDhttps://orcid.org/0000-0002-0945-5947

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


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
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
Contributi su volumi (Capitolo o Saggio)
Formal Methods in Designing Critical Cyber-Physical Systems (Mostra >>)
Contributo in Atti di convegno
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Mostra >>)
Articoli su riviste
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Mostra >>)
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Mostra >>)
manifesti v. 3.5.4 / 3.5.4
Area Servizi ICT
06/02/2023