Authors
| Kalyvianaki, E. (1) | Kaminski, B. (1) | Kampmann, A. (1) |
| Kapur, D. (1) | Kashefi, E. (1) | Katoen, J. (29) |
| Kavitha, T. (2) | Kawamoto, Y. (1) | Khalek, S. (1) |
| Khamespanah, E. (1) | Khurshid, S. (4) | Kilmurray, C. (3) |
| Kim, S. (1) | Klein, C. (1) | Klein, J. (11) |
| Klüppelholz, S. (15) | Knight, S. (2) | Knottenbelt, W. (1) |
| Kohlenbach, U. (1) | Köpf, B. (1) | Korenciak, L. (2) |
| Krähmann, D. (1) | Kramer, J. (6) | Krämer, J. (1) |
| Krčál, J. (12) | Krcál, P. (1) | Kress-Gazit, H. (1) |
| Křetinský, J. (1) | Kret\'ınský, J. (2) | Křet{\'ınsk{\`y}, J. (1) |
| Kret{\'ı}nský, J. (1) | Kriener, J. (1) | Krikava, F. (1) |
| Krka, I. (1) | Kucera, A. (1) | |
