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.

5346 Publications


2020 | Conference Paper | LibreCat-ID: 20518
Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM; 2020. doi:10.1145/3365438.3410946
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: 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 | 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: 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 | Book Chapter | LibreCat-ID: 13108
Schumacher J, Rezat S. Rekonstruktion diagrammatischen Schließens beim Erlernen der Subtraktion negativer Zahlen. Vergleich zweier methodischer Zugänge. In: Kadunz G, ed. Zeichen und Sprache im Mathematikunterricht. Springer; 2020. doi:10.1007/978-3-662-61194-4_5
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 17369
Ho N, Kaufmann P, Platzner M. Evolution of Application-Specific Cache Mappings. International Journal of Hybrid intelligent Systems. 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17408
Hanselle JM, Tornede A, Wever MD, Hüllermeier E. Hybrid Ranking and Regression for Algorithm Selection. In: KI 2020: Advances in Artificial Intelligence. ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17763
Haeb-Umbach R. Sprachtechnologien für Digitale Assistenten. In: Böck R, Siegert I, Wendemuth A, eds. Studientexte Zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020. TUDpress, Dresden; 2020:227-234.
LibreCat | Download (ext.)
 

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 | Conference Paper | LibreCat-ID: 18021
Yigitbas E, Tejedor CB, Engels G. Experiencing and Programming the ENIAC in VR. In: Proceedings of the Mensch Und Computer 2020 (MuC ’20). ; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18038
Böttcher S, Hartel R, Peeters S. QSGG: query simulation in grammar-compressed graphs. In: Proceedings of The International Workshop on Semantic Big Data. ; 2020. doi:10.1145/3391274.3393638
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 18850
Poeplau M, Ester S, Henning B, Wagner T. Recombination mechanisms of luminescence type gas sensors. Physical Chemistry Chemical Physics. 2020. doi:10.1039/d0cp02269a
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16400
Müller M, Behnke D, Bök P-B, Schneider SB, Peuster M, Karl H. Cloud-Native Threat Detection and Containment for Smart Manufacturing. In: IEEE Conference on Network Softwarization (NetSoft) Demo Track. Ghent, Belgium: IEEE; 2020.
LibreCat
 

2020 | Preprint | LibreCat-ID: 17605
Heid SH, Wever MD, Hüllermeier E. Reliable Part-of-Speech Tagging of Historical Corpora through Set-Valued Prediction. Journal of Data Mining and Digital Humanities.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 19656
Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models. In: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16309
Peitz S, Otto SE, Rowley CW. Data-Driven Model Predictive Control using Interpolated Koopman  Generators. SIAM Journal on Applied Dynamical Systems. 2020;19(3):2162-2193. doi:10.1137/20M1325678
LibreCat | DOI | Download (ext.)
 

2020 | Bachelorsthesis | LibreCat-ID: 18639
Terfort T. Enhancing Security by Usage of Universal One-Way Hash Functions. Universität Paderborn; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17371
Castenow J, Kling P, Knollmann T, Meyer auf der Heide F. Brief Announcement: A Discrete and Continuous Study of the Max-Chain-Formation Problem: Slow Down to Speed up. In: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. ; 2020. doi:10.1145/3350755.3400263
LibreCat | Files available | DOI | arXiv
 

2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20305
Menzefricke JS, Frank M, Drewel M, Dumitrescu R. Value-centered design of a digital service robotics platform. In: Mpofu K, Butala P, eds. Procedia CIRP. Vol 91. ; 2020:690-695.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3776
Chen W-F, Al-Khatib K, Wachsmuth H, Stein B. Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity. In: Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science. ; 2020:149-154.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20355
Koldewey C, Gausemeier J, Chohan N, Frank M, Reinhold J, Dumitrescu R. Aligning Strategy and Structure for Smart Service Businesses in Manufacturing. In: IEEE, ed. Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 18350
Koldewey C, Meyer M, Stockbrügger P, Dumitrescu R, Gausemeier J. Framework and Functionality Patterns for Smart Service Innovation. Procedia CIRP. 2020;(91):851-857. doi:10.1016/j.procir.2020.02.244
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20189
Hammer M, Ebers L, Förstner J. Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles. Optical and Quantum Electronics. 2020;52. doi:10.1007/s11082-020-02595-z
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 20507
Geismann J, Bodden E. A systematic literature review of model-driven security engineering for cyber–physical systems. Journal of Systems and Software. 2020;169:110697. doi:https://doi.org/10.1016/j.jss.2020.110697
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas E. Model-driven engineering and usability evaluation of self-adaptive user interfaces. In: ACM SIGWEB Newsletter. ACM; 2020. doi:https://doi.org/10.1145/3427478.3427480
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
Gerking C. Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University; 2020. doi:10.17619/UNIPB/1-1033
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19606
Gottschalk S, Yigitbas E, Schmidt E, Engels G. ProConAR: A Tool Support for Model-based AR Product Configuration. In: Bernhaupt R, Ardito C, Sauer S, eds. Human-Centered Software Engineering. HCSE 2020. Vol 12481. Lecture Notes in Computer Science. Cham: Springer; 2020. doi:10.1007/978-3-030-64266-2_14
LibreCat | Files available | DOI
 

2020 | Book Chapter | LibreCat-ID: 20571
Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodellvalidierung. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:106-111.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20122
El Baff R, Al-Khatib K, Stein B, Wachsmuth H. Persuasiveness of News Editorials depending on Ideology and Personality. In: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020). ; 2020:29-40.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20766
Kinoshita K, von Neumann TC, Delcroix M, Nakatani T, Haeb-Umbach R. Multi-Path RNN for Hierarchical Modeling of Long Sequential Data and its Application to Speaker Stream Separation. In: Proc. Interspeech 2020. ; 2020:2652-2656. doi:10.21437/Interspeech.2020-2388
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 20836
Magenheim J, Schulte C. Data science education. Encyclopedia of Education and Information Technologies Cham: Springer. 2020. doi:10.1007/978-3-030-10576-1_253
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26. doi:10.4230/LIPIcs.ECOOP.2020.11
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous A. Measuring the Performance of SNARK Libraries.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20139
Spliethöver M, Wachsmuth H. Argument from Old Man’s View: Assessing Social Bias in Argumentation. In: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020). ; 2020:76-87.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 21269
Ködding P, Reinhold J, Scholtysik M, Dumitrescu R. Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics. 2020;18(2):14-19.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper C, Gausemeier J. Developing Strategies for Digital Transformation in SMEs with Maturity Models. In: Proceeding of the ISPIM Connects. ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20449
Uhlmann E, Dumitrescu R, Polte J, Meyer M, Simsek D. Datengetriebene Steigerung der Verfügbarkeit. wt Werkstattstechnik online . 2020;110(07-08):532-535.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21396
Jager T, Niehues D. On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In: Lecture Notes in Computer Science. Cham; 2020. doi:10.1007/978-3-030-38471-5_13
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 21391
Reinhart F, von Enzberg S, Kühn A, Dumitrescu R. Machine Learning for Process-X: A Taxonomy. In: Beyerer J, Maier A, Niggemann O, eds. Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation). Vol 11. Springer Vieweg, Berlin, Heidelberg; 2020:25-33.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21389
Hillebrand M, Greinert M, Herzog O, Dumitrescu R. Advanced Monkey Testing for connected autonomous systems. In: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE). ; 2020:163-168.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21384
Röltgen D, Dumitrescu R. Classification of Industrial Augmented Reality Use Cases. In: Procedia CIRP. ; 2020:93-100.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21480
Anjorin A, Weidmann N, Oppermann R, Fritsche L, Schürr A. Automating test schedule generation with domain-specific languages. In: Syriani E, Sahraoui H, de Lara J, Abrahao S, eds. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. ACM; 2020. doi:10.1145/3365438.3410991
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19632
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Augmented and Virtual Reality Object Repository for Rapid Prototyping . In: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20). Springer; 2020:216-224.
LibreCat
 

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

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 . Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF). 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 18014
El Mesaoudi-Paul A, Weiß D, Bengs V, Hüllermeier E, Tierney K. Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach. In: Learning and Intelligent Optimization. LION 2020. Vol 12096. Lecture Notes in Computer Science. Cham: Springer; 2020:216-232. doi:10.1007/978-3-030-53552-0_22
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 21536
Bengs V, Hüllermeier E. Multi-Armed Bandits with Censored Consumption of Resources. arXiv:201100813. 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 | 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 | 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 | 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 | 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: 15605
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Test Case Co-Migration Method Patterns. Software Engineering 2020 Workshopband. 2020.
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: 17411
Flaßkamp K, Ober-Blöbaum S, Peitz S. Symmetry in Optimal Control: A Multiobjective Model Predictive Control Approach. In: Junge O, Schütze O, Froyland G, Ober-Blöbaum S, Padberg-Gehle K, eds. Advances in Dynamics, Optimization and Computation. Cham: Springer; 2020. doi:10.1007/978-3-030-51264-4_9
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 13868
Pukrop S, Mäcker A, Meyer auf der Heide F. Approximating Weighted Completion Time for Order Scheduling with Setup Times. In: Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 17598
Nakatani T, Boeddeker C, Kinoshita K, Ikeshita R, Delcroix M, Haeb-Umbach R. Jointly optimal denoising, dereverberation, and source separation. IEEE/ACM Transactions on Audio, Speech, and Language Processing. 2020:1-1. doi:10.1109/TASLP.2020.3013118
LibreCat | DOI | Download (ext.)
 

2020 | Conference (Editor) | LibreCat-ID: 17839
Scheideler C, Spear M, eds. SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. ACM; 2020. doi:10.1145/3350755
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18039
Böttcher S, Hartel R, Peeters S. Pattern Search in Grammar-Compressed Graphs. In: 2020 Data Compression Conference (DCC) (Poster). ; 2020. doi:10.1109/dcc47342.2020.00054
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18387
Krauter S, Bendfeld J. Elevated Temperatures Affecting Efficiency, Overall Performance and Energy Yield of PV Microinverters. In: Proceedings of the EU PVSEC 2020 . ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 17358
Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. IEEE Transactions On Very Large Scale Integration Systems. 2020;28(9):2084-2088. doi:10.1109/TVLSI.2020.3008061
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 19607
Schneider SB, Klenner LD, Karl H. Every Node for Itself: Fully Distributed Service Coordination. In: IEEE International Conference on Network and Service Management (CNSM). IEEE; 2020.
LibreCat | Files available
 

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

2020 | Conference Paper | LibreCat-ID: 20159
Baswana S, Gupta S, Knollmann T. Mincut Sensitivity Data Structures for the Insertion of an Edge. In: Grandoni F, Herman G, Sanders P, eds. 28th Annual European Symposium on Algorithms (ESA 2020). Vol 173. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2020:12:1-12:14. doi:10.4230/LIPIcs.ESA.2020.12
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18022
Augstein M, Buschek D, Herder E, Loepp B, Yigitbas E, Ziegler J. UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence. In: Proceedings of the Mensch Und Computer 2020 (MuC ’20). ACM; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16968
Braun M, Castenow J, Meyer auf der Heide F. Local Gathering of Mobile Robots in Three Dimensions. In: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO). Springer; 2020. doi:10.1007/978-3-030-54921-3_4
LibreCat | Files available | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20274
Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, eds. Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\_3
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20279
Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR. 2020;abs/2002.12278.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20306
Tornede A, Wever MD, Hüllermeier E. Towards Meta-Algorithm Selection. In: Workshop MetaLearn 2020 @ NeurIPS 2020. ; 2020.
LibreCat
 

2020 | Conference Paper | 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. In: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC). Los Alamitos, CA, USA: IEEE Computer Society; 2020:1127-1140. doi:10.1109/SC41405.2020.00084
LibreCat | DOI | arXiv
 

2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring M. A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20510
Benz M, Krogh Kristensen E, Luo L, P. Borges Jr. N, Bodden E, Zeller A. Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. In: International Conference for Software Engineering (ICSE). ; 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering. 2020.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20515
Gräßler I, Bodden E, Pottebaum J, Geismann J, Roesmann D. Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. In: Advances in Intelligent Systems and Computing. Cham; 2020. doi:10.1007/978-3-030-50936-1_121
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20363
Koldewey C, Frank M, Gausemeier J, Bäsecke A, Reinhold J, Dumitrescu R. Systematische Entwicklung von Normstrategien für Smart Services. ZWF Zeitschrift für wirtschaftliche Fabrikplanung. 2020;115(7-8):524-528. doi:10.3139/104.112297
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20185
Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In: Devismes S, Mittal N, eds. Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings . Vol 12514. Lecture Notes in Computer Science (LNCS). Springer; 2020:60-64. doi:10.1007/978-3-030-64348-5_5
LibreCat | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20116
Nouri Z, Wachsmuth H, Engels G. Mining Crowdsourcing Problems from Discussion Forums of Workers. In: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics. ; :6264-6276.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 16297
Hernández Castellanos CI, Ober-Blöbaum S, Peitz S. Explicit Multi-objective Model Predictive Control for Nonlinear Systems  Under Uncertainty. International Journal of Robust and Nonlinear Control. 2020;30(17):7593-7618. doi:10.1002/rnc.5197
LibreCat | DOI
 

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;116:251103. doi:10.1063/5.0012257
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 17803
Grynko Y, Shkuratov Y, Förstner J. Light backscattering from large clusters of densely packed irregular particles. Journal of Quantitative Spectroscopy and Radiative Transfer. 2020;255:107234. doi:10.1016/j.jqsrt.2020.107234
LibreCat | Files available | DOI
 

2020 | Report | LibreCat-ID: 20712
Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20700
Boeddeker C, Cord-Landwehr T, Heitkaemper J, et al. Towards a speaker diarization system for the CHiME 2020 dinner party transcription. In: Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments. ; 2020.
LibreCat | Files available
 

2020 | Preprint | LibreCat-ID: 20748
Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC Synthesis. Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20755
Feldmann M, Hinnenthal K, Scheideler C. Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs. In: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020.
LibreCat | Files available | arXiv
 

2020 | Conference Paper | LibreCat-ID: 20762
von Neumann TC, Kinoshita K, Drude L, et al. End-to-End Training of Time Domain Audio Separation and Recognition. In: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ; 2020:7004-7008. doi:10.1109/ICASSP40776.2020.9053461
LibreCat | Files available | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 20820
Thiele S. Implementing Machine Learning Functions as PYNQ FPGA Overlays.; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20452
Terfloth L, Budde L, Schulte C. Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example. In: New York, NY, USA: Association for Computing Machinery; 2020. doi:10.1145/3428029.3428052
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed