Index file section K for actainfo.bib

Last update: Wed Aug 5 02:00:28 MDT 2026

Return to index directory

K

K, LRU-, 47(7)359--374
k-d, 17(3)267--285
Kabir, Md. Enamul, 48(1)51--66
Kabir:2011:ESC, 48(1)51--66
Kaci, Souhila, 53(2)149--170
Kaci, Souhila, see Condotta, Jean-François
Kahla, Mostafa, 56(5)391--404
Kahla, Mostafa, see Elmasry, Amr
Kahn, Kevin C., 7(2)197--216
Kahn, Kevin C., see Denning, Peter J.
Kahrs, Stefan, 44(2)91--121, 50(2)123--156
Kahrs:2007:IRM, 44(2)91--121
Kahrs:2013:IRC, 50(2)123--156
Kalampakas, Antonios, 41(1)19--61, 42(8)553--581
Kalampakas, Antonios, see Bozapalidis, Symeon
Kalmus, John, 28(2)95--119
Kalmus, John, see Dick, Jeremy
Kaltofen, Erich, 28(7)693--701
Kaltofen, Erich, see Cantor, David G.
Kam, John B., 7(3)305--317
Kam, Siu-Man, 33(3)281--296
Kam:1977:MDF, 7(3)305--317
Kambayashi, Yahiko, 18(2)171--179
Kambayashi, Yahiko, see Nakatsu, Narao
Kameda, Hisao, 8(4)341--357, 20(2)113--120
Kameda:1977:FCR, 8(4)341--357
Kameda:1983:NMQ, 20(2)113--120
Kamei, Sayaka, 61(1)83--100
Kamei, Sayaka, see Dolev, Shlomi
Kamikawa, Naoki, 58(4)427--450
Kamikawa, Naoki, see Umeo, Hiroshi
Kamilya, Supreeti, 58(4)319--333
Kamilya:2021:NPP, 58(4)319--333
Kamimura, Tsutomu, 22(2)203--227
Kamimura:1985:EGI, 22(2)203--227
Kamin, Samuel, 24(6)695--709
Kamin:1987:ETS, 24(6)695--709
Kaminski, Benjamin Lucien, 56(3)255--285
Kaminski, Michael, 35(3)245--267, 50(3)175--197
Kaminski, Michael, see Aizikowitz, Tamar, see Cheng, Edward Y. C.
Kaminski:2019:HAP, 56(3)255--285
Kan, A. H. G. Rinnooy, 26(7)679--696
Kan, A. H. G. Rinnooy, see Adiri, Igal
Kandukoori, Ramesh, 56(5)433--446
Kandukoori, Ramesh, see Srinivasan, Sathyanarayanan
Kandzia, Peter, 2(z)253--282
Kandzia:1973:TPL, 2(z)253--282
Kapoutsis, Christos A., 58(5)463--495, 59(5)619--669
Kapoutsis, Christos A., see Geffert, Viliam
Kapur, Deepak, 24(4)395--415, 28(4)311--350
Kapur:1987:SCR, 24(4)395--415
Kapur:1991:SCG, 28(4)311--350
Karhumäki, Juhani, 23(5)597--605, 27(2)179--191, see Culik II, Karel
Kari, Jarkko, 31(8)761--773, 34(2)151--166, 58(4)319--333
Kari, Jarkko, see Culik II, Karel, see Kamilya, Supreeti
Kari, Lila, 35(5)401--420, 40(2)119--157, 44(3)153--166, 54(4)379--398
Kari:1998:DCS, 35(5)401--420
Kari:2003:SFO, 40(2)119--157
Kari:2007:SMH, 44(3)153--166
Kari:2017:DOP, 54(4)379--398
Karlsruhe, 13(3)229--256
Karpova, N. A., 11(1)61--70
Karr, Michael, 6(2)133--151
Karr:1976:ARA, 6(2)133--151
Kasai, Takumi, 30(3)267--278
Kasai, Takumi, see Iwata, Shigeki
Kasami, Tadao, 19(4)325--338
Kasami, Tadao, see Suzuki, Ichiro
Kasami, Tadeo, 6(4)361--364
Kasami, Tadeo, see Taniguchi, Kenichi
Kastens, Uwe, 13(3)229--256, 24(6)633--651, 28(6)539--558, 31(7)601--627
Kastens:1980:OAG, 13(3)229--256
Kastens:1987:LAA, 24(6)633--651
Kastens:1991:ADT, 28(6)539--558
Kastens:1994:MRA, 31(7)601--627
Katajainen, Jyrki, 31(4)301--313, 45(3)193--210, 59(2)245--281
Katajainen, Jyrki, see Elmasry, Amr
Katajainen:1994:SMS, 31(4)301--313
Katayama, Yoshiaki, 61(1)83--100
Katayama, Yoshiaki, see Dolev, Shlomi
Katoen, Joost-Pieter, 34(8)597--635, 56(3)255--285
Katoen, Joost-Pieter, see Kaminski, Benjamin Lucien, see Nymeyer, Albert
Katseff, Howard P., 18(2)207--225
Katseff, Howard P., see Brown, Donna J.
Katz, Bastian, 49(5)295--312
Katz, Shmuel M., 5(4)333--352
Katz:1975:CLT, 5(4)333--352
Katz:2012:ASS, 49(5)295--312
Kaufholz, Gerd, 1(z)225--241, 3(2)171--186
Kaufholz:1972:PEA, 1(z)225--241
Kaufholz:1974:VMG, 3(2)171--186
Kaufmann, 9(1)1--21
Kearns, John P., 19(3)221--233
Kearns:1983:IRC, 19(3)221--233
Kedem, Zvi M., 16(1)1--13, 33(3)203--231
Kedem, Zvi M., see Tuzhilin, Alexander
Kedem:1981:CDG, 16(1)1--13
Keesmaat, N. W., 34(1)23--57
Keesmaat:1997:NBC, 34(1)23--57
Keiren, Jeroen J. A., 55(5)401--444
Keiren, Jeroen J. A., see Cranen, Sjoerd
Keleman, C., 17(3)349--364
Keleman, C., see Demers, A.
Keller, Jörg, 36(6)463--487, see Abolhassan, Ferri
Kelly, F. P., 12(3)245--284
Kemeny, 61(4)401--414
Kemp, R., 11(4)363--372, 14(3)295--298, 15(3)265--280, 26(8)711--740
Kemp, Rainer, 35(1)17--89
Kemp:1979:ANR, 11(4)363--372
Kemp:1980:NDI, 14(3)295--298
Kemp:1981:LGG, 15(3)265--280
Kemp:1989:EAW, 26(8)711--740
Kemp:1998:GWL, 35(1)17--89
Kempf, M., 24(4)461--474
Kempf:1987:TOL, 24(4)461--474
Kennedy, Ken, 16(3)253--273
Kennedy, Ken, see Ramanathan, Jayashree
Kern, W., 28(6)593--601
Kern, W., see Faigle, Ulrich
Kern, Werner, 7(3)269--287
Kern:1977:SFG, 7(3)269--287
Kernel, 5(4)237--255, 33(6)523--546
Kernel-Control, 9(3)195--216
Kessels, Joep L. W., 17(2)135--141
Kessels:1982:ACM, 17(2)135--141
Kesten, Yonit, 36(11)837--912
Kesten:2000:VCH, 36(11)837--912
Kettenbruchentwicklungen, 1(z)139--144
key, 4(1)1--9, 21(1)47--60, 26(7)597--614, 31(8)729--740, 46(7)475--507
Key, Duplicate-, 26(5)473--484
Kfoury, A. J., 22(4)347--377
Kfoury:1985:NSC, 22(4)347--377
Khabbaz, Nabil A., 4(1)77--85
Khabbaz:1974:MPA, 4(1)77--85
Khaireddine, Besma, 60(3)209--255
Khaireddine:2023:TTP, 60(3)209--255
Khamespanah, Ehsan, 47(1)33--66
Khamespanah, Ehsan, see Jaghoori, Mohammad Mahdi
Khardon, Roni, 36(4)267--286
Khardon:1999:REP, 36(4)267--286
Khomenko, Victor, 40(2)95--118, 43(5)307--330, 46(6)433--474
Khomenko:2003:CPP, 40(2)95--118
Khomenko:2006:MPN, 43(5)307--330
Khomenko:2009:SDS, 46(6)433--474
Khoshnevisan, Hessam, 28(1)43--81, 29(3)211--239
Khoshnevisan, Hessam, see Harrison, Peter G.
Khoshnevisan:1990:EMT, 28(1)43--81
Khosravi, Ramtin, 56(2)161--203, 60(2)145--178
Khosravi, Ramtin, see Abbasi, Rosa, see Samadi, Mahboubeh
Kieburtz, Richard B., 16(3)309--345
Kieburtz, Richard B., see Hennessy, John L.
Kiehn, Astrid, 28(3)231--264, 31(8)697--718
Kiehn, Astrid, see Best, Eike
Kiehn:1994:CLC, 31(8)697--718
Kiepuszewski, B., 39(3)143--209
Kiepuszewski:2003:FCF, 39(3)143--209
Kilinç, Görkem, 52(2)153--174, see Desel, Jörg
Kim, Changwook, 37(9)619--632
Kim, Chul E., 4(2)193--200
Kim, Chul E., see Ibarra, Oscar H.
Kim, Ik-Soon, 47(3)179--207
Kim, Sam M., 21(2)193--207, 23(3)325--356
Kim, Sam M., see Ibarra, Oscar H.
Kim, SungSuk, 41(2)65--81
Kim:2001:ERA, 37(9)619--632
Kim:2004:MMT, 41(2)65--81
Kim:2010:LER, 47(3)179--207
Kinber, E. B., 17(3)349--364
kind, 5(4)297--332, 18(1)47--64, 51(6)339--346
Kinded, 33(1)21--68
Kindler, Ekkart, 32(4)299--312
Kindler:1995:ICS, 32(4)299--312
Kingston, Jeffrey H., 22(1)15--33
Kingston:1985:ATA, 22(1)15--33
Kinoshita, Yoshiki, 36(9)693--719
Kinoshita:2000:DRA, 36(9)693--719
Kintala, Chandra M. R., 13(2)199--204
Kintala:1980:ANF, 13(2)199--204
Kirousis, Lefteris M., 32(2)155--170
Kirousis:1995:EAC, 32(2)155--170
Kirschenhofer, Peter, 31(8)775--792
Kirschenhofer:1994:PLR, 31(8)775--792
Kirubakaran, V. K., 63(2)z--z
Kirubakaran, V. K., see Shalu, M.
Klaedtke, Felix, 47(4)251--277, 55(4)309--338
Klaedtke, Felix, see Basin, David, see Dax, Christian
Klasing, Ralf, 62(1)z--99999999, 63(1)z--99999999
Klasing, Ralf, see Chang, Shih-Chia, see Yang, Chenxu
Klaudel, Hanna, 35(10)813--857, 45(7)537--564
Klaudel, Hanna, see Best, Eike
Klaudel:2008:MNS, 45(7)537--564
Klaus, 15(1)1--2
Klaus-Jörn, 59(4)285--287
Klebansky, Boris, 8(2)125--144
Klebansky, Boris, see Francez, Nissim
Kleijn, H. C. M., 20(4)391--411, 29(6)545--554, 34(1)23--57
Kleijn, H. C. M., see Harju, Tero, see Keesmaat, N. W.
Kleijn, Jetty, 29(6)663--687, 50(1)15--39, 53(1)35--65
Kleijn, Jetty, see Janicki, Ryszard
Kleijn:1983:GPR, 20(4)391--411
Kleijn:2013:SSB, 50(1)15--39
Klein, Joachim, 52(4)443--482
Klein, Peter, 19(4)385--395
Klein, Rolf, 28(2)165--178
Klein, Rolf, see Andersson, Arne
Klein, Shmuel T., 62(1)z--99999999
Klein:1983:LTB, 19(4)385--395
Klein:2015:CCM, 52(4)443--482
Klein:2025:DNB, 62(1)z--99999999
Klingler, Thomas, 16(3)347--362
Klingler:1981:GBA, 2(z)80--96, 16(3)347--362
Klonowska, Kamilla, 41(6)341--365, 46(4)285--295
Klonowska:2005:ORS, 41(6)341--365
Klonowska:2009:MGI, 46(4)285--295
Klop, Jan Willem, 57(3)727--758
Klop, Jan Willem, see Endrullis, Jörg
Klüppelholz, Sascha, 52(4)443--482, see Klein, Joachim
Knapik, Teodor, 31(7)651--671
Knapik, Teodor, see Bernot, Gilles
Knapp, Alexander, 52(2)235--268
Knapp, Alexander, see Hennicker, Rolf
Knapsack, 19(4)385--395, 24(4)417--432
knowledge, 6(3)227--249, 17(1)43--61
known, 5(4)297--332, 7(1)35--60, 7(2)123--136
Knuth, 28(2)95--119
Knuth, Donald E., 1(1)14--25, 1(z)79--110, 28(1)1--6
Knuth:1971:OBS, 1(1)14--25
Knuth:1971:TSA, 1(z)79--110
Knuth:1990:NS, 28(1)1--6
Ko, Sang-Ki, 53(1)67--85
Ko, Sang-Ki, see Han, Yo-Sub
Kobayashi, Naoki, 42(4)291--347
Kobayashi:2005:TBI, 42(4)291--347
Köbler, Johannes, 26(4)363--379
Kobler:1989:CA, 26(4)363--379
Kobuchi, Youichi, 37(1)1--19
Kobuchi:2000:SAT, 37(1)1--19
Kochdumper, Niklas, 60(3)279--316
Kochdumper:2023:CPZ, 60(3)279--316
Kocman, Radim, 59(5)557--584
Kocman:2022:JWC, 59(5)557--584
Kóczy, László T., 13(3)287--298
Kohrt, Jens S., 47(7)359--374
Kohrt, Jens S., see Boyar, Joan
Kolla, Reiner, 28(5)463--476
Kolla:1991:VFP, 28(5)463--476
Kolmogorov, 23(6)679--688
Komplexität, 3(3)217--225, 9(2)87--104, 9(2)183--193
Kondratyev, Alex, 43(5)307--330
Kondratyev, Alex, see Khomenko, Victor
Konheim, Alan G., 15(1)19--66
Konheim, Alan G., see Boxma, Onno J.
König, Barbara, 42(4)349--388
Konig:2005:GFT, 42(4)349--388
Konikowska, Beata, 36(5)375--403
Konikowska:1999:RFO, 36(5)375--403
Konstantinidis, Stavros, 40(2)119--157, 43(6)395--417, 58(4)357--375
Konstantinidis, Stavros, see Kari, Lila
Konstantinidis:2007:RUA, 43(6)395--417
Konstantinidis:2021:SPD, 58(4)357--375
kontextfreier, 4(1)55--75
kontextsensitiven, 9(4)309--329
Kontinen, Juha, 63(2)z--99999999
Kontinen:2026:EAT, 63(2)z--99999999
Kordon, Fabrice, 46(1)43--55
Kordon, Fabrice, see Bashirov, Rza
Korlyukov, Alexandr, 43(6)371--393
Korlyukov, Alexandr, see Janssen, Wim
Körpern, 3(1)75--100, 7(4)395--398
Kortelainen, Juha, 34(3)217--230
Kortelainen, Juha, see Hakala, Ismo
Korth, 28(6)603--605
Korth, Henry F., 26(7)615--642, 28(6)607--610
Korth, Henry F., see Roth, Mark A.
Kosa, Martha J., 37(3)161--192
Kosa, Martha J., see Chaudhuri, Soma
Koster, C. H. A., 5(1)1--236
Koster, C. H. A., see Wijngaarden, Adriaan van
Kott, Laurent, 22(2)149--169, 24(2)157--171
Kou, L., 15(2)141--145
Kou, Lawrence T., 20(1)103--111, 27(4)369--380
Kou, Lawrence T., see Chandra, Ashok K.
Kou:1981:FAS, 15(2)141--145
Kou:1990:EIA, 27(4)369--380
Kourie, Derrick G., 35(4)269--292
Kourie:1998:LML, 35(4)269--292
Koutny, Maciej, 23(4)429--463, 34(5)367--388, 37(11)781--829, 40(2)95--118, 43(5)307--330, 50(1)15--39, 53(1)35--65
Koutny, Maciej, see Best, Eike, see Janicki, Ryszard, see Khomenko, Victor, \see{Kleijn, Jetty
Koutny:1986:MRP, 23(4)429--463
Kouvatsos, Demetres D., 19(4)339--355, 23(5)545--565, 26(3)241--267, 26(5)501--501, 26(8)787--787, 27(3)247--286, 28(3)265--295
Kouvatsos, Demetres D., see El-Affendi, M. A., see Tomaras, Panagiotis J.
Kouvatsos:1986:MEG, 23(5)545--565
Kouvatsos:1988:MET, 26(3)241--267, 26(5)501--501, 26(8)787--787
Kouvatsos:1989:EMEa, 26(3)241--267, 26(5)501--501, 26(8)787--787
Kouvatsos:1989:EMEb, 26(3)241--267, 26(5)501--501, 26(8)787--787
Kouvatsos:1989:MEP, 27(3)247--286
Kouzapas, Dimitrios, 54(3)271--341
Kouzapas:2017:CBH, 54(3)271--341
Kowaltowski, Tomasz, 7(4)357--360
Kowaltowski:1977:AAS, 7(4)357--360
Kranakis, Evangelos, 34(8)637--652
Kratochvíl, Jan, 30(4)397--403
Kratochvil:1993:SCN, 30(4)397--403
Kratsch, Dieter, 34(5)337--346
Krebs, Andreas, 56(6)487--519
Krebs:2019:MCF, 56(6)487--519
Kre{\u{\i}}nin, A. Ya, 30(5)409--423
Kre{\u{\i}}nin, A. Ya., see Coffman, Jr., Edward G.
Kreowski, Hans-Jörg, 26(7)657--677, see Habel, Annegret
Kretínský, Jan, 52(2)269--297, 59(5)585--618, see Benes, Nikola
K{\v{r}}et{\'\i}nsk\'y, Mojm{\'\i}r, 36(3)233--256, see {\v{C}}ern{\'a}, Ivana
K{\v{r}}et{\'\i}nsky, Mojm{\'\i}r, 46(1)1--28, see Bozzelli, Laura
Kretinsky:2022:IAR, 59(5)585--618
Kreveld, Marc J. van, 27(5)423--452
Kreveld, Marc J. van, see Overmars, Mark H.
Kriegel, Hans-Peter, 14(2)119--133
Kriegel, Hans-Peter, see Vaishnavi, Vijay K.
Kripke, 51(2)107--125, 58(6)611--651
Krishna Rao, M. R. K., 33(6)595--606
Krishnamoorthy, Mukkai S., 32(6)597--609
Krishnamurthy, Balakrishnan, 22(3)253--275
Krishnamurthy:1985:SPT, 22(3)253--275
KrishnaRao:1996:RCI, 33(6)595--606
Krishnaswamy, Vasudha, 32(3)271--284
Krishnaswamy:1995:CCC, 32(3)271--284
Kristensen, Bent Bruun, 7(1)61--73
Kristensen, Bent Bruun, see Madsen, Ole Lehrmann
Krithivasan, Kamala, 38(10)721--734
Krithivasan, Kamala, see Madhu, Mutyam
K{\v{r}}iv{\'a}nek, Mirko, 23(3)311--323, 30(4)397--403, see Kratochvíl, Jan
Krivanek:1986:NHP, 23(3)311--323
Krivka, Zbynek, 59(5)557--584
Krivka, Zbynek, see Kocman, Radim
Kröger, Fred, 8(3)243--266, 14(4)371--389
Kröger, Henner, 14(4)371--389
Kroger:1977:LLA, 8(3)243--266
Kroger:1980:IPR, 14(4)371--389
Kruskal, 36(9)817--835
KRZE, 25(6)677--689
Krzesinski, Anthony E., 9(4)331--343
Krzesinski:1978:MNM, 9(4)331--343
Kubiak, W., 24(5)513--524
Kubiak, W., see B{\l}a{\.{z}}ewicz, J.
Kubiak, Wieslaw, 49(1)1--14
Kubiak, Wieslaw, see Coffman, Edward G.
Kucera, Antonín, 41(7)415--434, 45(2)131--154, 49(4)203--224, see Baier, Christel, see Brázdil, Tomás
Ku{\v{c}}era, Anton{\'\i}n, 36(3)233--256, see {\v{C}}ern{\'a}, Ivana
Kucera:2005:SPR, 41(7)415--434
Kuck, David J., 3(3)203--216
Kuck:1974:BPE, 3(3)203--216
Kudlek, Manfred, 37(2)145--160
Kudlek, Manfred, see Andrei, Stefan
Kühnemann, Armin, 31(5)431--477
Kuhnemann:1994:SIF, 31(5)431--477
Kuich, Werner, 15(2)129--139
Kuich:1981:CPU, 15(2)129--139
Kulkarni, Manasi S., 54(4)379--398
Kulkarni, Manasi S., see Kari, Lila
Kumar, Akhil, 33(3)255--275
Kumar, K. Narayan, 30(5)467--487
Kumar, Pawan, 63(2)z--99999999
Kumar, Pawan, see Pirzada, S.
Kumar, R. Mahendra, 61(4)357--382
Kumar, S. Kiran, 24(3)353--362
Kumar, S., Arun-, 29(8)737--760
Kumar:1987:LSA, 24(3)353--362
Kumar:1993:IPU, 30(5)467--487
Kumar:1996:OCH, 33(3)255--275
Kumar:2024:CLH, 61(4)357--382
Kunde, Manfred, 24(2)121--130
Kunde:1987:LBS, 24(2)121--130
Kung, H. T., 19(1)1--11
Kung:1983:OTC, 19(1)1--11
Kunze, M., 18(1)109--115
Kupferman, Orna, 55(8)703--732
Kupferman, Orna, see Faran, Rachel
Kuppusamy, Lakshmanan, 56(1)35--59, 63(1)z--z
Kuppusamy, Lakshmanan, see Fernau, Henning
Kurki-Suonio, R., 8(4)303--314
Kurki-Suonio, R., see Eve, J.
Kuske, Dietrich, 60(1)79--100
Kuske:2023:ACC, 60(1)79--100
Küspert, Klaus, 19(1)35--55
Kuspert:1983:SUT, 19(1)35--55
Kutrib, 58(4)241--242
Kutrib, Martin, 35(4)329--352, 45(3)177--191, 47(7)391--412, 51(8)553--569, 59(1)163--181, 62(2)z--99999999, 63(1)z--99999999
Kutrib, Martin, see Buchholz, Thomas
Kutrib:2008:BCL, 45(3)177--191
Kutrib:2010:SDR, 47(7)391--412
Kutrib:2014:HSH, 51(8)553--569
Kutrib:2022:FAU, 59(1)163--181
Kutrib:2025:DRT, 62(2)z--99999999
Kutrib:2026:DTW, 63(1)z--99999999
Kvarnström, Jonas, 53(6)723--752, see Nilsson, Mikael
Kwiatkowska, Marta, 54(6)589--623
Kwiatkowska, Marta, see Ceska, Milan