Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

12088 Publications


2008 | Conference Paper | LibreCat-ID: 3001
Reliable Evidence of Data Integrity from an Untrusted Storage Service
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4256
Transition between different coherent light–matter interaction regimes analyzed by phase-resolved pulse propagation
T.H. zu Siederdissen, N.C. Nielsen, J. Kuhl, M. Schaarschmidt, J. Förstner, A. Knorr, G. Khitrova, H.M. Gibbs, S.W. Koch, H. Giessen, Optics Letters 30 (2008).
LibreCat | Files available | DOI
 

2008 | Conference Paper | LibreCat-ID: 3479
Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus
D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3695 LibreCat
 

2008 | Journal Article | LibreCat-ID: 4554
Exciton spectroscopy on single CdSe/ZnSe quantum dot photodiodes
S.M. de Vasconcellos, A. Pawlis, C. Arens, M. Panfilova, A. Zrenner, D. Schikora, K. Lischka, Microelectronics Journal 40 (2008) 215–217.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4434
Ganzheitliche Reflexion auf dem Weg zu selbstorganisiertem Lernen
T. Jenert, Bildungsforschung 5 (2008) 1–18.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 5177
Trennung von Netz und Betrieb als Königsweg? Pfadabhängigkeiten der Regulierung
J. Haucap, U. Heimeshoff, A. Uhde, in: Wettbewerb und Investitionen in der Netzindustrie (Ed.), BDI-Bundesnetzagentur-Regulierungskonferenz 2008, Berlin, 2008, pp. 15–21.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed