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.

4521 Publications


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

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

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

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
 

2019 | Journal Article | LibreCat-ID: 10595
On the hierarchical structure of Pareto critical sets
B. Gebken, S. Peitz, M. Dellnitz, Journal of Global Optimization 73 (2019) 891–913.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11714
Data Acquisition for Argument Search: The args.me Corpus
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, B. Stein, in: Proceedings of the 42nd Edition of the German Conference on Artificial Intelligence, 2019, pp. 48–59.
LibreCat | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed