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.

4838 Publications


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 | 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 | 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 | 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 | 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 | 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 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
 

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 | Mastersthesis | LibreCat-ID: 13128
Bröcher, Henrik. Rational Secure Multiparty Computation, 2019.
LibreCat | Files available
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed