Folgen
Daniel Wagner
Daniel Wagner
Bestätigte E-Mail-Adresse bei seas.upenn.edu
Titel
Zitiert von
Zitiert von
Jahr
Symmetric lenses
M Hofmann, B Pierce, D Wagner
ACM SIGPLAN Notices 46 (1), 371-384, 2011
1752011
Differential privacy for collaborative security
J Reed, AJ Aviv, D Wagner, A Haeberlen, BC Pierce, JM Smith
Proceedings of the Third European Workshop on System Security, 1-7, 2010
432010
Edit lenses
M Hofmann, B Pierce, D Wagner
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
352012
Edit lenses
M Hofmann, B Pierce, D Wagner
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
352012
Second International Workshop on Bidirectional Transformations (BX 2013)
M Johnson, R Rosebrugh
Electronic Communications of the EASST 57, 2013
33*2013
Three Perspectives on Change
D Wagner
2011
The Spider Calculus
BC Pierce, A Romanel, D Wagner
2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7