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.
9684 Publications
2017 | Dissertation | LibreCat-ID: 707
@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={10.17619/UNIPB/1-307}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 708
@inproceedings{Schwabe_Rojas_Karl_2017, title={Minimizing downtimes: Using dynamic reconfiguration and state management in SDN}, DOI={10.1109/NETSOFT.2017.8004209}, booktitle={2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017}, author={Schwabe, Arne and Rojas, Elisa and Karl, Holger}, year={2017}, pages={1--5} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, series={SWAN’17}, title={Predicting Rankings of Software Verification Tools}, DOI={10.1145/3121257.3121262}, booktitle={Proceedings of the 3rd International Workshop on Software Analytics}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={23–26}, collection={SWAN’17} }
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
@book{Czech_Hüllermeier_Jakobs_Wehrheim_2017, title={Predicting Rankings of Software Verification Competitions}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 | 
@inproceedings{Peuster_Dräxler_Razzaghi Kouchaksaraei_van Rossem_Tavernier_Karl_2017, title={A flexible multi-pop infrastructure emulator for carrier-grade MANO systems}, DOI={10.1109/NETSOFT.2017.8004250}, booktitle={IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017}, author={Peuster, Manuel and Dräxler, Sevil and Razzaghi Kouchaksaraei, Hadi and van Rossem, Steven and Tavernier, Wouter and Karl, Holger}, year={2017}, pages={1--3} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 73
@inproceedings{Jakobs_2017, series={Lecture Notes in Computer Science}, title={PART_PW: From Partial Analysis Results to a Proof Witness}, DOI={10.1007/978-3-319-66197-1_8}, booktitle={Software Engineering and Formal Methods}, author={Jakobs, Marie-Christine}, editor={Cimatti, Alessandro and Sirjani, MarjanEditors}, year={2017}, pages={120–135}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
@inproceedings{Platenius_Arifulina_Schäfer_2017, series={Lecture Notes in Informatics (LNI)}, title={MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)}, booktitle={Tagungsband Software Engineering}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm}, year={2017}, pages={81--82}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 8564
@article{Liebendörfer_Schukajlow_2017, title={Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?}, volume={49}, DOI={10.1007/s11858-016-0827-3}, number={3}, journal={ZDM}, author={Liebendörfer, Michael and Schukajlow, Stanislaw}, year={2017}, pages={355–366} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 8752
@inproceedings{Peitz_Dellnitz_2017, place={Cham}, title={Gradient-Based Multiobjective Optimization with Uncertainties}, DOI={10.1007/978-3-319-64063-1_7}, booktitle={NEO 2016}, author={Peitz, Sebastian and Dellnitz, Michael}, year={2017}, pages={159–182} }
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 89
@book{Bäumer_2017, title={Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen}, DOI={10.17619/UNIPB/1-157}, publisher={Universität Paderborn}, author={Bäumer, Frederik Simon}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 9682
@inproceedings{Brecht_Lazo-Arjona_Kaczmarek_Parker_Ricken_Quiring_Eigner_Luo_Herrmann_Silberhorn_et al._2017, title={A monolithic, doubly-resonant parametric down-conversion source for Caesium Raman memories}, DOI={10.1364/fio.2017.jw4a.3}, booktitle={Frontiers in Optics 2017}, author={Brecht, Benjamin and Lazo-Arjona, O. and Kaczmarek, K. T. and Parker, T. and Ricken, R. and Quiring, V. and Eigner, Christof and Luo, K. H. and Herrmann, Harald and Silberhorn, Christine and et al.}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place={Piscataway, NJ, USA}, title={From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process}, DOI={10.1109/REW.2017.26}, booktitle={2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)}, publisher={IEEE}, author={van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor}, year={2017}, pages={379–385} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
@inproceedings{Schwichtenberg_Gerth_Engels_2017, title={From Open API to Semantic Specifications and Code Adapters}, booktitle={Proceedings of the 24th IEEE International Conference on Web Services (ICWS)}, author={Schwichtenberg, Simon and Gerth, Christian and Engels, Gregor}, year={2017}, pages={484--491} }
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 9872
@inbook{Mahnken_2017, edition={2}, title={,,Identification of Material Parameters for Constitutive Equations “}, volume={4}, booktitle={Encyclopedia of Computational Mechanics}, publisher={John Wiley & Sons}, author={Mahnken, Rolf}, editor={Stein, Erwin and de Borst, Rene and Hughes, Thomas J.R.Editors}, year={2017}, pages={1165} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
@inproceedings{Wehrheim_2017, series={LNCS}, title={Fault localization in service compositions}, booktitle={Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS)}, author={Wehrheim, Heike}, year={2017}, collection={LNCS} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9970
@inproceedings{Bender_Kimotho_Kohl_Sextro_Reinke_2017, title={Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen}, booktitle={15. Internationale Schienenfahrzeugtagung}, author={Bender, Amelie and Kimotho, James Kuria and Kohl, Sergej and Sextro, Walter and Reinke, Kai}, year={2017}, pages={123–125} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 3950
@inbook{Riedl_Lindner_2017, title={Heteroepitaxy of III–V Zinc Blende Semiconductors on Nanopatterned Substrates}, DOI={10.5772/67572}, booktitle={Nanoscaled Films and Layers}, publisher={InTech}, author={Riedl, Thomas and Lindner, Jörg}, editor={Nanai, L.Editor}, year={2017} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 5019
@article{Klör_Monhof_Beverungen_Bräuer_2017, title={Design and Evaluation of a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries}, DOI={10.1057/s41303-017-0044-3}, journal={European Journal of Information Systems (EJIS)}, author={Klör, B and Monhof, M and Beverungen, Daniel and Bräuer, S}, year={2017}, pages={1--19} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 5028
@inbook{Becker_Monhof_Beverungen_Bräuer_Klör_Plenter_2017, place={Stuttgart}, title={End-of-Life Solutions für eCar-Batterien --- Entwicklung hybrider Leistungsbündel und Informationssysteme zur Entscheidungsunterstützung (EOL-IS)}, booktitle={Dienstleistungen als Erfolgsfaktor für Elektromobilität. Ergebnisse aus dem Förderschwerpunkt “Dienstleistungsinnovationen für Elektromobilität”}, author={Becker, Jörg and Monhof, Markus and Beverungen, Daniel and Bräuer, Sebastian and Klör, Benjamin and Plenter, Florian}, editor={Ganz, Walter and Kampker, Achim and Satzger, GerhardEditors}, year={2017}, pages={24--29} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 5076
@inbook{Beverungen_Matzner_2017, place={München}, title={Informationsmodellierung in Dienstleistungssystemen}, booktitle={Handbuch Dienstleistungsmanagement}, publisher={Verlag Franz Vahlen}, author={Beverungen, Daniel and Matzner, Martin }, editor={Roth, Stefan and Corsten, HansEditors}, year={2017}, pages={S. 519–536} }
LibreCat