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.

4625 Publications


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
 

2020 | Conference Paper | LibreCat-ID: 16934
Gottschalk S, Yigitbas E, Engels G. Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs. In: Shishkov B, ed. Business Modeling and Software Design. Vol 391. Lecture Notes in Business Information Processing. Springer International Publishing; 2020:276-286. doi:10.1007/978-3-030-52306-0_18
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 10330
Kiesel D, Riehmann P, Wachsmuth H, Stein B, Fröhlich B. Visual Analysis of Argumentation in Essays. IEEE Transactions of Visualization & Computer Graphics.
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. doi:10.1145/3386263.3406952
LibreCat | DOI
 

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

2020 | Conference Paper | LibreCat-ID: 17406
Becker J-K, Joachim K, Koldewey C, Reinhold J, Dumitrescu R. Scaling Digital Business Models: A Case from the Automotive Industry. 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
Castenow J, Fischer M, Harbig J, Jung D, Meyer auf der Heide F. Gathering Anonymous, Oblivious Robots on a Grid. Theoretical Computer Science. 2020;815:289-309. doi:10.1016/j.tcs.2020.02.018
LibreCat | DOI
 

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.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed