C. Harteis and M. Goller, “New skills for new jobs: Work agency as a necessary condition for successful lifelong learning,” in Promoting, assessing, recognizing and certifying lifelong learning, T. Halttunen, M. Koivisto, and S. Billett, Eds. Dordrecht: Springer, 2014, pp. 37--56.
LibreCat: /record/3686

T. Rath, RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat: /record/369

J. Müller, “The challenge of assessing the market value of private companies using a standardised combination method for tax purposes--Lessons to be learnt from past experience,” European Accounting Review, no. 1, pp. 117--141, 2014.
LibreCat: /record/3699

T. Harks, M. Höfer, K. Schewior, and A. Skopalik, “Routing Games with Progressive Filling,” in Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

C. Scheideler, A. Setzer, and M. Eikel, “RoBuSt: A Crash-Failure-Resistant Distributed Storage System,” in Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

C. Harteis, “Auswirkungen des Bologna-Prozesses: Eine Expertise der Hochschuldidaktik,” in Herausforderung kompetenzorientierte Hochschule, R. Arnold and K. Wolf, Eds. Hohengeheren: Schneider, 2014, pp. 189–211.
LibreCat: /record/3718

C. Harteis, “Investigating intuition under the perpective of expertise: Experiences from two experimental studies,” in Handbook of intuition research methodology, M. Sinclair, Ed. Cheltenham: Edward Elgar, 2014, pp. 116–129.
LibreCat: /record/3719

M. Keller and H. Karl, “Response Time-Optimized Distributed Cloud Resource Allocation,” in Proceedings of the SIGCOMM workshop on Distributed cloud computing, 2014, pp. 47--52.
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn, 2014.
LibreCat: /record/373

A. Wold, A. Agne, and J. Torresen, “Relocatable Hardware Threads in Run-Time Reconfigurable Systems,” in Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, 2014, pp. 61–72.
LibreCat: /record/374
DOI: 10.1007/978-3-319-05960-0_6

M. von Detten, M. C. Platenius, and S. Becker, “Reengineering Component-Based Software Systems with Archimetrix,” Journal of Software and Systems Modeling, no. 4, pp. 1239--1268, 2014.
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

M. Herlich, Reducing Energy Consumption of Radio Access Networks. Universität Paderborn, 2014.
LibreCat: /record/376

S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “Re-Chord: A Self-stabilizing Chord Overlay Network,” Theory of Computing Systems, no. 3, pp. 591–612, 2014.
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

S. Abshoff, C. Markarian, and F. Meyer auf der Heide, “Randomized Online Algorithms for Set Cover Leasing Problems,” in Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34.
LibreCat: /record/379
DOI: 10.1007/978-3-319-12691-3_3

A. Cord-Landwehr, A. Mäcker, and F. Meyer auf der Heide, “Quality of Service in Network Creation Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

F. Brüseke, H. Wachsmuth, G. Engels, and S. Becker, “PBlaman: performance blame analysis based on Palladio contracts,” in Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 2014, no. 12, pp. 1975–2004.
LibreCat: /record/3805

J. Künsemöller, S. Brangewitz, H. Karl, and C.-J. Haake, “Provider Competition in Infrastructure-as-a-Service,” in Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat: /record/383

R. Petrlic, S. Lutters, and C. Sorge, “Privacy-Preserving Reputation Management,” in Proceedings of the 29th Symposium On Applied Computing (SAC), 2014, pp. 1712–1718.
LibreCat: /record/384
DOI: 10.1145/2554850.2554881

R. Petrlic, Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn, 2014.
LibreCat: /record/385

R. Petrlic and C. Sorge, “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, pp. 1–5.
LibreCat: /record/386
DOI: 10.1109/NTMS.2014.6814044

B. Awerbuch, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Principles of Robust Medium Access and an Application to Leader Election,” Transactions on Algorithms, no. 4, 2014.
LibreCat: /record/387
DOI: 10.1145/2635818

H. Wachsmuth, M. Trenkmann, B. Stein, and G. Engels, “Modeling Review Argumentation for Robust Sentiment Analysis,” in Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–564.
LibreCat: /record/3877

F. Stapel and L. Suhl, Ontology-based Representation of Optimization Models. Universität Paderborn, 2014.
LibreCat: /record/389

M. Hammer, “Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver,” Optics Communications, vol. 338, pp. 447–456, 2014.
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, and C. Gertosio, SoNTRE: The Social Network Transformer into Recommendation Engine,” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), pp. 169–175, 2014.
LibreCat: /record/3905

B. Feldkord, On Variants of the Page Migration Problem. Universität Paderborn, 2014.
LibreCat: /record/391

N. Davis and B. Eickelmann, “The restructuring of schooling with digital technologies and implications for policy makers and practitioners,” 2014.
LibreCat: /record/28936

B. Eickelmann, M. Vennemann, J. Gerick, and R. Lorenz, “Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011,” 2014.
LibreCat: /record/28937

M. Vennemann and B. Eickelmann, “Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools,” 2014.
LibreCat: /record/28938

K.-W. Lai et al., “Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013,” 2014.
LibreCat: /record/28939

K. Drossel, W. Bos, and L. Zieger, Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit. Jugendring Dortmund, 2014.
LibreCat: /record/28993

S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat: /record/2900

M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative Clustering,” Algorithmica, vol. 69, 2014.
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison of the EM and SEM Algorithm,” in 2014 22nd International Conference on Pattern Recognition, 2014.
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

T. Jager, “Die Zukunft der Kryptographie,” Datenschutz und Datensicherheit, no. 7, pp. 445--451, 2014.
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

N. Fleischhacker, T. Jager, and D. Schröder, “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, pp. 512--531.
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for proving linearizability of multiset,” Sci. Comput. Program., pp. 297--314, 2014.
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures,” ACM Trans. Comput. Log., no. 4, pp. 31:1--31:37, 2014.
LibreCat: /record/3169
DOI: 10.1145/2629496

J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

O. Travkin and H. Wehrheim, “Handling TSO in Mechanized Linearizability Proofs,” in 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: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

T. Isenberg and H. Wehrheim, “Timed Automata Verification via I with Zones,” in 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: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing LTL Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing LTL properties in Event-B refinement,” CoRR, 2014.
LibreCat: /record/3174

T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via I,” CoRR, 2014.
LibreCat: /record/3175

M. Stimming, C. M. Mesch, M. Kersting, and L. Libuda, “Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany,”10.1007/s00394-014-0784-y__European Journal of Nutrition, pp. 1069–1080, 2014, doi:10.1007/s00394-014-0784-y .
LibreCat: /record/27041
DOI: 10.1007/s00394-014-0784-y

M. Stimming 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,”10.1021/jf502469b__Journal of Agricultural and Food Chemistry, pp. 10153–10161, 2014, doi:10.1021/jf502469b .
LibreCat: /record/27042
DOI: 10.1021/jf502469b

K. Vyncke et al., “Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors,”10.1007/s11745-014-3935-2__Lipids, pp. 881–893, 2014, doi:10.1007/s11745-014-3935-2 .
LibreCat: /record/27044
DOI: 10.1007/s11745-014-3935-2