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.
9720 Publications
2013 | Conference Paper | LibreCat-ID: 775
@inproceedings{Keller_Peuster_Robbert_Karl_2013, title={A topology-aware adaptive deployment framework for elastic applications}, DOI={10.1109/ICIN.2013.6670895}, booktitle={17th International Conference on Intelligence in Next Generation Networks, {ICIN} 2013, Venice, Italy, October 15-16, 2013}, author={Keller, Matthias and Peuster, Manuel and Robbert, Christoph and Karl, Holger}, year={2013}, pages={61--69} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 776
@inproceedings{Herlich_Karl_2013, title={Energy-Efficient Assignment of User Equipment to Cooperative Base Stations}, booktitle={ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013}, author={Herlich, Matthias and Karl, Holger}, year={2013}, pages={1--5} }
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 7762
@book{Fazal-Baqaie_2013, series={Lecture Notes in Informatics}, title={Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany)}, volume={P-224}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, year={2013}, collection={Lecture Notes in Informatics} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 777
@inproceedings{Dräxler_Karl_2013, title={Cross-layer scheduling for multi-quality video streaming in cellular wireless networks}, DOI={10.1109/IWCMC.2013.6583724}, booktitle={2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013}, author={Dräxler, Martin and Karl, Holger}, year={2013}, pages={1181--1186} }
LibreCat
| DOI
2013 | Preprint | LibreCat-ID: 781
@article{Dräxler_Blobel_Dreimann_Valentin_Karl_2013, title={Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming}, journal={CoRR}, author={Dräxler, Martin and Blobel, Johannes and Dreimann, Philipp and Valentin, Stefan and Karl, Holger}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8057
@inproceedings{Nagel_Gerth_Post_Engels_2013, title={Ensuring Consistency Among Business Goals and Business Process Models}, booktitle={Proceedings of the 17th IEEE International EDOC Conference (EDOC’13)}, publisher={IEEE Computer Society}, author={Nagel, Benjamin and Gerth, Christian and Post, Jennifer and Engels, Gregor}, year={2013}, pages={17–26} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
@inproceedings{Schumacher_Engels_Güldali_Niehammer_Hamburg_2013, place={Bonn}, series={Lecture Notes in Informatics (LNI)}, title={Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern}, volume={P-213}, booktitle={Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Schumacher, Claudia and Engels, Gregor and Güldali, Baris and Niehammer, Markus and Hamburg, Matthias}, editor={Kowalewski, Stefan and Rumpe, BernhardEditors}, year={2013}, pages={331–344}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
@inproceedings{Engels_2013, series={LNI}, title={On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft}, volume={P-213}, booktitle={Software Engineering 2013}, author={Engels, Gregor}, year={2013}, pages={17–18}, collection={LNI} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
@inproceedings{Huma_Gerth_Engels_Juwig_2013, place={Berlin/Heidelberg}, series={LNCS }, title={Automated Service Composition for On-the-Fly SOAs}, volume={8274}, booktitle={Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)}, publisher={Springer-Verlag}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2013}, pages={524–532}, collection={LNCS } }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
@inproceedings{Luckey_Engels_2013, place={New York, NY, USA}, series={SEAMS ’13}, title={High-Quality Specification of Self-Adaptive Software Systems}, booktitle={Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus and Engels, Gregor}, year={2013}, pages={143–152}, collection={SEAMS ’13} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
@inproceedings{Brüseke_Becker_Engels_2013, title={Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis}, booktitle={Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic)}, publisher={ACM New York, NY, USA}, author={Brüseke, Frank and Becker, Steffen and Engels, Gregor}, year={2013}, pages={77–88} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
@inproceedings{Becker_Luckey_Becker_2013, place={New York, NY, USA}, series={QoSA 2013}, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, booktitle={Ninth International ACM Sigsoft Conference on the Quality of Software Architectures}, publisher={ACM New York, NY, USA}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52}, collection={QoSA 2013} }
LibreCat
2013 | Report | LibreCat-ID: 8222
@book{Küster_Kovács_Bauer_Gerth_2013, place={Zurich}, series={IBM Research Report}, title={Integrating Coverage Analysis into Test-driven Development of Model Transformations}, publisher={IBM Research}, author={Küster, Jochen and Kovács, Dániel and Bauer, Eduard and Gerth, Christian}, year={2013}, collection={IBM Research Report} }
LibreCat
2013 | Report | LibreCat-ID: 8223
@book{Huma_Gerth_Engels_2013, title={Automated Service Discovery and Composition for On-the-Fly SOAs}, publisher={University of Paderborn, Germany}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
@inproceedings{Yigitbas_Gerth_Sauer_2013, title={Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme}, booktitle={Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland}, author={Yigitbas, Enes and Gerth, Christian and Sauer, Stefan}, year={2013}, pages={2714–2723} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
@inbook{Klompmaker_Paelke_Fischer_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Taxonomy-Based Approach towards NUI Interaction Design}, volume={8028}, DOI={10.1007/978-3-642-39351-8_4}, booktitle={Distributed, Ambient, and Pervasive Interactions}, publisher={Springer Berlin Heidelberg}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
@inbook{Fischer_Strenge_Nebe_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, volume={8012}, DOI={10.1007/978-3-642-39229-0_28}, booktitle={Design, User Experience, and Usability. Design Philosophy, Methods, and Tools}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
@inproceedings{Fischer_Geis_Molich_Kluge_Heimgärtner_Hunkirchen_2013, title={Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimgärtner, Rüdiger and Hunkirchen, Peter}, year={2013}, pages={28–34} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Zero Overhead Runtime Monitoring}, DOI={10.1007/978-3-642-40561-7_17}, booktitle={Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={244–258}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
@inproceedings{Wette_Karl_2013, series={Digital Library}, title={Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow}, DOI={10.1145/2486001.2491710}, booktitle={Proceedings of the ACM SIGCOMM ’13}, author={Wette, Philip and Karl, Holger}, year={2013}, pages={541–542}, collection={Digital Library} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
@book{Tezer_2013, title={Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen}, publisher={Universität Paderborn}, author={Tezer, Alina}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 476
@article{Kolman_Scheideler_2013, title={Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing}, DOI={10.1007/s00224-013-9454-3}, number={2}, journal={Theory of Computing Systems}, publisher={Springer}, author={Kolman, Petr and Scheideler, Christian}, year={2013}, pages={341–363} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
@inproceedings{Abshoff_Benter_Cord-Landwehr_Malatyali_Meyer auf der Heide_2013, series={Lecture Notes in Computer Science}, title={Token Dissemination in Geometric Dynamic Networks}, DOI={10.1007/978-3-642-45346-5_3}, booktitle={Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers}, author={Abshoff, Sebastian and Benter, Markus and Cord-Landwehr, Andreas and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2013}, pages={22–34}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
@book{Timm_2013, title={Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems}, publisher={Universität Paderborn}, author={Timm, Nils}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
@inproceedings{Graffi_Bremer_2013, title={Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case}, DOI={10.1109/ICC.2013.6655082}, booktitle={Proceedings of the International Conference on Communications (ICC’13)}, author={Graffi, Kalman and Bremer, Lars}, year={2013}, pages={3444–3449} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
@inproceedings{Mohr_Kleine Büning_2013, title={Semi-Automated Software Composition Through Generated Components}, DOI={10.1145/2539150.2539235}, booktitle={Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS)}, author={Mohr, Felix and Kleine Büning, Hans}, year={2013}, pages={676–680} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
@book{Otte_2013, title={Seitenkanalresistenz paarungsbasierter Kryptographie}, publisher={Universität Paderborn}, author={Otte, Oliver}, year={2013} }
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
@book{Bobolz_2013, title={Security Proofs for Pairing-Based Cryptography in the Generic Group Model}, publisher={Universität Paderborn}, author={Bobolz, Jan}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
@inproceedings{Blömer_Günther_Krummel_2013, title={Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study}, booktitle={Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS)}, author={Blömer, Johannes and Günther, Peter and Krummel, Volker}, year={2013}, pages={98–105} }
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
@book{Wallaschek_2013, title={Routing in heterogenen OpenFlow Netzwerken}, publisher={Universität Paderborn}, author={Wallaschek, Felix}, year={2013} }
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
@book{Robbert_2013, title={Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case}, publisher={Universität Paderborn}, author={Robbert, Christoph}, year={2013} }
LibreCat
2013 | Dissertation | LibreCat-ID: 494
@book{von Detten_2013, title={Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn}, author={von Detten, Markus}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
@inproceedings{Mohr_Lettmann_Kleine Büning_2013, title={Reducing Nondeterminism in Automated Service Composition}, DOI={10.1109/SOCA.2013.25}, booktitle={Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA)}, author={Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans}, year={2013}, pages={154–161} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
@inproceedings{Benter_Neumann_Frey_2013, title={Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks}, DOI={10.1109/INFCOM.2013.6567022}, booktitle={Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM)}, author={Benter, Markus and Neumann, Florentin and Frey, Hannes}, year={2013}, pages={2193–2201} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Programs from Proofs – A PCC Alternative}, DOI={10.1007/978-3-642-39799-8_65}, booktitle={Proceedings of the 25th International Conference on Computer Aided Verification (CAV)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={912–927}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
@inproceedings{Kling_Pietrzyk_2013, title={Profitable Scheduling on Multiple Speed-Scalable Processors}, DOI={10.1145/2486159.2486183}, booktitle={Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Kling, Peter and Pietrzyk, Peter}, year={2013}, pages={251–260} }
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
@article{de Lemos_Giese_A. Müller_Shaw_Andersson_Litoiu_Schmerl_Tamura_M. Villegas_Vogel_et al._2013, title={Software Engineering for Self-Adaptive Systems: A Second Research Roadmap}, DOI={10.1007/978-3-642-35813-5_1}, journal={Software Engineering for Self-Adaptive Systems II}, author={de Lemos, Rogrio and Giese, Holger and A. Müller, Hausi and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and M. Villegas, Norha and Vogel, Thomas and et al.}, year={2013}, pages={1–32} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7272
@article{Bouillon_Güldali_Herrmann_Keuler_Moldt_Riebisch_2013, title={Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum}, volume={33}, number={1}, journal={Softwaretechnik-Trends}, author={Bouillon, Elke and Güldali, Baris and Herrmann, Andrea and Keuler, Thorsten and Moldt, Daniel and Riebisch, Matthias}, year={2013}, pages={29–30} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
@article{Grieger_Güldali_Sauer_Mlynarski_2013, title={Testen bei Migrationsprojekten}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Grieger, Marvin and Güldali, Baris and Sauer, Stefan and Mlynarski, Michael}, year={2013}, pages={1–4} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
@article{Fazal-Baqaie_Güldali_Luckey_Sauer_Spijkerman_2013, title={Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden}, number={RE/2013}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Fazal-Baqaie, Masud and Güldali, Baris and Luckey, Markus and Sauer, Stefan and Spijkerman, Michael}, year={2013}, pages={1–5} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
@article{Engels_Luckey_2013, title={Editorial}, volume={28}, number={1}, journal={Computer Science - Research and Development}, author={Engels, Gregor and Luckey, Markus}, year={2013}, pages={1–2} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title={Informationstechnik spart Ressourcen}, volume={16/2013}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan}, year={2013}, pages={54–61} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
@article{Gerth_Küster_Luckey_Engels_2013, title={Detection and Resolution of Conflicting Change Operations in Version Management of Process Models}, volume={12}, number={3}, journal={Software and Systems Modeling}, author={Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor}, year={2013}, pages={517–535} }
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
@article{Faragó_Törsel_Mlynarski_Weißleder_Güldali_Brandes_2013, title={Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt}, volume={4}, journal={OBJEKTspektrum}, author={Faragó, David and Törsel, Arne-Michael and Mlynarski, Michael and Weißleder, Stephan and Güldali, Baris and Brandes, Christian}, year={2013}, pages={32–38} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 7523
@inbook{Engels_Sauer_2013, place={Singapore}, title={Object-oriented Modeling of Multimedia Applications}, volume={2}, DOI={https://doi.org/10.1142/4603}, booktitle={Handbook of Software Engineering and Knowledge Engineering}, publisher={World Scientific Publishing Company}, author={Engels, Gregor and Sauer, Stefan}, editor={Chang, S KEditor}, year={2013}, pages={21--53} }
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7569
@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7571
@book{Gerth_2013, title={Business Process Models - Change Management}, author={Gerth, Christian}, year={2013} }
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 769
@article{Biermann_Scalia_Choi_Kellerer_Karl_2013, title={How backhaul networks influence the feasibility of coordinated multipoint in cellular networks}, DOI={10.1109/MCOM.2013.6576356}, number={8}, journal={{IEEE} Communications Magazine}, author={Biermann, Thorsten and Scalia, Luca and Choi, Changsoon and Kellerer, Wolfgang and Karl, Holger}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 8485
@inproceedings{Spijkerman_2013, series={LNI}, title={Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden}, volume={215}, booktitle={Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)}, publisher={GI}, author={Spijkerman, Michael }, year={2013}, pages={425--434}, collection={LNI} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
@inproceedings{Nagel _Gerth _Post_Engels_2013, series={CEUR Workshop Proceedings}, title={Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies}, volume={998}, booktitle={Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)}, publisher={CEUR-WS.org}, author={Nagel , Benjamin and Gerth , Christian and Post, Jennifer and Engels, Gregor}, year={2013}, pages={9--16}, collection={CEUR Workshop Proceedings} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
@inproceedings{Kehrer _Gerth_2013, series={Softwaretechnik-Trends}, title={CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.}, volume={33}, number={2}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Kehrer , Timo and Gerth, Christian }, year={2013}, pages={32–34}, collection={Softwaretechnik-Trends} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8488
@inproceedings{Grieger _Sauer_2013, title={Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung}, booktitle={Software Engineering 2013 Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Grieger , Marvin and Sauer, Stefan}, year={2013}, pages={189–200} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8489
@inproceedings{Nagel _Gerth _Engels_2013, title={Goal-driven Composition of Business Process Models}, booktitle={Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)}, author={Nagel , Benjamin and Gerth , Christian and Engels, Gregor}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8490
@inproceedings{Fazal-Baqaie _Luckey _Engels_2013, title={Assembly-based Method Engineering with Method Patterns}, booktitle={Software Engineering 2013 Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Fazal-Baqaie , Masud and Luckey , Markus and Engels, Gregor}, year={2013}, pages={435–444} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 8547
@inbook{Göller_Kortemeyer_Liebendörfer_Biehler_Hochmuth_Krämer_Ostsieker_Schreiber_2013, place={Münster}, title={Instrumentenentwicklung zur Messung von Lernstrategien in mathematikhaltigen Studiengängen}, booktitle={Beiträge zum Mathematikunterricht 2013: Vorträge auf der 47. Tagung für Didaktik der Mathematik}, publisher={WTM-Verlag}, author={Göller, Robin and Kortemeyer, Jörg and Liebendörfer, Michael and Biehler, Rolf and Hochmuth, Reinhard and Krämer, Jana and Ostsieker, Laura and Schreiber, Stephan}, editor={Greefrath, GilbertEditor}, year={2013}, pages={360–363} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8549
@inproceedings{Kolter_Liebendörfer_2013, place={Kassel}, title={Mathe – nein danke? Interesse im und am Mathematikstudium bei Grundschullehramtsstudierenden mit Pflichtfach}, booktitle={Mathematik im Übergang Schule / Hochschule und im ersten Studienjahr}, author={Kolter, Jana and Liebendörfer, Michael}, year={2013}, pages={101–102} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 8551
@inbook{Liebendörfer_Hochmuth_2013, place={Kiel}, title={Interest and Self-Determination in the Transition to Studying Mathematics}, volume={5}, booktitle={Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education}, author={Liebendörfer, Michael and Hochmuth, Reinhard}, editor={Lindmeier, Anke and Heinze, AisoEditors}, year={2013}, pages={240} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8553
@inproceedings{Liebendörfer_Hochmuth_2013, place={Ankara}, title={Interest in Mathematics and the First Steps at the University}, booktitle={Proceedings of the 8th {Conference} of European Research in Mathematics Education}, publisher={Middle East Technical University}, author={Liebendörfer, Michael and Hochmuth, Reinhard}, editor={Ubuz, Behiye and Haser, Çiğdem} and Mariotti, Maria AlessandraEditors}, year={2013}, pages={2386–2395} }
LibreCat
2013 | Journal Article | LibreCat-ID: 4098
@article{Brassat_Assion_Hilleringmann_Lindner_2013, title={Self-organization of nanospheres in trenches on silicon surfaces}, volume={210}, DOI={10.1002/pssa.201200899}, number={8}, journal={physica status solidi (a)}, publisher={Wiley}, author={Brassat, Katharina and Assion, Fabian and Hilleringmann, Ulrich and Lindner, Jörg}, year={2013}, pages={1485–1489} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 501
@book{Happe_2013, place={Berlin}, title={Performance and thermal management on self-adaptive hybrid multi-cores}, publisher={Logos Verlag Berlin GmbH}, author={Happe, Markus}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 506
@inproceedings{Engels_2013, series={LNI}, title={On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft}, booktitle={Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)}, author={Engels, Gregor}, year={2013}, pages={17–18}, collection={LNI} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 507
@inproceedings{Abshoff_Benter_Malatyali_Meyer auf der Heide_2013, series={LNCS}, title={On Two-Party Communication Through Dynamic Networks}, DOI={10.1007/978-3-319-03850-6_2}, booktitle={Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS)}, author={Abshoff, Sebastian and Benter, Markus and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2013}, pages={11–22}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
@inproceedings{Wette_Karl_2013, title={On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks}, DOI={10.1109/LANMAN.2013.6528271}, booktitle={Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN)}, author={Wette, Philip and Karl, Holger}, year={2013}, pages={1–6} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
@inproceedings{Autenrieth_Frey_2013, title={On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings}, DOI={10.1109/NetSys.2013.10}, booktitle={Proceedings of the Conference on Networked Systems (NetSys)}, author={Autenrieth, Marcus and Frey, Hannes}, year={2013}, pages={126–131} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 511
@book{Splietker_2013, title={MapReduce in Software Defined Networks}, publisher={Universität Paderborn}, author={Splietker, Malte}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
@inproceedings{Avin_Häupler_Lotker_Scheideler_Schmid_2013, title={Locally Self-Adjusting Tree Networks}, DOI={10.1109/IPDPS.2013.40}, booktitle={Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS)}, author={Avin, Chen and Häupler, Bernhard and Lotker, Zvi and Scheideler, Christian and Schmid, Stefan}, year={2013}, pages={395–406} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
@book{Pietrzyk_2013, title={Local and Online Algorithms for Facility Location}, publisher={Universität Paderborn}, author={Pietrzyk, Peter}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 517
@inproceedings{Walther_Wehrheim_2013, title={Knowledge-Based Verification of Service Compositions - An SMT approach}, DOI={10.1109/ICECCS.2013.14}, booktitle={Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)}, author={Walther, Sven and Wehrheim, Heike}, year={2013}, pages={24–32} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 519
@inproceedings{Eikel_Scheideler_2013, title={IRIS: A Robust Information System Against Insider DoS-Attacks}, DOI={10.1145/2486159.2486186}, booktitle={Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Eikel, Martina and Scheideler, Christian}, year={2013}, pages={119–129} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 520
@inproceedings{Wette_Karl_2013, title={Incorporating feedback from application layer into routing and wavelength assignment algorithms}, DOI={10.1109/INFCOMW.2013.6970733}, booktitle={Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM)}, author={Wette, Philip and Karl, Holger}, year={2013}, pages={51–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Mastersthesis | LibreCat-ID: 521
@book{Riebler_2013, title={Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs}, publisher={Universität Paderborn}, author={Riebler, Heinrich}, year={2013} }
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
@book{Feldotto_2013, title={HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths}, publisher={Universität Paderborn}, author={Feldotto, Matthias}, year={2013} }
LibreCat
2013 | Preprint | LibreCat-ID: 524
@article{Meyer auf der Heide_Swirkot_2013, title={Hierarchies in Local Distributed Decision}, publisher={arXiv}, author={Meyer auf der Heide, Friedhelm and Swirkot, Kamil}, year={2013} }
LibreCat
| Files available
| arXiv
2013 | Bachelorsthesis | LibreCat-ID: 525
@book{Niklas Vinkemeier_2013, title={Haptics - Hadoop performance testing in concurrent job scenarios}, publisher={Universität Paderborn}, author={Niklas Vinkemeier, Tim}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in On-The-Fly Computing}, DOI={10.1145/2491411.2492405}, booktitle={Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}, author={Christin Platenius, Marie}, year={2013}, pages={715–718} }
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 534
@book{Satya_2013, title={Emulating Wavelength Division Multiplexing using Openflow}, publisher={Universität Paderborn}, author={Satya, Suhas}, year={2013} }
LibreCat
2013 | Preprint | LibreCat-ID: 538 |
@article{Blömer_Liske_2013, title={Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles}, publisher={Universität Paderborn}, author={Blömer, Johannes and Liske, Gennadij}, year={2013} }
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 541
@inproceedings{Graffi_Rapp_2013, title={Continuous Gossip-based Aggregation through Dynamic Information Aging}, DOI={10.1109/ICCCN.2013.6614118}, booktitle={Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13)}, author={Graffi, Kalman and Rapp, Vitaly}, year={2013}, pages={1–7} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 542
@inproceedings{Kniesburges_Koutsopoulos_Scheideler_2013, series={LNCS}, title={CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system}, DOI={10.1007/978-3-642-41527-2_37}, booktitle={Proceedings of the 27th International Symposium on Distributed Computing (DISC)}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2013}, pages={537–549}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 544
@inproceedings{Feldotto_Graffi_2013, title={Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM}, DOI={10.1109/HPCSim.2013.6641399}, booktitle={Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13)}, author={Feldotto, Matthias and Graffi, Kalman}, year={2013}, pages={99–106} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 546
@inproceedings{Graffi_Benter_Divband_Kniesburges_Koutsopoulos_2013, title={Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network}, DOI={10.1109/NetSys.2013.11}, booktitle={Proceedings of the Conference on Networked Systems (NetSys)}, author={Graffi, Kalman and Benter, Markus and Divband, Mohammad and Kniesburges, Sebastian and Koutsopoulos, Andreas}, year={2013}, pages={27–34} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 547
@book{Gerth_2013, title={Business Process Models - Change Management}, DOI={10.1007/978-3-642-38604-6}, publisher={Universität Paderborn}, author={Gerth, Christian}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 548
@inproceedings{Graffi_Klerx_2013, title={Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks}, DOI={10.1109/P2P.2013.6688720}, booktitle={Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13)}, author={Graffi, Kalman and Klerx, Timo}, year={2013}, pages={1–5} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 551
@inproceedings{Huma_Gerth_Engels_Juwig_2013, series={LNCS}, title={Automated Service Composition for On-the-Fly SOAs}, DOI={10.1007/978-3-642-45005-1_42}, booktitle={Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2013}, pages={524--532}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 553
@book{Kohn_2013, title={Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise}, publisher={Universität Paderborn}, author={Kohn, Kathlén}, year={2013} }
LibreCat
2013 | Mastersthesis | LibreCat-ID: 555
@book{Setzer_2013, title={Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs}, publisher={Universität Paderborn}, author={Setzer, Alexander}, year={2013} }
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 558
@book{Flocchini_Gao_Kranakis_Meyer auf der Heide_2013, series={LNCS}, title={Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics}, volume={8243}, DOI={10.1007/978-3-642-45346-5}, publisher={Springer}, year={2013}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 559
@inproceedings{Wette_Graffi_2013, title={Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables}, DOI={10.1109/NetSys.2013.9}, booktitle={Proceedings of the Conference on Networked Systems (NetSys)}, author={Wette, Philip and Graffi, Kalman}, year={2013}, pages={35–42} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}, DOI={10.1145/2465449.2465454}, booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 562
@inproceedings{Keller_Pawlik_Pietrzyk_Karl_2013, title={A Local Heuristic for Latency-Optimized Distributed Cloud Deployment}, DOI={10.1109/UCC.2013.85}, booktitle={Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) workshop on Distributed cloud computing}, author={Keller, Matthias and Pawlik, Stefan and Pietrzyk, Peter and Karl, Holger}, year={2013}, pages={429–434} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 563
@inproceedings{Markarian_Meyer auf der Heide_Schubert_2013, series={LNCS}, title={A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks}, DOI={10.1007/978-3-642-45346-5_16}, booktitle={Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS)}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm and Schubert, Michael}, year={2013}, pages={217–227}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 564
@inproceedings{Kniesburges_Koutsopoulos_Scheideler_2013, series={Lecture Notes in Computer Science}, title={A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery}, DOI={10.1007/978-3-319-03578-9_14}, booktitle={Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO)}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2013}, pages={165–176}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 6573
@inproceedings{Olfert_Claes_Henning_2013, place={Berlin}, title={Influence of angular radiated ultrasound waves on the Schlieren tomogram}, booktitle={Proceedings of the International Conference on Acoustics}, publisher={DEGA}, author={Olfert, Sergei and Claes, Leander and Henning, Bernd}, year={2013}, pages={477–480} }
LibreCat
2013 | Journal Article | LibreCat-ID: 6729
@article{Coumans_Gehrke_van Rooijen_2013, title={Relational semantics for full linear logic}, volume={12}, DOI={10.1016/j.jal.2013.07.005}, number={1}, journal={Journal of Applied Logic}, publisher={Elsevier BV}, author={Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}, year={2013}, pages={50–66} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
@inproceedings{Place_van Rooijen_Zeitoun_2013, series={LIPIcs}, title={Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages}, volume={24}, DOI={10.4230/LIPICS.FSTTCS.2013.363}, booktitle={Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India}, publisher={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={363--375}, collection={LIPIcs} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
@inproceedings{Place_van Rooijen_Zeitoun_2013, place={Berlin, Heidelberg}, title={Separating Regular Languages by Piecewise Testable and Unambiguous Languages}, DOI={10.1007/978-3-642-40313-2_64}, booktitle={Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}, publisher={Springer Berlin Heidelberg}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={729–740} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6913
@inproceedings{Weber_Berghold_Heilmann_Roericht_Krauter_Grunow_2013, title={Test Sequence Development for Evaluation of Potential Induced Degradation on Thin-Film Modules}, booktitle={Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich}, author={Weber, T. and Berghold, J. and Heilmann, F. and Roericht, M. and Krauter, Stefan and Grunow, Paul}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 6915
@article{Krauter_2013, title={Energiewende mit Sonnenstrom}, journal={Forschungsforum Paderborn, 16-2013, Februar 2013}, author={Krauter, Stefan}, year={2013}, pages={38–45} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 6916
@inproceedings{Japs_Sonnenrein_Steube_Vrabec_Kenig_Krauter_2013, title={Technical investigation of a photovoltaic module with integrated improved phase change material}, booktitle={Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich)}, author={Japs, Ewald and Sonnenrein, Gerrit and Steube, Julia and Vrabec, Jadran and Kenig, E. and Krauter, Stefan}, year={2013} }
LibreCat