Name Card

Full name Familienname, Vorname
Garg, Deepak
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018
2Munz, Reinhard ; Eigner, Fabienne ; Maffei, Matteo ; Francis, Paul ; Garg, Deepak UniTraX: Protecting Data Privacy with Discoverable BiasesKonferenzbeitrag Inproceedings 2018
3Rajani, Vineet ; Bastys, Iulia ; Rafnsson, Willard ; Garg, Deepak Type Systems for Information Flow Control: The Question of GranularityArtikel Article2017