Publications by Zeliha Dilsun Kaynar

Chapter

Introduction

2012 • Synthesis Lectures on Computer Science • 1-6
Kaynar DK, Lynch N, Segala R, Vaandrager F

Chapter

Timed Automata

2012 • Synthesis Lectures on Computer Science • 19-51
Kaynar DK, Lynch N, Segala R, Vaandrager F

Conference

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms

2011 • Lecture Notes in Artificial Intelligence • 7093:1-+
Datta A, Blocki J, Christin N, DeYoung H, Garg D, Jia L, Kaynar D, Sinha A
Displaying 1 - 25 of 28