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.

12532 Publications


2008 | Journal Article | LibreCat-ID: 2510
C.-J. Haake and B. Klaus, “Stability and Nash implementation in matching markets with couples,” Theory and Decision, vol. 69, no. 4, pp. 537–554, 2008.
LibreCat | Files available | DOI
 

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

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

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
 

Search

Filter Publications

Display / Sort

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

Export / Embed