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.
12221 Publications
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 | 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 | Bachelorsthesis | LibreCat-ID: 86
@book{Niggemeyer_2017, title={Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland}, publisher={Universität Paderborn}, author={Niggemeyer, Laura}, year={2017} }
LibreCat
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 | Misc | LibreCat-ID: 8843
@book{Jovanovikj_2017, place={Berlin}, title={Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases}, author={Jovanovikj, Ivan}, 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 | Journal Article | LibreCat-ID: 9607
@article{Kakvi_Kiltz_2017, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={10.1007/s00145-017-9257-9}, journal={Journal of Cryptology}, author={Kakvi, Saqib and Kiltz, Eike}, year={2017}, pages={276–306} }
LibreCat
| DOI
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 983
@inproceedings{Auroux_Scholz_Karl_2017, title={Assessing Genetic Algorithms for Placing Flow Processing-aware Control Applications}, booktitle={Proc. European Wireless}, author={Auroux, Sébastien and Scholz, S. and Karl, Holger}, year={2017} }
LibreCat
| Download (ext.)
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