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.

18383 Publications


2008 | Conference Paper | LibreCat-ID: 3208
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in 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
H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in 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
T. H. zu Siederdissen et al., “Transition between different coherent light–matter interaction regimes analyzed by phase-resolved pulse propagation,” Optics Letters, vol. 30, no. 11, 2008.
LibreCat | Files available | DOI
 

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

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

2008 | Journal Article | LibreCat-ID: 4554
S. M. de Vasconcellos et al., “Exciton spectroscopy on single CdSe/ZnSe quantum dot photodiodes,” Microelectronics Journal, vol. 40, no. 2, pp. 215–217, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4434
T. Jenert, “Ganzheitliche Reflexion auf dem Weg zu selbstorganisiertem Lernen,” Bildungsforschung, vol. 5, no. 2, pp. 1–18, 2008.
LibreCat
 

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

2008 | Book Chapter | LibreCat-ID: 5064
J. Becker, D. Beverungen, and R. Knackstedt, “Wertschöpfungsnetzwerke von Produzenten und Dienstleistern als Option zur Organisation der Erstellung hybrider Leistungsbündel,” in Wertschöpfungsnetzwerke --- Konzepte für das Netzwerkmanagement und Potenziale aktueller Informationstechnologien, J. Becker, R. Knackstedt, and D. Pfeiffer, Eds. Heidelberg, 2008, pp. 3--31.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 5569
Y. K. Park, C. I. Lee, and R. Kabst, “Human needs as predictors for organizational commitment and job involvement: An exploratory empirical study.,” Management Revue: The International Review of Management Studies., vol. 19, no. 3, pp. 229–246, 2008.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed