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.

5397 Publications


2020 | Journal Article | LibreCat-ID: 16290
K. Bieker, S. Peitz, S. L. Brunton, J. N. Kutz, and M. Dellnitz, “Deep model predictive flow control with limited sensor data and online learning,” Theoretical and Computational Fluid Dynamics, vol. 34, pp. 577–591, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 19383
S. Krauter and L. Zhang, “Correlation of grid-frequency, electricity prices, share of Renewables and CO2-contents of German electricity grid to enable inexpensive triggering of Demand-Side-Management,” 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: 19390
S. Krauter, D. Rustemovic, and A. Khatibi, “Reduction of required storage capacities for a 100% renewable energy supply in Germany, if new PV systems are installed with east-west tracking systems at increased elevation angles,” in Proceedings of the 35th European Photovoltaic Solar Energy Conference, 07 - 11 September 2020, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19422
A. Sprenger, S. Sadeghi-Kohan, J. D. Reimer, and S. Hellebrand, “Variation-Aware Test for Logic Interconnects using Neural Networks - A Case Study,” in IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT’20), October 2020.
LibreCat
 

2020 | Preprint | LibreCat-ID: 19941
R. I. McLachlan and C. Offen, “Backward error analysis for variational discretisations of partial  differential equations,” arXiv:2006.14172. .
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 19939
L. M. Kreusser, R. I. McLachlan, and C. Offen, “Detection of high codimensional bifurcations in variational PDEs,” Nonlinearity, vol. 33, no. 5, pp. 2335–2363, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Bachelorsthesis | LibreCat-ID: 18638
P. Kramer, Comparison of Zero-Knowledge Range Proofs. Universität Paderborn, 2020.
LibreCat
 

2020 | Dissertation | LibreCat-ID: 18520
A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks. Universität Paderborn, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19953
C. Damke, V. Melnikov, and E. Hüllermeier, “A Novel Higher-order Weisfeiler-Lehman Graph Convolution,” in Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020), Bangkok, Thailand, 2020, vol. 129, pp. 49–64.
LibreCat | Files available | arXiv
 

2020 | Conference (Editor) | LibreCat-ID: 20277
H. Wehrheim and J. Cabot, Eds., Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, vol. 12076. Springer, 2020.
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 20335
F. Winkelnkemper, C. Schulte, K. Eilerts, D. Bechinie, and T. Huhmann, “The Interdisciplinary Development of an Educational Game for Primary School Children--Lessons Learned,” in EdMedia+ Innovate Learning, 2020, pp. 522–529.
LibreCat
 

2020 | Dissertation | LibreCat-ID: 20513
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20568
J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in Der Geschäftsmodell-Toolguide , B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20570
C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 18789
T. Nickchen, G. Engels, and J. Lohn, “Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain,” in Industrializing Additive Manufacturing, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20140
J. Dorsch and H. Wachsmuth, “Semi-Supervised Cleansing of Web Argument Corpora,” in Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20695
C. Boeddeker, T. Nakatani, K. Kinoshita, and R. Haeb-Umbach, “Jointly Optimal Dereverberation and Beamforming,” in ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 20753
J. Ebbers and R. Haeb-Umbach, “Forward-Backward Convolutional Recurrent Neural Networks and Tag-Conditioned Convolutional Neural Networks for Weakly Labeled Semi-Supervised Sound Event Detection,” in Proceedings of the Detection and Classification of Acoustic Scenes and Events 2020 Workshop (DCASE2020), 2020.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 20835
J. Magenheim, “< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik,” MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, vol. 37, pp. 139–163, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21016
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2, 2020.
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16214
F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results with ReproDroid,” in Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123–124.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21268
T. Huhmann, K. Eilterts, C. Schulte, and F. Winkelnkemper, “Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken,” in Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17407
A. Tornede, M. D. Wever, and E. Hüllermeier, “Extreme Algorithm Selection with Dyadic Feature Representation,” in Discovery Science, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20450
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Framework for Data Analytics in Data-Driven Product Planning,” Procedia Manufacturing, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 19864
M. Meyer, M. Frank, M. Massmann, and R. Dumitrescu, “Research and Consulting in Data-Driven Strategic Product Planning,” Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020), 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20448
M. Meyer, M. Frank, M. Massmann, N. Wendt, and R. Dumitrescu, “Data-Driven Product Generation and Retrofit Planning,” Procedia CIRP, no. 93, pp. 965–970, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21383
C. Jürgenhake, H. Anacker, and R. Dumitrescu, “The digital Stadium – From future scenarios to technology and business model development,” in Proceedings of the IEEE, Dortmund, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21395
R. Dumitrescu, C. Tschirner, and M. Bansmann, “Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung,” in Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, G. Maier, G. Engels, and E. Steffen, Eds. Springer-Verlag GmbH, 2020, pp. 405–432.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21390
M. Hillebrand, M. Lakhani, and R. Dumitrescu, “A design methodology for deep reinforcement learning for autonomous Systems,” in Procedia Manufacturing 52, 2020, no. 52, pp. 266–271.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21388
L. Bretz, U. Koenemann, H. Anacker, and R. Dumitrescu, “A contribution to the design of organizational structures suitable for Systems Engineering,” in Procedia CIRP, 2020, no. 91, pp. 101–106.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21441
J. Yee et al., “Verification of Mathematical Model for Upper Limb Spasticity with Clinical Data,” in IOP Conference Series: Materials Science and Engineering, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21439
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, and R. Dumitrescu, “Towards a modular product architecture for electric ferries using Model- Based Systems Engineering,” in Procedia Manufacturing, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17084
N. Weidmann and A. Anjorin, “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming,” in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Dublin, Ireland, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “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), 2020.
LibreCat | DOI
 

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

2020 | Journal Article | LibreCat-ID: 21819
S. Klus, F. Nüske, and B. Hamzi, “Kernel-Based Approximation of the Koopman Generator and Schrödinger Operator,” Entropy, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 10596
O. Schütze, O. Cuate, A. Martín, S. Peitz, and M. Dellnitz, “Pareto Explorer: a global/local exploration tool for many-objective optimization problems,” Engineering Optimization, vol. 52, no. 5, pp. 832–855, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 16289
S. Peitz and S. Klus, “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, Cham: Springer, 2020, pp. 257–282.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16222
A. Zafeiropoulos 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
T. Kühne et al., “CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations,” The Journal of Chemical Physics, vol. 152, no. 19, 2020.
LibreCat | Files available | DOI | Download (ext.) | arXiv
 

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

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

2020 | Journal Article | LibreCat-ID: 17092
J. Anwer, S. Meisner, and M. Platzner, “Dynamic Reliability Management for FPGA-Based Systems,” International Journal of Reconfigurable Computing, pp. 1–19, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15825
J. Kiesel, K. Lang, H. Wachsmuth, E. Hornecker, and B. Stein, “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, pp. 53–62.
LibreCat | Download (ext.)
 

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

2020 | Book Chapter | LibreCat-ID: 17352
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization,” in Advances in Polymer Processing 2020, C. Hopmann and R. Dahlmann, Eds. Berlin, Heidelberg: Springer, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 13108
J. Schumacher and S. Rezat, “Rekonstruktion diagrammatischen Schließens beim Erlernen der Subtraktion negativer Zahlen. Vergleich zweier methodischer Zugänge,” in Zeichen und Sprache im Mathematikunterricht, G. Kadunz, Ed. Springer, 2020.
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 17408
J. M. Hanselle, A. Tornede, M. D. Wever, and E. Hüllermeier, “Hybrid Ranking and Regression for Algorithm Selection,” in KI 2020: Advances in Artificial Intelligence, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17763
R. Haeb-Umbach, “Sprachtechnologien für Digitale Assistenten,” in Studientexte zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020, 2020, pp. 227–234.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 16710
R. Gerlach, A. Ziessler, B. Eckhardt, and M. Dellnitz, “A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors,” SIAM Journal on Applied Dynamical Systems, pp. 705–723, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18021
E. Yigitbas, C. B. Tejedor, and G. Engels, “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
S. Böttcher, R. Hartel, and S. Peeters, “QSGG: query simulation in grammar-compressed graphs,” in Proceedings of The International Workshop on Semantic Big Data, 2020.
LibreCat | DOI
 

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

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

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

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

2020 | Journal Article | LibreCat-ID: 16309
S. Peitz, S. E. Otto, and C. W. Rowley, “Data-Driven Model Predictive Control using Interpolated Koopman  Generators,” SIAM Journal on Applied Dynamical Systems, vol. 19, no. 3, pp. 2162–2193, 2020.
LibreCat | DOI | Download (ext.)
 

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

2020 | Conference Paper | LibreCat-ID: 17371
J. Castenow, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “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.
LibreCat | Files available | DOI | arXiv
 

2020 | Conference (Editor) | LibreCat-ID: 20278
W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20305
J. S. Menzefricke, M. Frank, M. Drewel, and R. Dumitrescu, “Value-centered design of a digital service robotics platform,” in Procedia CIRP, 2020, vol. 91, pp. 690–695.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3776
W.-F. Chen, K. Al-Khatib, H. Wachsmuth, and B. Stein, “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, pp. 149–154.
LibreCat | Download (ext.)
 

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

2020 | Journal Article | LibreCat-ID: 18350
C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, and J. Gausemeier, “Framework and Functionality Patterns for Smart Service Innovation,” Procedia CIRP, no. 91, pp. 851–857, 2020.
LibreCat | DOI
 

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

2020 | Journal Article | LibreCat-ID: 20507
J. Geismann and E. Bodden, “A systematic literature review of model-driven security engineering for cyber–physical systems,” Journal of Systems and Software, vol. 169, p. 110697, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20514
E. Yigitbas, “Model-driven engineering and usability evaluation of self-adaptive user interfaces,” in ACM SIGWEB Newsletter, 2020.
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
C. Gerking, Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19606
S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “ProConAR: A Tool Support for Model-based AR Product Configuration,” in Human-Centered Software Engineering. HCSE 2020, Eindhoven, 2020, vol. 12481.
LibreCat | Files available | DOI
 

2020 | Book Chapter | LibreCat-ID: 20571
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20122
R. El Baff, K. Al-Khatib, B. Stein, and H. Wachsmuth, “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, pp. 29–40.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20766
K. Kinoshita, T. C. von Neumann, M. Delcroix, T. Nakatani, and R. Haeb-Umbach, “Multi-Path RNN for Hierarchical Modeling of Long Sequential Data and its Application to Speaker Stream Separation,” in Proc. Interspeech 2020, 2020, pp. 2652–2656.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 20836
J. Magenheim and C. Schulte, “Data science education,” Encyclopedia of Education and Information Technologies. Cham: Springer, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR,” in 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol. 166, pp. 11:1-11:26.
LibreCat | DOI
 

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

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

2020 | Journal Article | LibreCat-ID: 21269
P. Ködding, J. Reinhold, M. Scholtysik, and R. Dumitrescu, “Consulting via Research in IMPRESS,” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, pp. 14–19, 2020.
LibreCat
 

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

2020 | Journal Article | LibreCat-ID: 20449
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, and D. Simsek, “Datengetriebene Steigerung der Verfügbarkeit,” wt Werkstattstechnik online , vol. 110, no. 07–08, pp. 532–535, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21396
T. Jager and D. Niehues, “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 21391
F. Reinhart, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Machine Learning for Process-X: A Taxonomy,” in Machine Learning for Cyber Physical Systems. Technologien für die intelligente Automation (Technologies for Intelligent Automation), vol. 11, J. Beyerer, A. Maier, and O. Niggemann, Eds. Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
LibreCat
 

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

2020 | Conference Paper | LibreCat-ID: 21384
D. Röltgen and R. Dumitrescu, “Classification of Industrial Augmented Reality Use Cases,” in Procedia CIRP, 2020, no. 91, pp. 93–100.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21480
A. Anjorin, N. Weidmann, R. Oppermann, L. Fritsche, and A. Schürr, “Automating test schedule generation with domain-specific languages,” in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020, Virtual Event, Canada, 2020.
LibreCat | DOI
 

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

2020 | Book Chapter | LibreCat-ID: 15267
E. Yigitbas, I. Jovanovikj, S. Sauer, and G. Engels, “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
I. Jovanovikj, E. Yigitbas, S. Sauer, and G. Engels, “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
A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, and K. Tierney, “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach,” in Learning and Intelligent Optimization. LION 2020., vol. 12096, Cham: Springer, 2020, pp. 216–232.
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 21536
V. Bengs and E. Hüllermeier, “Multi-Armed Bandits with Censored Consumption of Resources,” arXiv:2011.00813. 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21719
M. Protte et al., “Towards Semiconductor-Superconductor-Crystal Hybrid Integration for Quantum Photonics,” in OSA Quantum 2.0 Conference, 2020.
LibreCat | Files available | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 15629
M. D. Wever, A. Tornede, F. Mohr, and E. Hüllermeier, “LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification,” presented at the Symposium on Intelligent Data Analysis, Konstanz, Germany.
LibreCat
 

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

2020 | Journal Article | LibreCat-ID: 16278
N. Nomikos et al., “A UAV-based moving 5G RAN for massive connectivity of mobile users and IoT devices,” Vehicular Communications, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16280
F. Li, D. Yu, H. Yang, J. Yu, H. Karl, and X. Cheng, “Multi-Armed-Bandit-Based Spectrum Scheduling Algorithms in Wireless Networks: A Survey,” IEEE Wireless Communications, pp. 24–30, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16855
S. Krauter and L. Zhang, “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
R. El Baff, H. Wachsmuth, K. Al-Khatib, and B. Stein, “Analyzing the Persuasive Effect of Style in News Editorial Argumentation,” in Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed