PUERTO AUBEL, ADRIAN
PUERTO AUBEL, ADRIAN
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.026 secondi).
A Finite Prefix for Analysing Information Flow Among Transitions of a Free-Choice Net
2022 Adobbati, F; Kılınç Soylu, G; Puerto, A
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
2021 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes
2019 PUERTO AUBEL, A
Two operations for stable structures of elementary regions
2019 Adobbati, F; Ferigato, C; Gandelli, S; 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
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
Concurrency-preserving minimal process representation
2017 PUERTO AUBEL, A
On Stability of Regional Orthomodular Posets
2017 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
Synthesis of transition systems from quantum logics
2017 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A