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.

4870 Publications


2020 | Conference Paper | LibreCat-ID: 17424
Tornede T, Tornede A, Wever MD, Mohr F, Hüllermeier E. AutoML for Predictive Maintenance: One Tool to RUL them all. In: Proceedings of the ECMLPKDD 2020. ; 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18066
Skowronek M. Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks.; 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18085
Heimann J. Distributed Key Generation for Attribute-Based Signatures.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18249
Gottschalk S, Yigitbas E, Schmidt E, Engels G. Model-based Product Configuration in Augmented Reality Applications (to appear). In: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20). ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18390
Krauter S, Bendfeld J. Micro-Inverters: an Update of Comparison of Conversion Efficiencies and Energy Yields. In: Proceedings of the EU PVSEC 2020. ; 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 18648
Guggenmos A. Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19393
Krauter S, Zhang L. Triggering Demand‒Side‒Management: Correlation of electricity prices, share of renewables, CO2‒contents, and grid‒frequency in the German electricity grid. In: Proceedings of the 35th European Photovoltaic Solar Energy Conference, 07 - 11 September 2020. ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19502
Hetkämper T, Krumme M, Dreiling D, Claes L. A modular, scalable open-hardware platform for project-based laboratory courses in electrical engineering studies. In: SEFI 2020 Annual Conference Proceedings - Engaging Engineering Education. SEFI; 2020:453.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 19521
Pfannschmidt K, Hüllermeier E. Learning Choice Functions via Pareto-Embeddings. In: Lecture Notes in Computer Science. Cham; 2020. doi:10.1007/978-3-030-58285-2_30
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 13226
Gharibian S, Piddock S, Yirka J. Oracle complexity classes and local measurements on physical  Hamiltonians. In: Proceedings of the 37th Symposium on Theoretical Aspects of Computer Science (STACS 2020). ; :38.
LibreCat | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 15169
Castenow J, Kolb C, Scheideler C. A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks. In: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN). ACM.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16852
Groth S, Grünewald D, Teich J, Hannig F. A Runtime System for Finite Element Methods in a Partitioned Global Address Space. In: Proceedings of the 17th ACM International Conference on Computing Frontiers (CF ’2020). ACM; 2020. doi:10.1145/3387902.3392628
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16857
Krauter S, Bendfeld J. Einfluss der Betriebstemperatur auf den Wirkungsgrad von Modul- Wechselrichtern für PV-Netzeinspeisungen. In: Tagungsband Des 35. Symposiums Für Photovoltaische Solarenergie, Kloster Banz, Bad Staffelstein (Deutschland). ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16725
Richter C, Hüllermeier E, Jakobs M-C, Wehrheim H. Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16965
Schürmann M, Schaper N, Liebendörfer M, et al. Ein Kurzbericht aus dem Forschungsprojekt WiGeMath-Lernzentren als Unterstützungsmaßnahme für mathematikbezogenes Lernen in der Studieneingangsphase. dghd-Newsletter. 2020;01/2020:25-29.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16903
Feldmann M, Khazraei A, Scheideler C. Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model. In: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM; 2020. doi:10.1145/3350755.3400246
LibreCat | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 7283
Alshomary M, Düsterhus N, Wachsmuth H. Extractive Snippet Generation for Arguments. In: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. ; 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 17071
Jovanovikj I, Weidmann N, Yigitbas E, Anjorin A, Sauer S, Engels G. Model-Driven Mutation Framework for Validation of Test Case Migration (to appear). In: Proceedings of the International Conference on Systems Modelling and Management ICSMM. ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 8426
Broadbent A, Gharibian S, Zhou H-S. Towards Quantum One-Time Memories from Stateless Hardware. In: Proceedings of the 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC). Vol 158. Leibniz International Proceedings in Informatics (LIPIcs); 2020:6:1-6:25.
LibreCat | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 16934
Gottschalk S, Yigitbas E, Engels G. Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs. In: Shishkov B, ed. Business Modeling and Software Design. Vol 391. Lecture Notes in Business Information Processing. Springer International Publishing; 2020:276-286. doi:10.1007/978-3-030-52306-0_18
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 10330
Kiesel D, Riehmann P, Wachsmuth H, Stein B, Fröhlich B. Visual Analysis of Argumentation in Essays. IEEE Transactions of Visualization & Computer Graphics.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16213
Awais M, Ghasemzadeh Mohammadi H, Platzner M. A Hybrid Synthesis Methodology for Approximate Circuits. In: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020. ACM; :1-6. doi:10.1145/3386263.3406952
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17398
Turcanu I, Engel T, Sommer C. Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks. In: 2019 IEEE Vehicular Networking Conference (VNC). ; 2020. doi:10.1109/vnc48660.2019.9062816
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16299
Castenow J, Fischer M, Harbig J, Jung D, Meyer auf der Heide F. Gathering Anonymous, Oblivious Robots on a Grid. Theoretical Computer Science. 2020;815:289-309. doi:10.1016/j.tcs.2020.02.018
LibreCat | DOI
 

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
 

2020 | Conference Paper | LibreCat-ID: 19609
Schneider SB, Manzoor A, Qarawlus H, et al. Self-Driving Network and Service Coordination Using Deep Reinforcement Learning. In: IEEE International Conference on Network and Service Management (CNSM). IEEE; 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 17406
Becker J-K, Joachim K, Koldewey C, Reinhold J, Dumitrescu R. Scaling Digital Business Models: A Case from the Automotive Industry. In: Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis.” ISPIM Innovation Conference; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3818
Chen W-F, Al-Khatib K, Stein B, Wachsmuth H. Detecting Media Bias in News Articles using Gaussian Bias Distributions. In: ; 2020.
LibreCat
 

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 | 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 | Newspaper Article | LibreCat-ID: 17402
Koldewey C, Dumitrescu R. Strategie als Erfolgsfaktor. ServiceToday. 2019:76-77.
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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed