Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Higher-order Ghost State. In: ICFP'16, S. 256 - 269 (Hg. Garrigue, J.; Keller, G.; Sumii, E.). 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18. September 2016 - 24. September 2016. ACM, New York, NY (2016)

Kaaser, D.; Mallmann-Trenn, F.; Natale, E.: On the Voting Time of the Deterministic Majority Process. In: 41st International Symposium on Mathematical Foundations of Computer Science, 55, S. 1 - 15 (Hg. Sankowski, P.; Muscholl, A.; NIedermeier, R.). 41st International Symposium on Mathematical Foundations of Computer Science, Kraków, Poland, 22. August 2016 - 26. August 2016. Schloss Dagstuhl, Wadern (2016)

Kaiser, N. M.; Flassig, R.; Sundmacher, K.: Design and Comparison of Optimal Reactor Concepts for the Hydroformylation of Olefins by Use of a Probabilistic Design Framework. In: 26th European Symposium on Computer Aided Process Engineering, S. 1365 - 1370. 26th European Symposium on Computer Aided Process Engineering - ESCAPE 26, Portorož, Slovenia, 12. Juni 2016 - 15. Juni 2016. (2016)

Kallies, C.; Schliemann-Bullinger, M.; Findeisen, R.; Lucia, S.; Bullinger, E.: Monotonicity of Kinetic Proofreading. FOSBE 2016 - 6th IFAC Conference on Foundations of Systems Biology in Engineering, Magdeburg, Germany, 09. Oktober 2016 - 12. Oktober 2016. IFAC-PapersOnLine 49 (26), S. 306 - 311 (2016)

Kanade, V.; Levi, R.; Lotker, Z.; Mallmann-Trenn, F.; Mathieu, C.: Distance in the Forest Fire Model - How far are you from Eve? In: Proceedings of the Twenty-Seventh ACM-SIAM Annual Symposium on Discrete Algorithms, S. 1602 - 1620 (Hg. Krauthgamer, R.). Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, 10. Januar 2016 - 12. Januar 2016. SIAM, Philadelphia, PA (2016)

Kang, J.; Kim, Y.; Hur, C.-K.; Dreyer, D.; Vafeiadis, V.: Lightweight Verification of Separate Compilation. In: POPL'16, S. 178 - 190 (Hg. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2015 - 22. Januar 2015. ACM, New York, NY (2016)

Kanj, I.; Komusiewicz, C.; Sorge, M.; van Leeuwen, E. J.: Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs. In: 15th Scandinavian Symposium and Workshops on Algorithm Theory, 14, S. 1 - 14 (Hg. Pagh, R.). 15th Scandinavian Symposium and Workshops on Algorithm Theory, Reykjavik, Iceland, 22. Juni 2016 - 24. Juni 2016. Schloss Dagstuhl, Wadern (2016)

Karimi, M. R.; Tavakoli, E.; Farajtabar, M.; Song, L.; Gomez Rodriguez, M.: Smart Broadcasting: Do You Want to be Seen? In: KDD'16, S. 1635 - 1644. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, 13. August 2016 - 17. August 2016. ACM, New York, NY (2016)

Keefer, D.; Thallmair, S.; Matsika, S.; de Vivie-Riedle, R.: How to Control the Ultrafast Dynamics of Uracil with Shaped Laser Pulses: Theoretical Insights. In: OSA Technical digest (online), Bd. UTh3B, UTh3B.2. International Conference on Ultrafast Phenomena 2016, Santa Fe, New Mexico, USA, 17. Juli 2016 - 22. Juli 2016. Optica Publishing Group (2016)

Keefer, D.; Thallmair, S.; Zauleck, J. P.P.; de Vivie-Riedle, R.: Optimal Control Theory for Molecular Reactions in Atomistic Surroundings. In: OSA Technical Digest (online), Bd. UTh3B, UTh3B.5. International Conference on Ultrafast Phenomena 2016, Santa Fe, New Mexico, USA, 17. Juli 2016 - 22. Juli 2016. Optica Publishing Group (2016)

Kember, H.; Choi, J.; Cutler, A.: Processing advantages for focused words in Korean. In: Proceedings of Speech Prosody 2016, S. 702 - 705 (Hg. Barnes, J.; Brugos, A.; Shattuck-Hufnagel, S.; Veilleux, N.). Speech Prosody 2016, Boston, USA, 31. Mai 2016 - 03. Juni 2016. (2016)

Kerber, M.; Morozov, D.; Nigmetov, A.: Geometry Helps to Compare Persistence Diagrams. In: Proceedings of the Eighteenth Workshop on Algorithm Engineering and Experiments, S. 103 - 112 (Hg. Goodrich, M.; Mitzenmacher, M.). Eighteenth Workshop on Algorithm Engineering and Experiments, Arlington, VA, USA, 10. Januar 2016. SIAM, Philadelphia, PA (2016)

Kerber, M.; Sheehy, D. R.; Skraba, P.: Persistent Homology and Nested Dissection. In: Proceedings of the Twenty-Seventh ACM-SIAM Annual Symposium on Discrete Algorithms, S. 1234 - 1245 (Hg. Krauthgamer, R.). Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, 10. Januar 2016 - 12. Januar 2016. SIAM, Philadelphia, PA (2016)

Keßler, T.; Logist, F.; Mangold, M.: Use of predictor corrector methods for multi-objective optimization of dynamic systems. In: 26th European Symposium on Computer Aided Process Engineering, S. 313 - 318. 26th European Symposium on Computer Aided Process Engineering - ESCAPE 26, Portoroz, 12. Juni 2016 - 15. Juni 2016. (2016)

Khadiv, M.; Herzog, A.; Moosavian, S.A.A.; Righetti, L.: Step Timing Adjustment: A Step Toward Generating Robust Gaits. In: 2016 IEEE-RAS 16th international Conference on Humanoid Robots (Humanoids 2016), S. 35 - 42. IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids 2016), Cancun, 15. November 2016 - 17. November 2016. IEEE, Piscataway, NJ (2016)

Khadiv, M.; Kleff, S.; Herzog, A.; Moosavian, S. A. A.; Schaal, S.; Righetti, L.: Stepping stabilization using a combination of DCM tracking and step adjustment. In: 2016 4th International Conference on Robotics and Mechatronics (ICROM 2016), S. 130 - 135. 4th International Conference on Robotics and Mechatronics (ICROM 2016), Teheran, 26. Oktober 2016 - 28. Oktober 2016. IEEE, Piscataway, NJ (2016)

Khalil, I. S. M.; Tabak, A. F.; Hosney, A.; Klingner, A.; Shalaby, M.; Abdel-Kader, R. M.; Serry, M.; Sitti, M.: Targeting of cell mockups using sperm-shaped microrobots in vitro. In: 6th IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob 2016), S. 495 - 501. 6th IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob 2016) , Singapore, 26. Juni 2016 - 29. Juni 2016. IEEE, New York, NY (2016)

Khalil, I.; Tabak, A. F.; Hosney, A.; Mohamed, A.; Klinger, A.; Ghoneima, M.; Sitti, M.: Sperm-shaped magnetic microrobots: Fabrication using electrospinning, modeling, and characterization. In: 2016 IEEE International Conference on Robotics and Automation (ICRA 2016), S. 1939 - 1944. IEEE International Conference on Robotics and Automation (ICRA 2016), Stockholm, 16. Mai 2016 - 21. Mai 2016. IEEE, Piscataway, NJ (2016)

Khamis, M.; Alt, F.; Bulling, A.: Challenges and Design Space of Gaze-enabled Public Displays. In: UbiComp'16 Adjunct, S. 1736 - 1745. ACM International Joint Conference on Pervasive and Ubiquitous Computing, Heidelberg, Germany, 12. September 2016 - 16. September 2016. ACM, New York, NY (2016)

Khamis, M.; Alt, F.; Hassib, M.; von Zezschwitz, E.; Hasholzner, R.; Bulling, A.: GazeTouchPass: Multimodal Authentication Using Gaze and Touch on Mobile Devices. In: CHI 2016 Extended Abstracts, S. 2156 - 2164. The 34th Annual CHI Conference on Human Factors in Computing Systems, San Jose, CA, USA, 07. Mai 2016 - 12. Mai 2016. ACM, New York, NY (2016)