Clouser, T., Nesterenko, M., &; Scheideler, C. (2012). Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science, 18–35.https://doi.org/10.1016/j.tcs.2011.12.079 
LibreCat: /record/574
DOI: 10.1016/j.tcs.2011.12.079

Nagel, B., Gerth, C., Yigitbas, E., Christ, F., &; Engels, G. (2012). Model-driven specification of adaptive cloud-based systems. In Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01 - 05, 2012 (p. 4).https://doi.org/10.1145/2446224.2446228 
LibreCat: /record/5753
DOI: 10.1145/2446224.2446228

Yigitbas, E. (2012). Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in service-orientierten Systemen.
LibreCat: /record/5760

Richa, A. W., &; Scheideler, C. (Eds.). (2012). Stabilization, Safety, and Security of Distributed Systems. Presented at the Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn, Germany.https://doi.org/10.1007/978-3-642-33536-5 
LibreCat: /record/577
DOI: 10.1007/978-3-642-33536-5

Damerow, V., Manthey, B., Meyer auf der Heide, F., Räcke, H., Scheideler, C., Sohler, C., &; Tantau, T. (2012). Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms, (3), 30.https://doi.org/10.1145/2229163.2229174 
LibreCat: /record/579
DOI: 10.1145/2229163.2229174

Cord-Landwehr, A., Kling, P., &; Mallmann Trenn, F. (2012). Slow Down &; Sleep for Profit in Online Deadline Scheduling. In G. Even &; D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg) (pp. 218–231).https://doi.org/10.1007/978-3-642-34862-4_17 
LibreCat: /record/580
DOI: 10.1007/978-3-642-34862-4_17

Drees, M., Hüllmann (married name: Eikel), M., Koutsopoulos, A., &; Scheideler, C. (2012). Self-Organizing Particle Systems. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1272–1283).https://doi.org/10.1109/IPDPS.2012.116 
LibreCat: /record/581
DOI: 10.1109/IPDPS.2012.116

Strothmann, T. F. (2012). Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn.
LibreCat: /record/582

Hohenberger, T. (2012). Queuing Latency at Cooperative Base Stations. Universität Paderborn.
LibreCat: /record/584

Drzevitzky, S. (2012). Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn.
LibreCat: /record/586

Plessl, C., Platzner, M., Agne, A., Happe, M., &; Lübbers, E. (2012). Programming models for reconfigurable heterogeneous multi-cores. Awareness Magazine.
LibreCat: /record/587

Wonisch, D., &; Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347).https://doi.org/10.1007/978-3-642-34281-3_24 
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Rojahn, T. (2012). Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn.
LibreCat: /record/593

Kempkes, B. (2012). Local strategies for robot formation problems (Vol. 302). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/601

Wette, P., &; Karl, H. (2012). Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios. Universität Paderborn.
LibreCat: /record/603

Löken, N. (2012). Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn.
LibreCat: /record/606

Haarhoff, T. (2012). Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn.
LibreCat: /record/607

Timm, N., Wehrheim, H., &; Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363).https://doi.org/10.1007/978-3-642-34281-3_25 
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Brandes, P., &; Meyer auf der Heide, F. (2012). Distributed Computing in Fault-Prone Dynamic Networks. In Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS) (pp. 9–14).https://doi.org/10.1145/2414815.2414818 
LibreCat: /record/619
DOI: 10.1145/2414815.2414818

Arifulina, S., Engels, G., &; Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT).https://doi.org/10.14279/tuj.eceasst.47.718 
LibreCat: /record/622
DOI: 10.14279/tuj.eceasst.47.718

Richa, A. W., Scheideler, C., Schmid, S., &; Zhang, J. (2012). Competitive and fair throughput for co-existing networks under adversarial interference. In Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC) (pp. 291–300).https://doi.org/10.1145/2332432.2332488 
LibreCat: /record/623
DOI: 10.1145/2332432.2332488

Schmid, S., Avin, C., Scheideler, C., Häupler, B., &; Lotker, Z. (2012). Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 439–440).https://doi.org/10.1007/978-3-642-33651-5_47 
LibreCat: /record/625
DOI: 10.1007/978-3-642-33651-5_47

Paelke, V., Nebe, K., Geiger, C., Klompmaker, F., &; Fischer, H. G. (2012). Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications. ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, XXXIX-, 55–60.https://doi.org/10.5194/isprsarchives-xxxix-b8-55-2012 
LibreCat: /record/6250
DOI: 10.5194/isprsarchives-xxxix-b8-55-2012

Kniesburges, S., &; Scheideler, C. (2012). Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 435–436).https://doi.org/10.1007/978-3-642-33651-5_45 
LibreCat: /record/626
DOI: 10.1007/978-3-642-33651-5_45

Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533).https://doi.org/10.1007/978-3-642-28756-5_41 
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Cord-Landwehr, A., Huellmann (married name: Eikel), M., Kling, P., &; Setzer, A. (2012). Basic Network Creation Games with Communication Interests. In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT) (pp. 72--83).https://doi.org/10.1007/978-3-642-33996-7_7 
LibreCat: /record/628
DOI: 10.1007/978-3-642-33996-7_7

Paelke, V., Nebe, K., Geiger, C., Klompmaker, F., &; Fischer, H. G. (2012). Designing Multi-Modal Map-Based Interfaces for Disaster Management. In Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI) (pp. 95–100). IARIA.
LibreCat: /record/6285

Klompmaker, F., Fischer, H. G., &; Jung, H. (2012). Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops. In Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI) (pp. 141–144). IARIA.
LibreCat: /record/6286

Fischer, H. G. (2012). Integrating usability engineering in the software development lifecycle based on international standards. In Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS ’12. ACM Press.https://doi.org/10.1145/2305484.2305541 
LibreCat: /record/6288
DOI: 10.1145/2305484.2305541

Schleiter, P. (2012). Attribute-basierte Verschlüsselung. Universität Paderborn.
LibreCat: /record/629

Fischer, H. G., &; Klompmaker, F. (2012). Enriching Disaster Control Management based on Human-Computer Design. In Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM). ISCRAM Digital Library.
LibreCat: /record/6290

Fischer, H. G., Geis, T., Kluge, O., Bogner, C., &; Polkehn, K. (2012). Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In Jahresband Usability Professionals (pp. 160–165). German UPA.
LibreCat: /record/6291

Platenius, M. C., von Detten, M., &; Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264).https://doi.org/10.1109/CSMR.2012.33 
LibreCat: /record/630
DOI: 10.1109/CSMR.2012.33

Behrenbruch, K., Bogner, C., Fischer, H. G., Geis, T., Geitner, C., Heimgärtner, R.,  Zimmermann, D. (2012). German UPA Qualitätsstandard für Usability Engineering.
LibreCat: /record/6312

Kolman, P., &; Scheideler, C. (2012). Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA) (pp. 800–810).https://doi.org/10.1137/1.9781611973099.64 
LibreCat: /record/632
DOI: 10.1137/1.9781611973099.64

Meyer auf der Heide, F., Pietrzyk, P., &; Kling, P. (2012). An Algorithm for Facility Leasing. In Proceedings of the 19th International Colloquium on Structural Information &; Communication Complexity (SIROCCO) (pp. 61–72).https://doi.org/10.1007/978-3-642-31104-8_6 
LibreCat: /record/636
DOI: 10.1007/978-3-642-31104-8_6

Eidens, F. (2012). Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn.
LibreCat: /record/638

Huma, Z., Gerth, C., Engels, G., &; Juwig, O. (2012). A UML-based Rich Service Description for Automatic Service Discovery. In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering (pp. 90--97).
LibreCat: /record/639

Kniesburges, S., Koutsopoulos, A., &; Scheideler, C. (2012). A Self-Stabilization Process for Small-World Networks. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1261--1271).https://doi.org/10.1109/IPDPS.2012.115 
LibreCat: /record/640
DOI: 10.1109/IPDPS.2012.115

Dumslaff, U., Engels, G., &; Kremer, M. (2012). IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung. OBJEKTspektrum, (Nr. 5), 52–57.
LibreCat: /record/7339

Luckey, M., Erwig, M., &; Engels, G. (2012). Systematic evolution of model-based spreadsheet applications. Journal of Visual Languages &; Computing, 23(5), 267–286.https://doi.org/10.1016/j.jvlc.2011.11.009 
LibreCat: /record/7340
DOI: 10.1016/j.jvlc.2011.11.009

Chernilovskaya, A., Gehrke, M., &; van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132.https://doi.org/10.1093/jigpal/jzr051 
LibreCat: /record/7342
DOI: 10.1093/jigpal/jzr051

Grieger, M., Güldali, B., &; Sauer, S. (2012). Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung. Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR), 32(2), 37–38.
LibreCat: /record/7344

Engels, G., &; Whittle, J. (2012). Ten years of software and systems modeling. Software &; Systems Modeling, 11(4), 463–465.https://doi.org/10.1007/s10270-012-0287-3 
LibreCat: /record/7345
DOI: 10.1007/s10270-012-0287-3

Christ, F., Nagel, B., Bachman-Gmür, R., &; Westenthaler, R. (2012). Semantisches Content Management. JavaMagazin, 8, 96–100.
LibreCat: /record/7351

Geisen, S., &; Güldali, B. (2012). Agiles Testen in Scrum – Testtypen und Abläufe. OBJEKTspektrum (Online Themenspecials), (Agility/2012), 1–4.
LibreCat: /record/7352

Kremer, M., Engels, G., Hofmann, A., Hohwiller, J., E. Nandico, O., Nötzold, T.,  Wolf, T. (2012). Quasar 3.0 - A Situational Approach to Software Engineering. Capgemini CSD Research, Offenbach 2012.
LibreCat: /record/7507

Mlynarski, M., Güldali, B., Weißleder, S., &; Engels, G. (2012). Model-Based Testing: Achievements and Future Challenges. In A.http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6__Hurson &; A. Memon (Eds.), Advances in Computers (Vol. 86, pp. 1–39). Elsevier.http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6 
LibreCat: /record/7557
DOI: http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6

Christ, F. (2012). Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen. Universität Paderborn.
LibreCat: /record/7572

Gerth, C., &; Luckey, M. (2012). Towards Rich Change Management for Business Process Models. In Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12) (Vol. 32, pp. 32–34). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).
LibreCat: /record/8473