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.

5146 Publications


2019 | Journal Article | LibreCat-ID: 17565
Merten, Marie-Luis, Nina Seemann, and Marcel Dominik Wever. “Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff.” Niederdeutsches Jahrbuch, no. 142 (2019): 124–46.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach, Reinhold. “Lektionen Für Alexa \& Co?!” Forschung 44, no. 1 (2019): 12–15. https://doi.org/10.1002/fors.201970104.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 18018
Bengs, Viktor, and Hajo Holzmann. “Uniform Approximation in Classical Weak Convergence Theory.” ArXiv:1903.09864, 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 8080
Feldotto, Matthias. Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games. Universität Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-588.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 19446
Drude, Lukas, Jens Heitkaemper, Christoph Boeddeker, and Reinhold Haeb-Umbach. “SMS-WSJ: Database, Performance Measures, and Baseline Recipe for Multi-Channel Source Separation and Recognition.” ArXiv E-Prints, 2019.
LibreCat | Files available
 

2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt, Karlson, Pritha Gupta, and Eyke Hüllermeier. “Learning Choice Functions: Concepts and Architectures.” ArXiv:1901.10860, 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, Christian, and Roman Dumitrescu. “Strategie als Erfolgsfaktor.” ServiceToday, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati, Monica. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. 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 | Newspaper Article | LibreCat-ID: 20366
Koldewey, Christian, Jannik Reinhold, Georg Willmes, and Jan Stefan Michels. “Smart Service-Innovationen - Gewusst wie.” markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer, 2019.
LibreCat
 

2019 | Newspaper Article | LibreCat-ID: 20342
Kahl, Björn, Yevgen Kogan, and Jörn Steffen Menzefricke. “Servicerobotik Kooperativ Entwickeln.” Computer & Automation, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, Sven Laux, and Eric Bodden. “Architectural Runtime Verification.” In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 77–84, 2019. https://doi.org/10.1109/ICSA-C.2019.00021.
LibreCat | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 20537
Piskachev, Goran, Lisa Nguyen, and Eric Bodden. Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR abs/1905.08505 (2019).
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, Matthias Hüttner, Fabian Woitschek, Elmar Moritzer, and Bernd Henning. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10577
Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann, and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” In Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19. New York, NY, USA: ACM, 2019. https://doi.org/10.1145/3299874.3317998.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, Matthias, Pascal Lenzner, Louise Molitor, and Alexander Skopalik. “ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation.” In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 1949--1951. International Foundation for Autonomous Agents and Multiagent Systems, 2019.
LibreCat | Files available | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim, Laurens Alexander. Post-Quantum Secure Group Signatures, 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10325
Peuster, Manuel, Michael Marchetti, Gerardo García de Blas, and Holger Karl. “Automated Testing of NFV Orchestrators against Carrier-Grade Multi-PoP Scenarios Using Emulation-Based Smoke Testing.” EURASIP Journal on Wireless Communications and Networking, 2019. https://doi.org/10.1186/s13638-019-1493-2.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13292
Schneider, Stefan Balthasar, Manuel Peuster, Kai Hannemann, Daniel Behnke, Marcel Müller, Patrick-Benjamin Bök, and Holger Karl. “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes.” In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track. Dallas, TX, USA: IEEE, 2019.
LibreCat | Files available
 

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: 13141
Weidmann, Nils, Anthony Anjorin, Patrick Robrecht, and Gergely Varró. “Incremental (Unidirectional) Model Transformation with EMoflon::IBeX.” In Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 131–40, 2019. https://doi.org/10.1007/978-3-030-23611-3\_8.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 11950
Boschmann, Alexander, Andreas Agne, Georg Thombansen, Linus Matthias Witschen, Florian Kraus, and Marco Platzner. “Zynq-Based Acceleration of Robust High Density Myoelectric Signal Processing.” Journal of Parallel and Distributed Computing 123 (2019): 77–89. https://doi.org/10.1016/j.jpdc.2018.07.004.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 12908
Hammer, Manfred, Lena Ebers, and Jens Förstner. “Oblique Quasi-Lossless Excitation of a Thin Silicon Slab Waveguide: A Guided-Wave Variant of an Anti-Reflection Coating.” Journal of the Optical Society of America B, 2019. https://doi.org/10.1364/josab.36.002395.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 12871
Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” Informatik Spektrum, 2019. https://doi.org/10.1007/s00287-019-01187-w.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 12876
Kurz, Gerhard, Igor Gilitschenski, Florian Pfaff, Lukas Drude, Uwe D. Hanebeck, Reinhold Haeb-Umbach, and Roland Y. Siegwart. “Directional Statistics and Filtering Using LibDirectional.” In Journal of Statistical Software 89(4), 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 12890
Drude, Lukas, and Reinhold Haeb-Umbach. “Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation.” IEEE Journal of Selected Topics in Signal Processing, 2019. https://doi.org/10.1109/JSTSP.2019.2912565.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “When Are Software Verification Results Valid for Approximate Hardware?” In Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 3–20, 2019. https://doi.org/10.1007/978-3-030-31157-5\_1.
LibreCat | 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 | Conference Paper | LibreCat-ID: 13557
Blömer, Johannes, and Nils Löken. “Dynamic Searchable Encryption with Access Control.” In 12th International Symposium on Foundations and Practice of Security, FPS 2019, Vol. 12056. LNCS. Springer, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, Michael, Simone Anna Opel, Lea Budde, and Carsten Schulte. “Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material.” In ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings, edited by Eglė Jasutė and Sergei Pozdniakov, 12:65–73, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15375
Müller, Marcel, Daniel Behnke, Patrick-Benjamin Bök, Stefan Balthasar Schneider, Manuel Peuster, and Holger Karl. “Putting NFV into Reality: Physical Smart Manufacturing Testbed.” In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Dallas: IEEE, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 14896
Dann, Andreas, Ben Hermann, and Eric Bodden. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/tse.2019.2931331.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15488
Thiel, Christian, Carolin Steidl, and Bernd Henning. “P2.9 Comparison of Deep Feature Extraction Techniques for Varying-Length Time Series from an Industrial Piercing Press.” In 20. GMA/ITG-Fachtagung. Sensoren Und Messsysteme 2019, edited by AMA Service GmbH. Von-Münchhausen-Str. 49, 31515 Wunstorf, 2019. https://doi.org/10.5162/SENSOREN2019/P2.9.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15003
Mortier, Thomas, Marek Wydmuch, Krzysztof Dembczynski, Eyke Hüllermeier, and Willem Waegeman. “Set-Valued Prediction in Multi-Class Classification.” In Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 15015
Henzgen, Sascha, and Eyke Hüllermeier. “Mining Rank Data.” ACM Transactions on Knowledge Discovery from Data, 2019, 1–36. https://doi.org/10.1145/3363572.
LibreCat | DOI
 

2019 | Conference Abstract | LibreCat-ID: 15248
Grabo, Matti, Daniel Weber, Andreas Paul, Tobias Klaus, Wolfgang Bermpohl, and Eugeny Kenig. “Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen,” 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 15250
Grabo, Matti, Daniel Weber, Andreas Paul, Tobias Klaus, Wolfgang Bermpohl, Stefan Krauter, and Eugeny Kenig. “Numerical Investigation of the Temperature Distribution in PCM-Integrated Solar Modules.” Chemical Engineering Transactions, 2019, 895–900. https://doi.org/10.3303/CET1976150.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14822
Heitkaemper, Jens, Thomas Feher, Michael Freitag, and Reinhold Haeb-Umbach. “A Study on Online Source Extraction in the Presence of Changing Speaker Positions.” In International Conference on Statistical Language and Speech Processing 2019, Ljubljana, Slovenia, 2019.
LibreCat | Files available
 

2019 | Preprint | LibreCat-ID: 16296
Banholzer, Stefan, Bennet Gebken, Michael Dellnitz, Sebastian Peitz, and Stefan Volkwein. “ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical  Continuation.” ArXiv:1906.09075, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15921
Desouki, Abdelmoneim Amer, Michael Röder, and Axel-Cyrille Ngonga Ngomo. “Ranking on Very Large Knowledge Graphs.” In Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19, 163–71. ACM, 2019. https://doi.org/10.1145/3342220.3343660.
LibreCat | DOI
 

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 | 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: 8113
Peuster, Manuel, Christian Dröge, Clemens Boos, and Holger Karl. “Joint Testing and Profiling of Microservice-Based Network Services Using TTCN-3.” ICT Express, 2019. https://doi.org/10.1016/j.icte.2019.02.001.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 8543
Strothmann, Thim Frederik. “Förderung von Kreativität in Studentischen Kleingruppenprojekten in Der Informatik – Ein Prototyping-Basierter Ansatz.” Die Hochschullehre, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 8240
Dräxler, Sevil, and Holger Karl. “SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures.” In 5th IEEE International Conference on Network Softwarization (NetSoft) 2019, n.d.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8795
Peuster, Manuel, Hannes Küttner, and Holger Karl. “A Flow Handover Protocol to Support State Migration in Softwarized Networks.” International Journal of Network Management, 2019. https://doi.org/10.1002/nem.2067.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, Jonas Kirchhoff, and Gregor Engels. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” In Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, and Elisa Y. Nakagawa, 12019:30–41. LNCS. Springer, 2019. https://doi.org/10.1007/978-3-030-45989-5\_3.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed