Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P. et al.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.: SC2: Satisfiability Checking Meets Symbolic Computation. In: Intelligent Computer Mathematics, S. 28 - 43 (Hg. Kohlhase, M.; Johansson, M.; Miller, B.; de Moura, L.; Tompa, F.). 9th International Conference on Intelligent Computer Mathematics, Bialystok, Poland, 25. Juli 2016 - 29. Juli 2016. Springer, Berlin (2016)

Abraham, I.; Durfee, D.; Koutis, I.; Krinninger, S.; Peng, R.: On Fully Dynamic Graph Sparsifiers. In: FOCS 2016, S. 396 - 405. 57th Annual IEEE Symposium on Foundations of Computer Science, New Brunswick, NJ, USA, 09. Oktober 2016 - 11. Oktober 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Bugiel, S.; Fahl, S.; McDaniel, P.; Smith, M.: SoK: Lessons Learned From Android Security Research For Appified Software Platforms. In: IEEE Symposium on Security and Privacy, S. 433 - 451. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Fahl, S.; Kim, D.; Mazurek, M. L.; Stransky, C.: You Get Where You're Looking for: The Impact of Information Sources on Code Security. In: IEEE Symposium on Security and Privacy, S. 289 - 305. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)

Adamaszek, A.; Antoniadis, A.; Mömke, T.: Airports and Railways: Facility Location Meets Network Design. In: 33rd International Symposium on Theoretical Aspects of Computer Science, 6, S. 1 - 14 (Hg. Ollinger, N.; Vollmer, H.). 33rd International Symposium on Theoretical Aspects of Computer Science, Orléans, France, 17. Februar 2016 - 20. Februar 2016. Schloss Dagstuhl, Wadern (2016)

Adamaszek, A.; Chalermsook, P.; Ene, A.; Wiese, A.: Submodular Unsplittable Flow on Trees. In: Integer Programming and Combinatorial Optimization, S. 337 - 349 (Hg. Louveaux, Q.; Skutella, M.). 18th Conference on Integer Programming and Combinatorial Optimization, Liège, Belgium, 01. Juni 2016 - 03. Juni 2016. Springer, Berlin (2016)

Aditya, P.; Sen, R.; Druschel, P.; Oh, S. J.; Benenson, R.; Fritz, M.; Schiele, B.; Bhattachariee, B.; Wu, T. T.: I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, S. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)

Aditya, P.; Sen, R.; Druschel, P.; Oh, S. J.; Benenson, R.; Fritz, M.; Schiele, B.; Bhattachariee, B.; Wu, T. T.: Demo: I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, S. 93 - 93. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)

Aditya, P.; Sen, R.; Druschel, P.; Oh, S. J.; Benenson, R.; Fritz, M.; Schiele, B.; Bhattachariee, B.; Wu, T. T.: I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, S. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)

Alon, N.; Moran, S.; Yehudayoff, A.: Sign Rank Versus VC Dimension. In: 29th Annual Conference on Learning Theory (Hg. Feldman, V.; Rakhlin, A.; Shamir, O.). 29th Annual Conference on Learning Theory, New York, NY, USA, 23. Juni 2016 - 26. Juni 2016. (2016)

Alt, F.; Bulling, A.; Mecke, L.; Buschek, D.: Attention, please!: Comparing Features for Measuring Audience Attention Towards Pervasive Displays. In: DIS 2016, S. 823 - 828. 11th ACM SIGCHI Designing Interactive Systems Conference, Brisbane, Australia, 04. Juni 2016 - 08. Juni 2016. ACM, New York, NY (2016)

Alt, F.; Mikusz, M.; Schneegass, S.; Bulling, A.: Long-term Memorability of Cued-Recall Graphical Passwords with Saliency Masks. In: Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia, S. 191 - 200. 15th International Conference on Mobile and Ubiquitous Multimedia, Rovaniemi, Finland, 12. Dezember 2016 - 15. Dezember 2016. ACM, New York, NY (2016)

Amotchkina, T. V.; Trubetskov, M. K.; Fedulova, E.; Fritsch, K.; Pronin, O.; Krausz, F.; Pervak, V.: Characterization of Nonlinear Effects in Edge Filters. In: Optical Interference Coatings, Bd. 2016, ThD.3. Optical Interference Coatings 2016, Tuscon, Arizona, USA, 16. Juni 2016 - 24. Juni 2016. OSA (2016)

Antoniadis, A.; Barcelo, N.; Nugent, M.; Pruhs, K.; Schewior, K.; Scquizzato, M.: Chasing Convex Bodies and Functions. In: LATIN 2016: Theoretical Informatics, S. 68 - 81 (Hg. Kranakis, E.; Navarro, G.; Chávez, E.). 12th Latin American Theoretical Informatics Symposium , Ensenada, Mexico, 11. April 2016 - 15. April 2016. Springer, Berlin (2016)

Antonova, R.; Rai, A.; Atkeson, C. G.: Sample Efficient Optimization for Learning Controllers for Bipedal Locomotion. In: 2016 IEEE-RAS 16th international Conference on Humanoid Robots (Humanoids 2016), S. 22 - 28. IEEE-RAS 16th international Conference on Humanoid Robots (Humanoids 2016), Cancun, 15. November 2016 - 17. November 2016. IEEE, Piscataway, NJ (2016)

Anzt, H.; Dongarra, J.; Kreutzer, M.; Wellein, G.; Köhler, M.: Efficiency of General Krylov Methods on GPUs -- An Experimental Study. In: Proceedings of 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), S. 683 - 691. 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) , Chicago, USA, 23. Mai 2016 - 27. Mai 2016. (2016)

Atanasiu, C. V.; Zakharov, L. E.; Lackner, K.; Hölzl, M.; Strumberger, E.; Nicolici, S.: Simulation of surface currents excited by plasma wall-touching kink and vertical modes in tokamak. In: 2016 International Symposium on Fundamentals of Electrical Engineering (ISFEE). 2016 International Symposium on Fundamentals of Electrical Engineering (ISFEE), Roania, 30. Juni 2016 - 02. Juli 2016. IEEE, Piscataway, NY (2016)

Athanasiou, A.; Klados, M.; Astaras, A.; Foroglou, N.; Magras, I.; Bamidis, P. D.: State of the art and future prospects of nanotechnologies in the field of brain-computer interfaces. In: XIV Mediterranean conference on medical and biological engineering and computing 2016, S. 456 - 460 (Hg. Kyriacou, E.; Christofides, S.; Pattichis, C. S.). Springer, Cham, Germany (2016)

Azar, Z.; Backus, A.; Ozyurek, A.: Pragmatic relativity: Gender and context affect the use of personal pronouns in discourse differentially across languages. In: Proceedings of the 38th Annual Meeting of the Cognitive Science Society (CogSci 2016), S. 1295 - 1300 (Hg. Papafragou, A.; Grodner, D.; Mirman, D.; Trueswell, J.). 38th Annual Meeting of the Cognitive Science Society (CogSci 2016) , Philadelphia, US, 11. August 2016 - 13. August 2016. Cognitive Science Society, Austin, TX (2016)

Azmy, N.; Merz, S.; Weidenbach, C.: A Rigorous Correctness Proof for Pastry. In: Abstract State Machines, Alloy, B, TLA, VDM, and Z, S. 86 - 101 (Hg. Butler, M.; Schewe, K.-D.; Mashkoor, A.; Biro, M.). 5th International ABZ Conference, Linz, Austria, 23. Mai 2016 - 27. Mai 2016. Springer, Berlin (2016)