Jakobs M-C. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn; 2012.
LibreCat: /record/624

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
LibreCat: /record/625
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
LibreCat: /record/6250
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
LibreCat: /record/626
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
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Schneid M, Steinmetz H, Isidor R, Kabst R. Diversität, Konflikte und Leistung in Teams: Ein meta-analytisches Strukturgleichungsmodell. In: ; 2012.
LibreCat: /record/6275

Kabst R. Endogeneity in the behavioral sciences: An illustration with real data. In: Amsterdam; 2012.
LibreCat: /record/6277

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
LibreCat: /record/628
DOI: 10.1007/978-3-642-33996-7_7

Wehner MC, Giardini A, Kabst R. Recruitment Process Outsourcing and Applicant Reactions: Does Image Make a Difference? In: University of Limerick, Ireland; 2012.
LibreCat: /record/6281

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.
LibreCat: /record/6285