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.
985 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
2008 | Book Chapter | LibreCat-ID: 3642
@inbook{Gruber_Harteis_2008, place={Bern}, title={Lernen und Lehren im Erwachsenenalter}, booktitle={Lehrbuch Pädagogische Psychologie}, publisher={Huber}, author={Gruber, Hans and Harteis, Christian}, editor={Renkl, AlexanderEditor}, year={2008}, pages={205--261} }
LibreCat
2008 | Journal Article | LibreCat-ID: 3695
@article{Sureth-Sloane_Müller_Houben_Maiterth_2008, title={Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen}, journal={Unternehmensbesteuerung}, author={Sureth-Sloane, Caren and Müller, Jens and Houben, Henriette and Maiterth, Ralf}, year={2008}, pages={183--200} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 3001
@inproceedings{Stern_Adelt_Krummel_Ackermann_2008, title={Reliable Evidence of Data Integrity from an Untrusted Storage Service}, DOI={10.1109/icns.2008.28}, booktitle={Fourth International Conference on Networking and Services (icns 2008)}, publisher={IEEE}, author={Stern, Claudius and Adelt, Philipp and Krummel, Volker and Ackermann, Marcel Rudolf}, year={2008} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3061
@article{Gries_Naudé_Wood_Meintjes_2008, title={Regional Determinants of Entrepreneurial Start-Ups in a Developing Country}, volume={20}, DOI={10.1080/08985620701631498}, number={2}, journal={Entrepreneurship & Regional Development}, author={Gries, Thomas and Naudé, Wim and Wood, Eric and Meintjes, Aloe}, year={2008}, pages={111–124} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3062
@article{Gries_Naudé_2008, title={Trade and Endogenous Formation of Regions in a Developing Country}, volume={12}, DOI={10.1111/j.1467-9361.2007.00382.x}, number={2}, journal={Review of Developing Economics}, author={Gries, Thomas and Naudé, Wim}, year={2008}, pages={248–275} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
@inproceedings{Gajek_Jager_Manulis_Schwenk_2008, title={A Browser-Based Kerberos Authentication Scheme}, DOI={10.1007/978-3-540-88313-5_8}, booktitle={Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}, author={Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}, year={2008}, pages={115--129} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
@inproceedings{Altmann_Jager_Rupp_2008, title={On Black-Box Ring Extraction and Integer Factorization}, DOI={10.1007/978-3-540-70583-3_36}, booktitle={Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations}, author={Altmann, Kristina and Jager, Tibor and Rupp, Andy}, year={2008}, pages={437--448} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
@inproceedings{Jager_Schwenk_2008, title={On the Equivalence of Generic Group Models}, DOI={10.1007/978-3-540-88733-1_14}, booktitle={Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2008}, pages={200--209} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
@inproceedings{Jager_Jäkel_Schwenk_2008, title={Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS}, booktitle={Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.}, author={Jager, Tibor and Jäkel, Heiko and Schwenk, Jörg}, year={2008}, pages={127--136} }
LibreCat
2008 | Journal Article | LibreCat-ID: 27137
@article{Libuda_Alexy_Remer_Stehle_Schoenau_Kersting_2008, title={Association between long-term consumption of soft drinks and variables of bone modeling and remodeling in a sample of healthy German children and adolescents}, DOI={10.3945/ajcn.2008.26414}, journal={The American Journal of Clinical Nutrition}, author={Libuda, Lars and Alexy, Ute and Remer, Thomas and Stehle, Peter and Schoenau, Eckhard and Kersting, Mathilde}, year={2008}, pages={1670–1677} }
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2736
@book{Gries_Redlin_2008, series={Working Papers CIE}, title={China’s provincial disparities and the determinants of provincial inequality}, volume={2008–11}, publisher={Paderborn University, CIE Center for International Economics}, author={Gries, Thomas and Redlin, Margarete}, year={2008}, collection={Working Papers CIE} }
LibreCat
| Download (ext.)
2008 | Working Paper | LibreCat-ID: 2737 | 
@book{Gries_Redlin_2008, series={Research paper / UNU-WIDER }, title={International integration and regional development in China }, volume={2008.66}, publisher={WIDER Research Papers, United Nations University (UNU)}, author={Gries, Thomas and Redlin, Margarete}, year={2008}, collection={Research paper / UNU-WIDER } }
LibreCat
| Download (ext.)
2008 | Journal Article | LibreCat-ID: 27586
@article{Libuda_Alexey_Stehle_Kersting_2008, title={Konsum von Erfrischungsgetränken und Entwicklung des Körpergewichts im Kindes- und Jugendalter – Gibt es eine Verbindung? }, volume={33}, DOI={10.1055/s-2007-986311}, journal={Aktuelle Ernährungsmedizin}, author={Libuda, Lars and Alexey, U. and Stehle, P. and Kersting, M.}, year={2008}, pages={123–131} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 27587
@article{Libuda_Kersting_2008, title={DONALD News: Erfrischungsgetränke und Ernährungsqualität. }, volume={55}, journal={Ernährungsumschau}, author={Libuda, Lars and Kersting, M.}, year={2008}, pages={646} }
LibreCat
2008 | Journal Article | LibreCat-ID: 27714
@article{Buyken_Karaolis-Danckert_Remer_Bolzenius_Landsberg_Kroke_2008, title={Effects of Breastfeeding on Trajectories of Body Fat and BMI throughout Childhood}, DOI={10.1038/oby.2007.57}, journal={Obesity}, author={Buyken, Anette and Karaolis-Danckert, Nadina and Remer, Thomas and Bolzenius, Katja and Landsberg, Beate and Kroke, Anja}, year={2008}, pages={389–395} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 27773
@article{Toeller_Buyken_Heitkamp_Berg_Scherbaum_2008, title={Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions}, DOI={10.1055/s-2007-978820}, journal={Hormone and Metabolic Research}, author={Toeller, M. and Buyken, Anette and Heitkamp, G. and Berg, G. and Scherbaum, W.}, year={2008}, pages={680–685} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 27887
@inbook{Schlegel-Matthies_2008, title={Ernährungsbildung in Unterricht und Schulprofil. Essen und Trinken in der Schule – Bildungschance und Beitrag zu sozialer Gerechtigkeit}, booktitle={Ernährung, Kultur, Lebensqualität. Wege regionaler Nachhaltigkeit}, author={Schlegel-Matthies, Kirsten}, editor={Antoni-Komar, I. and Pfriem, R. and Raabe, T. and Spiller, A.}, year={2008}, pages={303–315} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 27888
@inbook{Methfessel_Ritterbach_Schlegel-Matthies_2008, title={Private Lebensführung als Umgang mit Komplexität - ein schwer operationalisierbares Bildungsziel}, booktitle={.): Schwer messbare Kompetenzen. Herausforderungen für die empirische Fachdidaktik}, author={Methfessel, B. and Ritterbach, U. and Schlegel-Matthies, Kirsten}, editor={Frederking, V.}, year={2008}, pages={115–125} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 1108
@inproceedings{Geierhos_Blanc_Bsiri_2008, title={iBeCOOL - Extraction d’informations biographiques dans les textes financiers}, booktitle={Proceedings of the Lexis and Grammar Conference 2008}, author={Geierhos, Michaela and Blanc, Olivier and Bsiri, Sandra}, year={2008}, pages={241–248} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 1109
@inbook{Geierhos_Bsiri_2008, place={London, UK}, edition={1}, series={Tributes}, title={ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web}, volume={6}, booktitle={Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6)}, publisher={College Publications}, author={Geierhos, Michaela and Bsiri, Sandra}, editor={Gross , Gaston and Schulz, Klaus U.Editors}, year={2008}, pages={103–126}, collection={Tributes} }
LibreCat
2008 | Journal Article | LibreCat-ID: 1110
@article{Geierhos_Blanc_Bsiri_2008, title={RELAX - Extraction de relations sémantiques dans les contextes biographiques}, volume={49}, number={1}, journal={Traitement Automatique des Langues (TAL)}, publisher={ATALA}, author={Geierhos, Michaela and Blanc, Olivier and Bsiri, Sandra}, year={2008}, pages={167–190} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
@inproceedings{Tichy_Henkler_Meyer_von Detten_2008, title={Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse}, booktitle={Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany}, author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={10.1145/1404920.1404922}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
@inproceedings{Holtmann_Tichy_2008, title={Component Story Diagrams in Fujaba4Eclipse}, booktitle={Proc. of the 6th International Fujaba Days 2008, Dresden, Germany}, author={Holtmann, Jörg and Tichy, Matthias}, year={2008}, pages={44–47} }
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }
LibreCat
2008 | Journal Article | LibreCat-ID: 1737
@article{Guo_Meyrath_Zentgraf_Liu_Fu_Schweizer_Giessen_2008, title={Optical resonances of bowtie slot antennas and their geometry and material dependence}, volume={16}, DOI={10.1364/oe.16.007756}, number={117756}, journal={Optics Express}, publisher={The Optical Society}, author={Guo, Hongcang and Meyrath, Todd P. and Zentgraf, Thomas and Liu, Na and Fu, Liwei and Schweizer, Heinz and Giessen, Harald}, year={2008} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 1738
@article{Valentine_Zhang_Zentgraf_Ulin-Avila_Genov_Bartal_Zhang_2008, title={Three-dimensional optical metamaterial with a negative refractive index}, volume={455}, DOI={10.1038/nature07247}, number={7211}, journal={Nature}, publisher={Springer Nature}, author={Valentine, Jason and Zhang, Shuang and Zentgraf, Thomas and Ulin-Avila, Erick and Genov, Dentcho A. and Bartal, Guy and Zhang, Xiang}, year={2008}, pages={376–379} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 1739
@article{Meyrath_Zentgraf_Rockstuhl_Giessen_2008, title={Electromagnetic induction in metamaterials}, volume={93}, DOI={10.1007/s00340-008-3207-z}, number={1}, journal={Applied Physics B}, publisher={Springer Nature}, author={Meyrath, T. P. and Zentgraf, Thomas and Rockstuhl, C. and Giessen, H.}, year={2008}, pages={107–110} }
LibreCat
| DOI