Intelligente Herstellung zuverlässiger Kupferbondverbindungen
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
LibreCat: /record/10002
DOI: 10.1007/978-3-662-55146-2

Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat: /record/10042

A New Theory of Demand-Restricted Growth: The Basic Idea
T. Gries, The American Economist (2019).
LibreCat: /record/10090
DOI: 10.1177/0569434519846477

Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Verifying  programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, ACM, 2019, pp. 355–365.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Testing Balancedness of ML Algorithms
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 157–158.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, Springer, 2019, pp. 229–233.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
LibreCat: /record/10096

Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts
T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.
LibreCat: /record/10103
DOI: 10.1016/j.jbef.2019.04.009

Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat: /record/10105

Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
LibreCat: /record/10135

Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat: /record/10232

Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement
A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.
LibreCat: /record/10255

Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung
T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat: /record/10257

Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
LibreCat: /record/10258

Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat: /record/10271

Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
LibreCat: /record/10277

Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts
M. Pelster, B. Breitmayer, T. Hasso, Economics Letters 182 (2019) 98–100.
LibreCat: /record/10279
DOI: 10.1016/j.econlet.2019.06.013

 From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat: /record/10281

Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces
Z. Lin, L. Huang, R. Zhao, Q. Wei, T. Zentgraf, Y. Wang, X. Li, Optics Express 27 (2019) 18740–18750.
LibreCat: /record/10282
DOI: 10.1364/oe.27.018740

Wikipedia Text Reuse: Within and Without
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, M. Potthast, in: L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, D. Hiemstra (Eds.), Advances in Information Retrieval, Springer International Publishing, Cham, 2019, pp. 747–754.
LibreCat: /record/10284

Essays on Drivers and Economic Outcomes of Online-Reviews
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.
LibreCat: /record/10290
DOI: 10.17619/UNIPB/1-688

Post-Quantum Secure Group Signatures
L.A. Porzenheim, Post-Quantum Secure Group Signatures, 2019.
LibreCat: /record/10306

Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
LibreCat: /record/10325
DOI: 10.1186/s13638-019-1493-2

Bundling in a Distribution Channel with Retail Competition
J.M.J. Heinzel, Bundling in a Distribution Channel with Retail Competition, CIE Working Paper Series, Paderborn University, 2019.
LibreCat: /record/10332

Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
LibreCat: /record/10344

Personal Cross-Platform Reputation
J. Blömer, N. Löken, in: Security and Trust Management, STM 2019, 2019.
LibreCat: /record/13554
DOI: 10.1007/978-3-030-31511-5_9

Dynamic Searchable Encryption with Access Control
J. Blömer, N. Löken, in: 12th International Symposium on Foundations and Practice of Security, FPS 2019, Springer, 2019.
LibreCat: /record/13557

All Things Considered? – Technology Design Decision-making Characteristics in Digital Startups
N. Bohn, D. Kundisch, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat: /record/13585

Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects
J. Seutter, J. Neumann, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat: /record/13586

The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior
D. Gutt, J. Neumann, W. Jabr, D. Kundisch, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat: /record/13587

Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 2019.
LibreCat: /record/13592

Quantification of frequency-dependent absorption phenomena
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat: /record/13647
DOI: 10.1121/2.0001043

Implementation and Comparison of Elliptic Curve Algorithms in Java
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
LibreCat: /record/13648

Miniaturized Metalens Based Optical Tweezers on Liquid Crystal Droplets for Lab-on-a-Chip Optical Motors
S. Suwannasopon, F. Meyer, C. Schlickriede, P. Chaisakul, J. T-Thienprasert, J. Limtrakul, T. Zentgraf, N. Chattham, Crystals 9 (2019) 515.
LibreCat: /record/13650
DOI: 10.3390/cryst9100515

Strong Nonlinear Optical Activity Induced by Lattice Surface Modes on Plasmonic Metasurface
S. Chen, B. Reineke, G. Li, T. Zentgraf, S. Zhang, Nano Letters 19 (2019) 6278–6283.
LibreCat: /record/13651
DOI: 10.1021/acs.nanolett.9b02417

Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat: /record/13652
DOI: 10.4230/LIPICS.DISC.2019.23

Finnish and German student teachers’ motivations for choosing teaching as a career. The first application of the FIT-Choice scale in Finland
M. Goller, J. Ursin, K. Vähäsantanen, D. Festner, C. Harteis, Teaching and Teacher Education (2019) 235–248.
LibreCat: /record/13654
DOI: 10.1016/j.tate.2019.06.023

Classification and Approximation of Geometric Location Problems
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 2019.
LibreCat: /record/13679
DOI: 10.17619/UNIPB/1-816

Goaloriented adaptivity based on a model hierarchy of meanfield and fullfield homogenization methods in linear elasticity
R. Mahnken, X. Ju, International Journal for Numerical Methods in Engineering (2019).
LibreCat: /record/13805
DOI: 10.1002/nme.6209

Simulation of a resin transfer molding process using a phase field approach within the theory of porous media
C. Dammann, R. Mahnken, Composites Part A: Applied Science and Manufacturing 120 (2019) 147–160.
LibreCat: /record/13806
DOI: 10.1016/j.compositesa.2019.02.022

"Goal-oriented adaptivity on mean-field and full-field homogenization methods considering hierarchical unit cells"
X. Ju, R. Mahnken, PAMM 19 (n.d.).
LibreCat: /record/13807

Entwicklungsförderliche Gestaltung von Qualifizierungsbausteinen in der dualisierten Ausbildungsvorbereitung
H.-H. Kremer, P. Frehe-Halliwell, BWP (2019) 5.
LibreCat: /record/13809

Eine Analyse ausbildungsvorbereitender Bildungsgänge
H.-H. Kremer, P. Frehe-Halliwell, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidaktiken, Waxmann, Münster, 2019, pp. 151–170.
LibreCat: /record/13811

"Damage simulation of fiber reinforced composites using mean-field homogenization methods" 
P. Lenz, R. Mahnken, PAMM 19 (2019).
LibreCat: /record/13813

Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept
M. Schenke, W. Kirchgässner, O. Wallscheid, IEEE Transactions on Industrial Informatics (2019) 4650–4658.
LibreCat: /record/25030
DOI: 10.1109/tii.2019.2948387

Welche Vorstellungen und Nutzenbewertungen äußern Referendare bzgl. des Forschenden Lernens im Referendariat?
C. Grosser, in: 2019.
LibreCat: /record/29859

Lernstrategien und Lernhaltungen des Forschenden Lernens im Referendariat
C. Grosser, Lernstrategien Und Lernhaltungen Des Forschenden Lernens Im Referendariat, 2019.
LibreCat: /record/29860