|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Werner Dietl, Sophia Drossopoulou, Peter Müller |
Separating ownership topology and encapsulation with generic universe types.  |
ACM Trans. Program. Lang. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Michael D. Ernst, Peter Müller |
Tunable Static Inference for Generic Universe Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller |
Building and using pluggable type-checkers. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl |
Universe Types - Topologie, Kapselung, Generizität und Tools. |
Ausgezeichnete Informatikdissertationen |
2009 |
DBLP BibTeX RDF |
|
| 1 | Werner Michael Dietl |
Universe Types - Topology, Encapsulation, Genericity, and Tools. |
|
2009 |
RDF |
|
| 1 | Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers |
Universe Types for Topology and Encapsulation. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Sophia Drossopoulou, Peter Müller |
Generic Universe Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Peter Müller |
Universes: Lightweight Ownership for JML. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Brachtl, Andreas Uhl, Werner Dietl |
Key-dependency for a wavelet-based blind watermarking algorithm. |
MM&Sec |
2004 |
DBLP DOI BibTeX RDF |
parameterized wavelet filters, wavelet packets, multiple watermarking, blind watermarking |
| 1 | Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter |
A Type System for Checking Applet Isolation in Java Card. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Andreas Uhl |
Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures. |
ICME |
2004 |
DBLP BibTeX RDF |
|
| 1 | Werner Dietl, Peter Meerwald, Andreas Uhl |
Protection of wavelet-based watermarking systems using filter parametrization. |
Signal Processing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Andreas Uhl |
Watermark Security via Secret Wavelet Packet Subband Structures. |
Communications and Multimedia Security |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")