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.
1920 Publications
2014 | Conference Paper | LibreCat-ID: 386
Petrlic R, Sorge C. Privacy-Preserving Digital Rights Management based on Attribute-based Encryption. In: Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS). ; 2014:1-5. doi:10.1109/NTMS.2014.6814044
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 387
Awerbuch B, Richa AW, Scheideler C, Schmid S, Zhang J. Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms. 2014;(4). doi:10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3877
Wachsmuth H, Trenkmann M, Stein B, Engels G. Modeling Review Argumentation for Robust Sentiment Analysis. In: Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers. ; 2014:553-564.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 389
Stapel F, Suhl L. Ontology-Based Representation of Optimization Models. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3890
Hammer M. Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications. 2014;338:447-456. doi:10.1016/j.optcom.2014.09.087
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3905
Abu Quba Rana C, Hassas S, Usama F, Alshomary M, Gertosio C. iSoNTRE: The Social Network Transformer into Recommendation Engine. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA). 2014:169-175.
LibreCat
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord B. On Variants of the Page Migration Problem. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28936
Davis N, Eickelmann B. The restructuring of schooling with digital technologies and implications for policy makers and practitioners. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28937
Eickelmann B, Vennemann M, Gerick J, Lorenz R. Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28938
Vennemann M, Eickelmann B. Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28939
Lai K-W, Eickelmann B, Fisser P, et al. Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013. In: Proceedings of KeyCIT Conference 2014. ; 2014.
LibreCat
2014 | Research Data | LibreCat-ID: 28993
Drossel K, Bos W, Zieger L. Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit. Jugendring Dortmund; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 2900
Brauer S. A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures.; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 2976
Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering. Algorithmica. 2014;69. doi:10.1007/s00453-012-9717-4
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2977
Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In: 2014 22nd International Conference on Pattern Recognition. IEEE; 2014. doi:10.1109/icpr.2014.253
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3127
Jager T. Die Zukunft der Kryptographie. Datenschutz und Datensicherheit. 2014;(7):445--451. doi:10.1007/s11623-014-0204-8
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr Signatures. In: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I. ; 2014:512--531. doi:10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement. Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3168
Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3169
Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log. 2014;(4):31:1--31:37. doi:10.1145/2629496
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218. doi:10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
Stimming M, Mesch CM, Kersting M, Libuda L. Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany. European Journal of Nutrition. Published online 2014:1069-1080. doi:10.1007/s00394-014-0784-y
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
Stimming M, Mesch CM, Kersting M, et al. Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment. Journal of Agricultural and Food Chemistry. Published online 2014:10153-10161. doi:10.1021/jf502469b
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27044
Vyncke K, Huybrechts I, Van Winckel M, et al. Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. Lipids. Published online 2014:881-893. doi:10.1007/s11745-014-3935-2
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat S, Mouratidou T, Huybrechts I, et al. 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. British Journal of Nutrition. Published online 2014:2049-2059. doi:10.1017/s0007114514003183
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27060
Mesch CM, Stimming M, Foterek K, et al. Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice. Appetite. Published online 2014:113-119. doi:10.1016/j.appet.2014.01.074
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2707
Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis. In: Proceedings of the International Conference on Information Systems (ICIS). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2708
Herrmann P. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In: ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 2709
Gu Y, Hehenkamp B. Too Much of a Good Thing? Welfare Consequences of Market Transparency. Journal of Institutional and Theoretical Economics JITE. 2014;170(2):225-248. doi:10.1628/093245614x13895979380392
LibreCat
| DOI
2014 | Conference Abstract | LibreCat-ID: 2713
Herrmann P, Rahman M. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In: Workshop on Information Systems & Economics (WISE). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2714
John T. Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation. In: Proceedings of the Americas’ Conference on Information Systems (AMCIS). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2715
Görzen T, Kundisch D, Ottensmann C, Haubrock A. Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet. In: Proceedings of the European Electric Vehicle Congress (EEVC). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o} hrle N, eds. Published online 2014:51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2717
Weskamp C, John T, Suhl L, Kundisch D, Teetz A, Rose M. Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. In: Proceedings of the European Electric Vehicle Congress (EEVC). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2718
John T, Weskamp C, Kundisch D, et al. The Case for Modeling Consumer Choice Through an Adapted Total Cost of Ownership Approach. In: Proceedings of the European Electric Vehicle Congress (EEVC). ; 2014.
LibreCat
2014 | Report | LibreCat-ID: 2731 | 
Gries T, Meierriecks D, Redlin M. Providing Aid to Repressive Terrorist Source Countries Does Not Make the U.S. Any Safer.; 2014.
LibreCat
| Download (ext.)
2014 | Working Paper | LibreCat-ID: 2732 |
Gries T, Redlin M. Maritime Piracy: Socio-Economic, Political, and Institutional Determinants. Vol 2014-75. Paderborn University, CIE Center for International Economics; 2014.
LibreCat
| Download (ext.)
2014 | Newspaper Article | LibreCat-ID: 27328
Moritzer E, Budde C, Leister C. Affect of Atmospheric Pressure Plasma Pre-Treatment and Aging Conditions on the Surface of Thermoplastics. Welding in the World. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27330
Moritzer E, Martin Y, Müller E, Kleeschulte R. Artificial Neural Networks to Model Formulation-Property Correlations in the Process of Inline-Compounding on an Injection Moulding Machine. In: 30th International Conference of the Polymer Processing Society (PPS). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27331
Schöppner V, Fecke N, Herken T. Analysis of the Material Degradation of PET on a Co-Rotating Twin-Screw Extruder for Varying Vacuum Pressures. In: 30th International Conference of the Polymer Processing Society (PPS). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27332
Schöppner V, Littek S. Berechnung des Materialabbaus von Thermoplasten während des Plastifiziervorgangs. In: PolyMerTec 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27333
Moritzer E, Seidel S. Control of Heat Conduction Processes for the Improvement of Part Properties in the Two-Stage GITBlow Process. In: 72nd Annual Technical Conference of the Society of Plastics Engineers (ANTEC). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27334
Schöppner V, Reinders F. Development of Wood-Plastic Composites Based on Wood Particles and Dried Blood. In: Biobased Materials 2014 - 10th Congress for Biobased Materials. ; 2014.
LibreCat