| Observable liveness of Petri nets J Desel, G Kılınç Acta Informatica 52 (2-3), 153-174, 2015 | 11 | 2015 |
| Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets L Bernardinello, G Kılınç, L Pomello T. Petri Nets and Other Models of Concurrency 9930 (11), 49--70, 2016 | 9 | 2016 |
| Weak observable liveness and infinite games on finite graphs L Bernardinello, G Kılınç, L Pomello Application and Theory of Petri Nets and Concurrency: 38th International …, 2017 | 8 | 2017 |
| Formal notions of non-interference and liveness for distributed systems G Kılınç, L Bernardinello Ph. D thesis in computer science, Universitá Degli Studi di Milano-Bicocca …, 2016 | 5 | 2016 |
| Modeling Distributed Private Key Generation by Composing Petri Nets L Bernardinello, G Kılınç, E Mangioni, P Lucia Trans. Petri Nets and Other Models of Concurrency 9 (8910), 19--40, 2014 | 5 | 2014 |
| Modeling distributed private key generation by composing Petri nets L Bernardinello, G Kılınç, E Mangioni, L Pomello Transactions on Petri Nets and Other Models of Concurrency IX, 19-40, 2014 | 5 | 2014 |
| A model of distributed key generation for industrial control systems G Kilinc, IN Fovino, C Ferigato, A Koltuksuz IFAC Proceedings Volumes 45 (29), 356-363, 2012 | 5 | 2012 |
| Observable Liveness. J Desel, G Kilinç PNSE@ Petri Nets, 143-163, 2014 | 2 | 2014 |
| A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net F Adobbati, GK Soylu, AP Aubel IEEE Access 10, 38483-38501, 2022 | 1 | 2022 |
| Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets F Adobbati, L Bernardinello, GK Soylu, L Pomello | 1 | 2022 |
| Distributed identity based private key generation for SCADA systems G Kılınç, I Nai Fovino Critical Information Infrastructures Security: 7th International Workshop …, 2013 | 1 | 2013 |
| A practical and formal analysis of distributed private key generation for identity based cryptography G Kilinç Fen Bilimleri Enstitüsü, 2012 | | 2012 |
