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.

4652 Publications


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

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

2020 | Conference Paper | LibreCat-ID: 15821
Touché: First Shared Task on Argument Retrieval
A. Bondarenko, M. Hagen, M. Potthast, H. Wachsmuth, M. Beloucif, C. Biemann, A. Panchenko, B. Stein, in: Proceedings of the 42nd European Conference on Information Retrieval (ECIR 2020), 2020, pp. 517–523.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17322
Electrically controlled rapid adiabatic passage in a single quantum dot
A. Mukherjee, A. Widhalm, D. Siebert, S. Krehs, N. Sharma, A. Thiede, D. Reuter, J. Förstner, A. Zrenner, Applied Physics Letters (2020).
LibreCat | Files available | DOI
 

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

2020 | Journal Article | LibreCat-ID: 17358
Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems (2020) 1–5.
LibreCat | DOI
 

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

2020 | Book Chapter | LibreCat-ID: 17411
Symmetry in Optimal Control: A Multiobjective Model Predictive Control Approach
K. Flaßkamp, S. Ober-Blöbaum, S. Peitz, in: O. Junge, O. Schütze, G. Froyland, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020.
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 13868
Approximating Weighted Completion Time for Order Scheduling with Setup Times
S. Pukrop, A. Mäcker, F. Meyer auf der Heide, 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
Jointly optimal denoising, dereverberation, and source separation
T. Nakatani, C. Boeddeker, K. Kinoshita, R. Ikeshita, M. Delcroix, R. Haeb-Umbach, IEEE/ACM Transactions on Audio, Speech, and Language Processing (2020) 1–1.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17803
Light backscattering from large clusters of densely packed irregular particles
Y. Grynko, Y. Shkuratov, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 255 (2020).
LibreCat | Files available | DOI
 

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

2020 | Research Data | LibreCat-ID: 12950
pyfds 0.1.3 - modular field simulation tool
L. Claes, M. Webersen, Pyfds 0.1.3 - Modular Field Simulation Tool, GitHub, Inc., 2020.
LibreCat | Files available | DOI
 

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

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

2020 | Conference Paper | LibreCat-ID: 16899
Comparison of Microinverters: Update on Rankings of Conversion Efficiencies and Energy Yields
S. Krauter, J. Bendfeld, 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: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
 

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

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

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

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

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

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

2020 | Conference Paper | LibreCat-ID: 15264
Determination of Murnaghan constants of plate-shaped polymers under uniaxial tensile load
S. Johannesmann, S. Becker, M. Webersen, B. Henning, in: SMSI 2020 - Measurement Science, 2020.
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 16933
Hypothesis-driven Adaptation of Business Models based on Product Line Engineering
S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 17397
Using Full Duplex Relaying to Reduce Physical Layer Latency in Platooning
M.S. Amjad, T. Hardes, M. Schettler, C. Sommer, F. Dressler, in: 2019 IEEE Vehicular Networking Conference (VNC), 2020.
LibreCat | DOI
 

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

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

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

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

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

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

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

2020 | Journal Article | LibreCat-ID: 16965
Ein Kurzbericht aus dem Forschungsprojekt WiGeMath-Lernzentren als Unterstützungsmaßnahme für mathematikbezogenes Lernen in der Studieneingangsphase
M. Schürmann, N. Schaper, M. Liebendörfer, R. Biehler, E. Lankeit, R. Hochmuth, J. Ruge, C. Kuklinski, Dghd-Newsletter 01/2020 (2020) 25–29.
LibreCat
 

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

2020 | Conference Paper | LibreCat-ID: 7283
Extractive Snippet Generation for Arguments
M. Alshomary, N. Düsterhus, H. Wachsmuth, 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
Model-Driven Mutation Framework for Validation of Test Case Migration (to appear)
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the International Conference on Systems Modelling and Management ICSMM, 2020.
LibreCat
 

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

2020 | Conference Paper | LibreCat-ID: 16934
Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020, pp. 276–286.
LibreCat | Files available | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 16213
A Hybrid Synthesis Methodology for Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020, ACM, n.d., pp. 1–6.
LibreCat | DOI
 

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

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

2020 | Journal Article | LibreCat-ID: 16299
Gathering Anonymous, Oblivious Robots on a Grid
J. Castenow, M. Fischer, J. Harbig, D. Jung, F. Meyer auf der Heide, Theoretical Computer Science 815 (2020) 289–309.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17836
Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 17994
The Approximation of Invariant Sets in Infinite Dimensional Dynamical Systems
R. Gerlach, A. Ziessler, in: O. Junge, O. Schütze, S. Ober-Blöbaum, K. Padberg-Gehle (Eds.), Advances in Dynamics, Optimization and Computation, Springer, Cham, 2020, pp. 55–85.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (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}, Springer, 2019, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed