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.
4679 Publications
2015 | Conference Paper | LibreCat-ID: 283
@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Just test what you cannot verify!}, DOI={10.1007/978-3-662-46675-9_7}, booktitle={Fundamental Approaches to Software Engineering}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Egyed, Alexander and Schaefer, InaEditors}, year={2015}, pages={100–114}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 28336
@inbook{Peter_Gausemeier_Amshoff_Koldewey_2015, title={Vorausschau von Stakeholder-Verhalten mit der Szenario-Technik}, booktitle={Symposium für Vorausschau und Technologieplanung, Band 347 , Kapitel: 1}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Peter, Stefan and Gausemeier, Jürgen and Amshoff, Benjamin and Koldewey, Christian}, year={2015}, pages={41–60} }
LibreCat
2015 | Journal Article | LibreCat-ID: 284
@article{Eikel_Scheideler_2015, title={IRIS: A Robust Information System Against Insider DoS Attacks}, DOI={10.1145/2809806}, number={3}, journal={Transactions on Parallel Computing}, publisher={ACM}, author={Eikel, Martina and Scheideler, Christian}, year={2015}, pages={18:1--18:33} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
@inproceedings{Isenberg_2015, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1109/ACSD.2015.13}, booktitle={Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)}, author={Isenberg, Tobias}, year={2015}, pages={1–9} }
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
@book{Kalde_2015, title={Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup}, publisher={Universität Paderborn}, author={Kalde, Benedikt}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
@inproceedings{Wette_Karl_2015, title={HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks}, DOI={10.1109/EWSDN.2015.57}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Wette, Philip and Karl, Holger}, year={2015}, pages={1--7} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
@inproceedings{Scheideler_Setzer_Strothmann_2015, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures}, DOI={10.4230/LIPIcs.OPODIS.2015.24}, booktitle={Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS)}, author={Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik}, year={2015}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
@inproceedings{Koutsopoulos_Scheideler_Strothmann_2015, series={Lecture Notes in Computer Science}, title={Towards a Universal Approach for the Finite Departure Problem in Overlay Networks}, DOI={10.1007/978-3-319-21741-3_14}, booktitle={Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, author={Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik}, year={2015}, pages={201–216}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
@inproceedings{Strothmann_2015, series={LNCS}, title={The impact of communication patterns on distributed locally self-adjusting binary search trees}, DOI={10.1007/978-3-319-15612-5_16}, booktitle={Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM)}, author={Strothmann, Thim Frederik}, year={2015}, pages={175--186}, collection={LNCS} }
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 244
@article{Monien_Mavronicolas_2015, title={The complexity of pure equilibria in mix-weighted congestion games on parallel links}, volume={115}, DOI={10.1016/j.ipl.2015.07.012}, number={12}, journal={Information Processing Letters}, publisher={Elsevier}, author={Monien, Burkhard and Mavronicolas, Marios}, year={2015}, pages={927–931} }
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 245
@inproceedings{Becker_Lehrig_Becker_2015, place={New York, NY, USA}, series={ICPE ’15}, title={Systematically Deriving Quality Metrics for Cloud Computing Systems}, DOI={10.1145/2668930.2688043}, booktitle={Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering}, author={Becker, Matthias and Lehrig, Sebastian and Becker, Steffen}, year={2015}, pages={169--174}, collection={ICPE ’15} }
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations}, publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
@inproceedings{Schwabe_Karl_2015, title={SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics}, DOI={10.1109/EWSDN.2015.58}, booktitle={Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015)}, author={Schwabe, Arne and Karl, Holger}, year={2015}, pages={37–42} }
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 258
@book{Sonntag_2015, title={Reputation und Vertrauen auf Online-Märkten}, publisher={Universität Paderborn}, author={Sonntag, Melissa}, year={2015} }
LibreCat
2015 | Conference Abstract | LibreCat-ID: 259
@inproceedings{Gutt_Kundisch_2015, title={Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?}, booktitle={INFORMS Annual Meeting}, author={Gutt, Dominik and Kundisch, Dennis}, year={2015} }
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
@article{Brosig_Meier_Becker_Koziolek_Koziolek_Kounev_2015, title={Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures}, DOI={10.1109/TSE.2014.2362755}, number={2}, journal={Transactions on Software Engineering}, publisher={IEEE}, author={Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko and Kounev, Samuel}, year={2015}, pages={157--175} }
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
@book{Eisenhofer_2015, title={Protokolle zur authentifizierten Schüsselvereinbarung}, publisher={Universität Paderborn}, author={Eisenhofer, Thorsten}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 26123
@article{Schiller_Schmid_2015, title={Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials}, DOI={10.1016/j.powtec.2015.03.048}, journal={Powder Technology}, author={Schiller, Sascha and Schmid, Hans-Joachim}, year={2015}, pages={96–105} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 262
@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs from Proofs of Predicated Dataflow Analyses}, DOI={10.1145/2695664.2695690}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736}, collection={SAC ’15} }
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 263
@article{Hallmann_Suhl_2015, title={Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation}, DOI={10.1007/s00291-015-0403-1}, journal={OR Spectrum}, publisher={Springer}, author={Hallmann, Corinna and Suhl, Leena}, year={2015}, pages={1–19} }
LibreCat
| Files available
| DOI