sign in · help · news · about ·

BibSonomy :: author :: Krieg ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(103)

<< < 1 | 2 | 3 > >>

Accelerating early design phase differential power analysis using power emulation techniques.
Armin Krieg, Christian Bachmann, Johannes Grinschgl, Christian Steger, Reinhold Weiss, and Josef Haid HOST, page 81-86. IEEE Computer Society, (2011)
to dblp by dblp on Dec 6, 2011, 12:00 AM
URL | BibTeX
Modular Fault Injector for Multiple Fault Dependability and Security Evaluations.
Johannes Grinschgl, Armin Krieg, Christian Steger, Reinhold Weiss, Holger Bock, and Josef Haid DSD, page 550-557. IEEE, (2011)
to dblp by dblp on Nov 21, 2011, 12:00 AM
URL | BibTeX
Nine years of atmospheric remote sensing with SCIAMACHY - instrument performance.
Manfred Gottwald, Eckhart Krieg, Gunter Lichtenberg, Sander Slijkhuis, Stefan Noel, Klaus Bramstedt, Heinrich Bovensmann, Christian von Savigny, Ralph Snel, and Matthijs Krijger IGARSS, page 3538-3541. IEEE, (2011)
to dblp by dblp on Oct 29, 2011, 12:00 AM
URL | BibTeX
CASL: the Common Algebraic Specification Language.
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, and Andrzej Tarlecki Theor. Comput. Sci. 286(2):153-196 (2002)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Automatic saboteur placement for emulation-based multi-bit fault injection.
Johannes Grinschgl, Armin Krieg, Christian Steger, Reinhold Weiss, Holger Bock, and Josef Haid ReCoSoC, page 1-8. IEEE, (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
A side channel attack countermeasure using system-on-chip power profile scrambling.
Armin Krieg, Johannes Grinschgl, Christian Steger, Reinhold Weiss, and Josef Haid IOLTS, page 222-227. IEEE, (2011)
to dblp by dblp on Aug 31, 2011, 12:00 AM
URL | BibTeX
Programming in a Wide Spectrum Language: A Collection of Examples.
Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, and Hans Wössner Sci. Comput. Program. 1(1-2):73-114 (1981)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
SCIAMACHY on ENVISAT: 4 Years in Space: A Status Report.
Manfred Gottwald, Eckhart Krieg, Stefan Noel, Heinrich Bovensmann, John P. Burrows, and Manfred Wuttke IGARSS, page 1288-1291. IEEE, (2006)
to dblp by dblp on Aug 14, 2011, 12:00 AM
URL | BibTeX
Ontologies for the Semantic Web in Casl.
Klaus Lüttich, Till Mossakowski, and Bernd Krieg-Brückner WADT, volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Towards Dialogue Based Shared Control of Navigating Robots.
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, and John A. Bateman Spatial Cognition, volume 3343 of Lecture Notes in Computer Science, page 478-499. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Specification of an Ontology for Route Graphs.
Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, and Robert J. Ross Spatial Cognition, volume 3343 of Lecture Notes in Computer Science, page 390-412. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Literate Ontology Development.
Achim Mahnke, and Bernd Krieg-Brückner OTM Workshops, volume 3292 of Lecture Notes in Computer Science, page 753-757. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
Towards MultiMedia Instruction in Safe and Secure Systems.
Bernd Krieg-Brückner Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 379-395. Springer, (2005)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
MultiMedia Instruction in Safe and Secure Systems.
Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, and Martin Wirsing WADT, volume 2755 of Lecture Notes in Computer Science, page 82-117. Springer, (2002)
to dblp by dblp and 1 other user on Jul 5, 2011, 12:00 AM
URL | BibTeX
Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair.
Axel Lankenau, Thomas Röfer, and Bernd Krieg-Brückner Spatial Cognition, volume 2685 of Lecture Notes in Computer Science, page 34-61. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
LOX-DB - a database on lipoxygenases.
Thomas Lütteke, Peter Krieg, Gerhard Fürstenberger, and Claus-Wilhelm von der Lieth Bioinformatics 19(18):2482-2483 (2003)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
New genes for tRNAPhe, tRNALeu, and tRNAThr from Saccharomyces cerevisiae.
R. Stucka, P. Nelbock, R. Krieg, C. Schwarzlose, and H. Feldmann Nucleic Acids Research 19(1):179 (1991)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Seven Years of COMPASS.
Bernd Krieg-Brückner COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 1-13. Springer, (1995)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Object-Oriented Functional Programming and Type Reconstruction.
Zhenyu Qian, and Bernd Krieg-Brückner COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 458-477. Springer, (1995)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
The UniForM Workbench, a Universal Development Environment for Formal Methods.
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, and Alexander Baer World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1186-1205. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100