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.
7271 Publications
2017 | Conference Paper | LibreCat-ID: 70
Feldkord, Björn, Christine Markarian, and Friedhelm Meyer auf der Heide. “Price Fluctuations in Online Leasing.” In Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 17–31, 2017. https://doi.org/10.1007/978-3-319-71147-8_2.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 7026
Zolatanosha, Viktoryia, and Dirk Reuter. “Robust Si 3 N 4 Masks for 100 Nm Selective Area Epitaxy of GaAs-Based Nanostructures.” Microelectronic Engineering 180 (2017): 35–39. https://doi.org/10.1016/j.mee.2017.05.053.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 707
Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-307.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 708
Schwabe, Arne, Elisa Rojas, and Holger Karl. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” In 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 1--5, 2017. https://doi.org/10.1109/NETSOFT.2017.8004209.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017. https://doi.org/10.1145/3121257.3121262.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 | 
Peuster, Manuel, Sevil Dräxler, Hadi Razzaghi Kouchaksaraei, Steven van Rossem, Wouter Tavernier, and Holger 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, 1--3, 2017. https://doi.org/10.1109/NETSOFT.2017.8004250.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 73
Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” In Software Engineering and Formal Methods, edited by Alessandro Cimatti and Marjan Sirjani, 120–35. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-66197-1_8.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract).” In Tagungsband Software Engineering, 81--82. Lecture Notes in Informatics (LNI), 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 8564
Liebendörfer, Michael, and Stanislaw Schukajlow. “Interest Development during the First Year at University: Do Mathematical Beliefs Predict Interest in Mathematics?” ZDM 49, no. 3 (2017): 355–66. https://doi.org/10.1007/s11858-016-0827-3.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 8752
Peitz, Sebastian, and Michael Dellnitz. “Gradient-Based Multiobjective Optimization with Uncertainties.” In NEO 2016, 159–82. Cham, 2017. https://doi.org/10.1007/978-3-319-64063-1_7.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 89
Bäumer, Frederik Simon. Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-157.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 9682
Brecht, Benjamin, O. Lazo-Arjona, K. T. Kaczmarek, T. Parker, R. Ricken, V. Quiring, Christof Eigner, et al. “A Monolithic, Doubly-Resonant Parametric down-Conversion Source for Caesium Raman Memories.” In Frontiers in Optics 2017, 2017. https://doi.org/10.1364/fio.2017.jw4a.3.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor 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), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, Simon, Christian Gerth, and Gregor Engels. “From Open API to Semantic Specifications and Code Adapters.” In Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 484--491, 2017.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 9872
Mahnken, Rolf. “,,Identification of Material Parameters for Constitutive Equations “.” In Encyclopedia of Computational Mechanics, edited by Erwin Stein, Rene de Borst, and Thomas J.R. Hughes, 2nd ed., 4:1165. John Wiley & Sons, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, Heike. “Fault Localization in Service Compositions.” In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9970
Bender, Amelie, James Kuria Kimotho, Sergej Kohl, Walter Sextro, and Kai Reinke. “Modellbasierte Prognose Der Nutzbaren Restlebensdauer von Gummi-Metall-Elementen.” In 15. Internationale Schienenfahrzeugtagung, 123–25, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 5019
Klör, B, M Monhof, Daniel Beverungen, and S Bräuer. “Design and Evaluation of a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries.” European Journal of Information Systems (EJIS), 2017, 1--19. https://doi.org/10.1057/s41303-017-0044-3.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 5028
Becker, Jörg, Markus Monhof, Daniel Beverungen, Sebastian Bräuer, Benjamin Klör, and Florian Plenter. “End-of-Life Solutions Für ECar-Batterien --- Entwicklung Hybrider Leistungsbündel Und Informationssysteme Zur Entscheidungsunterstützung (EOL-IS).” In Dienstleistungen Als Erfolgsfaktor Für Elektromobilität. Ergebnisse Aus Dem Förderschwerpunkt “Dienstleistungsinnovationen Für Elektromobilität,” edited by Walter Ganz, Achim Kampker, and Gerhard Satzger, 24--29. Stuttgart, 2017.
LibreCat