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.

3333 Publications


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

2019 | Conference Paper | LibreCat-ID: 13138
Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach
S. Gottschalk, F. Rittmeier, G. Engels, in: S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, P. Abrahamsson (Eds.), Software Business, Springer International Publishing, Cham, 2019, pp. 192–207.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12894
ABIS 2019 – 23rd International Workshop on Personalization and Recommendation on the Web and Beyond
M. Augstein, E. Herder, W. Wörndl, E. Yigitbas, in: 30th ACM Conference on Hypertext and Social Media (HT ’19), September 17–20, 2019, Hof, Germany, ACM, 2019.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 12072
Veins: The Open Source Vehicular Network Simulation Framework
C. Sommer, D. Eckhoff, A. Brummer, D.S. Buse, F. Hagenauer, S. Joerer, M. Segata, in: Recent Advances in Network Simulation, Cham, 2019.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12870
Managing Multiple Mobile Resources
B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2019, pp. 120–137.
LibreCat | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 12882
A Rapid Prototyping for Wireless Virtual Network Embedding using MARVELO
H. Afifi, H. Karl, S. Eikenberg, A. Mueller, L. Gansel, A. Makejkin, K. Hannemann, R. Schellenberg, in: 2019 IEEE Wireless Communications and Networking Conference (WCNC) (IEEE WCNC 2019), Marrakech, Morocco, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 11985
Efficient Multi-Channel Simulation of Wireless Communications
F. Bronner, C. Sommer, in: 2018 IEEE Vehicular Networking Conference (VNC), 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13873
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed