Jacob R, Ritscher S, Scheideler C, Schmid S. Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs. Theoretical Computer Science. 2012:137-148. doi:10.1016/j.tcs.2012.07.029

Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). LNCS. ; 2012:709--725. doi:10.1007/978-3-642-33666-9_45

Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR Workshop Proceedings. ; 2012:23--26.

Clouser T, Nesterenko M, Scheideler C. Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science. 2012:18-35. doi:10.1016/j.tcs.2011.12.079

Nagel B, Gerth C, Yigitbas E, Christ F, Engels G. 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. ; 2012:4. doi:10.1145/2446224.2446228

Yigitbas E. Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen.; 2012.

Richa AW, Scheideler C, eds. Stabilization, Safety, and Security of Distributed Systems.; 2012. doi:10.1007/978-3-642-33536-5

Damerow V, Manthey B, Meyer auf der Heide F, et al. Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms. 2012;(3):30. doi:10.1145/2229163.2229174

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

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

Strothmann TF. Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn; 2012.

Hohenberger T. Queuing Latency at Cooperative Base Stations. Universität Paderborn; 2012.

Drzevitzky S. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn; 2012.

Plessl C, Platzner M, Agne A, Happe M, Lübbers E. Programming Models for Reconfigurable Heterogeneous Multi-Cores. Awareness Magazine; 2012.

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

Rojahn T. Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn; 2012.

Kempkes B. Local Strategies for Robot Formation Problems. Vol 302. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.

Wette P, Karl H. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn; 2012.

Löken N. Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn; 2012.

Haarhoff T. Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn; 2012.

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

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

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

Richa AW, Scheideler C, Schmid S, Zhang J. 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). ; 2012:291-300. doi:10.1145/2332432.2332488

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

Paelke V, Nebe K, Geiger C, Klompmaker F, Fischer HG. Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications. ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 2012;XXXIX-:55-60. doi:10.5194/isprsarchives-xxxix-b8-55-2012

Kniesburges S, Scheideler C. 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). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45

Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41

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

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

Klompmaker F, Fischer HG, Jung H. 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). IARIA; 2012:141-144.

Fischer HG. 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; 2012. doi:10.1145/2305484.2305541

Schleiter P. Attribute-basierte Verschlüsselung. Universität Paderborn; 2012.

Fischer HG, Klompmaker F. 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; 2012.

Fischer HG, Geis T, Kluge O, Bogner C, Polkehn K. Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In: Jahresband Usability Professionals. German UPA; 2012:160-165.

Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264. doi:10.1109/CSMR.2012.33

Behrenbruch K, Bogner C, Fischer HG, et al. German UPA Qualitätsstandard für Usability Engineering.; 2012.

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

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

Eidens F. Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn; 2012.

Huma Z, Gerth C, Engels G, Juwig O. 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. CEUR Workshop Proceedings. ; 2012:90--97.

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

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

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

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

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

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

Christ F, Nagel B, Bachman-Gmür R, Westenthaler R. Semantisches Content Management. JavaMagazin. 2012;8:96-100.

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

Kremer M, Engels G, Hofmann A, et al. Quasar 3.0 - A Situational Approach to Software Engineering. Capgemini CSD Research, Offenbach 2012; 2012.

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

Christ F. Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen. Universität Paderborn; 2012.

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

Humahttp://ceur-ws.org/Vol-855/paper11.pdf__Z, Gerthhttp://ceur-ws.org/Vol-855/paper11.pdf__C, Engels G, Juwig O. A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. Vol 855. CEUR Workshop Proceedings. CEUR-WS.org; 2012:90--97. doi:http://ceur-ws.org/Vol-855/paper11.pdf

Luckey  M, Mutz F. Modeling with Adapt Cases. In: University of Paderborn, ed. Repository for Model-Driven Development (ReMoDD). ; 2012.

Geisen  S, Luckey  M, Engels G. Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden. In: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle. Shaker Verlag; 2012:111-120.

Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). Vol 935. CEUR Workshop Proceedings. CEUR-WS.org; 2012:23-26.

Güldali  B, Sauer S, Löhr P. Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012). Vol 32. Softwaretechnik-Trends; 2012:5-6.

Mussbacherhttps://dl.acm.org/citation.cfm?id=2459032__G, Alamhttps://dl.acm.org/citation.cfm?id=2459032__O, Alhajhttps://dl.acm.org/citation.cfm?id=2459032__M, et al. Assessing composition in modeling approaches. In: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). CMA’12. New York, NY, USA: ACM; 2012. doi:https://dl.acm.org/citation.cfm?id=2459032

Luckey  M, Thanos  C, Gerth C, Engels G. Multi-Staged Quality Assurance for Self-Adaptive Systems. In: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12. ; 2012.

Geisen S. Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium. Vol Report 01/12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus); 2012:7-12.

Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366

Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49

Böttcher S, Hartel R, Heindorf S. Optimized XPath evaluation for Schema-compressed XML data. In: ADC. Vol 124. CRPIT. Australian Computer Society; 2012:137-144.

Böttcher S, Bokermann D, Hartel R. Generalizing and Improving SQL/XML Query Evaluation. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12). IEEE; 2012. doi:10.1109/sitis.2012.72

Kempkes B, Meyer auf der Heide F. Continuous Local Strategies for Robotic Formation Problems. In: Experimental Algorithms. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-30850-5_2

Kempkes B, Kling P, Meyer auf der Heide F. Optimal and competitive runtime bounds for continuous, local gathering of mobile robots. In: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12. ; 2012. doi:10.1145/2312005.2312009

Kempkes B, Meyer auf der Heide F. Local, Self-organizing Strategies for Robotic Formation Problems. In: Algorithms for Sensor Systems. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-28209-6_2

Domik G. Faculty Submitted Student Work at Siggraph 2012. In: Curated Exhibit at Siggraph. Curated exhibit at Siggraph 2012. Los Angeles; 2012.

Boschmann A, Platzner M. Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array. In: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC). ; 2012.

Dridger D. Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer. Paderborn University; 2012.

Giefers H. Design and Programming of Reconfigurable Mesh Based Many-Cores. Berlin: Logos Verlag Berlin GmbH; 2012.

Graf T. Adaptive Playouts in Der Monte-Carlo Spielbaumsuche Am Anwendungsfall Go. Paderborn University; 2012.

Hangmann H. Generating Adjustable Temperature Gradients on Modern FPGAs. Paderborn University; 2012.

Kaufmann P, Glette K, Platzner M, Torresen J. Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture. International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS). 2012;3(4):17-31. doi:10.4018/jaras.2012100102

Platzner M, Boschmann A, Kaufmann P. Wieder Natürlich Gehen Und Greifen.; 2012:6-11.

Schmitz H. Stereo Matching on a HC-1 Hybrid Core Computer. Paderborn University; 2012.

Topmöller C. Entwicklung Eines Picoblaze Compilers Mit Dem Gentle Compiler Construction System. Paderborn University; 2012.

Wistuba M. Analysis of Pattern Based Model Design and Learning in Computer-Go. Paderborn University; 2012.

Eckhoff D, Sommer C, German R, Dressler F. Cooperative Awareness at Low Vehicle Densities: How Parked Cars Can Help See through Buildings. In: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011. ; 2012. doi:10.1109/glocom.2011.6134402

Eckhoff D, Sommer C, Dressler F. On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation. In: 2012 IEEE 75th Vehicular Technology Conference (VTC Spring). ; 2012. doi:10.1109/vetecs.2012.6240064

Joerer S, Dressler F, Sommer C. Comparing apples and oranges? In: Proceedings of the Ninth ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications - VANET ’12. ; 2012. doi:10.1145/2307888.2307895

Joerer S, Sommer C, Dressler F. Toward reproducibility and comparability of IVC simulation studies: a literature survey. IEEE Communications Magazine. 2012:82-88. doi:10.1109/mcom.2012.6316780

Malandrino F, Casetti C, Chiasserini CF, Sommer C, Dressler F. Content downloading in vehicular networks: Bringing parked cars into the picture. In: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC). ; 2012. doi:10.1109/pimrc.2012.6362591

Leinweber M, Baumgärtner L, Mernberger M, et al. GPU-based cloud computing for comparing the structure of protein binding sites. In: In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy. ; 2012.

Hüllermeier E, Fallah Tehrani A. Efficient learning of classifiers based on the 2-additive Choquet integral. In: Moewes C, Nürnberger A, eds. Computational Intelligence in Intelligent Data Analysis. Studies in Computational Intelligence. Springer; 2012:17-30.

Schulte C, Suhonen J. Koli Calling 2009 and 2010. Computer Science Education. 2012;22(2):79-80.

Schulte C, Hornung M, Sentance S, et al. Computer science at school/CS teacher education: Koli working-group report on CS at school. In: Koli Calling. ACM; 2012:29-38.

Schulte C. Uncovering structure behind function: the experiment as teaching method in computer science education. In: WiPSCE. ACM; 2012:40-47.

Bräuning M, Hüllermeier E. Learning conditional lexicographic preference trees. In: In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France. ; 2012.

Chen W-F, Kuo C-K,  Wang Y-R,  Chen S-H. A Syllable-based Prosody Modeling for L1 and L2 English Speeches. In: Proceedings of the 8th International Symposium on Chinese Spoken Language Processing. IEEE; 2012:281-285.

Böttcher S, Hartel R, Weber S. Efficient String-Based XML Stream Prefiltering. In: Proceedings of the Twenty-Third Australasian Database Conference. Australian Computer Society, Inc.; 2012:145-152.

Böttcher S, Bültmann A, Hartel R, Schlüßler J. Fast Insertion and Deletion in Compressed Texts. In: 2012 Data Compression Conference. IEEE; 2012:393. doi:10.1109/dcc.2012.50

Hüllermeier E, Fallah Tehrani A. On the VC dimension of the Choquet integral. In: In Proceedings IPMU-2012 14th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy. ; 2012.

Fallah Tehrani A, Cheng W, Dembczynski K, Hüllermeier E. Learning  monotone nonlinear models using the Choquet integral. Machine Learning. 2012;89(1):183-211.

Bustince H, Pagola M, Mesiar R, Hüllermeier E, Herrera F. Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons. IEEE Transactions on Fuzzy Systems. 2012;20(3):405-415.

Fürnkranz J, Hüllermeier E, Cheng W, Park SH. Preference-based reinforcement learning: A formal framework and a policy iteration algorithm. Machine Learning. 2012;89(1):123-156.

Dembczynski K, Waegeman W, Cheng W, Hüllermeier E. On label dependence and loss  minimization in multi-label classification. Machine Learning. 2012;88(1-2):5-45.

Shaker A, Hüllermeier E. IBL Streams: A system for instance-based classification and regression on data streams. Evolving Systems. 2012;3(4):235-249.

Dolorez Ruiz M, Hüllermeier E. A formal and empirical analysis of the fuzzy gamma rank correlation coefficient. Information Sciences. 2012;206:1-17.