Index file section K for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
K
-
K-tuple, 17(5)777--803
-
K.6.3, 16(1)102--150
-
K.6.5, 16(3)986--1009
-
Kaashoek, M. Frans, 21(2)324--369
-
Kaashoek, M. Frans, see Poletto, Massimiliano
-
Kaci, Hassan, Aït-, 16(4)1279--1318
-
Kaci, Hassan, {A{\"{}\i}t}-, 11(1)115--146
-
KaffeOS, 27(4)583--630
-
Kaiser, 10(4)633--634
-
Kaiser, Alexander, 36(4)14--14
-
Kaiser, Gail E., 10(4)627--632, 11(2)169--193, 14(2)201--264,
16(5)1572--1612
-
Kaiser, Gail E., see Micallef, Josephine,
see Schwanke, Robert W.
-
Kaiser:1989:IDS, 11(2)169--193
-
Kaiser:1992:OBP, 14(2)201--264
-
Kaiser:2014:WAM, 36(4)14--14
-
Kalibera, Tomas, 38(4)15--15
-
Kalibera, Tomas, see Blackburn, Stephen M.
-
Kalvala, Sara, 31(4)14--14
-
Kalvala:2009:PTU, 31(4)14--14
-
Kamin, Samuel, 5(1)97--121
-
Kamin:1983:FDT, 5(1)97--121
-
Kaminski, Benjamin Lucien, 40(1)4--4
-
Kaminski, Benjamin Lucien, see Olmedo, Federico
-
Kamp, Peter, Schneider-, 33(2)7--7
-
Kamperman, Jasper, 20(3)679--706, 22(1)45--86
-
Kamperman, Jasper, see Fokkink, Wan
-
Kam/Ullman-style, 18(3)268--299
-
Kandemir, M., 21(6)1251--1297
-
Kandemir:1999:GCO, 21(6)1251--1297
-
Kang, Dongok, 39(4)16--16
-
Kang, Dongok, see Lee, Woosuk
-
Kang, Jeehoon, 36(3)8--8
-
Kang, Jeehoon, see Oh, Hakjoo
-
Kaplan, Haim, 20(6)1265--1296, 27(3)383--387
-
Kaplan, Haim, see Buchsbaum, Adam L.
-
Kapritsos, Manos, 44(2)12--12
-
Kapritsos, Manos, see Lorch, Jacob R.
-
Karatsuba, 41(4)20--20
-
Karkare, Amey, 30(1)1--1
-
Karkare, Amey, see Khedker, Uday P.
-
Karkare, Bageshri, 29(6)38--38
-
Karkare:2007:IBC, 29(6)38--38
-
Karp, Richard Alan, 6(2)239--253
-
Karp:1984:PFF, 6(2)239--253
-
Kaser, Owen, 19(6)1085--1087
-
Kaser, Owen, see Yu, Ting
-
Kasikci, 37(3)8--8
-
Kasikci, Baris, 37(3)8--8
-
Kasikci:2015:ACD, 37(3)8--8
-
Katayama, Takuya, 6(3)345--369
-
Katayama:1984:TAG, 6(3)345--369
-
Katoen, Joost-Pieter, 40(1)4--4
-
Katoen, Joost-Pieter, see Olmedo, Federico
-
Kats, Lennart C. L., 34(4)15--15
-
Kats, Lennart C. L., see Jonge, Maartje de
-
Katz, Shmuel, 15(2)337--356
-
Katz:1993:SCC, 15(2)337--356
-
Katzenelson, Jacob, 14(4)574--588
-
Katzenelson:1992:TMT, 14(4)574--588
-
Kaufman, Arie, 6(1)118--125
-
Kaufman, Zhanna, 45(2)12--12
-
Kaufman, Zhanna, see Sanchez-Stern, Alex
-
Kaufman:1984:TLR, 6(1)118--125
-
Kawachiya, Kiyokuni, 41(3)15--15
-
Kawachiya, Kiyokuni, see Grove, David
-
Kawaguchi, Ming, 45(1)2--2
-
Kawaguchi, Ming, see Hu, Jingmei
-
Kawahito, Motohiro, 27(4)732--785, 28(1)106--133
-
Kawahito, Motohiro, see Suganuma, Toshio
-
Kawahito:2006:ESE, 28(1)106--133
-
KB, 28(3)476--516
-
@kb.d.i, 9(3)367--389
-
Kedem, Zvi Meir, 24(1)1--50
-
Kedem, Zvi Meir, see Lee, Peizong
-
Keen, Aaron W., 26(3)578--608
-
Keen:2004:JFD, 26(3)578--608
-
keep, 20(3)635--678, 20(6)1223--1250, 30(2)8--8
-
keeping, 17(4)635--671, 21(6)1251--1297, 27(6)1097--1146, 31(1)2--2
-
Keizer, Alex C., 44(3)18--18
-
Keizer:2022:SCC, 44(3)18--18
-
Keller, Robert M., 8(1)88--108
-
Keller:1986:AC, 8(1)88--108
-
Kelly, Andrew D., 20(6)1223--1250
-
Kelly, Paul H. J., 30(1)4--4
-
Kelly, Paul H. J., see Pearce, David J.
-
Kelly:1998:OCC, 20(6)1223--1250
-
Kelsey, Richard, 17(5)704--739
-
Kelsey, Richard, see Cejtin, Henry
-
Kennaway, J. R., 16(3)493--523
-
Kennaway, Richard, 10(4)602--626, 11(3)482--482
-
Kennaway:1988:DSC, 10(4)602--626, 11(3)482--482
-
Kennaway:1989:CDS, 10(4)602--626, 11(3)482--482
-
Kennaway:1994:AGR, 16(3)493--523
-
Kennedy, K., 16(6)1768--1810
-
Kennedy, K., see Carr, S.
-
Kennedy, Ken, 1(1)142--160, 8(4)491--523, 9(4)491--542, 20(4)869--916,
22(5)816--860
-
Kennedy, Ken, see Allen, Randy,
see Cooper, Keith D.,
see Hanxleden, Reinhard von
-
Kennedy, Robert, 21(3)627--676
-
Kennedy:1979:DAG, 1(1)142--160
-
Kennedy:1998:ADL, 20(4)869--916
-
Kennedy:1999:PRE, 21(3)627--676
-
kept, 13(1)150--178, 16(5)1399--1410, 36(3)10--10
-
Kerberos, 37(4)11--11
-
kernel, 16(4)1156--1214, 16(6)1768--1810, 18(4)424--453, 22(5)932--972,
30(6)32--32, 34(1)3--3, 35(4)13--13, 37(3)10--10, 37(4)12--12,
41(3)15--15
-
Kesseli, Pascal, 40(2)5--5
-
Kesseli, Pascal, see David, Cristina
-
Ketema, Jeroen, 37(3)10--10
-
Ketema, Jeroen, see Betts, Adam
-
Keutzer, Kurt, 18(3)235--253
-
Keutzer, Kurt, see Liao, Stan
-
key, 2(1)77--89, 14(2)201--264, 14(4)471--489, 15(1)36--72,
16(3)939--953, 16(3)986--1009, 16(4)1156--1214, 16(4)1361--1398,
17(2)264--292, 20(2)436--482, 20(3)635--678, 20(4)869--916,
21(3)527--568, 21(5)948--976, 27(6)1147--1215, 28(1)134--174,
28(3)517--575, 30(4)19--19, 30(5)25--25, 31(1)3--3, 31(5)17--17,
32(1)2--2, 32(1)3--3, 32(2)6--6, 32(4)14--14, 33(1)3--3, 33(5)17--17,
37(4)11--11, 38(2)5--5, 38(2)7--7, 39(4)17--17, 40(1)4--4,
40(4)14--14, 40(4)15--15, 41(1)1--1, 41(1)2--2, 41(1)5--5, 41(2)8--8,
41(2)12--12, 41(2)13--13, 41(3)19--19, 43(1)3--3, 43(3)9--9,
44(2)7--7, 44(4)22--22
-
Keynes, Nathan, 38(4)15--15
-
Keynes, Nathan, see Blackburn, Stephen M.
-
Kfoury, A. J., 15(2)290--311
-
Kfoury:1993:TRP, 15(2)290--311
-
Khedker, Uday P., 16(5)1472--1511, 29(6)38--38, 30(1)1--1, 42(2)8--8
-
Khedker, Uday P., see Gharat, Pritam M.,
see Karkare, Bageshri
-
Khedker:1994:GTB, 16(5)1472--1511
-
Khedker:2007:HRA, 30(1)1--1
-
Khoo, Siau Cheng, 15(3)463--493
-
Khoo, Siau Cheng, see Consel, Charles
-
Kiczales, Gregor, 26(5)890--910
-
Kiczales, Gregor, see Wand, Mitchell
-
Kieburtz, Richard B., 1(2)218--225, 2(1)18--41, 5(1)78--96
-
Kieburtz, Richard B., see Pai, Ajit B.
-
Kieburtz:1979:CCS, 1(2)218--225
-
Kieburtz:1983:ARE, 5(1)78--96
-
Kielmann, Thilo, 23(6)747--775
-
Kielmann, Thilo, see Maassen, Jason
-
Kienzle, J., 22(3)506--539
-
Kienzle, J., see Wellings, A. J.
-
Kie{\.z}un, Adam, 33(3)9--9, see Tip, Frank
-
Kiguradze, Tina, 40(3)10--10
-
Kiguradze, Tina, see Florence, Spencer P.
-
Kilbury, 12(4)610--640
-
kill, 21(4)848--894
-
Kim, Daegon, 34(1)3--3
-
Kim, Daegon, see Renganarayanan, Lakshminarayanan
-
Kim, Ik-Soon, 23(4)451--471
-
Kim, Se-Won, 40(3)13--13
-
Kim, Seon Wook, 28(5)942--965
-
Kim:2001:ERV, 23(4)451--471
-
Kim:2006:ERI, 28(5)942--965
-
Kim:2018:TFS, 40(3)13--13
-
kind, 4(1)44--82, 13(1)52--98, 13(1)99--123, 13(2)181--210,
14(2)265--297, 16(4)1248--1278, 17(2)197--216, 17(2)293--330,
19(4)557--567, 20(3)546--585, 21(1)1--10, 21(1)11--45, 21(1)90--137,
22(1)162--186, 27(6)1270--1343, 28(3)517--575, 30(5)27--27,
32(3)8--8, 32(5)19--19, 34(3)11--11, 35(1)2--2, 41(1)1--1, 42(1)3--3,
43(2)7--7, 44(2)6--6
-
Kinder, 30(5)25--25
-
Kindred, D., 16(6)1719--1736
-
Kindred, D., see Haines, N.
-
Kingash, 36(4)11--11
-
Kirovski, Darko, 29(1)3--3
-
Kirovski, Darko, see Drini{\'c}, Milenko
-
Kirsch, Christoph M., 29(6)33--33
-
Kirsch, Christoph M., see Henzinger, Thomas A.
-
Kistler, Thomas, 22(3)490--505, 25(4)500--548
-
Kistler:2000:ADM, 22(3)490--505
-
Kistler:2003:CPO, 25(4)500--548
-
Kit, 20(4)724--767
-
Kitsune, 36(4)13--13
-
KIV, 33(1)4--4
-
Klaftenegger, David, 39(4)17--17
-
Klaftenegger, David, see Trinder, Phil
-
Kleene, 19(3)427--443, 43(1)4--4
-
Klein, Gerwin, 28(4)619--695
-
Klein:2006:MCM, 28(4)619--695
-
Kliger, 16(1)3--34
-
Klint, P., 14(4)490--520, 16(3)1010--1023, 24(4)334--368
-
Klint, P., see Heering, J.,
see Van Den Brand, M. G. J.
-
Klint, Paul, 7(2)183--213
-
Klint, Paul, see Heering, Jan
-
KLOC, 44(4)22--22
-
Kloos, Carlos Delgado, 19(4)586--616
-
Kloos, Carlos Delgado, see Breuer, Peter T.
-
Klop, J. W., 16(3)493--523
-
Klop, J. W., see Kennaway, J. R.
-
Knapp, Edgar, 12(2)203--223
-
Knapp:1990:EFD, 12(2)203--223
-
knapsack, 20(5)1014--1066
-
Knaster-Tarski, 31(4)15--15
-
knight, 9(2)235--256
-
Knoblock, Todd B., 23(2)243--272
-
Knoblock:2001:TES, 23(2)243--272
-
Knoop, 20(6)1297--1322
-
Knoop, Jens, 16(4)1117--1155, 18(3)268--299
-
Knoop:1994:OCM, 16(4)1117--1155
-
Knoop:1996:PFE, 18(3)268--299
-
knot, 4(4)678--686
-
know, 17(4)561--575, 21(2)240--285, 22(6)1037--1080
-
know'', ``don't-, 16(1)3--34
-
know, well-, 19(1)7--47
-
knowledge, 4(2)295--322, 7(1)1--9, 9(2)125--163, 9(4)618--645,
10(1)118--155, 11(1)115--146, 11(3)418--450, 17(1)157--179,
17(5)704--739, 18(4)424--453, 19(4)568--585, 20(4)768--844,
21(4)703--746, 27(2)236--263, 32(4)14--14, 34(1)5--5, 38(3)10--10,
39(4)14--14
-
Knowles, Kenneth, 32(2)6--6
-
Knowles:2010:HTC, 32(2)6--6
-
known, 3(2)126--143, 4(1)44--82, 4(4)650--667, 4(4)758--762,
7(1)159--175, 13(1)52--98, 13(2)181--210, 15(1)1--35, 15(4)632--658,
16(3)1051--1077, 16(5)1472--1511, 17(1)28--44, 18(2)139--174,
19(3)413--426, 19(3)462--491, 19(6)853--898, 20(1)1--50,
20(2)344--387, 21(3)677--701, 22(4)701--771, 27(6)1147--1215,
28(1)106--133, 28(1)175--205, 28(4)696--714, 30(1)4--4, 31(2)8--8,
32(1)2--2, 32(5)17--17, 32(6)23--23, 32(6)24--24, 34(4)16--16,
35(1)5--5, 36(2)5--5, 36(4)11--11, 38(2)7--7, 40(3)13--13, 41(2)8--8,
41(3)14--14, 41(4)22--22, 42(2)8--8, 43(1)4--4, 43(3)10--10
-
known, best-, 18(2)175--234, 40(3)9--9, 41(4)20--20
-
known, Well-, 39(1)4--4
-
known, well-, 4(2)258--282, 6(4)632--646, 7(1)62--79,
13(2)181--210, 16(3)687--726, 17(2)293--330, 18(5)528--563,
18(6)683--710, 19(1)7--47, 19(3)444--461, 19(4)568--585,
20(2)344--387, 20(5)1067--1109, 21(2)189--239, 21(4)747--789,
28(2)331--388, 30(6)33--33, 34(3)12--12, 35(4)13--13, 36(1)3--3,
39(4)14--14, 41(2)12--12, 41(3)14--14, 43(1)3--3, 44(4)24--24
-
Knuth, 14(2)127--144, 28(4)696--714
-
Knuth, Donald E., 7(1)62--79
-
Knuth, Donald E., see Fuchs, David R.
-
Knuth-Morris-Pratt, 17(2)293--330
-
KoAT, 38(4)13--13
-
Kobayashi, Naoki, 20(2)436--482, 21(5)914--947, 27(2)264--313,
32(5)16--16, 33(1)5--5, 43(4)15--15
-
Kobayashi, Naoki, see Igarashi, Atsushi,
see Matsushita, Yusuke,
see Sangiorgi, Davide
-
Kobayashi:1998:PDF, 20(2)436--482
-
Kobayashi:1999:LPC, 21(5)914--947
-
Kobayashi:2010:HTS, 32(5)16--16
-
Kodratoff, Y., 4(2)295--322
-
Kodratoff, Y., see Arsac, J.
-
Kodumal, John, 28(6)1035--1087
-
Kodumal, John, see Foster, Jeffrey S.
-
Koenig, Shaye, 4(3)402--454
-
Koenig, Shaye, see Paige, Robert
-
Kolodner, Elliot K., 27(6)1097--1146, 29(4)20--20
-
Kolodner, Elliot K., see Barabash, Katherine,
see Paz, Harel
-
Komatsu, Hideaki, 27(4)732--785, 28(1)70--105, 28(1)106--133
-
Komatsu, Hideaki, see Kawahito, Motohiro,
see Ogasawara, Takeshi,
see Suganuma, Toshio
-
Konure, 42(4)18--18
-
Koopman, Jr., Philip J., 14(2)265--297
-
Koopman:1992:CBC, 14(2)265--297
-
Köpf, Boris, 35(3)9--9, see Barthe, Gilles
-
Korach, E., 6(3)380--401, 12(1)84--101
-
Korach:1984:DAF, 6(3)380--401
-
Korach:1990:MTD, 12(1)84--101
-
Korb, John T., 3(2)144--161
-
Korb, John T., see Griswold, Ralph E.
-
Koronkevich, Paulette, 42(3)14--14
-
Koronkevich, Paulette, see Coblenz, Michael
-
Korsloot, M., 16(1)3--34
-
Korsloot, M., see Tick, E.
-
Kosbie, David, 23(6)776--796
-
Kosbie, David, see Vander Zanden, Bradley T.
-
Koster, 9(4)473--490
-
Koster, Joeri, De, 42(4)17--17
-
Kozen, Dexter, 19(3)427--443
-
Kozen:1997:KAT, 19(3)427--443
-
Kremer, Ulrich, 20(4)869--916
-
Kremer, Ulrich, see Kennedy, Ken
-
Kretzler, David, 45(3)17--17
-
Kretzler, David, see Richter, David
-
Krieg-{Brückner}, Bernd, 2(3)321--337,
see Broy, Manfred
-
Krinke, Jens, 30(1)3--3, 32(1)1--1, 35(2)7--7
-
Krinke, Jens, see Binkley, David,
see Harman, Mark
-
Krishnaswami, 42(1)2--2
-
Krishnaswami, Neel, 45(4)22--22
-
Krishnaswami, Neel, see Economou, Dimitrios J.
-
Kristensen, Bent Bruun, 3(1)60--82
-
Kristensen:1981:MCL, 3(1)60--82
-
Krivine, 31(4)13--13
-
Kroening, Daniel, 36(4)14--14, 39(2)6--6, 39(4)15--15, 40(1)1--1,
40(2)5--5
-
Kroening, Daniel, see Alglave, Jade,
see Chen, Hong-Yi, \see{David, Cristina,
see Forejt, Vojt{\u{a}}ch,
see Kaiser, Alexander
-
Krogh, F. T., 5(3)502--505, 6(3)440--443, 7(3)493--496, 8(3)408--411,
9(3)463--466, 10(3)504--507, 11(3)483--486, 12(3)493--496
-
Krogh, Fred T., 4(3)518--521, 13(3)443--446, 14(3)462--465
-
Krogh:1982:AAP, 4(3)518--521
-
Krogh:1983:AAP, 5(3)502--505
-
Krogh:1984:AAP, 6(3)440--443
-
Krogh:1985:AAP, 7(3)493--496
-
Krogh:1986:AAP, 8(3)408--411
-
Krogh:1987:AAP, 9(3)463--466
-
Krogh:1988:AAP, 10(3)504--507
-
Krogh:1989:AAP, 11(3)483--486
-
Krogh:1990:AAP, 12(3)493--496
-
Krogh:1991:AAP, 13(3)443--446
-
Krogh:1992:AAP, 14(3)462--465
-
Krueger, Charles W., 16(3)727--774
-
Krueger, Charles W., see Garlan, David
-
Kruskal, Clyde P., 10(4)579--601
-
Kruskal:1988:ESM, 10(4)579--601
-
KS, 36(4)11--11
-
Kuiper, Ruurd, 40(3)12--12
-
Kuiper, Ruurd, see Jacobs, Bart
-
Kumar, Ashish, 45(2)9--9
-
Kumar, Ashish, see Jia, Xiaodong
-
Kumar, K. Narayan, 26(3)464--509
-
Kumar, K. Narayan, see Roychoudhury, Abhik
-
Kuncak, Viktor, 39(2)8--8
-
Kuncak, Viktor, see Darulova, Eva
-
Kunz, César, 31(5)18--18, 33(4)13--13,
see Barthe, Gilles
-
Kuperman, Orna, 22(1)87--128
-
Kuperman:2000:ATA, 22(1)87--128
-
Kurki-Suonio, R., 10(4)513--554
-
Kurki-Suonio, R., see Back, R. J. R.
-
Kurlander, Steven M., 17(5)740--776
-
Kurlander:1995:EIS, 17(5)740--776
-
Kutten, S., 12(1)84--101
-
Kutten, S., see Korach, E.