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.

4519 Publications


2020 | Dissertation | LibreCat-ID: 15482
Löken N. Cryptography for the Crowd — A Study of Cryptographic Schemes with Applications to Crowd Work.; 2020. doi:10.17619/UNIPB/1-854
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 15266
Yigitbas E, Jovanovikj I, Biermeier K, Sauer S, Engels G. Integrated Model-driven Development of Self-adaptive User Interfaces (to appear). International Journal on Software and Systems Modeling (SoSyM). 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16288
Klus S, Nüske F, Peitz S, Niemann J-H, Clementi C, Schütte C. Data-driven approximation of the Koopman generator: Model reduction, system identification, and control. Physica D: Nonlinear Phenomena. 2020;406. doi:10.1016/j.physd.2020.132416
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16290
Bieker K, Peitz S, Brunton SL, Kutz JN, Dellnitz M. Deep model predictive flow control with limited sensor data and online learning. Theoretical and Computational Fluid Dynamics. 2020. doi:10.1007/s00162-020-00520-4
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 16214
Pauck F, Bodden E, Wehrheim H. Reproducing Taint-Analysis Results with ReproDroid. In: Felderer M, Hasselbring W, Rabiser R, Jung R, eds. Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. Vol {P-300}. {LNI}. Gesellschaft f{\"{u}}r Informatik e.V.; 2020:123-124.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16219
Schneider SB, Satheeschandran NP, Peuster M, Karl H. Machine Learning for Dynamic Resource Allocation in Network Function Virtualization. In: IEEE Conference on Network Softwarization (NetSoft). IEEE; 2020.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 15836
Bellman K, Dutt N, Esterle L, et al. Self-aware Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems. 2020;Accepted for Publication:1-24.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16858
Krauter S, Zhang L. Probability of Correct Decision–Making at Triggering of Load-Shifting Intended for low CO 2 -intensity and low EEX trading price via simple Grid Frequency Monitoring. In: Proceedings of the 14 Th International Renewable Energy Storage Conference, Düsseldorf (Deutschland), 10.–12. März 2020 (Verschoben Auf 16.–18. März 2021). ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16726
Razzaghi Kouchaksaraei H, Prasad Shivarpatna Venkatesh A, Churi A, Illian M, Karl H. Dynamic Provisioning of Network Services on Heterogeneous Resources. In: European Conference on Networks and Communications (EUCNC 2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 13943
Krumme M, Webersen M, Claes L, Webersen Y. Analoge Klangsynthese zur Vermittlung von Grundkenntnissen der Signalverarbeitung an Studierende nicht-technischer Fachrichtungen. In: Fortschritte der Akustik - DAGA 2020. ; 2020:542-545.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 16961
Liebendörfer M, Göller R, Biehler R, et al. LimSt – Ein Fragebogen zur Erhebung von Lernstrategien im mathematikhaltigen Studium. Journal für Mathematik-Didaktik. 2020. doi:10.1007/s13138-020-00167-y
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17089
Dreiling D, Itner DT, Feldmann N, Gravenkamp H, Henning B. Increasing the sensitivity in the determination of material parameters by using arbitrary loads in ultrasonic transmission measurements. In: AMA Service GmbH; 2020. doi:10.5162/SMSI2020/D1.3
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann N, Anjorin A. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In: Fundamental Approaches to Software Engineering. Cham; 2020. doi:10.1007/978-3-030-45234-6_16
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16790
Krings SC, Yigitbas E, Jovanovikj I, Sauer S, Engels G. Development Framework for Context-Aware Augmented Reality Applications. In: Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020). ; 2020. doi:10.1145/3393672.3398640
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 17337
Jazayeri B, Schwichtenberg S, Küster J, Zimmermann O, Engels G. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi:10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 10596
Schütze O, Cuate O, Martín A, Peitz S, Dellnitz M. Pareto Explorer: a global/local exploration tool for many-objective optimization problems. Engineering Optimization. 2020;52(5):832-855. doi:10.1080/0305215x.2019.1617286
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 15267
Yigitbas E, Jovanovikj I, Sauer S, Engels G. On the Development of Context-aware Augmented Reality Applications (to appear). In: Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2/13.5. Springer, LNCS; 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 16289
Peitz S, Klus S. Feedback Control of Nonlinear PDEs Using Data-Efficient Reduced Order Models Based on the Koopman Operator. In: Lecture Notes in Control and Information Sciences. Vol 484. Lecture Notes in Control and Information Sciences. Cham: Springer; 2020:257-282. doi:10.1007/978-3-030-35713-9_10
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 16309
Peitz S, Otto SE, Rowley CW. Data-Driven Model Predictive Control using Interpolated Koopman  Generators. arXiv:200307094. 2020.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 16570
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Challenges in Model-Driven Development of Multi-Platform Augmented Reality Applications (to appear). Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF). 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16222
Zafeiropoulos A, Fotopoulou E, Peuster M, et al. Benchmarking and Profiling 5G Verticals’ Applications: An Industrial IoT Use Case. In: IEEE Conference on Network Softwarization (NetSoft). ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16710
Gerlach R, Ziessler A, Eckhardt B, Dellnitz M. A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors. SIAM Journal on Applied Dynamical Systems. 2020:705-723. doi:10.1137/19m1247139
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16277
Kühne T, Iannuzzi M, Ben MD, et al. CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations. The Journal of Chemical Physics. 2020;152(19). doi:10.1063/5.0007045
LibreCat | Files available | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 15490
Claes L, Baumhögger E, Rüther T, Gierse Jan, Tröster T, Henning B. Reduction of systematic measurement deviation in acoustic absorption measurement systems. In: Fortschritte Der Akustik - DAGA 2020. ; 2020:1077-1080.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 15820
Al-Khatib K, Hou Y, Wachsmuth H, Jochim C, Bonin F, Stein B. End-to-End Argumentation Knowledge Graph Construction. In: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020). ; 2020:7367-7374.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17092
Anwer J, Meisner S, Platzner M. Dynamic Reliability Management for FPGA-Based Systems. International Journal of Reconfigurable Computing. 2020:1-19. doi:10.1155/2020/2808710
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15825
Kiesel J, Lang K, Wachsmuth H, Hornecker E, Stein B. Investigating Expectations for Voice-based and Conversational Argument Search on the Web. In: Proceedings of the 2020 ACM SIGIR Conference on Human Information Interaction & Retrieval (CHIIR 2020). ; 2020:53-62.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15604
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Concept-based Co-Migration of Test Cases. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD. ; 2020. doi:10.5220/0009171404490456
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 17352
Moritzer E, Hüttner M, Henning B, Webersen M. The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization. In: Hopmann C, Dahlmann R, eds. Advances in Polymer Processing 2020. Berlin, Heidelberg: Springer; 2020. doi:10.1007/978-3-662-60809-8_16
LibreCat | DOI
 

2020 | Mastersthesis | LibreCat-ID: 15770
Warner D. On the Complexity of Local Transformations in SDN Overlays.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 15826
Chen W-F, Syed S, Stein B, Hagen M, Potthast M. Abstractive Snippet Generation. In: Proceedings of the the Web Conference 2020. ; 2020:1309-1319.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15629
Wever MD, Tornede A, Mohr F, Hüllermeier E. LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification. In: Springer.
LibreCat
 

2020 | Dissertation | LibreCat-ID: 15631
Feldkord B. Mobile Resource Allocation.; 2020. doi:10.17619/UNIPB/1-869
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 15489
Claes L, Steidl C, Hetkämper T, Henning B. Estimation of acoustic wave non-linearity in ultrasonic measurement systems. arXiv.org. 2020.
LibreCat | Download (ext.) | arXiv
 

2020 | Journal Article | LibreCat-ID: 16278
Nomikos N, Michailidis ET, Trakadas P, et al. A UAV-based moving 5G RAN for massive connectivity of mobile users and IoT devices. Vehicular Communications. 2020. doi:10.1016/j.vehcom.2020.100250
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16280
Li F, Yu D, Yang H, Yu J, Karl H, Cheng X. Multi-Armed-Bandit-Based Spectrum Scheduling Algorithms in Wireless Networks: A Survey. IEEE Wireless Communications. 2020:24-30. doi:10.1109/mwc.001.1900280
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 16297
Hernández Castellanos CI, Ober-Blöbaum S, Peitz S. Explicit Multi-objective Model Predictive Control for Nonlinear Systems  Under Uncertainty. arXiv:200206006. 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 16855
Krauter S, Zhang L. Eignung der Netzfrequenz als Instrument der Entscheidungsfindung zur Auslösung von Lastverschiebungen bei niedrigen spezifischen CO 2 -Emsissionen und EEX- Handelspreisen. In: Tagungsband Des 35. Symposiums Für Photovoltaische Solarenergie, Kloster Banz, Bad Staffelstein (Deutschland). Bad Staffelstein; 2020.
LibreCat
 

2020 | Preprint | LibreCat-ID: 16867
Gebken B, Peitz S. An efficient descent method for locally Lipschitz multiobjective optimization problems. arXiv:200411578. 2020.
LibreCat | Download (ext.)
 

2020 | Preprint | LibreCat-ID: 16898
Lass M, Schade R, Kühne T, Plessl C. A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K. 2020.
LibreCat | arXiv
 

2020 | Conference Paper | LibreCat-ID: 3878
El Baff R, Wachsmuth H, Al-Khatib K, Stein B. Analyzing the Persuasive Effect of Style in News Editorial Argumentation. In: Tsujii J, Hajic J, eds. Proceedings of 58th Annual Meeting of the Association for Computational Linguistics. ; 2020:553-564.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16487
Bobolz J, Eidens F, Krenn S, Slamanig D, Striecks C. Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection. In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20),. New York, NY, USA: ACM; 2020. doi:10.1145/3320269.3384769
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 16963
Kuklinski C, Leis E, Liebendörfer M, Hochmuth R. Erklärung von Mathematikleistung im Ingenieursstudium. In: Frank A, Krauss S, Binder K, eds. Beiträge Zum {Mathematikunterricht} 2019 53. {Jahrestagung} Der {Gesellschaft} Für {Didaktik} Der {Mathematik}. Münster: WTM-Verlag; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 15821
Bondarenko A, Hagen M, Potthast M, et al. Touché: First Shared Task on Argument Retrieval. In: Proceedings of the 42nd European Conference on Information Retrieval (ECIR 2020). ; 2020:517-523.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17322
Mukherjee A, Widhalm A, Siebert D, et al. Electrically controlled rapid adiabatic passage in a single quantum dot. Applied Physics Letters. 2020. doi:10.1063/5.0012257
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 15605
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Test Case Co-Migration Method Patterns. Software Engineering 2020 Workshopband. 2020.
LibreCat
 

2020 | Research Data | LibreCat-ID: 12950
Claes L, Webersen M. Pyfds 0.1.3 - Modular Field Simulation Tool. GitHub, Inc.; 2020. doi:10.5281/ZENODO.2649826
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 12878
Rengaraj V, Lass M, Plessl C, Kühne T. Accurate Sampling with Noisy Forces from Approximate Computing. Computation. 2020;8(2). doi:10.3390/computation8020039
LibreCat | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 16363
Hansmeier T, Kaufmann P, Platzner M. Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold. In: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York, NY, United States: Association for Computing Machinery (ACM).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16899
Krauter S, Bendfeld J. Comparison of Microinverters: Update on Rankings of Conversion Efficiencies and Energy Yields. In: Proceedings of the 47th IEEE Photovoltaic Specialists Conference (PVSC 47) JUNE 15 - AUGUST 21, 2020 VIRTUAL MEETING. ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16933
Gottschalk S, Rittmeier F, Engels G. Hypothesis-driven Adaptation of Business Models based on Product Line Engineering (To Appear). In: Proceedings of the 22nd IEEE International Conference on Business Informatics. IEEE; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16724
Sharma A, Wehrheim H. Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi Z, Kaufmann P, Platzner M. Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices. In: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC). ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 15163
Feldmann N, Schulze V, Jurgelucks B, Henning B. Solving piezoelectric inverse problems using Algorithmic Differentiation. In: Fortschritte Der Akustik - DAGA 2020. ; 2020:1125-1128.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16964
Hochmuth R, Liebendörfer M, Biehler R, Eichler A. Das Kompetenzzentrum Hochschuldidaktik Mathematik (khdm). Neues Handbuch Hochschullehre. 2020;95:117-138.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16902
Feldmann M, Scheideler C, Schmid S. Survey on Algorithms for Self-Stabilizing Overlay Networks. ACM Computing Surveys. 2020. doi:10.1145/3397190
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17063
Hansmeier T, Kaufmann P, Platzner M. An Adaption Mechanism for the Error Threshold of XCSF. In: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York, NY, United States: Association for Computing Machinery (ACM); 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16274
Jovanovikj I, Nagaraj A, Yigitbas E, Anjorin A, Sauer S, Engels G. Validating Test Case Migration via Mutation Analysis (to appear). In: Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST. ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17082
Hasnain A, Karl H. Coflow Scheduling with Performance Guarantees for Data Center Applications. In: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID). IEEE Computer Society; 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 15264
Johannesmann S, Becker S, Webersen M, Henning B. Determination of Murnaghan constants of plate-shaped polymers under uniaxial tensile load. In: SMSI 2020 - Measurement Science. ; 2020. doi:10.5162/SMSI2020/D6.1
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16868
Alshomary M, Syed S, Potthast M, Wachsmuth H. Target Inference in Argument Conclusion Generation. In: Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020). Proceedings of 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics; 2020:4334-4345.
LibreCat | Files available
 

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: 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.
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 | Conference Paper | LibreCat-ID: 16934
Gottschalk S, Yigitbas E, Engels G. Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs (To Appear). In: Shishkov B, ed. Business Modeling and Software Design. Lecture Notes in Business Information Processing. Springer International Publishing; 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
 

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: 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 | 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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed