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.
9839 Publications
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 | Conference Paper | LibreCat-ID: 717 | 
@inproceedings{Dräxler_Karl_Peuster_Razzaghi Kouchaksaraei_Bredel_Lessmann_Soenen_Tavernier_Mendel-Brin_Xilouris_2017, title={SONATA: Service programming and orchestration for virtualized software networks}, DOI={10.1109/iccw.2017.7962785}, booktitle={2017 IEEE International Conference on Communications Workshops (ICC Workshops)}, publisher={IEEE}, author={Dräxler, Sevil and Karl, Holger and Peuster, Manuel and Razzaghi Kouchaksaraei, Hadi and Bredel, Michael and Lessmann, Johannes and Soenen, Thomas and Tavernier, Wouter and Mendel-Brin, Sharon and Xilouris, George}, year={2017} }
LibreCat
| Files available
| DOI
| Download (ext.)
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 | Mastersthesis | LibreCat-ID: 74
@book{Knorr_2017, title={OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten}, publisher={Universität Paderborn}, author={Knorr, Christoph}, year={2017} }
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 85
@book{Lohrsträter_2017, title={Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture}, publisher={Universität Paderborn}, author={Lohrsträter, Lukas}, year={2017} }
LibreCat
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: 87 |
@inproceedings{Dräxler_Karl_Mann_2017, title={Joint Optimization of Scaling and Placement of Virtual Network Services}, DOI={10.1109/CCGRID.2017.25}, booktitle={Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017)}, author={Dräxler, Sevil and Karl, Holger and Mann, Zoltan Adam}, year={2017} }
LibreCat
| Files available
| 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 | Bachelorsthesis | LibreCat-ID: 88
@book{Ganesh Athreya_2017, title={Instantiating a Predicate Encryption Scheme via Pair Encodings}, publisher={Universität Paderborn}, author={Ganesh Athreya, Advait}, year={2017} }
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 96
@book{Warkentin_2017, title={Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle}, publisher={Universität Paderborn}, author={Warkentin, Markus}, year={2017} }
LibreCat
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 | Conference Paper | LibreCat-ID: 981 |
@inproceedings{Peuster_Karl_2017, place={Berlin}, title={Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments}, DOI={10.1109/NFV-SDN.2017.8169826}, booktitle={IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN)}, author={Peuster, Manuel and Karl, Holger}, year={2017} }
LibreCat
| Files available
| DOI
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