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. (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: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
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 | Conference Paper | LibreCat-ID: 3477
Becker, J., Beverungen, D., & Knackstedt, R. (2008). 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.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3478
Becker, J., Beverungen, D., Knackstedt, R., & Müller, O. (2008). Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In Americas Conference on Information Systems. Toronto, Canada.
LibreCat
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 3480
Winkelmann, A., Beverungen, D., Janiesch, C., & Becker, J. (2008). 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.
LibreCat
2008 | Journal Article | LibreCat-ID: 3507
Beverungen, D., Knackstedt, R., & Müller, O. (2008). Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. Wirtschaftsinformatik, (3), 220--234.
LibreCat
| Download (ext.)
2008 | Book | LibreCat-ID: 3558
Müller, J. (2008). Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze. Springer Gabler.
LibreCat
2008 | Journal Article | LibreCat-ID: 3597
Harteis, C., & Gruber, H. (2008). Intuition and professional competence: Intuitive versus rational forecasting of the stock market. Vocations and Learning, (1), 71--85.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 3598
Billett, S., Harteis, C., & Eteläpelto, A. (Eds.). (2008). Emerging perspectives of workplace learning. Rotterdam: Sense.
LibreCat
2008 | Journal Article | LibreCat-ID: 3604
Harteis, C., Bauer, J., & Gruber, H. (2008). The culture of learning from mistakes: How employees handle mistakes in everyday work. International Journal of Educational Research, (4), 223--231.
LibreCat
2008 | Journal Article | LibreCat-ID: 3605
Harteis, C., & Billett, S. (2008). The workplace as learning environment: Introduction. International Journal of Educational Research, (4), 209--212.
LibreCat
2008 | Journal Article | LibreCat-ID: 3610
Harteis, C., & Gruber, H. (2008). How important is intuition for teaching expertise in the field of adult education? Studies in the Education of Adults, (1), 96--109.
LibreCat
2008 | Journal Article | LibreCat-ID: 3616
Harteis, C., Koch, T., & Morgenthaler, B. (2008). How Intuition Contributes to High Performance: An Educational Perspective. US-China Education Review, 5(1), 68--80.
LibreCat
2008 | Report | LibreCat-ID: 3631
Gruber, H., Harteis, C., Paetz, N.-V., & Keil, S. (2008). Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg.
LibreCat
2008 | Book Chapter | LibreCat-ID: 3642
Gruber, H., & Harteis, C. (2008). Lernen und Lehren im Erwachsenenalter. In A. Renkl (Ed.), Lehrbuch Pädagogische Psychologie (pp. 205--261). Bern: Huber.
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 | 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: 3061
Gries, T., Naudé, W., Wood, E., & Meintjes, A. (2008). Regional Determinants of Entrepreneurial Start-Ups in a Developing Country. Entrepreneurship & Regional Development, 20(2), 111–124. https://doi.org/10.1080/08985620701631498
LibreCat
| DOI