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


2020 | Conference (Editor) | LibreCat-ID: 17836
Werneck Richa A, Scheideler C, eds. Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings. Vol 12156. Springer; 2020. doi:10.1007/978-3-030-54921-3
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 17994
Gerlach R, Ziessler A. The Approximation of Invariant Sets in Infinite Dimensional Dynamical Systems. In: Junge O, Schütze O, Ober-Blöbaum S, Padberg-Gehle K, eds. Advances in Dynamics, Optimization and Computation. Vol 304. Studies in Systems, Decision and Control. Cham: Springer; 2020:55-85. doi:10.1007/978-3-030-51264-4_3
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 18017
El Mesaoudi-Paul A, Bengs V, Hüllermeier E. Online Preselection with Context Information under the Plackett-Luce  Model. arXiv:200204275.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18276
Tornede A, Wever MD, Werner S, Mohr F, Hüllermeier E. Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis. In: ; 2020.
LibreCat | Download (ext.)
 

2020 | Bachelorsthesis | LibreCat-ID: 18637
Schürmann P. A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18651
Gburrek T, Schmalenstroeer J, Brendel A, Kellermann W, Haeb-Umbach R. Deep Neural Network based Distance Estimation for Geometry Calibration in Acoustic Sensor Network. In: European Signal Processing Conference (EUSIPCO). ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19421
Holst S, Kampmann M, Sprenger A, et al. Logic Fault Diagnosis of Hidden Delay Defects. In: IEEE International Test Conference (ITC’20), November 2020. Virtual Conference - Originally Washington, DC.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 19313
Feldmann N, Schulze V, Claes L, Jurgelucks B, Walther A, Henning B. Inverse piezoelectric material parameter characterization using a single disc-shaped specimen. tm - Technisches Messen. 2020:50-55. doi:10.1515/teme-2020-0012
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10108
Pauck F, Wehrheim H. Together Strong: Cooperative Android App Analysis. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ; :374-384. doi:10.1145/3338906.3338915
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10595
Gebken B, Peitz S, Dellnitz M. On the hierarchical structure of Pareto critical sets. Journal of Global Optimization. 2019;73(4):891-913. doi:10.1007/s10898-019-00737-6
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11714
Ajjour Y, Wachsmuth H, Kiesel J, Potthast M, Hagen M, Stein B. Data Acquisition for Argument Search: The args.me Corpus. In: Proceedings of the 42nd Edition of the German Conference on Artificial Intelligence. ; 2019:48-59.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13138
Gottschalk S, Rittmeier F, Engels G. Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In: Hyrynsalmi S, Suoranta M, Nguyen-Duc A, Tyrväinen P, Abrahamsson P, eds. Software Business. Vol 370. Lecture Notes in Business Information Processing. Cham: Springer International Publishing; 2019:192-207. doi:10.1007/978-3-030-33742-1_16
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
Weidmann N, Anjorin A, Stolte F, Kraus F. From Pattern Invocation Networks to Rule Preconditions. In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. ; 2019:195-211. doi:10.1007/978-3-030-23611-3\_12
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12894
Augstein M, Herder E, Wörndl W, Yigitbas E. ABIS 2019 – 23rd International Workshop on Personalization and Recommendation on the Web and Beyond. In: 30th ACM Conference on Hypertext and Social Media (HT ’19), September 17–20, 2019, Hof, Germany. ACM; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12952
Dreiling D, Feldmann N, Henning B. A DC bias approach to the characterisation of non-linear material parameters of piezoelectric ceramics. In: AMA Service GmbH; 2019. doi:10.5162/sensoren2019/5.1.2
LibreCat | DOI | Download (ext.)
 

2019 | Book Chapter | LibreCat-ID: 12072
Sommer C, Eckhoff D, Brummer A, et al. Veins: The Open Source Vehicular Network Simulation Framework. In: Recent Advances in Network Simulation. Cham; 2019. doi:10.1007/978-3-030-12842-5_6
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13107
Schumacher J, Rezat S. A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers. In: Jankvist UT, Van den Heuvel-Panhuizen M, Veldhuis M, eds. Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019). Utrecht, the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 13126
Khaluf L. Organic Programming of Dynamic Real-Time Applications. Paderborn University; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12870
Feldkord B, Knollmann T, Malatyali M, Meyer auf der Heide F. Managing Multiple Mobile Resources. In: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA). Springer; 2019:120-137. doi:10.1007/978-3-030-39479-0_9
LibreCat | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 12875
Heymann J, Drude L, Haeb-Umbach R, Kinoshita K, Nakatani T. Joint Optimization of Neural Network-based WPE Dereverberation and Acoustic Model for Robust Online ASR. In: ICASSP 2019, Brighton, UK. ; 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 12882
Afifi H, Karl H, Eikenberg S, et al. A Rapid Prototyping for Wireless Virtual Network Embedding using MARVELO. In: 2019 IEEE Wireless Communications and Networking Conference (WCNC) (IEEE WCNC 2019). Marrakech, Morocco; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 11985
Bronner F, Sommer C. Efficient Multi-Channel Simulation of Wireless Communications. In: 2018 IEEE Vehicular Networking Conference (VNC). ; 2019. doi:10.1109/vnc.2018.8628350
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13873
Feldkord B, Meyer auf der Heide F. The Mobile Server Problem. ACM Transactions on Parallel Computing (TOPC). 2019;6(3). doi:10.1145/3364204
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13652
Hinnenthal K, Scheideler C, Struijs M. Fast Distributed Algorithms for LP-Type Problems of Low Dimension. In: 33rd International Symposium on Distributed Computing (DISC 2019). ; 2019. doi:10.4230/LIPICS.DISC.2019.23
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13993
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. 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. ; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 14028
Bengs V, Holzmann H. Adaptive confidence sets for kink estimation. Electronic Journal of Statistics. 2019:1523-1579. doi:10.1214/19-ejs1555
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15374
Moro D, Peuster M, Karl H, Capone A. Demonstrating FOP4: A Flexible Platform to Prototype NFV Offloading Scenarios. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Dallas: IEEE; 2019.
LibreCat | Files available
 

2019 | Conference (Editor) | LibreCat-ID: 15235
Stein B, Wachsmuth H, eds. Proceedings of the 6th Workshop on Argument Mining. Florence, Italy: Association for Computational Linguistics; 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15247
Grabo M, Weber D, Paul A, et al. Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen. In: ; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova Y, Johannesmann S, Henning B, Prager J. 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. doi:10.1121/2.0001074
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 15002
Waegeman W, Dembczynski K, Hüllermeier E. Multi-target prediction: a unifying view on problems and methods. Data Mining and Knowledge Discovery. 2019;33(2):293-324. doi:10.1007/s10618-018-0595-5
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15014
Hüllermeier E, Couso I, Diestercke S. 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 A-K, Schulte C. Das RetiBNE Café. In: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund. ; 2019:315-324. doi:10.18420/infos2019-c17
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14819
Heinovski J, Stratmann L, Buse DS, et al. 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. doi:10.1109/wowmom.2019.8793008
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14826
Kanda N, Boeddeker C, Heitkaemper J, Fujita Y, Horiguchi S, Haeb-Umbach R. 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 B, Peitz S. Inverse multiobjective optimization: Inferring decision criteria from data. arXiv:190106141. 2019.
LibreCat | Download (ext.)
 

2019 | Preprint | LibreCat-ID: 16341
Brandt S, Jähn C, Fischer M, Meyer auf der Heide F. Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels. arXiv:190408225. 2019.
LibreCat | Download (ext.) | arXiv
 

2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati M. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Paderborn University; 2019.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 15747
Wördenweber NC. 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 A, Ebbers J, Haeb-Umbach R, Martin R. 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 J, Khe Chai Sim BL. Improving CTC Using Stimulated Learning for Sequence Modeling. In: ICASSP 2019, Brighton, UK. ; 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 15641
Schlichtig M, Opel SA, Schulte C, et al. Maschinelles Lernen im Unterricht mit Jupyter Notebook. In: INFOS. Vol P-288. LNI. Gesellschaft für Informatik; 2019:385.
LibreCat
 

2019 | Preprint | LibreCat-ID: 16853
Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. Fourth Workshop on Approximate Computing (AxC 2019).
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 3585
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability. 2019;99:277-290. doi:10.1016/j.microrel.2019.04.003
LibreCat | DOI
 

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

2019 | Conference Paper | LibreCat-ID: 6976
Götte T, Vijayalakshmi VR, Scheideler C. 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.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 7626
Schubert P, Hermann B, Bodden E. 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). Vol II. ; 2019:393-410. doi:10.1007/978-3-030-17465-1_22
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 7669
Josifovska K, Yigitbas E, Engels G. 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). Vol 11568. Springer, LNCS; 2019:398-409.
LibreCat
 

2019 | Misc | LibreCat-ID: 8112
Maaz MU, Sprenger A, Hellebrand S. 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 | Journal Article | LibreCat-ID: 8667
Sprenger A, Hellebrand S. Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test. Journal of Circuits, Systems and Computers. 2019;28(1):1-23. doi:10.1142/s0218126619400012
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 8833
Jovanovikj I, Yigitbas E, Gerth C, Sauer S, Engels G. Detection and Resolution of Data-Flow Differences in Business Process Models. In: Cappiello C, Ruiz M, eds. Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings. Vol 350. ; 2019:145-157.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8871
Augustine J, Ghaffari M, Gmyr R, et al. Distributed Computation in Node-Capacitated Networks. In: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2019:69--79. doi:10.1145/3323165.3323195
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 9824
Peuster M, Schneider SB, Zhao M, et al. Introducing Automated Verification and Validation for Virtualized Network Functions and Services. IEEE Communications Magazine. 2019:96-102. doi:10.1109/mcom.2019.1800873
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9913
Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz P, eds. Applied Reconfigurable Computing. Vol 11444. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2019:127-136. doi:10.1007/978-3-030-17227-5_10
LibreCat | Files available | DOI
 

2019 | Book Chapter | LibreCat-ID: 16966
Kuklinski C, Liebendörfer M, Hochmuth R, et al. 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 C. Implementing a Real-Time System on a Platform FPGA Operated with ReconOS. Universität Paderborn; 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 15007
Melnikov V, Hüllermeier E. 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. doi:10.1016/j.jmva.2019.02.017
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 17565
Merten M-L, Seemann N, Wever MD. Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff. Niederdeutsches Jahrbuch. 2019;(142):124-146.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach R. Lektionen für Alexa \& Co?! forschung. 2019;44(1):12-15. doi:10.1002/fors.201970104
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 18018
Bengs V, Holzmann H. Uniform approximation in classical weak convergence theory. arXiv:190309864. 2019.
LibreCat
 

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

2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey C, Dumitrescu R. Strategie als Erfolgsfaktor. ServiceToday. 2019:76-77.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 19446
Drude L, Heitkaemper J, Boeddeker C, Haeb-Umbach R. 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 K, Gupta P, Hüllermeier E. Learning Choice Functions: Concepts and Architectures. arXiv:190110860. 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR. 2019;abs/1905.08505.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
Webersen M, Hüttner M, Woitschek F, Moritzer E, Henning B. Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In: Deutsche Gesellschaft für Akustik e.V. (DEGA), ed. Fortschritte der Akustik - DAGA 2019. ; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10577
Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. 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. doi:10.1145/3299874.3317998
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
Feldotto M, Lenzner P, Molitor L, Skopalik A. 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. International Foundation for Autonomous Agents and Multiagent Systems; 2019:1949--1951.
LibreCat | Files available | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim LA. Post-Quantum Secure Group Signatures.; 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10325
Peuster M, Marchetti M, García de Blas G, Karl H. Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. 2019. doi:10.1186/s13638-019-1493-2
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop S. Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine.; 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13292
Schneider SB, Peuster M, Hannemann K, et al. “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 S, Fan L, Hattermann M, Schumacher J, Wuschke H, eds. Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Paderborn: Universitätsbibliothek Paderborn; 2019. doi:10.17619/UNIPB/1-768
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13141
Weidmann N, Anjorin A, Robrecht P, Varró G. 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. ; 2019:131-140. doi:10.1007/978-3-030-23611-3\_8
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 11950
Boschmann A, Agne A, Thombansen G, Witschen LM, Kraus F, Platzner M. Zynq-based acceleration of robust high density myoelectric signal processing. Journal of Parallel and Distributed Computing. 2019;123:77-89. doi:10.1016/j.jpdc.2018.07.004
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 12908
Hammer M, Ebers L, Förstner J. 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. doi:10.1364/josab.36.002395
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 12871
Platzner M, Plessl C. FPGAs im Rechenzentrum. Informatik Spektrum. 2019. doi:10.1007/s00287-019-01187-w
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 12876
Kurz G, Gilitschenski I, Pfaff F, et al. Directional Statistics and Filtering Using libDirectional. In: Journal of Statistical Software 89(4). ; 2019.
LibreCat | Files available
 

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

2019 | Conference Paper | LibreCat-ID: 13874
Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. 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. ; 2019:3-20. doi:10.1007/978-3-030-31157-5\_1
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide F. Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte. 2019;66(2):259-260. doi:10.1007/s00591-019-00249-0
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13557
Blömer J, Löken N. 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 M, Opel SA, Budde L, Schulte C. Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material. In: Jasutė E, Pozdniakov S, eds. ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings. Vol 12. ; 2019:65-73.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15375
Müller M, Behnke D, Bök P-B, Schneider SB, Peuster M, Karl H. 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 A, Hermann B, Bodden E. ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering. 2019:1-1. doi:10.1109/tse.2019.2931331
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15488
Thiel C, Steidl C, Henning B. P2.9 Comparison of deep feature extraction techniques for varying-length time series from an industrial piercing press. In: AMA Service GmbH, ed. 20. GMA/ITG-Fachtagung. Sensoren Und Messsysteme 2019. Von-Münchhausen-Str. 49, 31515 Wunstorf; 2019. doi:10.5162/SENSOREN2019/P2.9
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15003
Mortier T, Wydmuch M, Dembczynski K, Hüllermeier E, Waegeman W. 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 S, Hüllermeier E. Mining Rank Data. ACM Transactions on Knowledge Discovery from Data. 2019:1-36. doi:10.1145/3363572
LibreCat | DOI
 

2019 | Conference Abstract | LibreCat-ID: 15248
Grabo M, Weber D, Paul A, Klaus T, Bermpohl W, Kenig E. Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen. In: ; 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 15250
Grabo M, Weber D, Paul A, et al. Numerical Investigation of the Temperature Distribution in PCM-integrated Solar Modules. Chemical Engineering Transactions. 2019:895-900. doi:10.3303/CET1976150
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14822
Heitkaemper J, Feher T, Freitag M, Haeb-Umbach R. 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 S, Gebken B, Dellnitz M, Peitz S, Volkwein S. ROM-based multiobjective optimization of elliptic PDEs via numerical  continuation. arXiv:190609075. 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15921
Desouki AA, Röder M, Ngonga Ngomo A-C. Ranking on Very Large Knowledge Graphs. In: Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19. ACM; 2019:163-171. doi:10.1145/3342220.3343660
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 16361
Fischer HG, Rittmeier F, Strothmann TF, Schwenniger N. Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In: Bosse CK, Zink KJ, eds. Arbeit 4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler; 2019. doi:10.1007/978-3-662-59474-2_11
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16215
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira J, eds. Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Vol 11800. Lecture Notes in Computer Science. Springer; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 8113
Peuster M, Dröge C, Boos C, Karl H. Joint testing and profiling of microservice-based network services using TTCN-3. ICT Express. 2019. doi:10.1016/j.icte.2019.02.001
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 8543
Strothmann TF. 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 S, Karl H. SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures. In: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed