Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”https://doi.org/10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2 (2008): 161--204.https://doi.org/10.1007/s00165-007-0042-7 .
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.
LibreCat: /record/3206

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__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, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”https://doi.org/10.1007/978-3-540-85762-4_26__In Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H\'22usn\'22u Yenig\'22un, 380--394. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-85762-4_26 .
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Becker, Jörg, Daniel Beverungen, and Ralf 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: /record/3477

Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, and Oliver Müller. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” In Americas Conference on Information Systems. Toronto, Canada, 2008.
LibreCat: /record/3478

Beverungen, Daniel, Uwe Kaiser, Ralf Knackstedt, Robin Krings, and Armin Stein. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), 735--747. München, 2008.
LibreCat: /record/3479

Winkelmann, Axel, Daniel Beverungen, Christian Janiesch, and Jörg 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: /record/3480

Beverungen, Daniel, Ralf Knackstedt, and Oliver 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 (2008): 220--234.
LibreCat: /record/3507

Müller, Jens. Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze. Springer Gabler, 2008.
LibreCat: /record/3558

Harteis, Christian, and Hans Gruber. “Intuition and Professional Competence: Intuitive versus Rational Forecasting of the Stock Market.” Vocations and Learning, no. 1 (2008): 71--85.
LibreCat: /record/3597

Billett, Stephen, Christian Harteis, and Anneli Eteläpelto, eds. Emerging Perspectives of Workplace Learning. Rotterdam: Sense, 2008.
LibreCat: /record/3598

Harteis, Christian, Johannes Bauer, and Hans Gruber. “The Culture of Learning from Mistakes: How Employees Handle Mistakes in Everyday Work.” International Journal of Educational Research, no. 4 (2008): 223--231.
LibreCat: /record/3604

Harteis, Christian, and Stephen Billett. “The Workplace as Learning Environment: Introduction.” International Journal of Educational Research, no. 4 (2008): 209--212.
LibreCat: /record/3605

Harteis, Christian, and Hans Gruber. “How Important Is Intuition for Teaching Expertise in the Field of Adult Education?” Studies in the Education of Adults, no. 1 (2008): 96--109.
LibreCat: /record/3610

Harteis, Christian, Tina Koch, and Barbara Morgenthaler. “How Intuition Contributes to High Performance: An Educational Perspective.” US-China Education Review 5, no. 1 (2008): 68--80.
LibreCat: /record/3616

Gruber, Hans, Christian Harteis, Nadja-Verena Paetz, and Stefanie Keil. Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg, 2008.
LibreCat: /record/3631