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.
7258 Publications
2017 | Report | LibreCat-ID: 72
Czech, Mike, et al. Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 | 
Peuster, Manuel, et al. “A Flexible Multi-Pop Infrastructure Emulator for Carrier-Grade MANO Systems.” IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3, doi: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.” Software Engineering and Formal Methods, edited by Alessandro Cimatti and Marjan Sirjani, 2017, pp. 120–35, doi:10.1007/978-3-319-66197-1_8.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract).” Tagungsband Software Engineering, 2017, pp. 81--82.
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, vol. 49, no. 3, 2017, pp. 355–66, doi: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.” NEO 2016, 2017, pp. 159–82, doi: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, doi:10.17619/UNIPB/1-157.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 9682
Brecht, Benjamin, et al. “A Monolithic, Doubly-Resonant Parametric down-Conversion Source for Caesium Raman Memories.” Frontiers in Optics 2017, 2017, doi:10.1364/fio.2017.jw4a.3.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, Lorijn, et al. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.” 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, 2017, pp. 379–85, doi:10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, Simon, et al. “From Open API to Semantic Specifications and Code Adapters.” Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 9872
Mahnken, Rolf. “,,Identification of Material Parameters for Constitutive Equations “.” Encyclopedia of Computational Mechanics, edited by Erwin Stein et al., 2nd ed., vol. 4, John Wiley & Sons, 2017, p. 1165.
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, Heike. “Fault Localization in Service Compositions.” Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9970
Bender, Amelie, et al. “Modellbasierte Prognose Der Nutzbaren Restlebensdauer von Gummi-Metall-Elementen.” 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–25.
LibreCat
2017 | Journal Article | LibreCat-ID: 5019
Klör, B., et al. “Design and Evaluation of a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries.” European Journal of Information Systems (EJIS), 2017, pp. 1--19, doi:10.1057/s41303-017-0044-3.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 5028
Becker, Jörg, et al. “End-of-Life Solutions Für ECar-Batterien --- Entwicklung Hybrider Leistungsbündel Und Informationssysteme Zur Entscheidungsunterstützung (EOL-IS).” Dienstleistungen Als Erfolgsfaktor Für Elektromobilität. Ergebnisse Aus Dem Förderschwerpunkt “Dienstleistungsinnovationen Für Elektromobilität,” edited by Walter Ganz et al., 2017, pp. 24--29.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5076
Beverungen, Daniel, and Martin Matzner. “Informationsmodellierung in Dienstleistungssystemen.” Handbuch Dienstleistungsmanagement, edited by Stefan Roth and Hans Corsten, Verlag Franz Vahlen, 2017, p. S. 519–536.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5184
Müller, Stefan. “Schranken urheberrechtlicher Befugnisse.” Urheberrecht und Internet, edited by Jürgen Ensthaler and Stefan Weidert, 3rd ed., Deutscher Fachverlag, 2017, pp. 219–78.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5204
Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
Fischer, Andreas, et al. “Computation on Encrypted Data Using Data Flow Authentication.” CoRR, vol. abs/1710.00390, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 6543
Mundry, J., et al. “Tunable Femtosecond Near-IR Source by Pumping an OPA Directly with a 90 MHz Yb:Fiber Source.” Applied Optics, vol. 56, no. 11, OSA, 2017, pp. 3104–08, doi:10.1364/AO.56.003104.
LibreCat
| DOI