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.

640 Publications


2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, 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. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3477
Becker J, Beverungen D, Knackstedt R. 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
Becker J, Beverungen D, Knackstedt R, Müller O. 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
Beverungen D, Kaiser U, Knackstedt R, Krings R, Stein A. Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008). München; 2008:735--747.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3480
Winkelmann A, Beverungen D, Janiesch C, Becker J. 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
Beverungen D, Knackstedt R, Müller O. Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. Wirtschaftsinformatik. 2008;(3):220--234.
LibreCat | Download (ext.)
 

2008 | Journal Article | LibreCat-ID: 3546
Garrod N, Kosi U, Valentincic A. Asset Write-Offs in the Absence of Agency Problems. Journal of Business Finance and Accounting. 2008;35(3-4):307-330. doi:10.1111/j.1468-5957.2008.02078
LibreCat | DOI
 

2008 | Book | LibreCat-ID: 3558
Müller J. 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
Harteis C, Gruber H. Intuition and professional competence: Intuitive versus rational forecasting of the stock market. Vocations and Learning. 2008;(1):71--85.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 3598
Billett S, Harteis C, Eteläpelto A, eds. Emerging Perspectives of Workplace Learning. Rotterdam: Sense; 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3604
Harteis C, Bauer J, Gruber H. The culture of learning from mistakes: How employees handle mistakes in everyday work. International Journal of Educational Research. 2008;(4):223--231.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3605
Harteis C, Billett S. The workplace as learning environment: Introduction. International Journal of Educational Research. 2008;(4):209--212.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3610
Harteis C, Gruber H. How important is intuition for teaching expertise in the field of adult education? Studies in the Education of Adults. 2008;(1):96--109.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3616
Harteis C, Koch T, Morgenthaler B. How Intuition Contributes to High Performance: An Educational Perspective. US-China Education Review. 2008;5(1):68--80.
LibreCat
 

2008 | Report | LibreCat-ID: 3631
Gruber H, Harteis C, Paetz N-V, Keil S. Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg; 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 3642
Gruber H, Harteis C. Lernen und Lehren im Erwachsenenalter. In: Renkl A, ed. Lehrbuch Pädagogische Psychologie. Bern: Huber; 2008:205--261.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3695
Sureth-Sloane C, Müller J, Houben H, Maiterth R. Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen. Unternehmensbesteuerung. 2008:183--200.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3061
Gries T, Naudé W, Wood E, Meintjes A. Regional Determinants of Entrepreneurial Start-Ups in a Developing Country. Entrepreneurship & Regional Development. 2008;20(2):111-124. doi:10.1080/08985620701631498
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3062
Gries T, Naudé W. Trade and Endogenous Formation of Regions in a Developing Country. Review of Developing Economics. 2008;12(2):248-275. doi:10.1111/j.1467-9361.2007.00382.x
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: 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. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3146
Jager T, Jäkel H, Schwenk J. Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In: 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. ; 2008:127--136.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 27137
Libuda L, Alexy U, Remer T, Stehle P, Schoenau E, Kersting M. Association between long-term consumption of soft drinks and variables of bone modeling and remodeling in a sample of healthy German children and adolescents. The American Journal of Clinical Nutrition. Published online 2008:1670-1677. doi:10.3945/ajcn.2008.26414
LibreCat | DOI
 

2008 | Working Paper | LibreCat-ID: 2736
Gries T, Redlin M. China’s Provincial Disparities and the Determinants of Provincial Inequality. Vol 2008-11. Paderborn University, CIE Center for International Economics; 2008.
LibreCat | Download (ext.)
 

2008 | Working Paper | LibreCat-ID: 2737 | OA
Gries T, Redlin M. International Integration and Regional Development in China . Vol 2008.66. WIDER Research Papers, United Nations University (UNU); 2008.
LibreCat | Download (ext.)
 

2008 | Journal Article | LibreCat-ID: 27586
Libuda L, Alexey U, Stehle P, Kersting M. Konsum von Erfrischungsgetränken und Entwicklung des Körpergewichts im Kindes- und Jugendalter – Gibt es eine Verbindung? . Aktuelle Ernährungsmedizin. 2008;33:123-131. doi:10.1055/s-2007-986311
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 27587
Libuda L, Kersting M. DONALD News: Erfrischungsgetränke und Ernährungsqualität. . Ernährungsumschau. 2008;55:646.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 27714
Buyken A, Karaolis-Danckert N, Remer T, Bolzenius K, Landsberg B, Kroke A. Effects of Breastfeeding on Trajectories of Body Fat and BMI throughout Childhood. Obesity. Published online 2008:389-395. doi:10.1038/oby.2007.57
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 27773
Toeller M, Buyken A, Heitkamp G, Berg G, Scherbaum W. Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions. Hormone and Metabolic Research. Published online 2008:680-685. doi:10.1055/s-2007-978820
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 27887
Schlegel-Matthies K. Ernährungsbildung in Unterricht und Schulprofil. Essen und Trinken in der Schule – Bildungschance und Beitrag zu sozialer Gerechtigkeit. In: Antoni-Komar I, Pfriem R, Raabe T, Spiller A, eds. Ernährung, Kultur, Lebensqualität. Wege regionaler Nachhaltigkeit. ; 2008:303-315.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 27888
Methfessel B, Ritterbach U, Schlegel-Matthies K. Private Lebensführung als Umgang mit Komplexität - ein schwer operationalisierbares Bildungsziel. In: Frederking V, ed. ..): Schwer messbare Kompetenzen. Herausforderungen für die empirische Fachdidaktik. ; 2008:115-125.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1108
Geierhos M, Blanc O, Bsiri S. iBeCOOL - Extraction d’informations biographiques dans les textes financiers. In: Proceedings of the Lexis and Grammar Conference 2008. ; 2008:241-248.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 1109
Geierhos M, Bsiri S. ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web. In: Gross G, Schulz KU, eds. Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6). Vol 6. 1st ed. Tributes. London, UK: College Publications; 2008:103-126.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 1110
Geierhos M, Blanc O, Bsiri S. RELAX - Extraction de relations sémantiques dans les contextes biographiques. Traitement Automatique des Langues (TAL). 2008;49(1):167-190.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20938
Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. ; 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20957
Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20964
Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany. ; 2008:44-47.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17273
Nagai Y, Rohlfing K. Parental Action Modification Highlighting the Goal versus the Means. In: The IEEE 7th International Conference on Development and Learning. ; 2008. doi:10.1109/devlrn.2008.4640796
LibreCat | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed