Görkem Kilinç

According to our database1, Görkem Kilinç
  • authored at least 9 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Weak Observable Liveness and Infinite Games on Finite Graphs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.
T. Petri Nets and Other Models of Concurrency, 2016

2015
Observable liveness of Petri nets.
Acta Inf., 2015

Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
Modeling Distributed Private Key Generation by Composing Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2014

Observable Liveness.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Modeling Distributed Private Key Generation by Composing Petri Nets.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
A model of distributed key generation for industrial control systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Distributed Identity Based Private Key Generation for SCADA Systems.
Proceedings of the Critical Information Infrastructures Security, 2012


  Loading...