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.

4523 Publications


2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova, Yevgeniya, Sarah Johannesmann, Bernd Henning, and Jens Prager. “Analysis of Lamb Wave Mode Repulsion and Its Implications to the Characterisation of Adhesive Bonding Strength.” In 2019 International Congress on Ultrasonics. Proceedings of Meetings on Acoustics. Bruges: Acoustical Society of America, 2019. https://doi.org/10.1121/2.0001074.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 15002
Waegeman, Willem, Krzysztof Dembczynski, and Eyke Hüllermeier. “Multi-Target Prediction: A Unifying View on Problems and Methods.” Data Mining and Knowledge Discovery 33, no. 2 (2019): 293–324. https://doi.org/10.1007/s10618-018-0595-5.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15007
Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA.” In Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101), 2019. https://doi.org/10.1016/j.jmva.2019.02.017.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15014
Hüllermeier, Eyke, Ines Couso, and Sebastian Diestercke. “Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants.” In Proceedings SUM 2019, International Conference on Scalable Uncertainty Management, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15583
Schmidt, Ann-Katrin, and Carsten Schulte. “Das RetiBNE Café.” In Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund, 315–24, 2019. https://doi.org/10.18420/infos2019-c17.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14819
Heinovski, Julian, Lukas Stratmann, Dominik S. Buse, Florian Klingler, Mario Franke, Marie-Christin H. Oczko, Christoph Sommer, Ingrid Scharlau, and Falko Dressler. “Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective.” In 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019. https://doi.org/10.1109/wowmom.2019.8793008.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14826
Kanda, Naoyuki, Christoph Boeddeker, Jens Heitkaemper, Yusuke Fujita, Shota Horiguchi, and Reinhold Haeb-Umbach. “Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party ASR.” In INTERSPEECH 2019, Graz, Austria, 2019.
LibreCat | Files available
 

2019 | Preprint | LibreCat-ID: 16295
Gebken, Bennet, and Sebastian Peitz. “Inverse Multiobjective Optimization: Inferring Decision Criteria from Data.” ArXiv:1901.06141, 2019.
LibreCat | 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 | Mastersthesis | LibreCat-ID: 15920
Keerthipati, Monica. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Paderborn University, 2019.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 15747
Wördenweber, Nico Christof. On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15792
Nelus, Alexandru, Janek Ebbers, Reinhold Haeb-Umbach, and Rainer Martin. “Privacy-Preserving Variational Information Feature Extraction for Domestic Activity Monitoring Versus Speaker Identification.” In INTERSPEECH 2019, Graz, Austria, 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 15812
Heymann, Jahn, and Bo Li Khe Chai Sim. “Improving CTC Using Stimulated Learning for Sequence Modeling.” In ICASSP 2019, Brighton, UK, 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig, Michael, Simone Anna Opel, Carsten Schulte, Rolf Biehler, Daniel Frischemeier, Susanne Podworny, and Thomas Wassong. “Maschinelles Lernen im Unterricht mit Jupyter Notebook.” In INFOS, P-288:385. LNI. Gesellschaft für Informatik, 2019.
LibreCat
 

2019 | Preprint | LibreCat-ID: 16853
Witschen, Linus Matthias, Hassan Ghasemzadeh Mohammadi, Matthias Artmann, and Marco Platzner. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” Fourth Workshop on Approximate Computing (AxC 2019), n.d.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 3585
Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Microelectronics Reliability 99 (2019): 277–90. https://doi.org/10.1016/j.microrel.2019.04.003.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 3287
Schneider, Stefan Balthasar, Arnab Sharma, Holger Karl, and Heike Wehrheim. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), 116--124. Washington, DC, USA: IFIP, 2019.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 6976
Götte, Thorsten, Vipin Ravindran Vijayalakshmi, and Christian Scheideler. “Always Be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-Date Adversary.” In Proceedings of the 2019 IEEE 33rd International Parallel  and Distributed Processing Symposium (IPDPS ’19). IEEE, n.d.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 7626
Schubert, Philipp, Ben Hermann, and Eric Bodden. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), II:393–410, 2019. https://doi.org/10.1007/978-3-030-17465-1_22.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 7669
Josifovska, Klementina, Enes Yigitbas, and Gregor Engels. “A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 .” In Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), 11568:398–409. Springer, LNCS, 2019.
LibreCat
 

2019 | Misc | LibreCat-ID: 8112
Maaz, Mohammad Urf, Alexander Sprenger, and Sybille Hellebrand. A Hybrid Space Compactor for Varying X-Rates. Prien am Chiemsee: 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), 2019.
LibreCat
 

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

2019 | Journal Article | LibreCat-ID: 8667
Sprenger, Alexander, and Sybille Hellebrand. “Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test.” Journal of Circuits, Systems and Computers 28, no. 1 (2019): 1–23. https://doi.org/10.1142/s0218126619400012.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 8833
Jovanovikj, Ivan, Enes Yigitbas, Christian Gerth, Stefan Sauer, and Gregor Engels. “Detection and Resolution of Data-Flow Differences in Business Process Models.” In Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings, edited by Cinzia Cappiello and Marcela Ruiz, 350:145–57, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8871
Augustine, John, Mohsen Ghaffari, Robert Gmyr, Kristian Hinnenthal, Fabian Kuhn, Jason Li, and Christian Scheideler. “Distributed Computation in Node-Capacitated Networks.” In Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, 69--79. ACM, 2019. https://doi.org/10.1145/3323165.3323195.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 9824
Peuster, Manuel, Stefan Balthasar Schneider, Mengxuan Zhao, George Xilouris, Panagiotis Trakadas, Felipe Vicens, Wouter Tavernier, et al. “Introducing Automated Verification and Validation for Virtualized Network Functions and Services.” IEEE Communications Magazine, 2019, 96–102. https://doi.org/10.1109/mcom.2019.1800873.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9913
Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” In Applied Reconfigurable Computing, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17227-5_10.
LibreCat | Files available | DOI
 

2019 | Book Chapter | LibreCat-ID: 16966
Kuklinski, Christiane, Michael Liebendörfer, Reinhard Hochmuth, Rolf Biehler, Niclas Schaper, Elisa Lankeit, Elena Leis, and Mirko Schürmann. “Features of Innovative Lectures That Distinguish Them from Traditional Lectures and Their Evaluation by Attending Students.” In Proceedings of {CERME} 11. Utrecht, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15874
Lienen, Christian. Implementing a Real-Time System on a Platform FPGA Operated with ReconOS. Universität Paderborn, 2019.
LibreCat | Files available
 

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 | Mastersthesis | LibreCat-ID: 10344
Pukrop, Simon. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, 2019.
LibreCat
 

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 | Preprint | LibreCat-ID: 16462
Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” ArXiv:1904.05220, 2019.
LibreCat | arXiv
 

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: 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: 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: 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 | Journal Article | LibreCat-ID: 15814
Haeb-Umbach, Reinhold, Shinji Watanabe, Tomohiro Nakatani, Michiel Bacchiani, Bjoern Hoffmeister, Michael L. Seltzer, Heiga Zen, and Mehrez Souden. “Speech Processing for Digital Home Assistance: Combining Signal Processing With Deep-Learning Techniques.” IEEE Signal Processing Magazine 36, no. 6 (2019): 111–24. https://doi.org/10.1109/MSP.2019.2918706.
LibreCat | Files available | DOI
 

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 | Dissertation | LibreCat-ID: 15333
Heindorf, Stefan. Vandalism Detection in Crowdsourced Knowledge Bases, 2019.
LibreCat | Files available
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed