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.

18274 Publications


2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299
LibreCat | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 5734
Lerch J, Hermann B, Bodden E, Mezini M. FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014. ACM Press; 2014. doi:10.1145/2635868.2635878
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 27977
Pei Z, Flexeder C, Fuertes E, et al. Food intake and overweight in school-aged children in Germany: Results of the GINIplus and LISAplus studies. Ann Nutr Metab. 2014;64(1):60-70. doi:10.1159/000362694
LibreCat | DOI | PubMed | Europe PMC
 

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 | Journal Article | LibreCat-ID: 5461
Zapkau FB, Schwens C, Kabst R. Foreign Direct Investments and domestic employment of German SMEs: The moderating effect of owner-management. Journal of Small Business Management (JSBM). 2014;52(3):451-476.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 422
Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 15865
Lewandowski P, Ardizzone V, Tse YC, et al. Formation and control of transverse patterns in a quantum fluid of microcavity polaritons. In: Betz M, Elezzabi AY, Song J-J, Tsen K-T, eds. Ultrafast Phenomena and Nanophotonics XVIII. ; 2014. doi:10.1117/12.2037174
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 26512
Weich T, Barkhofen S, Kuhl U, Poli C, Schomerus H. Formation and interaction of resonance chains in the open three-disk system. New Journal of Physics. Published online 2014. doi:10.1088/1367-2630/16/3/033029
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 13512
Sanna S, Schmidt WG, Thissen P. Formation of Hydroxyl Groups at Calcium-Silicate-Hydrate (C-S-H): Coexistence of Ca–OH and Si–OH on Wollastonite(001). The Journal of Physical Chemistry C. 2014;118:8007-8013. doi:10.1021/jp500170t
LibreCat | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 18002
Hinnenthal K. Formbildung Selbstorganisierender Partikelsysteme.; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 7268
Klenke M, Grieger M. Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird. DOAG News. 2014;(3):38-42.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26540
Jakoblew M, Keil R, Winkelnkemper F. Forschendes Lernen durch semantisches Positionieren. In: Forbrig P, Magenheim Johannes, eds. Proceedings Der HDI 2014. Universit{\"a}t Rostock; 2014:74-84.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 19583
Röhner C, Büker P, Bunte N, Miller S, Velten K, Wiesemann J. Forschendes Lernen und Studieren in der neuen Grundschullehrerausbildung. Konzepte und Projekte aus NRW. In: Kropp B, Martschinke S, et al., eds. Individuelle Förderung und Lernen in der Gemeinschaft. Tagungsband zur 21. Jahrestagung der Kommission “Grundschulforschung und Pädagogik der Primarstufe” der Deutschen Gesellschaft für Erziehungswissenschaft. (Jahrbuch Grundschulforschung; Bd. 17). Vol 17. Jahrbuch Grundschulforschung. Wiesbaden; 2014:67-80.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 6441
Kremer H-H. Forschung in Innovationsarenen - Überlegungen zu einem Paradigma im Spannungsfeld von Erkenntnis und Gestaltung. In: Braukmann U, Dilger B, Kremer H-H, eds. Wirtschaftspädagogische Handlungsfelder. Festschrift für Peter F. E. Sloane zum 60. Geburtstag. Detmold; 2014:339-362.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 10621
Anwer J, Platzner M, Meisner S. FPGA Redundancy Configurations: An Automated Design Space Exploration. In: Reconfigurable Architectures Workshop (RAW). RAW. ; 2014. doi:10.1109/IPDPSW.2014.37
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 25511
Gerber D, Ngonga Ngomo A-C. From RDF to Natural Language and Back. In: Buitelaar P, Cimiano P, eds. Towards the Multilingual Semantic Web, Principles, Methods and Applications. Springer; 2014:193-209. doi:10.1007/978-3-662-43585-4\_12
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 25947
Weinberger C, Haffer S, Wagner T, Tiemann M. Fructose and Urea as Precursors for N-/O-Modified Mesoporous Carbon with Enhanced Sorption Capacity for Heavy Metal Ions. European Journal of Inorganic Chemistry. Published online 2014:2787-2792. doi:10.1002/ejic.201402027
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 25949
Weinberger C, Haffer S, Wagner T, Tiemann M. Fructose as a Precursor for Mesoporous Carbon: Straightforward Solvent-Free Synthesis by Nanocasting. In: ACS Symposium Series. ; 2014. doi:10.1021/bk-2014-1183.ch001
LibreCat | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 15966
Niendorf T, Leuders S, Riemer A, et al. Functionally Graded Alloys Obtained by Additive Manufacturing. Advanced Engineering Materials. 2014:857-861. doi:10.1002/adem.201300579
LibreCat | DOI
 

2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann S. Fuzzy Matching of Service Price Specifications. Universität Paderborn; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 8172
W. Berry D, Cleve R, Gharibian S. Gate-efficient discrete simulations of continuous-time quantum query algorithms. Quantum Information & Computation. 2014;14(1-2):1-30.
LibreCat | Download (ext.) | arXiv
 

2014 | Conference Paper | LibreCat-ID: 19855
Büker P, Bührmann T, Kordulla A. Gelingensbedingungen für die Gestaltung von Kooperation. Ausgewählte Ergebnisse aus drei Jahren wissenschaftlicher Begleitung des Modellprojekts “Kinderbildungshaus Paderborn”. Vortrag im Rahmen der Veranstaltung zur Auszeichnung der Bildungshaus-Partner durch das Bildungsbüro der Stadt Paderborn. In: ; 2014.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 419
Kolle A. Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market. Universität Paderborn; 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 3937
Hoekstra HJWM, Hammer M. General relation for group delay and the relevance of group delay for refractometric sensing. Journal of the Optical Society of America B. 2014;31(7). doi:10.1364/josab.31.001561
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 20982
Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: Software Architecture. Cham; 2014. doi:10.1007/978-3-319-09970-5_14
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE Xplore; 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 418
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 13510
Hoffmann A, Rohrmüller M, Jesser A, dos Santos Vieira I, Schmidt WG, Herres-Pawlis S. Geometrical and optical benchmarking of copper(II) guanidine-quinoline complexes: Insights from TD-DFT and many-body perturbation theory (part II). Journal of Computational Chemistry. 2014;35(29-30):2146-2161. doi:10.1002/jcc.23740
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2627
Veit D, Clemons E, Buxmann A, et al. Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik. Wirtschaftsinformatik. 2014;56(1):55-64.
LibreCat
 

2014 | Book (Editor) | LibreCat-ID: 18529
Tophinke D, ed. Gewalt in der Sprache . Vol 246. (Praxis Deutsch 246); 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 18191
Tophinke D. Gewalt in der Sprache (Basisartikel). Praxis Deutsch . 2014;246:4-11.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 5110
Gilroy BM, Heimann A, Schopf M. Gibt es eine optimale Frauenquote? WiSt-Wirtschaftswissenschaftliches Studium. 2014;43(2):85-90.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 27975
Carbohydrate Quality Consortium I, Jenkins D, Willett W, et al. Glycaemic index: did Health Canada get it wrong? Position from the International Carbohydrate Quality Consortium (ICQC). Br J Nutr. 2014;111(2):380-382. doi:10.1017/s0007114513003905
LibreCat | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 21746
DiSalvo B. Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science. IEEE Computer Graphics and Applications. 2014;34(6):12-15. doi:10.1109/MCG.2014.112
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 3664
Gijbels D, Harteis C, Donche V, Van den Bossche P, Maes S, Temmen K. Grasping learning during internships: the case of engineering education. In: Harteis C, Seifried J, Rausch A, eds. Discourses on Professional Learning. Dordrecht: Springer; 2014:177--188.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2039
Krimphove D. Grenzen der Logik . Rechtstheorie. 2014;(Jg. 44):315 – 339.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 21211
Herzig B, Aßmann S, Klar T-M. Grundbildung Medien im Profilstudium im Lehramt. In: Imort P, Niesyto H, eds. Grundbildung Medien in pädagogischen Studiengängen. kopaed; 2014:65-80.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 27341
Schöppner V, Brockhaus S, Klie B, Giese U. Grundlegende Studie und alternative Methode zur Bewertung des Wandgleiteffekts bei hochviskosen Kautschukmischungen. KGK Kautschuk Gummi Kunststoffe. 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 17890
Peckhaus V. Grußwort des Dekans der Fakultät für Kulturwissenschaft. In: Peckhaus V, ed. In memoriam Helmar Frank. Vol 133. Paderborner Universitätsreden. Paderborn; 2014:11-13.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 17632
Peckhaus V. Grußwort des Dekans der Fakultät für Kulturwissenschaft. In: Peckhaus V, ed. In memoriam Helmar Frank. Vol 133. Paderborner Universitätsreden. Paderborn; 2014:11-13.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 10298
Calders T, Esposito F, Hüllermeier E, Meo R. Guest editors`introduction:special issue of the ECML/PKDD 2014 journal track. Data Min Knowledge Discovery. 2014;28(5-6):1129-1133.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 10313
Calders T, Esposito F, Hüllermeier E, Meo R. Guest editors`introduction:special issue of the ECML/PKDD 2014 journal track. Machine Learning. 2014;97(1-2):1-3.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 17109
Raffl C, Lucke J, Müller O, Zimmermann H-D, Vom Brocke J. Handbuch für offene gesellschaftliche Innovation. In: TOGI-Schriftenreihe. Vol 11. ePubli GmbH; 2014.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala S. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn; 2014.
LibreCat
 

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 | Journal Article | LibreCat-ID: 8171
Gharibian S, Kempe J. Hardness of approximation for quantum problems. Quantum Information & Computation. 2014;14(5-6):517-540.
LibreCat | Download (ext.) | arXiv
 

2014 | Mastersthesis | LibreCat-ID: 10701
Koch B. Hardware Acceleration of Mechatronic Controllers on a Zynq Platform FPGA. Paderborn University; 2014.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed