Index file section K for scicomputprogram.bib

Last update: Sun May 11 02:01:57 MDT 2025               

Return to index directory

K

• K, 4(1)96--97, 13(1)128--130
• Kabaili, Hind, 45(2)155--174
• Kabaili, Hind, see Chaumun, M. Ajmal
• Kabanov, Jevgeni, 76(11)970--991
• Kabanov:2011:DSF, 76(11)970--991
• Kabitzsch, Klaus, 77(2)83--95
• Kabitzsch, Klaus, see Ryssel, Uwe
• Kafle, Bishoksan, 137(z)125--140
• Kafle:2017:CSH, 137(z)125--140
• Kahan, Ezequiel, 237(z)z--99999999
• Kahan:2024:RDT, 237(z)z--99999999
• Kahloul, Laid, 183(z)z--99999999
• Kahloul, Laid, see Tigane, Samir
• Kahn, 228(z)z--99999999
• Kahn, G., 3(2)151--188
• Kahn:1983:MFS, 3(2)151--188
• Kaiser, Markus, 78(10)1770--1808
• Kaiser, Markus, see Lämmel, Ralf
• Kaizer Vizzotto, Juliana, 173(z)37--55
• Kaizer Vizzotto, Juliana, see da Silva Feitosa, Samuel
• Kakkad, Vasvi, 105(z)124--144
• Kakkad:2015:CEE, 105(z)124--144
• KALA, 71(3)165--180
• Kaldewaij, 18(2)205--207
• Kaldewaij, Anne, 9(1)85--89, 14(2)229--242, 14(2)243--254, 15(2)171--183, 24(2)149--158, 26(1)149--165
• Kaldewaij:1987:SAB, 9(1)85--89
• Kaldewaij:1990:DSC, 14(2)229--242
• Kaldewaij:1990:SDA, 15(2)171--183
• Kaldewaij:1990:SE, 14(2)243--254
• Kaldewaij:1995:MSD, 24(2)149--158
• Kaldewaij:1996:LT, 26(1)149--165
• Kalleberg, Karl Trygve, 72(1)52--70
• Kalleberg, Karl Trygve, see Bravenboer, Martin
• Kallis, Rafael, 205(z)z--99999999
• Kallis:2021:PIT, 205(z)z--99999999
• Kalnina, Elina, 85(z)41--99
• Kalnina, Elina, see Jakumeit, Edgar
• Kaluarachchi, Thisaranie, 233(z)z--99999999
• Kaluarachchi:2024:WML, 233(z)z--99999999
• Kalus, Georg, 79(z)172--188
• Kalus, Georg, see Kuhrmann, Marco
• Kalwa, Vincent, 242(z)z--99999999
• Kalwa, Vincent, see Borchers, Philipp
• Kamali, Maryam, 80(z)25--49, 148(z)88--106
• Kamali:2014:FDW, 80(z)25--49
• Kamali:2017:FVA, 148(z)88--106
• Kamareddine, Fairouz, 19(3)239--279
• Kamareddine:1992:SCR, 19(3)239--279
• Kamboh, Awais Mehmood, 171(z)42--66
• Kamboh, Awais Mehmood, see Abbassi, Imran Hafeez
• Kamburjan, Eduard, 166(z)167--193, 223(z)z--99999999, 226(z)z--99999999, 232(z)z--99999999
• Kamburjan, Eduard, see Jakobs, Marie-Christine, see Schlatte, Rudolf
• Kamburjan:2018:FMA, 166(z)167--193
• Kamburjan:2023:DVA, 226(z)z--99999999
• Kameyama, Yukiyoshi, 112(z)120--144, 232(z)z--99999999
• Kameyama, Yukiyoshi, see Masuda, Masahiro
• Kameyama:2015:CIY, 112(z)120--144
• Kamina, Tetsuo, 156(z)104--120
• Kamina:2018:MSM, 156(z)104--120
• Kaminski, Ted, 114(z)33--44
• Kaminski:2015:MSO, 114(z)33--44
• Kammüller, Florian, 77(7)823--847, 206(z)z--99999999, see Henrio, Ludovic
• Kammuller:2021:AII, 206(z)z--99999999
• Kamphuis, A., 67(1)91--104
• Kamphuis, A., see Nieuwenhuisen, D.
• Kanagwa, Benjamin, 211(z)z--99999999, 229(z)z--99999999
• Kanagwa, Benjamin, see Ssanyu, Jackline
• Kanda, Tetsuya, 206(z)z--99999999, 236(z)z--99999999
• Kanda, Tetsuya, see Shimari, Kazumasa
• Kang, Byeongjee, 235(z)z--99999999
• Kang, Jeehoon, 238(z)103152--103152
• Kang, Jeehoon, see Hong, Jaemin
• Kang:2024:NHS, 235(z)z--99999999
• Kanso, Bilal, 96(z)527--551
• Kanso:2014:STP, 96(z)527--551
• Kantor, Amir, 98(z)233--267
• Kantor, Amir, see Harel, David
• Kantorowitz, Eliezer, 56(1)5--21
• Kantorowitz:2005:UCC, 56(1)5--21
• Kapfhammer, Gregory M., 150(z)1--25
• Kapfhammer, Gregory M., see Lin, Chu-Ti
• Kaplar, Sebastijan, 203(z)z--99999999
• Kaplar:2021:NWE, 203(z)z--99999999
• Kappé, T., 146(z)50--86, see Jongmans, S.-S. T. Q.
• Kappé, Tobias, 183(z)z--99999999
• Kappe:2019:SCA, 183(z)z--99999999
• Kapur, 14(1)103--105
• Kapur, D., 64(1)54--75
• Kapur, D., see Rodríguez-Carbonell, E.
• Kapur, Deepak, 10(1)33--63
• Kapur:1988:CII, 10(1)33--63
• Kapus, Tatjana, 29(1)23--52
• Kapus:1997:VXC, 29(1)23--52
• Karatas, Ahmet Serkan, 78(12)2295--2312
• Karatas, Fatih, 97(z)183--201
• Karatas:2013:EFM, 78(12)2295--2312
• Karatas:2015:SCC, 97(z)183--201
• Karavirta, Ville, 88(z)22--40
• Karavirta, Ville, see Fouh, Eric
• Kargén, Ulf, 228(z)z--99999999
• Kargen:2023:DCR, 228(z)z--99999999
• Karger, Burghard, von, 26(1)99--115
• Karger, Burghard von, 37(1)139--161
• Karlsen, Henrik S{\o}ndberg, 92(z)25--55, see Wognsen, Erik Ramsgaard
• Karsai, Gabor, 73(1)26--38, 106(z)3--29
• Karsai, Gabor, see Balasubramanian, Daniel
• Karsai:2008:MDA, 73(1)26--38
• Karus, Siim, 76(12)1161--1176
• Karus:2011:PMX, 76(12)1161--1176
• Kasami, Tadao, 7(3)297--312
• Kasami, Tadao, see Inoue, Katsuro
• Kas{\cprime}yanov, Victor N., 31(1)91--112
• Kästner, Christian, 75(11)1022--1047, 77(3)174--187, 79(z)70--85, see Apel, Sven, \see{Th{\"u}m, Thomas
• Katajainen, Jyrki, 3(2)205--216
• Katajainen:1983:AIK, 3(2)205--216
• Katoen, J. P., 13(1)51--72
• Katoen, J. P., see Hemerik, C.
• Katoen, Joost-Pieter, 27(2)119--137, 36(1)97--127, 91(z)90--114, 97(z)157--162
• Katoen, Joost-Pieter, see Heinen, Jonathan, see Hermanns, Holger, \see{Jansen, Nils
• Katoen:1996:SAR, 27(2)119--137
• Kats, Lennart C. L., 78(10)1752--1769
• Kats, Lennart C. L., see Sloane, Anthony M.
• Katz, Guy, 98(z)233--267, 149(z)15--27
• Katz, Guy, see Greenyer, Joel, see Harel, David
• Katz, Shmuel, 10(1)1--18
• Katz, Shmuel, see Baruch, Orit
• Kauffman, Sean, 225(z)z--99999999, 231(z)z--99999999
• Kauffman:2023:LAS, 225(z)z--99999999
• Kauffman:2024:CEN, 231(z)z--99999999
• Kaufman, C., 21(2)93--113
• Kaufman, C., see Abadi, M.
• Kaviani, Zeynab Sabahi, 98(z)184--204
• Kaviani, Zeynab Sabahi, see Khamespanah, Ehsan
• Kaviani, Zeynab, Sabahi-, 113(z)85--118, 177(z)41--66
• Kay, S., 13(1)125--127
• Kay:1989:BRB, 13(1)125--127
• Kazman, Rick, 57(1)5--26, 61(1)4--15, 80(z)211--222
• Kazman, Rick, see Chen, Hong-Mei, see Garg, Aditya, \see{Nicholson, Jon
• Kecir, Karim, 157(z)71--102
• Kecir, Karim, see Hélouët, Loïc
• Kedzia, Kamil, 157(z)3--16
• Kedzia:2018:SMP, 157(z)3--16
• Kehrer, Timo, 221(z)z--99999999
• Kehrer:2022:SIA, 221(z)z--99999999
• Keiren, Jeroen J. A., 78(12)2435--2452
• Keiren, Jeroen J. A., see Hwong, Yi Ling
• Keivanloo, Iman, 95(z)426--444
• Keivanloo:2014:SSC, 95(z)426--444
• Kellens, Andy, 75(4)232--246, 76(12)1113--1129, 79(z)6--22, 96(z)84--106, 96(z)107--120, 98(z)317--317, 105(z)73--91
• Kellens, Andy, see Brichau, Johan, see Castro, Sergio, \see{Fabry, Johan, see Gómez, Verónica Uquillas, see Laval, Jannik, \see{Lozano, Angela, see Stevens, Reinout
• Keller, 16(1)89--90
• Keller, Gabriele, 233(z)z--99999999, 236(z)z--99999999
• Keller, Gabriele, see Ansari, Saba Gholizadeh, see Krijnen, Jacco O. G.
• Keller, Rudolf K., 45(2)155--174
• Keller, Rudolf K., see Chaumun, M. Ajmal
• Kelly, Paul H. J., 76(4)227--242, 77(2)81--82
• Kelly, Paul H. J., see Hammond, Kevin, see Russell, Francis P.
• Kelsen, Pierre, 162(z)55--75
• Kelsen, Pierre, see Gammaitoni, Loïc
• Kelter, Timon, 133(z)175--193
• Kelter:2017:PAP, 133(z)175--193
• Kemper, S., 77(7)779--798
• Kemper:2012:SBV, 77(7)779--798
• Kendall, David, 40(1)3--29
• Kendall, David, see Bradley, Steven
• Kenneth, 16(2)197--198
• Kent, 16(2)202--203
• Kent, Stuart, 44(1)1--4
• Kent, Stuart, see Evans, Andy
• Kerber, Manfred, 206(z)z--99999999
• Kerber, Manfred, see Kammüller, Florian
• Kerboeuf, Mickaël, 161(z)149--171, see Costiou, Steven
• Keren, Mila, 78(12)2313--2330
• Keren, Mila, see Hartmann, Herman
• kernel, 38(1)1--25, 71(3)165--180, 148(z)107--122, 214(z)z--99999999, 226(z)z--99999999
• Kerridge, Jon, 56(1)157--170
• Kerridge, Jon, see Liu, Xiaodong
• Kesdogan, Dogan, 97(z)183--201
• Kesdogan, Dogan, see Karatas, Fatih
• Kessels, Joep L. W., 15(2)235--248
• Kessels:1990:VPC, 15(2)235--248
• Kessler Piveta, Eduardo, 173(z)37--55
• Kessler Piveta, Eduardo, see da Silva Feitosa, Samuel
• Kestrel, 28(2)247--271
• Ketema, Jeroen, 148(z)107--122
• Ketema:2017:TAG, 148(z)107--122
• Ketterlin, Alain, 80(z)440--456
• Ketterlin:2014:RMA, 80(z)440--456
• Keung, Jacky Wai, 237(z)z--99999999
• Keung, Jacky Wai, see Liu, Shuo
• key, 7(1)23--33, 21(2)93--113, 81(z)53--78, 97(z)75--81, 226(z)z--99999999
• Keyal, Shreya, 89(z)350--373
• Keyal, Shreya, see Huang, Fuqun
• keyword, 27(2)85--118, 75(11)1095--1112
• Kfoury, Assaf, 93(z)19--38
• Kfoury:2014:SSD, 93(z)19--38
• Khaireddine, Besma, 239(z)z--99999999
• Khaireddine, Besma, see AlBlwi, Samia
• Khakpour, Narges, 78(1)3--26
• Khakpour:2012:FME, 78(1)3--26
• Khalid, Faiq, 171(z)42--66
• Khalid, Faiq, see Abbassi, Imran Hafeez
• Khalil, Ashraf, 235(z)z--99999999
• Khalil, Ashraf, see Kuhail, Mohammad Amin
• Khalilian, Alireza, 78(1)93--116
• Khalilian:2012:IMT, 78(1)93--116
• Khamespanah, Ehsan, 98(z)184--204, 113(z)85--118, 128(z)22--50, 153(z)1--29, 225(z)z--99999999
• Khamespanah, Ehsan, see Jafari, Ali, see Sabahi-Kaviani, Zeynab, see Zakeriyan, Arvin
• Khamespanah:2015:TRS, 98(z)184--204
• Khamespanah:2018:ETM, 153(z)1--29
• Khasidashvili, 38(1)147--149
• Khatchadourian, Raffi, 150(z)56--74, 195(z)z--99999999, 214(z)z--99999999
• Khatchadourian, Raffi, see Tang, Yiming
• Khatchadourian:2017:DBP, 150(z)56--74
• Khatchadourian:2020:SAR, 195(z)z--99999999
• Khatiri, Sajad, 226(z)z--99999999
• Khatiri, Sajad, see Birchler, Christian
• Khatri, Yogita, 226(z)z--99999999
• Khatri:2023:ESC, 226(z)z--99999999
• Khedker, Uday, 228(z)z--99999999
• Khedker, Uday, see Pathade, Komal
• Khedker, Uday P., 190(z)z--99999999
• Khedker, Uday P., see Jaiswal, Swati
• Khedri, Ridha, 39(2)189--213
• Khedri, Ridha, see Janicki, Ryszard
• Khomh, Foutse, 230(z)z--99999999
• Khomh, Foutse, see Humeniuk, Dmytro
• Khoo, Siau Cheng, 21(3)263--291
• Khoo, Siau Cheng, see Consel, Charles
• Khoo, Siau-Cheng, 75(11)1048--1076
• Khoo, Siau-Cheng, see Chen, Kung
• Khosravi, Ramtin, 83(z)35--55, 98(z)184--204, 113(z)85--118, 153(z)1--29, 225(z)z--99999999
• Khosravi, Ramtin, see Khamespanah, Ehsan, see Sabahi-Kaviani, Zeynab, see Sabouri, Hamideh, see Zakeriyan, Arvin
• Khurshid, Sarfraz, 78(3)270--271
• Khurshid, Sarfraz, see Frappier, Marc
• Kiama, 114(z)20--32
• kids, 28(2)247--271
• Kiehn, Astrid, 160(z)78--92
• Kiehn:2018:SMC, 160(z)78--92
• Kienle, Holger M., 75(4)247--263, 79(z)1--5
• Kienle, Holger M., see Mens, Kim
• Kienle:2010:RES, 75(4)247--263
• Kierzek, Andrzej M., 157(z)3--16
• Kierzek, Andrzej M., see Kedzia, Kamil
• Kifetew, Fitsum, 227(z)z--99999999
• Kifetew, Fitsum, see Ferdous, Raihana
• Kifetew, Fitsum Meshesha, 236(z)z--99999999
• Kifetew, Fitsum Meshesha, see Ansari, Saba Gholizadeh
• Kikuchi, Kentaro, 187(z)z--99999999
• Kikuchi, Kentaro, see Hamana, Makoto
• Kim, Dongwoo, 103(z)51--70, 163(z)19--41
• Kim, Dongwoo, see Choi, Yunja
• Kim, Jin Hyun, 113(z)236--260, 127(z)103--130
• Kim, Jin Hyun, see Boudjadar, Abdeldjalil
• Kim, Jungwoo, 238(z)103152--103152
• Kim, Jungwoo, see Hong, Jaemin
• Kim, Minyoung, 78(12)2453--2467
• Kim, Tae Woo, 238(z)103152--103152
• Kim, Tae Woo, see Hong, Jaemin
• Kim:2013:DLN, 78(12)2453--2467
• Kim:2018:TSA, 163(z)19--41
• Kimmell, Garrin, 75(7)543--572
• Kimmell, Garrin, see Frisby, Nicolas
• Kin2, 130(z)97--106
• Kindarji, Bruno, 74(1)43--51
• Kindarji, Bruno, see Bringer, Julien
• Kinect, 130(z)97--106, 143(z)1--8, 211(z)z--99999999
• King, Andy, 78(7)862--883, 84(z)1--2, 111(z)3--22
• King, Andy, see Brauer, Jörg, see Robbins, Ed
• King:2014:PSS, 84(z)1--2
• Kingdom, 10(1)90--92, 10(2)217--217, 12(1)84--84, 12(1)85--87, 12(1)87--88, 12(1)88--90, 12(2)157--158, 12(2)158--164, 12(2)164--165, 12(2)165--167, 12(2)168--170, 12(2)170--172, 12(2)172--173, 12(2)174--175, 12(3)255--257, 12(3)257--259, 12(3)259--260, 12(3)264--265, 12(3)265--266, 12(3)267--270, 14(1)103--105, 14(1)105--106, 14(1)106--109, 14(1)109--110, 14(1)110--110, 14(1)110--112, 15(1)95--97, 15(1)97--97, 15(1)100--111, 15(1)111--112, 16(1)89--90, 16(1)90--90, 16(1)91--92, 16(1)92--93, 16(1)93--95, 16(2)198--200, 16(2)200--201, 16(2)202--203, 18(2)205--207, 18(2)209--213, 18(2)221--222
• KinZ, 211(z)z--99999999
• Kirbas, Serkan, 135(z)4--19
• Kirbas:2017:ECM, 135(z)4--19
• Kirby, Robert M., 76(2)65--81
• Kirby, Robert M., see Li, Guodong
• Kirchhof, Jörg Christian, 232(z)z--99999999, see Buschhaus, Constantin
• Kirchner, Claude, 8(1)69--86
• Kirchner, Florent, 93(z)89--109
• Kirchner, Florent, see Cachera, David
• Kirchner, Hélène, 8(1)69--86, see Kirchner, Claude
• Kirchner:1987:RIG, 8(1)69--86
• Kirkham, C. C., 12(3)265--266
• Kirkham, Chris, 70(2)111--126
• Kirkham, Chris, see Singer, Jeremy
• Kirkham:1989:BRB, 12(3)265--266
• Kirsch, Christoph M., 77(2)96--112
• Kirsch, Christoph M., see Ghosal, Arkadeb
• Kiselyov, Oleg, 62(1)25--46, 76(5)349--375, 112(z)120--144, 231(z)z--99999999
• Kiselyov, Oleg, see Carette, Jacques, see Cohen, Albert, see Kameyama, Yukiyoshi
• Kiselyov:2024:GCH, 231(z)z--99999999
• Kishi, Tomoji, 230(z)z--99999999
• Kishi, Tomoji, see Lee, Jaejoon
• Kiss, Ákos, 62(3)228--252, see Binkley, Dave
• Kit, 54(1)49--71
• Kitchenham, Barbara, 10(2)213--215
• Kitchenham:1988:BRB, 10(2)213--215
• KLAIM, 99(z)24--74
• Klaudel, Hanna, 41(3)195--240
• Klaudel:2001:CHL, 41(3)195--240
• Klaus, 11(1)97--98
• Kleene, 65(2)173--194, 65(2)195--214
• Kleijn, Allard, 94(z)32--52
• Kleijn, Allard, see Hogenboom, Frederik
• Kleijn, Jetty, 77(7)955--967
• Kleijn:2012:SCA, 77(7)955--967
• Klein, Dominik, 77(7)940--954
• Klein:2012:MNU, 77(7)940--954
• Kleist, Josva, 44(3)293--342
• Kleist:2002:IOM, 44(3)293--342
• Klenik, Attila, 157(z)17--40
• Klenik, Attila, see Vörös, András
• Klikovits, Stefan, 230(z)z--99999999
• Klikovits:2023:FLE, 230(z)z--99999999
• Klint, P., 31(2)205--229
• Klint, P., see Bergstra, J. A.
• Klint, Paul, 64(3)264--285, 114(z)7--19, 134(z)37--46
• Klint, Paul, see Basten, Bas, see Bergstra, Jan A., \see{Hills, Mark
• Kloos, 11(1)95--97
• Kloster, 26(0)274, 26(1)11--14, 26(1)15--31, 26(1)59--78, 26(1)99--115, 26(1)117--132, 26(1)133--148, 26(1)167--177, 26(1)179--196, 26(1)197--216, 26(1)217--236, 26(1)237--254, 26(1)255--272
• Klüppelholz, Sascha, 74(9)688--701, 75(6)398--425
• Kluppelholz:2009:SMC, 74(9)688--701
• Kluppelholz:2010:ATS, 75(6)398--425
• Klusener, A. S., 54(2)143--211
• Klusener, Steven, 76(12)1261--1274
• Klusener, Steven, see Spek, Pieter van der
• Klusener:2005:AMD, 54(2)143--211
• Kluzniak, Feliks, 28(2)193--223
• Kluzniak:1997:SLL, 28(2)193--223
• Knapp, Edgar, 19(1)1--23
• Knapp:1992:DCP, 19(1)1--23
• Knauss, Eric, 191(z)z--99999999
• Knauss, Eric, see Pelliccione, Patrizio
• Kneuper, Ralf, 16(3)207--249
• Kneuper:1991:SES, 16(3)207--249
• Kniesel, Günter, 52(1)9--51
• Kniesel:2004:SCR, 52(1)9--51
• Knoll, A., 90(z)161--179
• Knoll, A., see Rupanov, V.
• know, 244(z)z--99999999
• knowledge, 18(2)209--213, 30(1)3--49, 42(1)87--99, 66(2)105--124, 67(1)59--75, 91(z)234--248, 95(z)73--92, 121(z)3--15, 121(z)16--33, 121(z)34--54, 121(z)55--74, 121(z)75--99, 121(z)100--127, 121(z)176--189, 135(z)45--74, 166(z)1--2, 202(z)z--99999999, 231(z)z--99999999, 235(z)z--99999999, 239(z)z--99999999, 242(z)z--99999999, 244(z)z--99999999
• Knowledge-based, 121(z)1--2
• known, 121(z)153--175
• Knows, 74(8)629--653
• Knuth, Elod, 18(2)221--222
• Knuth-Morris-Pratt, 12(2)93--104
• Knuth:1992:BRB, 18(2)221--222
• Ko, Soon Hae, 5(2)111--142
• Ko, Soon Hae, see Meyer, Bertrand
• Kobayashi, Naoki, 137(z)2--62, 231(z)z--99999999
• Kobayashi, Naoki, see Al Ameen, Mahmudul Faisal, see Asada, Kazuyuki
• Koch, Helge, 52(1)9--51
• Koch, Helge, see Kniesel, Günter
• Kogtenkov, Alexander, 97(z)163--172
• Kogtenkov:2015:ACC, 97(z)163--172
• Köhler, Martin, 30(1)157--199, see Chakravarty, Manuel M. T.
• Kok, J. N., 31(2)313--334
• Kok, J. N., see Goeman, H. J. M.
• Kok, Joost N., 46(1)31--69
• Kok, Joost N., see Bonsangue, Marcello M.
• Kokash, Natallia, 115(z)1--2, 115(z)147--148, 203(z)z--99999999
• Kokash, Natallia, see Changizi, Behnaz
• Kokash:2015:F, 115(z)1--2
• Kokash:2015:SSF, 115(z)147--148
• Kokke, Wen, 194(z)z--99999999
• Kokke:2020:PLF, 194(z)z--99999999
• Kolahdouz-Rahimi, S., 85(z)5--40
• Kolahdouz-Rahimi:2014:EMT, 85(z)5--40
• Kolbl, Stefan, 8(1)87--103
• Kolbl:1987:LFS, 8(1)87--103
• Kolesnikov, Sergiy, 77(3)174--187
• Kolesnikov, Sergiy, see Apel, Sven
• Koliousis, Alexandros, 80(z)288--310
• Koliousis, Alexandros, see Calder, Muffy
• Köllmann, Carsten, 53(3)353--380, see Goedicke, Michael
• Kolodner, Elliot K., 58(1)264--289
• Kolodner, Elliot K., see Shaham, Ran
• Kolovos, Dimitrios S., 96(z)396--416, 98(z)1--2
• Kolovos, Dimitrios S., see Brand, Mark van den, see Paige, Richard F.
• Kolovos, Dimitris, 232(z)z--99999999
• Kolovos, Dimitris, see Yohannis, Alfa
• Komondoor, Raghavan, 98(z)645--679
• Komondoor, Raghavan, see Margoor, Amogh
• Komorowski, Henryk Jan, 9(2)179--205
• Komorowski:1987:LPR, 9(2)179--205
• Kompanek, Andrew J., 44(1)23--49
• Kompanek, Andrew J., see Garlan, David
• Kondo, Tabu S., 237(z)z--99999999
• Kondo, Tabu S., see Namayala, Phesto P.
• Kondoh, Hidetaka, 60(1)82--116
• Kondoh:2006:G, 60(1)82--116
• Kong, Lingjie, 235(z)z--99999999
• Kong, Lingjie, see Dong, Yukun
• König, Barbara, 104(z)71--98, 186(z)z--99999999, see Beohar, Harsh, see Bruggink, H. J. Sander
• König, Florian, 149(z)15--27, see Greenyer, Joel
• König, Harald, 107(0)2--18, see Löwe, Michael
• Konnov, Igor, 187(z)z--99999999
• Konnov, Igor, see Kukovec, Jure
• Konrad, Sascha, 78(12)2414--2432
• Konrad, Sascha, see Heuer, André
• Konstancin, 28(0)91--299, 28(2)171--192, 28(2)225--246
• Kontogiannis, Kostas, 45(2)245--270, 60(2)117--120
• Kontogiannis, Kostas, see Balmas, Françoise, see Rayside, Derek
• Konur, Savas, 80(z)264--287
• Konur:2014:SSC, 80(z)264--287
• Koomen, C. J., 5(1)1--36
• Koomen:1985:ASV, 5(1)1--36
• Koopmann, Tjark, 242(z)z--99999999
• Koopmann, Tjark, see Borchers, Philipp
• Kordon, Fabrice, 157(z)1--2
• Kordon:2018:ISI, 157(z)1--2
• Korel, Bogdan, 62(3)228--252
• Korel, Bogdan, see Binkley, Dave
• Korobkine, Alexandre, 113(z)29--50
• Korobkine, Alexandre, see Bender, Marc
• Korotov, Sergey, 90(z)34--41
• Korotov, Sergey, see Hannukainen, Antti
• Kortenkamp, Ulrich, 53(1)71--85
• Kortenkamp:2004:GTW, 53(1)71--85
• Korthaus, Axel, 66(2)105--124
• Korthaus, Axel, see Gitzel, Ralf
• Korver, Henri, 29(1)259--278
• Korver:1997:DFI, 29(1)259--278
• Koschke, Rainer, 36(2)149--181, 60(2)171--188, 74(7)470--495, 95(z)389--389
• Koschke, Rainer, see Girard, Jean-François, see Inoue, Katsuro, \see{Roy, Chanchal K.
• Koschke:2006:RAC, 60(2)171--188
• Kosciusco, 2(1)89--89
• Koshima, Amanuel Alemayehu, 113(z)3--28
• Koshima:2015:CEE, 113(z)3--28
• Kosiol, Jens, 214(z)z--99999999
• Kosiol:2022:SIG, 214(z)z--99999999
• Kosiuczenko, Piotr, 28(2)225--246
• Kosiuczenko:1997:TRL, 28(2)225--246
• Koska, Océane, 236(z)z--99999999, see Gazda, Arnaud
• Kosmatov, Nikolai, 132(z)226--246, 207(z)z--99999999
• Kosmatov, Nikolai, see Bardin, Sébastien, see Jakobsson, Arvid
• Koster, Joeri, De, 98(z)140--158
• Kothari, Suresh, 163(z)93--114
• Kothari, Suresh, see Tamrawi, Ahmed
• Kott, Laurent, 7(2)99--241
• Koubek, Václav, 9(1)85--89
• Kouchnarenko, O., 99(z)3--23
• Kouchnarenko, O., see Tushkanova, E.
• Kouchnarenko, Olga, 75(10)898--917, 178(z)43--44
• Kouchnarenko, Olga, see Héam, Pierre-Cyrille
• Kouchnarenko:2019:SEP, 178(z)43--44
• Kounalis, Emmanuel, 56(3)363--401
• Kounalis, Emmanuel, see Ponsini, Olivier
• Kounev, Samuel, 90(z)71--92, 90(z)116--134
• Kounev, Samuel, see Brosig, Fabian, see Krebs, Rouven
• Kourie, D. G., 97(z)55--58
• Kourie, D. G., see Watson, B. W.
• Kourie, Derrick G., 74(3)128--142
• Kourie:2009:IAC, 74(3)128--142
• Koutny, Maciej, 70(1)31--61, 77(7)955--967, 151(z)48--60
• Koutny, Maciej, see Barylska, Kamila, see Duan, Zhenhua, \see{Kleijn, Jetty
• Kouzapas, Dimitrios, 155(z)52--75
• Kouzapas:2018:TPM, 155(z)52--75
• Kovacevi{\'c}, Aleksandar, 238(z)z--99999999, see Proki{\'c}, Simona
• Kova{\v{c}}evi{\'c}, Aleksandar, 230(z)z--99999999, see Slivka, Jelena
• Kowalewski, Stefan, 76(2)100--118, 78(7)775--777, 78(7)862--883, 80(z)109--129
• Kowalewski, Stefan, see Alpuente, María, see Brauer, Jörg, see Reinbacher, Thomas, see Schlich, Bastian
• Kozen, Dexter, 51(1)3--22, 65(2)71--71
• Kozen:2004:SRD, 51(1)3--22
• Kozen:2007:P, 65(2)71--71
• Kozyrakis, Christos, 63(2)111--129
• Kozyrakis, Christos, see Carlstrom, Brian D.
• Krafczyk, Niklas, 231(z)z--99999999
• Krafczyk, Niklas, see Huang, Wen-ling
• Kraft, Nicholas A., 69(1)3--13
• Kraft:2007:TCR, 69(1)3--13
• Kraken, 206(z)z--99999999
• Krall, Andreas, 78(5)423--424
• Krall, Andreas, see Aleksy, Markus
• Krämer, Bernd J., 42(1)101--113, see Völker, Norbert
• Kramer, Jeff, 61(2)73--74
• Kramer, Jeff, see Brogi, Antonio
• Kranjc, Janez, 121(z)128--152
• Kranjc, Janez, see Perovsek, Matic
• Krause, Christian, 76(1)23--36, 80(z)3--24, 85(z)41--99
• Krause, Christian, see Jakumeit, Edgar, see Moon, Young-Joo
• Krause:2011:MDR, 76(1)23--36
• Krebs, Nico, 79(z)101--115
• Krebs, Rouven, 90(z)116--134
• Krebs:2014:JJB, 79(z)101--115
• Krebs:2014:MTQ, 90(z)116--134
• Kreinovich, Vladik, 42(1)115--128
• Kreinovich, Vladik, see Cooke, Daniel E.
• Kreowski, Hans-Jörg, 34(1)1--54, 44(2)131--132, see Andries, Marc, \see{Ehrig, Hartmut
• Krichen, Moez, 122(z)1--28, 240(z)z--99999999
• Krichen, Moez, see Lahami, Mariam
• Krieg-Brückner, B., 1(1)73--114, see Bauer, F. L.
• Krieg-Bruckner:1994:MSD, 22(0)181--356
• Krijnen, Jacco O. G., 233(z)z--99999999
• Krijnen:2024:TCS, 233(z)z--99999999
• Krikhaar, Rene, 78(12)2360--2380
• Krikhaar, Rene, see Ganesan, Dharmalingam
• Krikhaar, René, 65(3)215--221, 74(7)397--398
• Krikhaar:2007:SCM, 65(3)215--221
• Krikhaar:2009:GEI, 74(7)397--398
• Krings, Sebastian, 158(z)41--63, 188(z)z--99999999
• Krings:2018:PAB, 158(z)41--63
• Krings:2020:TAE, 188(z)z--99999999
• Krinke, Jens, 62(3)205--208, 95(z)389--389
• Krinke, Jens, see Antoniol, Giuliano, see Inoue, Katsuro
• Krintz, Chandra, 59(1)64--81, 74(5)314--332
• Krintz, Chandra, see Nagpurkar, Priya, see Zhang, Lingli
• Kripke, 99(z)128--192
• Krishna, Ajay, 170(z)1--26
• Krishna, Arvind S., 73(1)39--58
• Krishna, Arvind S., see Gokhale, Aniruddha
• Krishna:2019:CBP, 170(z)1--26
• Krishnamurthi, Shriram, 63(3)207--239
• Krishnamurthi, Shriram, see Dutchyn, Christopher
• Krishnan, Lijesh, 75(1)39--54, 96(z)511--526
• Krishnan, Lijesh, see Van Wyk, Eric
• Krishnan:2014:MMT, 96(z)511--526
• Krisiloff, Joshua, 103(z)13--50
• Krisiloff, Joshua, see Bae, Kyungmin
• Kristensen, Lars Michael, 78(7)778--795, 181(z)1--26
• Kristensen, Lars Michael, see Evangelista, Sami, see Gkolfi, Anastasia
• Kristiansen, Lars, 213(z)z--99999999
• Kristiansen:2022:RCI, 213(z)z--99999999
• Krízek, Michal, 90(z)34--41, see Hannukainen, Antti
• Kroger, 10(2)215--216
• Kronsjö, 10(1)93--95
• Krüger, Jacob, 241(z)z--99999999, see Chen, Siyue
• Kruseman Aretz, F. E. J., 10(1)19--32, 12(2)105--121
• KrusemanAretz:1988:DLP, 10(1)19--32
• KrusemanAretz:1989:NAE, 12(2)105--121
• Kruskal, 3(2)205--216
• Kucera, Michael, 76(6)469--491
• Kucera, Michael, see Carette, Jacques
• Kuchen, Herbert, 97(z)31--36
• Kuchen, Herbert, see Heitkötter, Henning
• Kuehn, Eva Maria, 223(z)z--99999999
• Kuehn:2022:PMT, 223(z)z--99999999
• Kuei, Chin-, 10(2)213--215
• Kuhail, Mohammad Amin, 235(z)z--99999999
• Kuhail:2024:WRA, 235(z)z--99999999
• Kuhlemann, Martin, 77(3)174--187
• Kuhlemann, Martin, see Apel, Sven
• Kuhlmann, Mirco, 89(z)162--175
• Kuhlmann, Mirco, see Büttner, Fabian
• Kuhn, Stefan, 151(z)18--47
• Kuhn, Tobias, 96(z)121--140
• Kuhn:2014:VSC, 96(z)121--140
• Kuhn:2018:LRC, 151(z)18--47
• Kühne, Thomas, 44(1)5--22, see Atkinson, Colin
• Kuhrmann, Marco, 79(z)172--188
• Kuhrmann:2014:PET, 79(z)172--188
• Kuich, W., 11(1)97--98
• Kuich:1988:BRB, 11(1)97--98
• Kuiper, Ruurd, 184(z)z--99999999
• Kuiper, Ruurd, see Zhang, Dan
• Kuipers, Tobias, 47(1)59--87
• Kuipers:2003:OOT, 47(1)59--87
• Kukovec, Jure, 187(z)z--99999999
• Kukovec:2020:EST, 187(z)z--99999999
• Kula, Raula Gaikovina, 218(z)z--99999999
• Kula, Raula Gaikovina, see Constantinou, Eleni
• Kulk, G. P., 72(3)136--175, 74(11)900--933
• Kulk:2008:QRV, 72(3)136--175
• Kulk:2009:QIE, 74(11)900--933
• Kulkarni, Sandeep S., 160(z)93--114
• Kulkarni, Sandeep S., see Hajisheykhi, Reza
• Kulkarni, Vinay, 233(z)z--99999999
• Kulkarni, Vinay, see Nistala, Padmalata
• Kumar, D., Pavan, 25(1)63--77
• Kumar, Pranav, 106(z)3--29
• Kumar, Pranav, see Balasubramanian, Daniel
• Küpper, Sebastian, 104(z)71--98, 186(z)z--99999999, see Beohar, Harsh, see Bruggink, H. J. Sander
• Kurki-Suonio, Reino, 20(1)113--140
• Kurki-Suonio:1993:RTS, 20(1)113--140
• Kurs, Jan, 96(z)17--33, 97(z)150--156, 161(z)57--88
• Kurs, Jan, see Hlopko, Marcel, see Nierstrasz, Oscar
• Kurs:2018:EPP, 161(z)57--88
• Kurt, 10(2)211--212
• Kurtev, Ivan, 68(3)114--137, 68(3)138--154, 72(1)31--39, 73(1)1--2, 233(z)z--99999999
• Kurtev, Ivan, see Aksit, Mehmet, see Jouault, Frédéric
• Kurtev:2007:RBM, 68(3)138--154
• Kurtev:2024:MBC, 233(z)z--99999999
• Kurtz, Stefan, 25(2)187--218
• Kurtz, Stefan, see Giegerich, Robert
• Kuruma, Hironobu, 74(11)879--899
• Kuruma, Hironobu, see Hoang, Thai Son
• Kusakari, Keiichirou, 111(z)110--134
• Kusakari, Keiichirou, see Yamada, Akihisa
• Kushilevitz, 33(2)215--216
• Kuske, Sabine, 34(1)1--54
• Kuske, Sabine, see Andries, Marc
• Küster, Jochen Malte, 44(2)229--252, see Depke, Ralph
• Kusters, Vincent J. J., 78(12)2435--2452
• Kusters, Vincent J. J., see Hwong, Yi Ling
• Kwak, Hee-Hwan, 42(1)49--60
• Kwak:2002:PAS, 42(1)49--60
• Kwiatkowska, Marta, 91(z)115--137
• Kwiatkowska, Marta, see Chilton, Chris
• Kwiatkowski, L. M., 78(9)1368--1406
• Kwiatkowski, Lukasz M., 98(z)551--588
• Kwiatkowski:2013:RMI, 78(9)1368--1406
• Kwiatkowski:2015:ROC, 98(z)551--588
• Kyriakakis, Panos, 171(z)1--20
• Kyriakakis:2019:EFC, 171(z)1--20