Suchergebnisse | SciPort RLP

× Publikationen

× Universität Koblenz

× Hochschule Kaiserslautern

× Hochschule Worms

× Theologische Fakultät Trier

× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen

Scott, David; Guo, Jinlin; Wang, Hongyi et al.
Clipboard: A Visual Search and Browsing Experience for Tablet and PC
Klaus Schoeffmann;Bernard Merialdo;Alexander G. Hauptmann;Chong-Wah Ngo;Yiannis Andreopoulos;Christian Breiteneder (Hrsg). Advances in Multimedia Modeling: 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012, Proceedings. Berlin: Springer 2012 S. 646 - 648

Droege, Detlev; Paulus, Dietrich
A Flexible Gaze Tracking Algorithm Evaluation Workbench
Carlos H. Morimoto;Howell Istance;Stephen N. Spencer;Jeffrey B. Mulligan;Pernilla Qvarfordt (Hrsg). Proceedings of the ETRA 2012 - Eye Tracking Research and Applications Symposium: Santa Barbara, CA; March 28 – 30, 2012. New York, NY: ACM Association for Computing Machinery 2012 S. 301 - 304

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