PUERTO AUBEL, ADRIAN
PUERTO AUBEL, ADRIAN
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes
2019 PUERTO AUBEL, A
On Stability of Regional Orthomodular Posets
2018 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
On the Decomposition of Regional Events in Elementary Systems
2018 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Checking weak observable liveness on unfoldings through asynchronous games
2018 Bernardinello, L; Pomello, L; Puerto Aubel, A; Villa, A
On Stability of Regional Orthomodular Posets
2017 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
Concurrency-preserving minimal process representation
2017 PUERTO AUBEL, A
Synthesis of transition systems from quantum logics
2017 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes | 07 - Tesi di dottorato Bicocca post 2009 | 2019 | PUERTO AUBEL, ADRIAN | |
On Stability of Regional Orthomodular Posets | 01 - Articolo su rivista | 2018 | Bernardinello, LPomello, LPuerto Aubel, A + | |
On the Decomposition of Regional Events in Elementary Systems | 02 - Intervento a convegno | 2018 | Bernardinello, LPomello, LPUERTO AUBEL, ADRIAN + | |
Checking weak observable liveness on unfoldings through asynchronous games | 02 - Intervento a convegno | 2018 | Bernardinello, LPomello, LPuerto Aubel, A + | |
On Stability of Regional Orthomodular Posets | 02 - Intervento a convegno | 2017 | Bernardinello, LPomello, LPuerto Aubel, A + | |
Concurrency-preserving minimal process representation | 02 - Intervento a convegno | 2017 | PUERTO AUBEL, ADRIAN | |
Synthesis of transition systems from quantum logics | 01 - Articolo su rivista | 2017 | Bernardinello, LPomello, LPUERTO AUBEL, ADRIAN + |