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.
30675 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” Formal Asp. Comput. 31, no. 5 (2019): 457–58. https://doi.org/10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16271
Claes, Leander, Sarah Johannesmann, Elmar Baumhögger, and Bernd Henning. “Quantification of Frequency-Dependent Absorption Phenomena.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001043.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, 10–21.
LibreCat
2019 | Journal Article | LibreCat-ID: 16305
Linnemann, Matthias, Pavel Anatolyevich Nikolaychuk, Y. Mauricio Muñoz-Muñoz, Elmar Baumhögger, and Jadran Vrabec. “Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation.” Journal of Chemical & Engineering Data, 2019, 1180–88. https://doi.org/10.1021/acs.jced.9b00565.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
Preiß, Sebastian, Ayla Päpcke, Lukas Burkhardt, Luca Großmann, Stefan Lochbrunner, Matthias Bauer, Till Opatz, and Katja Heinze. “Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions.” Chemistry – A European Journal, 2019, 5940–49. https://doi.org/10.1002/chem.201900050.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
Müller, Patrick, Adam Neuba, Ulrich Flörke, Gerald Henkel, Thomas D. Kühne, and Matthias Bauer. “Experimental and Theoretical High Energy Resolution Hard X-Ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes.” The Journal of Physical Chemistry A, 2019, 3575–81. https://doi.org/10.1021/acs.jpca.9b00463.
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
Burkhardt, Lukas. Probing Iron-Ligand Interactions by Combining Modern High-Resolution Hard X-Ray Spectroscopy and Density Functional Theory : A Powerful Methodology in Cases Where Conventional Methods Fail / Vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]. Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-745.
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
Müller, Patrick. Experimental and Theoretical (High Energy Resolution) X-Ray Absorption and Emission Spectroscopy / Vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]. Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-705.
LibreCat
| DOI
| Download (ext.)
2019 | Preprint | LibreCat-ID: 16341 | 
Brandt, Sascha, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.” ArXiv:1904.08225, 2019.
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann, and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg: Springer Gabler, 2019. https://doi.org/10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” In Fundamental Approaches to Software Engineering. Cham, 2019. https://doi.org/10.1007/978-3-030-16722-6_23.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” ACM Transactions on Parallel Computing (TOPC) 6, no. 3 (2019). https://doi.org/10.1145/3364204.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” Mathematische Semesterberichte 66, no. 2 (2019): 259–60. https://doi.org/10.1007/s00591-019-00249-0.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” In Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340:317–34. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-11072-7\_13.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” In Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, 315–21. SciTePress, 2019. https://doi.org/10.5220/0007369503150321.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Efficient Parallel Algorithms for Parameterized Problems.” Theoretical Computer Science 786 (2019): 2–12. https://doi.org/10.1016/j.tcs.2018.11.006.
LibreCat
| DOI
2019 | Book | LibreCat-ID: 13968
Krimphove, Dieter, and Oliver Kruse. Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wert-Papierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck, 2019.
LibreCat
2019 | Book (Editor) | LibreCat-ID: 13969
Krimphove, Dieter, and Oliver Kruse, eds. Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wert-Papierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 179–95, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Abstract | LibreCat-ID: 14017
Szopinski, Daniel, Thomas John, and Dennis Kundisch. “Teaching Business Model Innovation to Large and Interdisciplinary IS/IT Classes: A Didactic Approach Involving Peer Feedback via Self-Recorded Video Presentations.” In TREO Talks in Conjunction with the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 14019
Szopinski, Daniel. “Activate Software-Based Business Model Development Tools: An Exploratory Study,” 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 14023
Beverungen, Daniel, Christoph F. Breidbach, Jens Poeppelbuss, and Virpi Kristiina Tuunainen. “Smart Service Systems: An Interdisciplinary Perspective.” Information Systems Journal, 2019. https://doi.org/10.1111/isj.12275.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, Nils, Robin Oppermann, and Patrick Robrecht. “A Feature-Based Classification of Triple Graph Grammar Variants.” In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. https://doi.org/10.1145/3357766.3359529.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
Weidmann, Nils, Anthony Anjorin, Erhan Leblebici, and Andy Schürr. “Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.” In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. https://doi.org/10.1145/3357766.3359544.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14027
Bengs, Viktor, Matthias Eulert, and Hajo Holzmann. “Asymptotic Confidence Sets for the Jump Curve in Bivariate Regression Problems.” Journal of Multivariate Analysis, 2019, 291–312. https://doi.org/10.1016/j.jmva.2019.02.017.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14028
Bengs, Viktor, and Hajo Holzmann. “Adaptive Confidence Sets for Kink Estimation.” Electronic Journal of Statistics, 2019, 1523–79. https://doi.org/10.1214/19-ejs1555.
LibreCat
| DOI
2019 | Patent | LibreCat-ID: 14032
Göllner, Thomas, Jan-Hendrik Schwarz, Sebastian Gottschalk, and Stefan Sauer. “Verteiltes Warenwirtschaftssystem [Distributed Warehouse System],” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, Jannik, Christina Kolb, and Christian Scheideler. “A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks.” In Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 345–48, 2019. https://doi.org/10.1007/978-3-030-24922-9\_26.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14540
Schryen, Guido, Natalia Kliewer, Ralf Borndörfer, and Thorsten Koch. “High-Performance Business Computing – Parallel Algorithms and Implementations for Solving Problems in Operations Research and Data Analysis.” OR News 65 (2019): 34–35.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 14543
Szopinski, Daniel, Thomas John, and Dennis Kundisch. “Digital Tools for Teaching Business Model Innovation in Information Systems: A Newly Developed Didactic Approach Comprising Video-Based Peer Feedback,” 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 14546
Hansmeier, Tim. Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers. Universität Paderborn, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13048
Kampmann, Matthias, Michael A. Kochte, Chang Liu, Eric Schneider, Sybille Hellebrand, and Hans-Joachim Wunderlich. “Built-in Test for Hidden Delay Faults.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38, no. 10 (2019): 1956–68.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13106
Schumacher, Jan. “Rekonstruktion diagrammatischen Schließens am Beispiel der Subtraktion negativer Zahlen.” In Beiträge zum Mathematikunterricht 2019, n.d.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13107
Schumacher, Jan, and Sebastian Rezat. “A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers.” In Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), edited by Uffe Thomas Jankvist, Marja Van den Heuvel-Panhuizen, and Michiel Veldhuis. Utrecht, the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, n.d.
LibreCat
2019 | Journal Article | LibreCat-ID: 13121
Breitmayer, Bastian, Tim Hasso, and Matthias Pelster. “Culture and the Disposition Effect.” Economics Letters 184 (2019). https://doi.org/10.1016/j.econlet.2019.108653.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13122
Breitmayer, Bastian, Filippo Massari, and Matthias Pelster. “Swarm Intelligence? Stock Opinions of the Crowd and Stock Returns.” International Review of Economics & Finance 64 (2019): 443–64. https://doi.org/10.1016/j.iref.2019.08.006.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13123
Afifi, Haitham, Konrad Horbach, and Holger Karl. “A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding.” In 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019). Barcelona, Spain, 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13124
Dräxler, Sevil. Scaling, Placement, and Routing for Pliable Virtualized Composed Services. Universität Paderborn, 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13125
Görzen, Thomas. Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd. Universität Paderborn, 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, Lial. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13128 |
Bröcher, Henrik. Rational Secure Multiparty Computation. Universität Paderborn, 2019.
LibreCat
| Files available
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, Felix, Marcel Dominik Wever, Alexander Tornede, and Eyke Hüllermeier. “From Automated to On-The-Fly Machine Learning.” In INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, 273–74. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft Für Informatik. Bonn: Gesellschaft für Informatik e.V., 2019.
LibreCat
2019 | Working Paper | LibreCat-ID: 13137
Müller, Jens, Sönke Sievers, Oliver Mehring, and Christian Sofilkanitsch. Non-GAAP Reporting and Investor Attention: Are Investors Misled by Exclusions of Recurring Expenses from Non-GAAP Earnings before Restatement Announcements?, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13138 |
Gottschalk, Sebastian, Florian Rittmeier, and Gregor Engels. “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach.” In Software Business, edited by Sami Hyrynsalmi, Mari Suoranta, Anh Nguyen-Duc, Pasi Tyrväinen, and Pekka Abrahamsson, 370:192–207. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-33742-1_16.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Book (Editor) | LibreCat-ID: 13139 |
Rezat, Sebastian, Lianghuo Fan, Mathias Hattermann, Jan Schumacher, and Holger Wuschke, eds. Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Paderborn: Universitätsbibliothek Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-768.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, Nils, Anthony Anjorin, Florian Stolte, and Florian Kraus. “From Pattern Invocation Networks to Rule Preconditions.” In Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, 195–211. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, Nils, Anthony Anjorin, Patrick Robrecht, and Gergely Varró. “Incremental (Unidirectional) Model Transformation with EMoflon::IBeX.” In Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, 131–40. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_8.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13142
Weidmann, Nils, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, and Erhan Leblebici. “Incremental Bidirectional Model Transformation with EMoflon::IBeX.” In Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019, edited by James Cheney and Hsiang-Shang Ko, 45–55. CEUR-WS.org, 2019.
LibreCat