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.
7878 Publications
2017 | Conference Paper | LibreCat-ID: 70
B. Feldkord, C. Markarian, and F. Meyer auf der Heide, “Price Fluctuations in Online Leasing,” in Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 71
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 | 
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, and H. Karl, “A flexible multi-pop infrastructure emulator for carrier-grade MANO systems,” in IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, Bologna, 2017, pp. 1--3.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 73
M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process,” in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
S. Schwichtenberg, C. Gerth, and G. Engels, “From Open API to Semantic Specifications and Code Adapters,” in Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 9872
R. Mahnken, “,,Identification of Material Parameters for Constitutive Equations “,” in Encyclopedia of Computational Mechanics, 2nd ed., vol. 4, E. Stein, R. de Borst, and T. J. R. Hughes, Eds. John Wiley & Sons, 2017, p. 1165.
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
H. Wehrheim, “Fault localization in service compositions,” in Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9970
A. Bender, J. K. Kimotho, S. Kohl, W. Sextro, and K. Reinke, “Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen,” in 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
LibreCat