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.
9825 Publications
2019 | Conference Paper | LibreCat-ID: 13993
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
2019 | Conference Paper | LibreCat-ID: 14025
A feature-based classification of triple graph grammar variants
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
LibreCat
| DOI
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
2019 | Conference Paper | LibreCat-ID: 14026
Consistency management via a combination of triple graph grammars and linear programming
N. Weidmann, A. Anjorin, E. Leblebici, A. Schürr, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
LibreCat
| DOI
N. Weidmann, A. Anjorin, E. Leblebici, A. Schürr, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, ACM, 2019.
2019 | Journal Article | LibreCat-ID: 14027
Asymptotic confidence sets for the jump curve in bivariate regression problems
V. Bengs, M. Eulert, H. Holzmann, Journal of Multivariate Analysis (2019) 291–312.
LibreCat
| DOI
V. Bengs, M. Eulert, H. Holzmann, Journal of Multivariate Analysis (2019) 291–312.
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 | Patent | LibreCat-ID: 14032
Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).
LibreCat
| Download (ext.)
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).
2019 | Conference Paper | LibreCat-ID: 14539
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
LibreCat
| DOI
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
2019 | Mastersthesis | LibreCat-ID: 14546
Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers
T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.
LibreCat
T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 13048
Built-in Test for Hidden Delay Faults
M. Kampmann, M. A. Kochte, C. Liu, E. Schneider, S. Hellebrand, H.-J. Wunderlich, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38 (2019) 1956–1968.
LibreCat
M. Kampmann, M. A. Kochte, C. Liu, E. Schneider, S. Hellebrand, H.-J. Wunderlich, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38 (2019) 1956–1968.
2019 | Conference Paper | LibreCat-ID: 13106
Rekonstruktion diagrammatischen Schließens am Beispiel der Subtraktion negativer Zahlen
J. Schumacher, in: Beiträge zum Mathematikunterricht 2019, n.d.
LibreCat
J. Schumacher, in: Beiträge zum Mathematikunterricht 2019, n.d.
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: 13123
A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding
H. Afifi, K. Horbach, H. Karl, in: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019), Barcelona, Spain, 2019.
LibreCat
H. Afifi, K. Horbach, H. Karl, in: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019), Barcelona, Spain, 2019.
2019 | Dissertation | LibreCat-ID: 13124
Scaling, placement, and routing for pliable virtualized composed services
S. Dräxler, Scaling, Placement, and Routing for Pliable Virtualized Composed Services, Universität Paderborn, 2019.
LibreCat
S. Dräxler, Scaling, Placement, and Routing for Pliable Virtualized Composed Services, Universität Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 13125
Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd
T. Görzen, Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd, Universität Paderborn, 2019.
LibreCat
T. Görzen, Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd, Universität Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Universität Paderborn, 2019.
LibreCat
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Universität Paderborn, 2019.
2019 | Mastersthesis | LibreCat-ID: 13128 |
Rational Secure Multiparty Computation
H. Bröcher, Rational Secure Multiparty Computation, Universität Paderborn, 2019.
LibreCat
| Files available
H. Bröcher, Rational Secure Multiparty Computation, Universität Paderborn, 2019.
2019 | Conference Abstract | LibreCat-ID: 13132
From Automated to On-The-Fly Machine Learning
F. Mohr, M.D. Wever, A. Tornede, E. Hüllermeier, in: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., Bonn, 2019, pp. 273–274.
LibreCat
F. Mohr, M.D. Wever, A. Tornede, E. Hüllermeier, in: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., Bonn, 2019, pp. 273–274.
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.
2019 | Book (Editor) | LibreCat-ID: 13139 |
Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany
S. Rezat, L. Fan, M. Hattermann, J. Schumacher, H. Wuschke, eds., Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany, Universitätsbibliothek Paderborn, Paderborn, 2019.
LibreCat
| DOI
| Download (ext.)
S. Rezat, L. Fan, M. Hattermann, J. Schumacher, H. Wuschke, eds., Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany, Universitätsbibliothek Paderborn, Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 195–211.
LibreCat
| DOI
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 195–211.