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.

7557 Publications


2017 | Dissertation | LibreCat-ID: 707
Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 708
Schwabe, Arne, et al. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5, doi:10.1109/NETSOFT.2017.8004209.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 71
Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.” Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26, doi:10.1145/3121257.3121262.
LibreCat | Files available | DOI
 

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 | OA
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 | Bachelorsthesis | LibreCat-ID: 50
Hamdeev, Erna. Verzerrte Online-Produktbewertungen - Literaturüberblick. Universität Paderborn, 2017.
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
 

Filters and Search Terms

isbn%3D978-3-486-59827-8

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed