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
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: 3209
B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3477
J. Becker, D. Beverungen, and R. Knackstedt, “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
J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “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
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 | Conference Paper | LibreCat-ID: 3480
A. Winkelmann, D. Beverungen, C. Janiesch, and J. Becker, “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
D. Beverungen, R. Knackstedt, and O. Müller, “Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte,” Wirtschaftsinformatik, no. 3, pp. 220--234, 2008.
LibreCat
| Download (ext.)
2008 | Book | LibreCat-ID: 3558
J. Müller, 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
C. Harteis and H. Gruber, “Intuition and professional competence: Intuitive versus rational forecasting of the stock market,” Vocations and Learning, no. 1, pp. 71--85, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 3598
S. Billett, C. Harteis, and A. Eteläpelto, Eds., Emerging perspectives of workplace learning. Rotterdam: Sense, 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3604
C. Harteis, J. Bauer, and H. Gruber, “The culture of learning from mistakes: How employees handle mistakes in everyday work,” International Journal of Educational Research, no. 4, pp. 223--231, 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3605
C. Harteis and S. Billett, “The workplace as learning environment: Introduction,” International Journal of Educational Research, no. 4, pp. 209--212, 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3610
C. Harteis and H. Gruber, “How important is intuition for teaching expertise in the field of adult education?,” Studies in the Education of Adults, no. 1, pp. 96--109, 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3616
C. Harteis, T. Koch, and B. Morgenthaler, “How Intuition Contributes to High Performance: An Educational Perspective.,” US-China Education Review, vol. 5, no. 1, pp. 68--80, 2008.
LibreCat
2008 | Report | LibreCat-ID: 3631
H. Gruber, C. Harteis, N.-V. Paetz, and S. Keil, Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg, 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 3642
H. Gruber and C. Harteis, “Lernen und Lehren im Erwachsenenalter,” in Lehrbuch Pädagogische Psychologie, A. Renkl, Ed. Bern: Huber, 2008, pp. 205--261.
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