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.
12214 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: 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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 | 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.
2019 | Conference Paper | LibreCat-ID: 13141
Incremental (Unidirectional) Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, 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. 131–140.
LibreCat
| DOI
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, 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. 131–140.
2019 | Conference Paper | LibreCat-ID: 13142
Incremental Bidirectional Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, E. Leblebici, in: J. Cheney, H.-S. Ko (Eds.), Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019, CEUR-WS.org, 2019, pp. 45–55.
LibreCat
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, E. Leblebici, in: J. Cheney, H.-S. Ko (Eds.), Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019, CEUR-WS.org, 2019, pp. 45–55.
2019 | Journal Article | LibreCat-ID: 13143
Acoustic absorption measurement for the determination of the volume viscosity of pure fluids / Messverfahren für die akustischen Absorption zur Bestimmung der Volumenviskosität reiner Fluide
L. Claes, L.M. Hülskämper, E. Baumhögger, N. Feldmann, R.S. Chatwell, J. Vrabec, B. Henning, Tm - Technisches Messen (2019) 2–6.
LibreCat
| DOI
L. Claes, L.M. Hülskämper, E. Baumhögger, N. Feldmann, R.S. Chatwell, J. Vrabec, B. Henning, Tm - Technisches Messen (2019) 2–6.