en
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.
3837 Publications
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
LibreCat
| Files available
| DOI
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
2019 | Conference Paper | LibreCat-ID: 7669
A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
LibreCat
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
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
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
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
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.
2019 | Conference Paper | LibreCat-ID: 13107
A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers
J. Schumacher, S. Rezat, in: U.T. Jankvist, M. Van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, Utrecht, the Netherlands, n.d.
LibreCat
J. Schumacher, S. Rezat, in: U.T. Jankvist, M. Van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, Utrecht, the Netherlands, n.d.
2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
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: 2019.
LibreCat
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, B. Stein, in: 2019.
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
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
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
| DOI
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
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) (Accepted), Springer, n.d.
LibreCat
| arXiv
B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA) (Accepted), Springer, n.d.
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
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.
2019 | Conference Paper | LibreCat-ID: 14819
Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
LibreCat
| DOI
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
2019 | Conference Paper | LibreCat-ID: 14826
Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party ASR
N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, R. Haeb-Umbach, in: INTERSPEECH 2019, Graz, Austria, 2019.
LibreCat
| Files available
N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, R. Haeb-Umbach, in: INTERSPEECH 2019, Graz, Austria, 2019.
2019 | Journal Article | LibreCat-ID: 15002
Multi-target prediction: a unifying view on problems and methods
W. Waegeman, K. Dembczynski, E. Hüllermeier, Data Mining and Knowledge Discovery 33 (2019) 293–324.
LibreCat
| DOI
W. Waegeman, K. Dembczynski, E. Hüllermeier, Data Mining and Knowledge Discovery 33 (2019) 293–324.
2019 | Journal Article | LibreCat-ID: 14028
Adaptive confidence sets for kink estimation
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
LibreCat
| DOI
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
2019 | Conference Paper | LibreCat-ID: 15007
Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA
V. Melnikov, E. Hüllermeier, in: Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101), 2019.
LibreCat
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101), 2019.
2019 | Conference Paper | LibreCat-ID: 15014
Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants
E. Hüllermeier, I. Couso, S. Diestercke, in: Proceedings SUM 2019, International Conference on Scalable Uncertainty Management, 2019.
LibreCat
E. Hüllermeier, I. Couso, S. Diestercke, in: Proceedings SUM 2019, International Conference on Scalable Uncertainty Management, 2019.
2019 | Conference (Editor) | LibreCat-ID: 15235
Proceedings of the 6th Workshop on Argument Mining
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
LibreCat
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
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.)
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.