Suchergebnisse | SciPort RLP

Tekman, Hasan Gürkan; Boer, Diana; Fischer, Ronald
Values, Functions of Music, and Musical Preferences
Emilios Cambouropoulos;Costas Tsougras;Panayotis Mavromatis;Konstantinos Pastiadis (Hrsg). Proceedings of the CMPC- ESCOM 2012 Joint Conference12th International Conference for Music Perception and Cognition - 8th Conference of the European Society for the Cognitive Sciences of Music; Thessaloniki, Greece; 23-‐28 July, 2012. Thessalonik: School of Music Studies, Aristotle University of Thessaloniki 2012 S. 372 - 377

Heinecke, Michaela; Schulte-Schröer, M.
Wenn der Richter zum Verteidiger des Gutachter wird
Rainer Riemann (Hrsg). 48. Kongress der Deutschen Gesellschaft für Psychologie: Faszination Forschung; 23. bis 27. September 2012; Universität Bielefeld. Lengerich: Pabst 2012

Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
Stefan Jähnichen;Bernhard Rumpe;Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Computational Verification of C Protocol Implementations by Symbolic Execution
Ting Yu;George Danezis;Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723

Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel
A Sound Decision Procedure for the Compositionality of Secrecy
Gilles Barthe;Benjamin Livshits;Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105 (Lecture Notes in Computer Science)

Mathews, Emi; Frey, Hannes
A Localized Link Removal and Addition based Planarization Algorithm
Luciano Bononi;Ajoy K. Datta;Stéphane Devismes;Archan Misra (Hrsg). Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. Berlin: Springer 2012 S. 337 - 350

Grüntjens, Dominik; Arndt, Daniel; Beschorner, Jenny et al.
telARscope: Gamebased Concepts for a Touristical Augmented Reality Telescope
Paul Richard;Martin Kraus;Robert S. Laramee;José Braz (Hrsg). Proceedings of the International Conference on Computer Graphics Theory and Applications GRAPP 2012 and International Conference on Information Visualization Theory and Applications IVAPP 2012; Rome, Italy, 24 - 26 February, 2012. Setúbal: SciTePress 2012 S. 497 - 500

Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
Securing Processes for Outsourcing into the Cloud
Frank Leymann;Ivan Ivanov;Marten van Sinderen;Tony Shan (Hrsg). Proceedings of the 2nd International Conference on Cloud Computing and Services Science CLOSER 2012; Porto, Portugal; 18-21 April, 2012. Setúbal: SciTePress 2012 S. 675 - 680

Wojke, Nicolai; Häselich, Marcel
Moving Vehicle Detection and Tracking in Unstructured Environments
Nikos Papanikolopoulos;Henrik Christensen;Shigeki Sugan;Rüdiger Dillman;Paul Oh;Max Meng (Hrsg). Proceedings of the 2012 IEEE International Conference on Robotics and Automation ICRA 2012: St. Paul, Minnesota, USA; 14 - 18 May 2012. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2012 S. 3082 - 3087