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
 

2019 | Journal Article | LibreCat-ID: 7689
Riebler, Heinrich, Gavin Francis Vaz, Tobias Kenter, and Christian Plessl. “Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL.” ACM Trans. Archit. Code Optim. (TACO) 16, no. 2 (2019): 14:1–14:26. https://doi.org/10.1145/3319423.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13259
Chen, Wei-Fan, Khalid Al-Khatib, Matthias Hagen, Henning Wachsmuth, and Benno Stein. “Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition.” In Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 76–82, 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 16708
Ziessler, Adrian, Michael Dellnitz, and Raphael Gerlach. “The Numerical Computation of Unstable Manifolds for Infinite Dimensional Dynamical Systems by Embedding Techniques.” SIAM Journal on Applied Dynamical Systems, 2019, 1265–92. https://doi.org/10.1137/18m1204395.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 18975
Malatyali, Manuel. Big Data: Sublinear Algorithms for Distributed Data Streams. Universität Paderborn, 2019. https://doi.org/10.17619/UNIPB/1-766.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 17395
Koldewey, Christian, Jannik Reinhold, Roman Dumitrescu, Maximilian Frank, Thomans Schweppe, and Annegret Melzer. “Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services.” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 2019, 380–84. https://doi.org/10.3139/104.112113.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 17403
Koldewey, Christian, Hans Heinrich Evers, Roman Dumitrescu, Maximilian Frank, Jürgen Gausemeier, and Jannik Reinhold. “Development Process for Smart Service Strategies.” In Proceedings of The XXX ISPIM INNOVATION CONFERENCE, edited by Ian Bitran, Stefan Conn, Chris Gernreich, Michelle Heber, K.R.E. Huizingh, Olga Kokshagina, Marko Torkkeli, and Markus Tynnhammar, Vol. 93. ISPIM Innovation Conference, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17667
Koning, Ralph, Gleb Polevoy, Lydia Meijer, Cees de Laat, and Paola Grosso. “Approaches for Collaborative Security Defences in Multi Network Environments.” In 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), 113–23. 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), 2019. https://doi.org/10.1109/CSCloud/EdgeCom.2019.000-9.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20533
Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/TSE.2019.2948910.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, Sigmund, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, and Alexandre Bartel. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” In ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 10232
Wever, Marcel Dominik, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier. “Automating Multi-Label Classification Extending ML-Plan,” 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10011
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: 10042
Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10578
Tagne, V. K., S. Fotso, L. A. Fono, and Eyke Hüllermeier. “Choice Functions Generated by Mallows and Plackett–Luce Relations.” New Mathematics and Natural Computation 15, no. 2 (2019): 191–213.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10597
Hanke, Soren, Sebastian Peitz, Oliver Wallscheid, Joachim Böcker, and Michael Dellnitz. “Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification.” In 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019. https://doi.org/10.1109/precede.2019.8753313.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11709
Potthast, Martin, Lukas Gienapp, Florian Euchner, Nick Heilenkötter, Nico Weidmann, Henning Wachsmuth, Benno Stein, and Matthias Hagen. “Argument Search: Assessing Argument Relevance.” In 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019), 1117–20. ACM, 2019. https://doi.org/10.1145/3331184.3331327.
LibreCat | DOI | Download (ext.)
 

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, Philadelphia, PA, USA, June 4, 2019., 45–55, 2019.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 12043
Reinold, Peter, Norbert Meyer, Dominik Buse, Florian Klingler, Christoph Sommer, Falko Dressler, Markus Eisenbarth, and Jakob Andert. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” In Proceedings. Wiesbaden, 2019. https://doi.org/10.1007/978-3-658-25294-6_15.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12889
Yigitbas, Enes, Ivan Jovanovikj, Stefan Sauer, and Gregor Engels. “A Model-Based Framework for Context-Aware Augmented Reality Applications .” In Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes (IFIP WG 13.2 & WG 13.5 International Workshop @ INTERACT2019), 2019.
LibreCat
 

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, 2019. https://doi.org/10.1145/3357766.3359529.
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: 13647
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 | Conference Paper | LibreCat-ID: 14568
Heindorf, Stefan, Yan Scholten, Gregor Engels, and Martin Potthast. “Debiasing Vandalism Detection Models at Wikidata (Extended Abstract).” In INFORMATIK, 289–90, 2019. https://doi.org/10.18420/inf2019_48.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 14830
Gmyr, Robert, Jonas Lefevre, and Christian Scheideler. “Self-Stabilizing Metric Graphs.” Theory Comput. Syst. 63, no. 2 (2019): 177–99. https://doi.org/10.1007/s00224-017-9823-4.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15794
Ebbers, Janek, and Reinhold Haeb-Umbach. “Convolutional Recurrent Neural Network and Data Augmentation for Audio Tagging with Noisy Labels and Minimal Supervision.” In DCASE2019 Workshop, New York, USA, 2019.
LibreCat | Files available
 

2019 | Bachelorsthesis | LibreCat-ID: 15819
Leutnant, Matthias. Experimentelle Untersuchung Des SEM-Algorithmus, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15838
Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019. https://doi.org/10.1109/asew.2019.00019.
LibreCat | Files available | DOI
 

2019 | Conference Abstract | LibreCat-ID: 15186
Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal Media: AlanMoore and the ‘Density’ of the Graphic Novel.” In Digital Humanities, DH 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15237
Gburrek, Tobias, Thomas Glarner, Janek Ebbers, Reinhold Haeb-Umbach, and Petra Wagner. “Unsupervised Learning of a Disentangled Speech Representation for Voice Conversion.” In Proc. 10th ISCA Speech Synthesis Workshop, 81–86, 2019. https://doi.org/10.21437/SSW.2019-15.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15369
Müller, Marcel, Daniel Behnke, Patrick-Benjamin Bök, Manuel Peuster, Stefan Balthasar Schneider, and Holger Karl. “5G as Key Technology for Networked Factories: Application of Vertical-Specific Network Services for Enabling Flexible Smart Manufacturing.” In IEEE 17th International Conference on Industrial Informatics (IEEE-INDIN). Helsinki: IEEE, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15371
Peuster, Manuel, Stefan Balthasar Schneider, and Holger Karl. “The Softwarised Network Data Zoo.” In IEEE/IFIP 15th International Conference on Network and Service Management (CNSM). Halifax: IEEE/IFIP, 2019.
LibreCat | Files available | Download (ext.)
 

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

2019 | Conference Paper | LibreCat-ID: 15643
Opel, Simone Anna, Michael Schlichtig, and Carsten Schulte. “Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress).” In WiPSCE, 11:1-11:2. ACM, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15720
Wilke, Adrian, and Johannes Magenheim. “Critical Incidents for Technology Enhanced Learning in Vocational Education and Training.” In IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019, 892–99, 2019. https://doi.org/10.1109/EDUCON.2019.8725025.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15080
Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.” In International Conference on Multimedia Modeling, MMM, 662–71. Springer, 2019. https://doi.org/10.1007/978-3-030-05716-9_59.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15578
Izu, Cruz, Carsten Schulte, Ashish Aggarwal, Quintin I. Cutts, Rodrigo Duran, Mirela Gutica, Birte Heinemann, et al. “Program Comprehension: Identifying Learning Trajectories for Novice Programmers.” In Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019, 261–62, 2019. https://doi.org/10.1145/3304221.3325531.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Feature Selection for Analogy-Based Learning to Rank.” In Discovery Science. Cham, 2019. https://doi.org/10.1007/978-3-030-33778-0_22.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15009
Epple, Nico, Simone Dari, Ludwig Drees, Valentin Protschky, and Andreas Riener. “Influence of Cruise Control on Driver Guidance - a Comparison between System Generations and Countries.” In 2019 IEEE Intelligent Vehicles Symposium (IV), 2019. https://doi.org/10.1109/ivs.2019.8814100.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15422
Ho, Nam, Paul Kaufmann, and Marco Platzner. “Optimization of Application-Specific L1 Cache Translation Functions of the LEON3 Processor.” In World Congress on Nature and Biologically Inspired Computing (NaBIC). Advances in Nature and Biologically Inspired Computing. Springer, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 14897
Dann, Andreas, Ben Hermann, and Eric Bodden. “SootDiff: Bytecode Comparison across Different Java Compilers.” In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019. https://doi.org/10.1145/3315568.3329966.
LibreCat | DOI | Download (ext.)
 

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: 16709
Sahai, Tuhin, Adrian Ziessler, Stefan Klus, and Michael Dellnitz. “Continuous Relaxations for the Traveling Salesman Problem.” Nonlinear Dynamics, 2019. https://doi.org/10.1007/s11071-019-05092-5.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 16711
Gerlach, Raphael, Péter Koltai, and Michael Dellnitz. “Revealing the Intrinsic Geometry of Finite Dimensional Invariant Sets of  Infinite Dimensional Dynamical Systems.” ArXiv:1902.08824, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15883
Kumar Jeyakumar, Shankar. Incremental Learning with Support Vector Machine on Embedded Platforms, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15946
Mehta, Jinay. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper, Tim, Leander Claes, and Bernd Henning. “Evolutionary Algorithm for the Design of Passive Electric Matching Networks for Ultrasonic Transducers.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001110.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 6860
Afifi, Haitham, and Holger Karl. “Power Allocation with a Wireless Multi-Cast Aware Routing for Virtual Network Embedding.” In 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC2019). Las Vegas: IEEE, n.d.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 7635
Sharma, Arnab, and Heike Wehrheim. “Testing Machine Learning Algorithms for Balanced Data Usage.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 125--135. Xi’an, China: IEEE, 2019.
LibreCat | Files available
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed