@bookJakobs_2012, title=Change and Validity Analysis in Deductive Program Verification, publisher=Universität Paderborn, author=Jakobs, Marie-Christine, year=2012 
LibreCat: /record/624

@inproceedingsSchmid_Avin_Scheideler_Häupler_Lotker_2012, series=LNCS, title=Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures, DOI=10.1007/978-3-642-33651-5_47, booktitle=Proceedings of the 26th International Symposium on Distributed Computing (DISC), author=Schmid, Stefan and Avin, Chen and Scheideler, Christian and Häupler, Bernhard and Lotker, Zvi, year=2012, pages=439–440, collection=LNCS 
LibreCat: /record/625
DOI: 10.1007/978-3-642-33651-5_47

@articlePaelke_Nebe_Geiger_Klompmaker_Fischer_2012, title=Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications, volume=XXXIX-, DOI=10.5194/isprsarchives-xxxix-b8-55-2012, journal=ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, publisher=Copernicus GmbH, author=Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard, year=2012, pages=55–60 
LibreCat: /record/6250
DOI: 10.5194/isprsarchives-xxxix-b8-55-2012

@inproceedingsKniesburges_Scheideler_2012, series=LNCS, title=Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems, DOI=10.1007/978-3-642-33651-5_45, booktitle=Proceedings of the 26th International Symposium on Distributed Computing (DISC), author=Kniesburges, Sebastian and Scheideler, Christian, year=2012, pages=435–436, collection=LNCS 
LibreCat: /record/626
DOI: 10.1007/978-3-642-33651-5_45

@inproceedingsWonisch_2012, series=LNCS, title=Block Abstraction Memoization for CPAchecker, DOI=10.1007/978-3-642-28756-5_41, booktitle=Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), author=Wonisch, Daniel, year=2012, pages=531–533, collection=LNCS 
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

@inproceedingsSchneid_Steinmetz_Isidor_Kabst_2012, title=Diversität, Konflikte und Leistung in Teams: Ein meta-analytisches Strukturgleichungsmodell, author=Schneid, M and Steinmetz, Holger and Isidor, R and Kabst, Rüdiger, year=2012 
LibreCat: /record/6275

@inproceedingsKabst_2012, place=Amsterdam, title=Endogeneity in the behavioral sciences: An illustration with real data, author=Kabst, Rüdiger, year=2012 
LibreCat: /record/6277

@inproceedingsCord-Landwehr_Huellmann (married name: Eikel)_Kling_Setzer_2012, series=LNCS, title=Basic Network Creation Games with Communication Interests, DOI=10.1007/978-3-642-33996-7_7, booktitle=Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), author=Cord-Landwehr, Andreas and Huellmann (married name: Eikel), Martina and Kling, Peter and Setzer, Alexander, year=2012, pages=72--83, collection=LNCS 
LibreCat: /record/628
DOI: 10.1007/978-3-642-33996-7_7

@inproceedingsWehner_Giardini_Kabst_2012, place=University of Limerick, Ireland, title=Recruitment Process Outsourcing and Applicant Reactions: Does Image Make a Difference?, author=Wehner, M C and Giardini, A and Kabst, Rüdiger, year=2012 
LibreCat: /record/6281

@inproceedingsPaelke_Nebe_Geiger_Klompmaker_Fischer_2012, title=Designing Multi-Modal Map-Based Interfaces for Disaster Management, booktitle=Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), publisher=IARIA, author=Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard, year=2012, pages=95–100 
LibreCat: /record/6285