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.

989 Publications


2008 | Book | LibreCat-ID: 24914
Lyrik. Gattungsgeschichte, Formen, Analysetechniken
S. Elit, Lyrik. Gattungsgeschichte, Formen, Analysetechniken, Fink, München, 2008.
LibreCat
 

2008 | Book Review | LibreCat-ID: 24947 LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 2502
Stable governments and the semistrict core
D. Dimitrov, C.-J. Haake, Games and Economic Behavior 62 (2008) 460–475.
LibreCat | Files available | DOI
 

2008 | Journal Article | LibreCat-ID: 2503
The Shapley value of phylogenetic trees
C.-J. Haake, A. Kashiwada, F.E. Su, Journal of Mathematical Biology 56 (2008) 479–497.
LibreCat | Files available | DOI
 

2008 | Journal Article | LibreCat-ID: 2506
Two support results for the Kalai–Smorodinsky solution in small object division markets
C.-J. Haake, Mathematical Social Sciences 57 (2008) 177–187.
LibreCat | Files available | DOI
 

2008 | Journal Article | LibreCat-ID: 2509
On Maskin monotonicity of solution based social choice rules
C.-J. Haake, W. Trockel, Review of Economic Design 14 (2008) 17–25.
LibreCat | Files available | DOI
 

2008 | Report | LibreCat-ID: 2513
Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks
T. Biermann, C. Dannewitz, H. Karl, Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks, 2008.
LibreCat | Files available
 

2008 | Journal Article | LibreCat-ID: 2530
Comments on: Transversality of the Shapley value
C.-J. Haake, TOP 16 (2008) 48–50.
LibreCat | Files available | DOI
 

2008 | Conference Paper | LibreCat-ID: 25396
SIGNUM: A Graph Algorithm for Terminology Extraction
A.-C. Ngonga Ngomo, in: A. F. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, Springer, 2008, pp. 85–95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 25397
Knowledge-free discovery of domain-specific multiword units
A.-C. Ngonga Ngomo, in: R. L. Wainwright, H. Haddad (Eds.), Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, {ACM}, 2008, pp. 1561–1565.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 19460
Vorwort
N.O. Eke, in: Werner Fritsch/Johanna Fritsch: Das Meer rauscht und rauscht – bis es lauscht. Hörstück, Paderborn, 2008, pp. 3–8.
LibreCat
 
 
 
 

2008 | Book Review | LibreCat-ID: 19517
Olaf Briese: Angst in den Zeiten der Cholera. 4 Bde. Berlin: Akademie Verlag, 2003
N.O. Eke, Übersetzen im Vormärz. Hg. von Bernd Kortländer und Hans T. Siepe (Forum Vormärz Forschung. Jahrbuch 2007) (2008) 212–216.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 19615
Distributed Resource Allocation and Management in Heterogeneous Networks
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 19686
Uniform Budgets and the Envy-Free Pricing Problem
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19687
On the Approximability of Combinatorial Exchange Problems
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 19688
Approximate Equilibria in Games with Few Players
P. Briest, P.W. Goldberg, H. Roeglin, Approximate Equilibria in Games with Few Players, 2008.
LibreCat | arXiv
 

2008 | Conference Paper | LibreCat-ID: 1974
Quality Assurance of Grid Service Provisioning by Risk Aware Managing of Resource Failures
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. Conf. on Risks and Security of Internet and Systems, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1975
Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1976
Implementation of Virtual Execution Environments for improving SLA-compliant Job Migration in Grids
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, Portland, Oregon USA, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 1977
Europa und die Religionen
D. Krimphove, Kirche & Recht, Zeitschrift Für Die Kirchliche Und Staatliche Praxis (2008) 89 – 126.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1978
Germany, Belgium, France, and Back Again: Job Migration using Globus
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. Conf. on Grid Computing and Applications (GCA), 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 1979
Diritto bancario europeo e tecniche del legislatore comunitario
D. Krimphove, Contratto e Impresa / Europea Pubblicazione Semestrale (2008) 199 – 229.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1980
Virtual Execution Environments for ensuring SLA-compliant Job Migration in Grids
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. Conf. on Services Computing (SCC), 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1981
Job Migration and Fault Tolerance in SLA-aware Resource Management Systems
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. Conf. on Grid and Pervasive Computing (GPC), 2008, pp. 43–48.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19812
Random Graphs for Peer-to-Peer Overlays
C. Schindelhauer, P. Mahlmann, in: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 1–22.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 19813
Detours Save Energy in Mobile Wireless Networks
C.C. Ooi, C. Schindelhauer, in: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008), Springer, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1983
Enhancing SLA Provisioning by Utilizing Profit-Oriented Fault Tolerance
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: T.F. Gonzalez (Ed.), Proc. Int. Conf. on Parallel and Distributed Computing and Systems (PDCS), Orlando, FL, USA, 2008, pp. 212–218.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 19832
Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 1984
Increasing Fault-tolerance by Introducing Virtual Execution Environments.
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, Increasing Fault-Tolerance by Introducing Virtual Execution Environments., Paderborn, Germany, 2008.
LibreCat
 

2008 | Newspaper Article | LibreCat-ID: 1985
Paderborn, Belgien, Frankreich und zurück
M. Hovestadt, A. Keller, K. Voss, Paderborner Universitätszeitschrift (puz) SS 2 (2008).
LibreCat
 
 
 

2008 | Mastersthesis | LibreCat-ID: 19950
Lokale Strategien zur Optimierung von Kommunikationsketten
P. Pietrzyk, Lokale Strategien Zur Optimierung von Kommunikationsketten, 2008.
LibreCat | Files available
 

2008 | Dissertation | LibreCat-ID: 20262
Space-Time Continuous Models of Swarm Robotic Systems
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 28072
Was bedingt die Wahl eines nicht empfohlenen höheren Bildungsgangs? Zeitschrift für Erziehungswissenschaft, 11, 626-647
B. Bloh, S. van Ophuysen, Zeitschrift Für Erziehungswissenschaft 11 (2008) 626–647.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 28767 LibreCat
 

2008 | Book | LibreCat-ID: 25833
The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)", Proceedings of the Final Workshop, Barcelona, February 27-28, 2008
F. Meyer auf der Heide, The European Integrated Project “Dynamically Evolving, Large Scale Information Systems (DELIS)”, Proceedings of the Final Workshop, Barcelona, February 27-28, 2008, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25834
Self-optimizing Mechatronic Systems: Design the Future
J. Gausemeier, F.-J. Rammig, W. Schäfer, Self-Optimizing Mechatronic Systems: Design the Future, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25835
Methode zur Entwicklung hybrider Technologie- und Innovationsstrategien am Beispiel des Automobils
M. Rath, Methode zur Entwicklung hybrider Technologie- und Innovationsstrategien am Beispiel des Automobils, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25836
Protokollverarbeitung mit integrierten Multiprozessoren in drahtlosen Ad-hoc-Netzwerken
M. Grünewald, Protokollverarbeitung mit integrierten Multiprozessoren in drahtlosen Ad-hoc-Netzwerken, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25837
Theoretische und experimentelle Untersuchungen zum Einsatz gepulster Halbleiterlichtquellen in der Kraftfahrzeugbeleuchtung
S. Strauss, Theoretische und experimentelle Untersuchungen zum Einsatz gepulster Halbleiterlichtquellen in der Kraftfahrzeugbeleuchtung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25838
Systematik der Materialflussplanung in der frühen Phase der Produktionssystementwicklung
C. Zeidler, Systematik der Materialflussplanung in der frühen Phase der Produktionssystementwicklung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25839
A Method for the intelligent Authoring of 3D Animations for Traimimg and Maintenance
S. Parisi, A Method for the Intelligent Authoring of 3D Animations for Traimimg and Maintenance, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25840
Methods to Exploit Reconfigurable Fabrics
F. Dittmann, Methods to Exploit Reconfigurable Fabrics, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25841
Programm-, Ressourcen- und Prozessoptimierung als Bestandteile der Anpassungsplanung von spanenden Fertigungssystemen in der Fließfertigung
C. Tonigold, Programm-, Ressourcen- und Prozessoptimierung als Bestandteile der Anpassungsplanung von spanenden Fertigungssystemen in der Fließfertigung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25842
A Predictive Potential Field Concept for Shared Vehicle Guidance
T. Brandt, A Predictive Potential Field Concept for Shared Vehicle Guidance, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25843
7. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, 7. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25848
A Methodology for the Identification of Technology Indicators
H. Chang, A Methodology for the Identification of Technology Indicators, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25849
Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems
M. Gehrke, H. Giese, J. Stroop, Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25851
Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik
M. Brökelmann, Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25852
Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme
B. Kettelhoit, Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25853
Concepts for the development of a generic Multi-Level Test Bench covering different areas of applications
M. Zambaldi, Concepts for the Development of a Generic Multi-Level Test Bench Covering Different Areas of Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Conference (Editor) | LibreCat-ID: 25865
8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, eds., 8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 25938
How pre- and postnatal risk factors modify the effect of rapid weight gain in infancy and early childhood on subsequent fat mass development: results from the Multicenter Allergy Study 90.
N. Karaolis-Danckert, A. Buyken, M. Kulig, A. Kroke, J. Forster, W. Kamin, A. Schuster, C. Hornberg, T. Keil, R. Bergmann, U. Wahn, S. Lau, Am J Clin Nutr 87 (2008) 1356–1364.
LibreCat | DOI | PubMed | Europe PMC
 

2008 | Book Chapter | LibreCat-ID: 2602
Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, Hamburg, 2008, pp. 47–66.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 2603
Analyse des Bullwhip-Effekts in einer Supply Chain von KMU
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, Hamburg, 2008, pp. 95–118.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26142
A comprehensive approach in modeling Lagrangian particle deposition in turbulent boundary layers
M. Horn, H.-J. Schmid, Powder Technology 186 (2008) 189–198.
LibreCat | DOI
 

2008 | Preprint | LibreCat-ID: 26235
Kolmogorov Complexity Theory over the Reals
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat | DOI
 

2008 | Book (Editor) | LibreCat-ID: 2672
Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, Hamburg, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26729
Lehr-Lernforschung und Grundschulpädagogik
F. Hellmich, ed., Lehr-Lernforschung und Grundschulpädagogik, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26730
Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften
F. Hellmich, H. Köster, eds., Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26765
Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern
F. Hellmich, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 195–198.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26766
Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten
F. Hellmich, M. Sämisch, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 223–226.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26767
Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit
F. Hellmich, Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich 2 (2008) 46–58.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26768
Empirische Bildungsforschung und Grundschulpädagogik
F. Hellmich, in: F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik , Klinkhardt, Bad Heilbrunn, 2008, pp. 46–75.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26769
Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule
F. Hellmich, S. Jahnke-Klein , in: A. Prengel, B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, Barbara Budrich, Opladen, 2008, pp. 111–120.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26771
Individuelle und schulische Bedingungen im Leseunterricht der Grundschule
F. Hellmich, in: B. Hofmann, R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2008, pp. 172–182.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26772 LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26774
Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, S. Jansen, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008, pp. 59–81.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26776
Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven
F. Hellmich, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , Klinkhardt, Bad Heilbrunn, 2008, pp. 83–102.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26891
Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers
A. Buyken, N. Karaolis-Danckert, T. Remer, The American Journal of Clinical Nutrition (2008) 221–230.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 26892
Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents
L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, M. Kersting, British Journal of Nutrition (2008).
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat | DOI
 

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

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

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (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, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), 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: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3477
Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research
J. Becker, D. Beverungen, R. Knackstedt, in: Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3478
Modeling, Customer-Specific Configuration and Calculation of Value Bundles
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, in: Americas Conference on Information Systems, Toronto, Canada, 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 3479
Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus
D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3480
Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail
A. Winkelmann, D. Beverungen, C. Janiesch, J. Becker, in: Proceedings of the 16th European Conference on Information Systems, Galway, Ireland, 2008.
LibreCat
 
 

2008 | Book | LibreCat-ID: 3558
Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze
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 LibreCat
 

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

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

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

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

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

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

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Export / Embed