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

Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.

Distributed Computing in Fault-Prone Dynamic Networks
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.

Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.

Competitive and fair throughput for co-existing networks under adversarial interference
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.

Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures
S. Schmid, C. Avin, C. Scheideler, B. Häupler, Z. Lotker, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.

Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, H.G. Fischer, ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XXXIX- (2012) 55–60.

Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.

Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.

Basic Network Creation Games with Communication Interests
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, A. Setzer, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.

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

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

Integrating usability engineering in the software development lifecycle based on international standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS ’12, ACM Press, 2012.

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

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

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

Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.

German UPA Qualitätsstandard für Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R. Heimgärtner, B. Hofmann, P. Hunkirchen, O. Kluge, B. Litzenberg, R. Molich, K. Polkehn, Y. Pysarenko, D. Zimmermann, German UPA Qualitätsstandard für Usability Engineering, 2012.

Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case
P. Kolman, C. Scheideler, in: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.

An Algorithm for Facility Leasing
F. Meyer auf der Heide, P. Pietrzyk, P. Kling, in: Proceedings of the 19th International Colloquium on Structural Information &; Communication Complexity (SIROCCO), 2012, pp. 61–72.

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

A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.

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

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

Systematic evolution of model-based spreadsheet applications
M. Luckey, M. Erwig, G. Engels, Journal of Visual Languages &; Computing 23 (2012) 267–286.

Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.

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

Ten years of software and systems modeling
G. Engels, J. Whittle, Software &; Systems Modeling 11 (2012) 463–465.

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

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

Quasar 3.0 - A Situational Approach to Software Engineering
M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold, K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.

Model-Based Testing: Achievements and Future Challenges
M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A.  Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.

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

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

A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners
Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.

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

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

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

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

Assessing composition in modeling approaches
G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.

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

Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt
S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.

Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.

Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–792.

Optimized XPath evaluation for Schema-compressed XML data
S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.

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

Continuous Local Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.

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

Local, Self-organizing Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.

Faculty Submitted Student Work at Siggraph 2012
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.

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

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

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

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

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

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

Wieder natürlich gehen und greifen
M. Platzner, A. Boschmann, P. Kaufmann, Wieder Natürlich Gehen Und Greifen, 2012.

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

Entwicklung eines Picoblaze Compilers mit dem Gentle Compiler Construction System
C. Topmöller, Entwicklung Eines Picoblaze Compilers Mit Dem Gentle Compiler Construction System, Paderborn University, 2012.

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

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

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

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

Toward reproducibility and comparability of IVC simulation studies: a literature survey
S. Joerer, C. Sommer, F. Dressler, IEEE Communications Magazine (2012) 82–88.

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

GPU-based cloud computing for comparing the structure of protein binding sites
M. Leinweber, L. Baumgärtner, M. Mernberger, T. Fober, E. Hüllermeier, G. Klebe, B. Freisleben, in: In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy, 2012.

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

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

Computer science at school/CS teacher education: Koli working-group report on CS at school
C. Schulte, M. Hornung, S. Sentance, V. Dagiene, T. Jevsikova, N. Thota, A. Eckerdal, A.-K. Peters, in: Koli Calling, ACM, 2012, pp. 29–38.

Uncovering structure behind function: the experiment as teaching method in computer science education
C. Schulte, in: WiPSCE, ACM, 2012, pp. 40–47.

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

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

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

Fast Insertion and Deletion in Compressed Texts
S. Böttcher, A. Bültmann, R. Hartel, J. Schlüßler, in: 2012 Data Compression Conference, IEEE, 2012, p. 393.

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

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

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

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

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

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

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

Preference learning using the Choquet integral: The case of multipartite ranking
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 20 (2012) 1102–1113.

Fingerprint kernels for protein structure comparison
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, Molecular Informatics 31 (2012) 443–452.

Comparing fuzzy partitions: A generalization of the Rand index and related measures
E. Hüllermeier, M. Rifqi, S. Henzgen, R. Senge, IEEE Transactions on Fuzzy Systems 20 (2012) 546–556.

Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung
R. Senge, T. Fober, N. Nasiri, E. Hüllermeier, At-Atomatisierungstechnik 60 (2012) 622–629.

Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.

Label ranking with partial abstention based on thresholded probalistic models
W. Cheng, E. Hüllermeier, W. Waegeman, V. Welker, in: In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA, 2012.

Probability estimation for mulit-class classification based on label ranking
W. Cheng, E. Hüllermeier, in: Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK, 2012.

Consistent multilabel ranking through univariate loss minimization
K. Dembczynski, W. Kotlowski, E. Hüllermeier, in: J. Langford, J. Pineau (Eds.), In Proceedings ICML-2012,  International Conference on Machine Learning, Edinburgh, Scotland, 2012.

An analysis of chaining in multi-label classification
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France , IOS Press, 2012, pp. 294–299.

An outlook for self-awareness in computing systems
P. Lewis, M. Platzner, X. Yao, An Outlook for Self-Awareness in Computing Systems, Awareness Magazine, 2012.

Fuzzy rules in data mining: From fuzzy associations to gradual dependencies
E. Hüllermeier, in: E. Trillas, P.P. Bonissone, L. Magdalena, J. Kacprzyk (Eds.), Combining Experimentation and Theory, Springer, 2012, pp. 123–135.

Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.

An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.

Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design &; Verification Conference (DVCon), San Jose, 2012.

Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SO, IEEE,  Niagara Falls, NY, USA , 2012.

An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.

Hardness of Approximation for Quantum Problems
S. Gharibian, J. Kempe, in: A. Czumaj, K. Mehlhorn, A. Pitts, R. Wattenhofer (Eds.), International Colloquium on Automata, Languages, and Programming (ICALP 2012), Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 387–398.

Approximation Algorithms for QMA-Complete Problems
S. Gharibian, J. Kempe, SIAM Journal on Computing 41 (2012) 1028–1050.

Quantifying nonclassicality with local unitary operations
S. Gharibian, Physical Review A 86 (2012) 042106.