KILINC, GORKEM
KILINC, GORKEM
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.006 secondi).
Weak observable liveness and infinite games on finite graphs
2017 Bernardinello, L; Kılınç, G; Pomello, L
Formal Notions of Non-interference and Liveness for Distributed Systems
2016 Kilinc, G
Non-interference notions based on reveals and excludes relations for petri nets
2016 Bernardinello, L; Kilinc, G; Pomello, L
Non-interference notions based on reveals and excludes relations for petri nets
2015 Bernardinello, L; Kilinc, G; Pomello, L
Observable liveness of Petri nets
2015 Desel, J; Kilinc, G
Modeling Distributed Private Key Generation by Composing Petri Nets
2014 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Observable Liveness
2014 Desel, J; Kilinc, G
Modeling Distributed Private Key Generation by Composing Petri Nets
2013 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L