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.

984 Publications


2008 | Journal Article | LibreCat-ID: 3204
@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3477
@inproceedings{Becker_Beverungen_Knackstedt_2008, place={Waikoloa, Hawaii}, title={Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research}, booktitle={Proceedings of the 41th Hawai’i International Conference on System Sciences}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}, year={2008} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3478
@inproceedings{Becker_Beverungen_Knackstedt_Müller_2008, place={Toronto, Canada}, title={Modeling, Customer-Specific Configuration and Calculation of Value Bundles}, booktitle={Americas Conference on Information Systems}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}, year={2008} }
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 3479
@inproceedings{Beverungen_Kaiser_Knackstedt_Krings_Stein_2008, place={München}, title={Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}, author={Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}, year={2008}, pages={735--747} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3480
@inproceedings{Winkelmann_Beverungen_Janiesch_Becker_2008, place={Galway, Ireland}, title={Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail}, booktitle={Proceedings of the 16th European Conference on Information Systems}, author={Winkelmann, Axel and Beverungen, Daniel and Janiesch, Christian and Becker, Jörg}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3507
@article{Beverungen_Knackstedt_Müller_2008, title={Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte}, number={3}, journal={Wirtschaftsinformatik}, author={Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}, year={2008}, pages={220--234} }
LibreCat | Download (ext.)
 

2008 | Book | LibreCat-ID: 3558
@book{Müller_2008, title={Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze}, publisher={Springer Gabler}, author={Müller, Jens}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3597
@article{Harteis_Gruber_2008, title={Intuition and professional competence: Intuitive versus rational forecasting of the stock market}, number={1}, journal={Vocations and Learning}, author={Harteis, Christian and Gruber, Hans}, year={2008}, pages={71--85} }
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 3598
@book{Billett_Harteis_Eteläpelto_2008, place={Rotterdam}, title={Emerging perspectives of workplace learning}, publisher={Sense}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3604
@article{Harteis_Bauer_Gruber_2008, title={The culture of learning from mistakes: How employees handle mistakes in everyday work}, number={4}, journal={International Journal of Educational Research}, author={Harteis, Christian and Bauer, Johannes and Gruber, Hans}, year={2008}, pages={223--231} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3605
@article{Harteis_Billett_2008, title={The workplace as learning environment: Introduction}, number={4}, journal={International Journal of Educational Research}, author={Harteis, Christian and Billett, Stephen}, year={2008}, pages={209--212} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3610
@article{Harteis_Gruber_2008, title={How important is intuition for teaching expertise in the field of adult education?}, number={1}, journal={Studies in the Education of Adults}, author={Harteis, Christian and Gruber, Hans}, year={2008}, pages={96--109} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3616
@article{Harteis_Koch_Morgenthaler_2008, title={How Intuition Contributes to High Performance: An Educational Perspective.}, volume={5}, number={1}, journal={US-China Education Review}, author={Harteis, Christian and Koch, Tina and Morgenthaler, Barbara}, year={2008}, pages={68--80} }
LibreCat
 

2008 | Report | LibreCat-ID: 3631
@book{Gruber_Harteis_Paetz_Keil_2008, place={Regensburg}, title={Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen}, publisher={Universität Regensburg}, author={Gruber, Hans and Harteis, Christian and Paetz, Nadja-Verena and Keil, Stefanie}, year={2008} }
LibreCat
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed