Werner Dietl

Werner Michael Dietl

	2011
14		Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357
13		Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller: Building and using pluggable type-checkers. ICSE 2011: 681-690
12		Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman: EnerJ: approximate data types for safe and general low-power computation. PLDI 2011: 164-174
11		Werner Dietl, Sophia Drossopoulou, Peter Müller: Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20 (2011)
	2009
10		Werner Dietl: Universe Types - Topologie, Kapselung, Generizität und Tools. Ausgezeichnete Informatikdissertationen 2009: 51-60
9		Werner Michael Dietl: Universe Types - Topology, Encapsulation, Genericity, and Tools. Universität Zürich 2009: I-XII, 1-196
	2007
8		Werner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
7		Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
	2005
6		Werner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
	2004
5		Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
4		Werner Dietl, Andreas Uhl: Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures. ICME 2004: 2043-2046
3		Michael Brachtl, Andreas Uhl, Werner Dietl: Key-dependency for a wavelet-based blind watermarking algorithm. MM&Sec 2004: 175-179
	2003
2		Werner Dietl, Andreas Uhl: Watermark Security via Secret Wavelet Packet Subband Structures. Communications and Multimedia Security 2003: 214-225
1		Werner Dietl, Peter Meerwald, Andreas Uhl: Protection of wavelet-based watermarking systems using filter parametrization. Signal Processing 83(10): 2095-2116 (2003)

Coauthor Index

1	Michael Brachtl	[3]
2	Luis Ceze	[12]
3	Dave Cunningham	[7]
4	Stephanie Dietzel	[13]
5	Sophia Drossopoulou	[7] [8] [11]
6	Michael D. Ernst	[13] [14]
7	Emily Fortuna	[12]
8	Adrian Francalanza	[7]
9	Danushen Gnanapragasam	[12]
10	Dan Grossman	[12]
11	Peter Meerwald	[1]
12	Peter Müller	[5] [6] [7] [8] [11] [14]
13	Kivanç Muslu	[13]
14	Arnd Poetzsch-Heffter	[5]
15	Adrian Sampson	[12]
16	Todd W. Schiller	[13]
17	Alexander J. Summers	[7]
18	Andreas Uhl	[1] [2] [3] [4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page