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.
9676 Publications
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, 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. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3477
Becker J, Beverungen D, Knackstedt R. Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In: Proceedings of the 41th Hawai’i International Conference on System Sciences. Waikoloa, Hawaii; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3478
Becker J, Beverungen D, Knackstedt R, Müller O. Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In: Americas Conference on Information Systems. Toronto, Canada; 2008.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 3479
Beverungen D, Kaiser U, Knackstedt R, Krings R, Stein A. Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008). München; 2008:735--747.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3480
Winkelmann A, Beverungen D, Janiesch C, Becker J. Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail. In: Proceedings of the 16th European Conference on Information Systems. Galway, Ireland; 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3507
Beverungen D, Knackstedt R, Müller O. Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. Wirtschaftsinformatik. 2008;(3):220--234.
LibreCat
| Download (ext.)
2008 | Book | LibreCat-ID: 3558
Müller J. Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze. Springer Gabler; 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3597
Harteis C, Gruber H. Intuition and professional competence: Intuitive versus rational forecasting of the stock market. Vocations and Learning. 2008;(1):71--85.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 3598
Billett S, Harteis C, Eteläpelto A, eds. Emerging Perspectives of Workplace Learning. Rotterdam: Sense; 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3604
Harteis C, Bauer J, Gruber H. The culture of learning from mistakes: How employees handle mistakes in everyday work. International Journal of Educational Research. 2008;(4):223--231.
LibreCat
2008 | Journal Article | LibreCat-ID: 3605
Harteis C, Billett S. The workplace as learning environment: Introduction. International Journal of Educational Research. 2008;(4):209--212.
LibreCat
2008 | Journal Article | LibreCat-ID: 3610
Harteis C, Gruber H. How important is intuition for teaching expertise in the field of adult education? Studies in the Education of Adults. 2008;(1):96--109.
LibreCat
2008 | Journal Article | LibreCat-ID: 3616
Harteis C, Koch T, Morgenthaler B. How Intuition Contributes to High Performance: An Educational Perspective. US-China Education Review. 2008;5(1):68--80.
LibreCat
2008 | Report | LibreCat-ID: 3631
Gruber H, Harteis C, Paetz N-V, Keil S. Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg; 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 3642
Gruber H, Harteis C. Lernen und Lehren im Erwachsenenalter. In: Renkl A, ed. Lehrbuch Pädagogische Psychologie. Bern: Huber; 2008:205--261.
LibreCat
2008 | Journal Article | LibreCat-ID: 3695
Sureth-Sloane C, Müller J, Houben H, Maiterth R. Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen. Unternehmensbesteuerung. 2008:183--200.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3061
Gries T, Naudé W, Wood E, Meintjes A. Regional Determinants of Entrepreneurial Start-Ups in a Developing Country. Entrepreneurship & Regional Development. 2008;20(2):111-124. doi:10.1080/08985620701631498
LibreCat
| DOI