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.
1918 Publications
2014 | Journal Article | LibreCat-ID: 3169
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat
| DOI
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
2014 | Conference Paper | LibreCat-ID: 3172
Timed Automata Verification via {IC3} with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat
| DOI
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
2014 | Conference Paper | LibreCat-ID: 3173
Managing {LTL} Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 27041
Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany
M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.
LibreCat
| DOI
M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.
2014 | Journal Article | LibreCat-ID: 27042
Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment
M. Stimming, C.M. Mesch, M. Kersting, H. Kalhoff, H. Demmelmair, B. Koletzko, A. Schmidt, V. Böhm, L. Libuda, Journal of Agricultural and Food Chemistry (2014) 10153–10161.
LibreCat
| DOI
M. Stimming, C.M. Mesch, M. Kersting, H. Kalhoff, H. Demmelmair, B. Koletzko, A. Schmidt, V. Böhm, L. Libuda, Journal of Agricultural and Food Chemistry (2014) 10153–10161.
2014 | Journal Article | LibreCat-ID: 27044
Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors
K. Vyncke, I. Huybrechts, M. Van Winckel, M. Cuenca Garcia, I. Labayen, F. Gottrand, K. Widhalm, C. Leclercq, L. Libuda, Y. Manios, M. Sjostrom, D. Molnar, L.A. Moreno, M. Gonzalez-Gross, A. Spinneker, F. Perez de Heredia, M. Plada, S. De Henauw, Lipids (2014) 881–893.
LibreCat
| DOI
K. Vyncke, I. Huybrechts, M. Van Winckel, M. Cuenca Garcia, I. Labayen, F. Gottrand, K. Widhalm, C. Leclercq, L. Libuda, Y. Manios, M. Sjostrom, D. Molnar, L.A. Moreno, M. Gonzalez-Gross, A. Spinneker, F. Perez de Heredia, M. Plada, S. De Henauw, Lipids (2014) 881–893.
2014 | Journal Article | LibreCat-ID: 27059
Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study
S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García, G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand, A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A. Moreno, British Journal of Nutrition (2014) 2049–2059.
LibreCat
| DOI
S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García, G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand, A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A. Moreno, British Journal of Nutrition (2014) 2049–2059.
2014 | Journal Article | LibreCat-ID: 27060
Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice
C.M. Mesch, M. Stimming, K. Foterek, A. Hilbig, U. Alexy, M. Kersting, L. Libuda, Appetite (2014) 113–119.
LibreCat
| DOI
C.M. Mesch, M. Stimming, K. Foterek, A. Hilbig, U. Alexy, M. Kersting, L. Libuda, Appetite (2014) 113–119.
2014 | Conference Paper | LibreCat-ID: 2707
Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis
T. Mutter, D. Kundisch, in: Proceedings of the International Conference on Information Systems (ICIS), 2014.
LibreCat
T. Mutter, D. Kundisch, in: Proceedings of the International Conference on Information Systems (ICIS), 2014.
2014 | Conference Paper | LibreCat-ID: 2708
The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience
P. Herrmann, in: 2014.
LibreCat
P. Herrmann, in: 2014.
2014 | Journal Article | LibreCat-ID: 2709
Too Much of a Good Thing? Welfare Consequences of Market Transparency
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.
LibreCat
| DOI
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.
2014 | Conference Abstract | LibreCat-ID: 2713
The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience
P. Herrmann, M. Rahman, in: Workshop on Information Systems & Economics (WISE), 2014.
LibreCat
P. Herrmann, M. Rahman, in: Workshop on Information Systems & Economics (WISE), 2014.
2014 | Conference Paper | LibreCat-ID: 2714
Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation
T. John, in: Proceedings of the Americas’ Conference on Information Systems (AMCIS), 2014.
LibreCat
T. John, in: Proceedings of the Americas’ Conference on Information Systems (AMCIS), 2014.
2014 | Conference Paper | LibreCat-ID: 2715
Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet
T. Görzen, D. Kundisch, C. Ottensmann, A. Haubrock, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
T. Görzen, D. Kundisch, C. Ottensmann, A. Haubrock, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
2014 | Conference Paper | LibreCat-ID: 27166
Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
2014 | Conference Paper | LibreCat-ID: 27167
Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
2014 | Conference Paper | LibreCat-ID: 2717
Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market
C. Weskamp, T. John, L. Suhl, D. Kundisch, A. Teetz, M. Rose, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
C. Weskamp, T. John, L. Suhl, D. Kundisch, A. Teetz, M. Rose, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
2014 | Conference Paper | LibreCat-ID: 2718
The Case for Modeling Consumer Choice Through an Adapted Total Cost of Ownership Approach
T. John, C. Weskamp, D. Kundisch, L. Suhl, S. Flake, D. Freund, H. Jung, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
T. John, C. Weskamp, D. Kundisch, L. Suhl, S. Flake, D. Freund, H. Jung, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
2014 | Report | LibreCat-ID: 2731 |
Providing aid to repressive terrorist source countries does not make the U.S. any safer
T. Gries, D. Meierriecks, M. Redlin, Providing Aid to Repressive Terrorist Source Countries Does Not Make the U.S. Any Safer, 2014.
LibreCat
| Download (ext.)
T. Gries, D. Meierriecks, M. Redlin, Providing Aid to Repressive Terrorist Source Countries Does Not Make the U.S. Any Safer, 2014.
2014 | Working Paper | LibreCat-ID: 2732 |
Maritime Piracy: Socio-Economic, Political, and Institutional Determinants
T. Gries, M. Redlin, Maritime Piracy: Socio-Economic, Political, and Institutional Determinants, Paderborn University, CIE Center for International Economics, 2014.
LibreCat
| Download (ext.)
T. Gries, M. Redlin, Maritime Piracy: Socio-Economic, Political, and Institutional Determinants, Paderborn University, CIE Center for International Economics, 2014.
2014 | Newspaper Article | LibreCat-ID: 27328
Affect of Atmospheric Pressure Plasma Pre-Treatment and Aging Conditions on the Surface of Thermoplastics
E. Moritzer, C. Budde, C. Leister, Welding in the World 58 (2014).
LibreCat
E. Moritzer, C. Budde, C. Leister, Welding in the World 58 (2014).
2014 | Conference Paper | LibreCat-ID: 27330
Artificial Neural Networks to Model Formulation-Property Correlations in the Process of Inline-Compounding on an Injection Moulding Machine
E. Moritzer, Y. Martin, E. Müller, R. Kleeschulte, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
LibreCat
E. Moritzer, Y. Martin, E. Müller, R. Kleeschulte, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27331
Analysis of the Material Degradation of PET on a Co-Rotating Twin-Screw Extruder for Varying Vacuum Pressures
V. Schöppner, N. Fecke, T. Herken, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
LibreCat
V. Schöppner, N. Fecke, T. Herken, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27332
Berechnung des Materialabbaus von Thermoplasten während des Plastifiziervorgangs
V. Schöppner, S. Littek, in: PolyMerTec 2014, Merseburg (Deutschland), 2014.
LibreCat
V. Schöppner, S. Littek, in: PolyMerTec 2014, Merseburg (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27333
Control of Heat Conduction Processes for the Improvement of Part Properties in the Two-Stage GITBlow Process
E. Moritzer, S. Seidel, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
LibreCat
E. Moritzer, S. Seidel, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27334
Development of Wood-Plastic Composites Based on Wood Particles and Dried Blood
V. Schöppner, F. Reinders, in: Biobased Materials 2014 - 10th Congress for Biobased Materials, Fellbach (Deutschland), 2014.
LibreCat
V. Schöppner, F. Reinders, in: Biobased Materials 2014 - 10th Congress for Biobased Materials, Fellbach (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27335
Die Spritzgießsonderverfahren GITBlow, GRIPBlow und Einstufiges GITBlow
E. Moritzer, in: WAK-Symposium, Karlsruhe (Deutschland), 2014.
LibreCat
E. Moritzer, in: WAK-Symposium, Karlsruhe (Deutschland), 2014.
2014 | Newspaper Article | LibreCat-ID: 27336
Entwicklung einer neuen mechanischen Befestigungslösung mit gleichmäßig krafteinleitenden, dichtendem Hinterschnitt
E. Moritzer, J. Krugmann, Joining Plastics 8 (2014) 178–182.
LibreCat
E. Moritzer, J. Krugmann, Joining Plastics 8 (2014) 178–182.
2014 | Conference Paper | LibreCat-ID: 27337
Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung
V. Schöppner, T. Herken, F. Reinders, K. Westhues, in: Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland), 2014.
LibreCat
V. Schöppner, T. Herken, F. Reinders, K. Westhues, in: Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27338
Experimental Analysis of the Material Degradation of PET on a Co-Rotating Twin-Screw Extruder
V. Schöppner, N. Fecke, T. Herken, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
LibreCat
V. Schöppner, N. Fecke, T. Herken, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27339
Experimental Investigations of the Mechanical Recycling of Offcuts from the Production of Continuous Fiber-Reinforced Thermoplastic Sheets by Injection Molding
E. Moritzer, G. Heiderich, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
LibreCat
E. Moritzer, G. Heiderich, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27340
Experimental Investigations on Injection Molded Parts of Mechanically Recycled Offcuts from the Production of Continuous Fiber-Reinforced Thermoplastic Sheets
E. Moritzer, G. Heiderich, in: 58th Ilmenau Scientific Colloquium, Ilmenau (Deutschland), 2014.
LibreCat
E. Moritzer, G. Heiderich, in: 58th Ilmenau Scientific Colloquium, Ilmenau (Deutschland), 2014.
2014 | Newspaper Article | LibreCat-ID: 27341
Grundlegende Studie und alternative Methode zur Bewertung des Wandgleiteffekts bei hochviskosen Kautschukmischungen
V. Schöppner, S. Brockhaus, B. Klie, U. Giese, KGK Kautschuk Gummi Kunststoffe 67 (2014).
LibreCat
V. Schöppner, S. Brockhaus, B. Klie, U. Giese, KGK Kautschuk Gummi Kunststoffe 67 (2014).
2014 | Conference Paper | LibreCat-ID: 27342
Herausforderungen bei der Verwendung von Wood-Plastic-Composites(WPC) im Automobilinnenbereich
V. Schöppner, N. Böhm, in: 16th Workshop Odour and Emissions of Plastic Materials, Kassel (Deutschland), 2014.
LibreCat
V. Schöppner, N. Böhm, in: 16th Workshop Odour and Emissions of Plastic Materials, Kassel (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27343
Hybrid Lightweight Construction of a Chassis Frame Structure
E. Moritzer, C. Budde, in: Polymers and Energy, Jena (Deutschland), 2014.
LibreCat
E. Moritzer, C. Budde, in: Polymers and Energy, Jena (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27344
Illustration of Cross Flows of Polystyrene Melts Through a Coat-Hanger Die
V. Schöppner, B. Henke, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
LibreCat
V. Schöppner, B. Henke, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
2014 | Newspaper Article | LibreCat-ID: 27345
Im geschlossenen Werkzeug aufgeblasen
E. Moritzer, S. Seidel, S. Gövert, J. Schnieders, Kunststoffe 104 (2014).
LibreCat
E. Moritzer, S. Seidel, S. Gövert, J. Schnieders, Kunststoffe 104 (2014).
2014 | Conference Paper | LibreCat-ID: 27346
Influence of Flame Retardant Material on the Weld Strength of Plastic Parts
V. Schöppner, F. Evers, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
LibreCat
V. Schöppner, F. Evers, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27347
Influence of Process Parameters on Wall Thickness Distribution During the Initial Step of the Direct GITBlow Process
E. Moritzer, S. Seidel, in: 30th International Conference of The Polymer Processing Society (PPS), Cleveland (USA), 2014.
LibreCat
E. Moritzer, S. Seidel, in: 30th International Conference of The Polymer Processing Society (PPS), Cleveland (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27348
Investigations about High-Speed Rubber Extrusion
V. Schöppner, S. Brockhaus, B. Klie, U. Giese, in: 11. Kautschuk-Herbst-Kolloquium (KHK), Hannover (Deutschland), 2014.
LibreCat
V. Schöppner, S. Brockhaus, B. Klie, U. Giese, in: 11. Kautschuk-Herbst-Kolloquium (KHK), Hannover (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27349
Measurement and Calculation of the Material Degradation of Polystyrene and Modeling of the Degradation by using REX
V. Schöppner, S. Littek, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
LibreCat
V. Schöppner, S. Littek, in: 30th International Conference of the Polymer Processing Society (PPS), Cleveland (USA), 2014.
2014 | Conference Paper | LibreCat-ID: 27350
Molded-On Mechanical Fastener Ensures Uniform Force Transmission and Sealing of the Joint Surface: Joining Parts Together with the Aid of Self-Tapping Screws
E. Moritzer, J. Krugmann, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
LibreCat
E. Moritzer, J. Krugmann, in: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Las Vegas (USA), 2014.
2014 | Newspaper Article | LibreCat-ID: 27351
Nicht nur gleich und gleich gesellt sich gern
E. Moritzer, R. Kleeschulte, Kunststoffe 104 (2014) 50–53.
LibreCat
E. Moritzer, R. Kleeschulte, Kunststoffe 104 (2014) 50–53.
2014 | Conference Paper | LibreCat-ID: 27352
Nutzung der Materialdeformation zur Entwicklung eines neuartigen Kunststoffblindniets
E. Moritzer, J. Krugmann, in: PolyMerTec 2014, Merseburg (Deutschland), 2014.
LibreCat
E. Moritzer, J. Krugmann, in: PolyMerTec 2014, Merseburg (Deutschland), 2014.
2014 | Conference Paper | LibreCat-ID: 27354
Optimisation of the Mixing Behaviour of Rubber Pin-Type Extruders
V. Schöppner, M. Schadomsky, F. Lemke, in: 11. Kautschuk-Herbst-Kolloquium (KHK), Hannover (Deutschland), 2014.
LibreCat
V. Schöppner, M. Schadomsky, F. Lemke, in: 11. Kautschuk-Herbst-Kolloquium (KHK), Hannover (Deutschland), 2014.
2014 | Newspaper Article | LibreCat-ID: 27355
Parametereinfluss auf die Verbundfestigkeit einer Organoblech-Kurzfaserthermoplast-Werkstoffkombination
E. Moritzer, C. Budde, T. Tröster, S. Pöhler, Joining Plastics 8 (2014) 100–105.
LibreCat
E. Moritzer, C. Budde, T. Tröster, S. Pöhler, Joining Plastics 8 (2014) 100–105.