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.

18455 Publications


2008 | Conference Paper | LibreCat-ID: 3001
Stern, C., Adelt, P., Krummel, V., & Ackermann, M. R. (2008). Reliable Evidence of Data Integrity from an Untrusted Storage Service. In Fourth International Conference on Networking and Services (icns 2008). IEEE. https://doi.org/10.1109/icns.2008.28
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci., 255--264. https://doi.org/10.1016/j.entcs.2008.02.023
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. 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 (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. 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 (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4256
zu Siederdissen, T. H., Nielsen, N. C., Kuhl, J., Schaarschmidt, M., Förstner, J., Knorr, A., … Giessen, H. (2008). Transition between different coherent light–matter interaction regimes analyzed by phase-resolved pulse propagation. Optics Letters, 30(11). https://doi.org/10.1364/ol.30.001384
LibreCat | Files available | DOI
 

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

2008 | Journal Article | LibreCat-ID: 3695
Sureth-Sloane, C., Müller, J., Houben, H., & Maiterth, R. (2008). Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen. Unternehmensbesteuerung, 183--200.
LibreCat
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed