Index file section K for pacmpl.bib
Last update: Sun May 19 02:04:08 MDT 2024
Return to index directory
K
-
K, 3(z)3--3
-
k, 2(z)140--140, 3(z)148--148, 5(z)59--59, 5(z)113--113
-
k-bits, 6(z)3--3
-
k-mer, 3(z)125--125
-
K-rep, 3(z)99--99
-
K., Hari Govind V., 6(z)60--60
-
K:2022:SCH, 6(z)60--60
-
Kaarsgaard, Robin, 6(z)2--2, 8(z)19--19
-
Kaarsgaard, Robin, see Carette, Jacques,
see Heunen, Chris
-
Kabaha, Anan, 8(z)130--130
-
Kabaha:2024:VNN, 8(z)130--130
-
Kabir, Ifaz, 1(z)46--46, 4(z)208--208
-
Kabir, Ifaz, see Rapoport, Marianna
-
Kabir:2020:DCO, 4(z)208--208
-
Kabra, Aditi, 4(z)173--173
-
Kabra, Aditi, see Geisler, Dietrich
-
Kaddar, Younesse, 7(z)46--46, 8(z)61--61
-
Kaddar, Younesse, see Ackerman, Nate,
see Dash, Swaraj
-
Kahn, 4(z)1--1
-
Kahn, David M., 4(z)110--110, 5(z)76--76
-
Kahn, David M., see Wang, Di
-
Kahn, Ken, 4(z)79--79
-
Kahn, Ken, see Solomon, Cynthia
-
Kahn:2021:AAR, 5(z)76--76
-
Kaiser, Gail, 8(z)108--108
-
Kaiser, Gail, see Ding, Yangruibo
-
Kaiser, Jan-Oliver, 2(z)77--77, 2(z)78--78, 4(z)34--34
-
Kaiser, Jan-Oliver, see Dang, Hoang-Hai,
see Krebbers, Robbert
-
Kaiser:2018:MTT, 2(z)78--78
-
Kaki, Gowtham, 2(z)27--27, 2(z)164--164, 3(z)154--154, 7(z)273--273,
7(z)289--289
-
Kaki, Gowtham, see Linvill, Kirby,
see Meier, Shawn
-
Kaki:2018:ATC, 2(z)27--27
-
Kaki:2018:SRT, 2(z)164--164
-
Kaki:2019:MRD, 3(z)154--154
-
Kakwani, Diptanshu, 5(z)132--132
-
Kakwani, Diptanshu, see Biswas, Ranadeep
-
Kaleba, Sophie, 7(z)233--233
-
Kaleba, Sophie, see Larose, Octave
-
Kalhauge, Christian Gram, 2(z)146--146
-
Kalhauge:2018:SDP, 2(z)146--146
-
Kalita, Pankaj Kumar, 6(z)171--171
-
Kalita:2022:SAT, 6(z)171--171
-
Kallas, Konstantinos, 4(z)153--153, 5(z)65--65, 5(z)133--133,
7(z)13--13
-
Kallas, Konstantinos, see Burckhardt, Sebastian,
see Handa, Shivam
-
Kallas:2020:DDO, 4(z)153--153
-
Kallas:2023:EMA, 7(z)13--13
-
KAM, 6(z)119--119
-
Kami, 1(z)24--24
-
Kamil, Shoaib, 1(z)77--77, 2(z)121--121, 3(z)151--151, 4(z)158--158,
4(z)166--166
-
Kamil, Shoaib, see Kjolstad, Fredrik,
see Newcomb, Julie L.,
see Panchekha, Pavel,
see Senanayake, Ryan, \see{Zhang, Yunming
-
Kaminski, Benjamin Lucien, 2(z)33--33, 4(z)37--37, 5(z)39--39,
5(z)52--52, 6(z)66--66, 6(z)87--87, 7(z)67--67, 7(z)99--99,
7(z)294--294
-
Kaminski, Benjamin Lucien, see Aguirre, Alejandro,
see Batz, Kevin, \see{Feng, Shenghua,
see Hark, Marcel, \see{McIver, Annabelle,
see Schröer, Philipp,
see Zhang, Linpeng
-
Kaminski, Ted, 1(z)98--98
-
Kaminski:2017:RAC, 1(z)98--98
-
Kammar, Ohad, 1(z)13--13, 2(z)60--60, 2(z)83--83, 2(z)100--100,
6(z)44--44, 8(z)3--3
-
Kammar, Ohad, see Forster, Yannick,
see Qin, Xueying, \see{Yallop, Jeremy,
see {\'S}cibior, Adam
-
Kammar:2022:FAM, 6(z)44--44
-
Kan, Shuanglong, 6(z)45--45
-
Kan, Shuanglong, see Chen, Taolue
-
Kanabar, Hrutvik, 7(z)145--145
-
Kanabar:2023:PVC, 7(z)145--145
-
Kandemir, Mahmut Taylan, 5(z)129--129, 7(z)274--274
-
Kandemir, Mahmut Taylan, see Brotzman, Robert,
see Ma, Cong
-
Kang, Chan Gu, 7(z)87--87
-
Kang, Jeehoon, 4(z)23--23, 4(z)41--41, 6(z)28--28, 7(z)118--118,
7(z)251--251
-
Kang, Jeehoon, see Cho, Kyeongmin,
see Gäher, Lennard,
see Jung, Jaehwang, \see{Jung, Ralf,
see Song, Youngju
-
Kang:2023:MCB, 7(z)87--87
-
Kant, Pranav, 4(z)177--177
-
Kant, Pranav, see Mukherjee, Manasij
-
Kaposi, Ambrus, 3(z)2--2, 8(z)78--78
-
Kaposi, Ambrus, see Altenkirch, Thorsten
-
Kaposi:2019:CQI, 3(z)2--2
-
Kappé, Tobias, 4(z)61--61, 7(z)269--269,
see Mohan, Anshuman, \see{Smolka, Steffen
-
Kapritsos, Manos, 7(z)121--121
-
Kapritsos, Manos, see Zhang, Tony Nuda
-
Karachalias, Georgios, 4(z)206--206, 5(z)102--102
-
Karachalias, Georgios, see Marntirosian, Koar
-
Karachalias:2021:ECA, 5(z)102--102
-
Karim, Rezwana, 2(z)161--161
-
Karim, Rezwana, see Selakovic, Marija
-
Karimov, Toghrul, 5(z)48--48, 6(z)65--65
-
Karimov, Toghrul, see Almagor, Shaull
-
Karimov:2022:WDA, 6(z)65--65
-
Karpinski, Stefan, 2(z)120--120
-
Karpinski, Stefan, see Bezanson, Jeff
-
Karwowski, Jacek, 6(z)6--6, 8(z)61--61
-
Karwowski, Jacek, see Ackerman, Nate,
see Choudhury, Vikraman
-
Kaseorg, Anders, 6(z)80--80
-
Kaseorg, Anders, see Lesani, Mohsen
-
Kashiwa, Shun, 7(z)207--207
-
Kashiwa, Shun, see Shen, Gan
-
Kasivajhula, Siddhartha, 7(z)242--242
-
Kasivajhula, Siddhartha, see Flatt, Matthew
-
Kasting, Patrick, 1(z)15--15
-
Kasting, Patrick, see Midtgaard, Jan
-
Kästner, Christian, 2(z)117--117, see Wong, Chu-Pan
-
Kastner, John, 6(z)78--78, 8(z)118--118
-
Kastner, John, see Cutler, Joseph W.,
see Machiry, Aravind
-
KAT, 4(z)61--61, 6(z)29--29
-
Katara, 6(z)173--173
-
Katoen, Joost-Pieter, 2(z)33--33, 4(z)37--37, 5(z)39--39, 5(z)52--52,
6(z)66--66, 6(z)130--130, 7(z)67--67, 7(z)99--99, 7(z)294--294,
8(z)93--93, 8(z)127--127
-
Katoen, Joost-Pieter, see Aguirre, Alejandro,
see Ahrens, Emma, \see{Batz, Kevin,
see Feng, Shenghua, \see{Hark, Marcel,
see Klinkenberg, Lutz,
see McIver, Annabelle,
see Schröer, Philipp
-
Katsumata, Shin-ya, 5(z)93--93, 6(z)44--44, 6(z)123--123
-
Katsumata, Shin-ya, see Aguirre, Alejandro,
see Kammar, Ohad
-
Katsumata:2022:FPG, 6(z)123--123
-
Katsura, Hiroyuki, 7(z)190--190
-
Katsura:2023:HOP, 7(z)190--190
-
Kavanagh, Ryan, 7(z)235--235, 8(z)142--142
-
Kavanagh, Ryan, see Sano, Chuta
-
Kavanagh:2024:MOS, 8(z)142--142
-
Kavvos, G. A., 3(z)20--20, 4(z)15--15, 5(z)62--62
-
Kavvos, G. A., see Qian, Zesen
-
Kavvos:2019:MCI, 3(z)20--20
-
Kavvos:2020:REF, 4(z)15--15
-
Kawamata, Fuga, 8(z)5--5
-
Kawamata:2024:ARM, 8(z)5--5
-
Kaysin, Ilya, 5(z)43--43, 6(z)54--54
-
Kaysin, Ilya, see Jeffrey, Alan,
see Kokologiannakis, Michalis
-
Kazerounian, Milod, 5(z)106--106
-
Kazerounian:2021:PSS, 5(z)106--106
-
Kearl, Jackson, 6(z)117--117
-
Kearl, Jackson, see Koppel, James
-
Keckler, Stephen W., 7(z)111--111
-
Keckler, Stephen W., see Tarek Ibn Ziad, Mohamed
-
Kedia, Piyus, 6(z)153--153, 7(z)283--283
-
Kedia, Piyus, see Chitre, Khushboo
-
Keeney, Devyn Terra, 7(z)135--135
-
Keeney, Devyn Terra, see Muller, Stefan K.
-
keep, 2(z)102--102, 7(z)89--89, 7(z)107--107
-
Keep, Andrew W., 3(z)78--78
-
Keep, Andrew W., see Flatt, Matthew
-
keeping, 2(z)151--151, 4(z)73--73, 7(z)162--162
-
Keidel, Sven, 2(z)72--72, 3(z)176--176, 7(z)221--221
-
Keidel:2018:CSP, 2(z)72--72
-
Keidel:2019:SRC, 3(z)176--176
-
Keidel:2023:CBF, 7(z)221--221
-
Keles, Alperen, 7(z)218--218
-
Keles, Alperen, see Shi, Jessica
-
Kell, Stephen, 3(z)146--146
-
Kell, Stephen, see Bastian, Théophile
-
Keller, Chantal, 6(z)83--83
-
Keller, Chantal, see Benzaken, Véronique
-
Keller, Gabriele, 7(z)47--47
-
Keller, Gabriele, see Chen, Zilin
-
Kelley, Jonathan, Ragan-, 5(z)88--88, 5(z)109--109, 6(z)55--55,
8(z)126--126
-
Kellner, Luca, Beurer-, 7(z)186--186
-
Kellogg, Martin, 7(z)282--282
-
Kellogg, Martin, see Shadab, Narges
-
Kelly, Tom, 4(z)113--113
-
Kelly, Tom, see Sivaramakrishnan, KC
-
Kelmendi, Edon, 5(z)48--48
-
Kelmendi, Edon, see Almagor, Shaull
-
Kennedy, 5(z)137--137
-
Keoliya, Mayank, 7(z)107--107
-
Keoliya, Mayank, see Gopinathan, Kiran
-
kept, 7(z)227--227
-
Kerinec, Axel, 7(z)8--8
-
Kerinec:2023:WPR, 7(z)8--8
-
kernel, 4(z)8--8, 5(z)25--25, 6(z)55--55, 8(z)123--123
-
Kesner, Delia, 1(z)20--20, 2(z)94--94, 6(z)8--8, 7(z)51--51
-
Kesner, Delia, see Accattoli, Beniamino,
see Arrial, Victor,
see Balabonski, Thibaut
-
Kesner:2022:FGC, 6(z)8--8
-
Kessler, Peter B., 3(z)184--184
-
Kessler, Peter B., see Wimmer, Christian
-
Ketkar, Ameya, 1(z)85--85, 6(z)139--139
-
Ketkar, Ameya, see Mazinanian, Davood,
see Zhang, Yuhao
-
Keuchel, Steven, 6(z)97--97
-
Keuchel:2022:VSE, 6(z)97--97
-
key, 2(z)47--47, 2(z)73--73, 2(z)138--138, 2(z)140--140, 2(z)160--160,
3(z)114--114, 3(z)132--132, 3(z)137--137, 3(z)142--142,
3(z)146--146, 4(z)19--19, 4(z)109--109, 4(z)111--111, 4(z)158--158,
4(z)170--170, 4(z)193--193, 4(z)227--227, 5(z)113--113,
5(z)135--135, 5(z)152--152, 5(z)167--167, 6(z)3--3, 6(z)28--28,
6(z)47--47, 6(z)83--83, 6(z)159--159, 7(z)33--33, 7(z)56--56,
7(z)120--120, 7(z)127--127, 7(z)131--131, 7(z)138--138,
7(z)165--165, 7(z)174--174, 7(z)182--182, 7(z)191--191,
7(z)196--196, 7(z)272--272, 7(z)274--274, 8(z)21--21, 8(z)102--102
-
keychains, 7(z)165--165
-
Khairunnesa, Samantha Syeda, 1(z)83--83
-
Khairunnesa:2017:EIB, 1(z)83--83
-
Khalanskiy, Dmitry, 7(z)116--116
-
Khalanskiy, Dmitry, see Koval, Nikita
-
Khan, Mohammad Wahiduzzaman, 8(z)89--89
-
Khan, Mohammad Wahiduzzaman, see Campora, John Peter
-
Khan, Sharjeel, 7(z)228--228
-
Khan, Sharjeel, see Mururu, Girish
-
Khatchadourian, Raffi, 4(z)214--214
-
Khatchadourian, Raffi, see Bagherzadeh, Mehdi
-
Khoo, Siau-Cheng, 2(z)9--9
-
Khoo, Siau-Cheng, see Ta, Quang-Trung
-
Khurshid, Sarfraz, 1(z)94--94, 4(z)217--217
-
Khurshid, Sarfraz, see Celik, Ahmet,
see Nie, Pengyu
-
Khyzha, Artem, 4(z)128--128, 5(z)47--47
-
Khyzha, Artem, see Feldman, Yotam M. Y.
-
Khyzha:2021:TXT, 5(z)47--47
-
Kici, Rami Gökhan, 1(z)110--110, see Bakst, Alexander
-
Kici, Rami Gökhan, 5(z)49--49,
see Vassena, Marco
-
Kidney, Donnacha Oisín, 5(z)72--72, 8(z)56--56
-
Kidney:2021:AWS, 5(z)72--72
-
Kidney:2024:AEM, 8(z)56--56
-
Killick, Rebecca, 1(z)52--52
-
Killick, Rebecca, see Barrett, Edd
-
Kim, Deokhwan, 4(z)52--52
-
Kim, Deokhwan, see Samak, Malavika
-
Kim, Dongjoo, 4(z)23--23
-
Kim, Dongjoo, see Song, Youngju
-
Kim, Hyeongyu, 7(z)114--114
-
Kim, Hyeongyu, see Park, Sunjae
-
Kim, Jaewoo, 7(z)251--251
-
Kim, Jaewoo, see Jung, Jaehwang
-
Kim, Jieung, 5(z)97--97, 8(z)109--109
-
Kim, Jieung, see Honoré, Wolf
-
Kim, Jinwoo, 5(z)30--30, 7(z)23--23, 7(z)139--139
-
Kim, Jinwoo, see Lee, Dongjae
-
Kim, Jung-Eun, 4(z)20--20, 6(z)127--127
-
Kim, Jung-Eun, see Liu, Mengqi
-
Kim, Sung Kook, 4(z)14--14
-
Kim, Yonghyun, 4(z)23--23
-
Kim, Yonghyun, see Song, Youngju
-
Kim, Yoonseung, 8(z)109--109
-
Kim, Yoonseung, see Honoré, Wolf
-
Kim:2020:DPF, 4(z)14--14
-
Kim:2021:SGS, 5(z)30--30
-
Kim:2023:UL, 7(z)23--23
-
Kincaid, Zachary, 2(z)54--54, 2(z)61--61, 7(z)44--44, 8(z)25--25
-
Kincaid, Zachary, see Cyphert, John,
see Farzan, Azadeh
-
Kincaid:2018:NLR, 2(z)54--54
-
Kincaid:2023:WLM, 7(z)44--44
-
kind, 2(z)88--88, 3(z)29--29, 3(z)123--123, 3(z)131--131, 3(z)147--147,
3(z)158--158, 3(z)160--160, 3(z)186--186, 4(z)53--53, 4(z)104--104,
4(z)162--162, 4(z)196--196, 5(z)59--59, 5(z)114--114, 6(z)50--50,
7(z)200--200, 7(z)242--242
-
kinded, higher-, 2(z)84--84
-
Kindly, 4(z)103--103
-
King, Alexis, 4(z)65--65, 4(z)229--229
-
King, Alexis, see Ballantyne, Michael,
see Lazarek, Lukas
-
King, Paul, 4(z)76--76
-
King:2020:HGP, 4(z)76--76
-
Kini, Dileep, 2(z)145--145
-
Kini, Dileep, see Mathur, Umang
-
Kirilyuk, Anastasiya, Kravchuk-, 8(z)119--119
-
Kirisame, Marisa, 6(z)160--160
-
Kirisame:2022:OHL, 6(z)160--160
-
Kirk, 6(z)142--142
-
Kirkham, Jake, 4(z)226--226
-
Kirkham:2020:FEM, 4(z)226--226
-
Kirsch, Christoph M., 5(z)125--125
-
Kirsch, Christoph M., see Goel, Aviral
-
Kishida, Kohei, 7(z)11--11
-
Kishida, Kohei, see Fu, Peng
-
Kiss, Csongor, 2(z)85--85, 3(z)102--102, 6(z)95--95
-
Kiss, Csongor, see Spiwack, Arnaud
-
Kiss:2018:GDG, 2(z)85--85
-
Kiss:2019:HOT, 3(z)102--102
-
Kjaer, Maxime, 6(z)37--37
-
Kjaer, Maxime, see Blanvillain, Olivier
-
Kjelstr{\o}m, Adam Husted, 6(z)12--12
-
Kjelstrom:2022:DCI, 6(z)12--12
-
Kjolstad, Fredrik, 1(z)77--77, 2(z)123--123, 4(z)158--158, 5(z)128--128,
5(z)136--136, 7(z)122--122, 7(z)154--154, 8(z)103--103
-
Kjolstad, Fredrik, see Bansal, Manya,
see Chou, Stephen, \see{Henry, Rawn,
see Kovach, Scott, \see{Senanayake, Ryan,
see Sundram, Shiv, \see{Xu, Haoran
-
Kjolstad:2017:TAC, 1(z)77--77
-
Kleene, 4(z)61--61, 6(z)29--29, 6(z)45--45
-
Klenze, Tobias, 4(z)152--152
-
Klenze, Tobias, see Sprenger, Christoph
-
Kleppmann, Martin, 1(z)109--109
-
Kleppmann, Martin, see Gomes, Victor B. F.
-
Klimis, Vasileios, 7(z)60--60
-
Klimis:2023:TBC, 7(z)60--60
-
Klin, Bartek, 8(z)45--45
-
Klin, Bartek, see Boja{\'n}czyk, Miko{\l}aj
-
Klinkenberg, Lutz, 8(z)127--127
-
Klinkenberg:2024:EBI, 8(z)127--127
-
Kliot, Gabriel, 1(z)107--107
-
Kliot, Gabriel, see Bernstein, Philip A.
-
Klumpp, Dominik, 7(z)49--49, 8(z)83--83
-
Klumpp, Dominik, see Farzan, Azadeh
-
Knapik, 8(z)87--87
-
Knauth, Alex, 2(z)40--40, 7(z)242--242
-
Knauth, Alex, see Chang, Stephen,
see Flatt, Matthew
-
knew, 1(z)55--55
-
knock, 4(z)42--42
-
Knoth, Tristan, 4(z)106--106
-
Knoth:2020:LRT, 4(z)106--106
-
know, 2(z)84--84, 3(z)93--93, 4(z)40--40, 7(z)215--215
-
knowing, 4(z)80--80, 4(z)180--180
-
knowledge, 1(z)55--55, 3(z)153--153, 3(z)158--158, 3(z)186--186,
6(z)88--88, 7(z)197--197, 7(z)200--200, 8(z)59--59
-
Knowledge, Zero-, 7(z)168--168
-
knowledge, zero-, 7(z)168--168, 7(z)197--197
-
known, 2(z)104--104, 2(z)125--125, 2(z)143--143, 3(z)9--9, 3(z)105--105,
3(z)114--114, 3(z)126--126, 3(z)149--149, 3(z)169--169,
3(z)189--189, 4(z)7--7, 4(z)73--73, 4(z)117--117, 5(z)6--6,
5(z)23--23, 5(z)51--51, 5(z)73--73, 5(z)113--113, 6(z)41--41,
6(z)46--46, 6(z)63--63, 7(z)2--2, 7(z)90--90, 7(z)100--100,
7(z)249--249, 8(z)55--55, 8(z)107--107, 8(z)141--141
-
known, lesser-, 7(z)68--68
-
Known, Well-, 7(z)54--54
-
known, well-, 2(z)98--98, 2(z)100--100, 2(z)142--142,
3(z)171--171, 4(z)165--165, 4(z)223--223, 6(z)36--36, 6(z)50--50,
6(z)116--116, 6(z)131--131, 6(z)159--159, 7(z)49--49, 8(z)36--36
-
Ko, Hsiang-Shang, 2(z)41--41, 6(z)98--98
-
Ko:2018:ABB, 2(z)41--41
-
Ko:2022:DGP, 6(z)98--98
-
Kobayashi, Naoki, 7(z)6--6, 7(z)190--190
-
Kobayashi, Naoki, see Katsura, Hiroyuki
-
Kobayashi:2023:HZV, 7(z)6--6
-
Koch, Christoph E., 2(z)13--13
-
Koch, Christoph E., see Parreaux, Lionel
-
Kochekov, Kerim, 7(z)292--292
-
Kochekov, Kerim, see Conrado, Giovanna Kobus
-
Kodosky, Jeffrey, 4(z)78--78
-
Kodosky:2020:L, 4(z)78--78
-
K{\oe}hler, Thomas, 4(z)92--92, 8(z)58--58,
see Hagedorn, Bastian
-
Koehler:2024:GES, 8(z)58--58
-
Koenig, Jason R., 6(z)50--50
-
Koenig, Jason R., see Padon, Oded
-
Koenig, Jérémie, 6(z)25--25, 6(z)42--42, 8(z)72--72,
see Vale, Arthur Oliveira,
see Wang, Yuting, \see{Zhang, Ling
-
Kogias, Marios, 7(z)276--276
-
Kogias, Marios, see Cheeseman, Luke
-
Koh, Nicolas, 7(z)44--44
-
Koh, Nicolas, see Kincaid, Zachary
-
Köhler, Mirko, 2(z)129--129, 3(z)167--167, 4(z)188--188,
see Salvaneschi, Guido,
see Weisenburger, Pascal
-
Kohler:2020:RSC, 4(z)188--188
-
Kokke, Wen, 3(z)24--24, 4(z)149--149
-
Kokke, Wen, see Griesemer, Robert
-
Kokke:2019:BLT, 3(z)24--24
-
Kokologiannakis, Michalis, 2(z)17--17, 3(z)173--173, 5(z)43--43,
6(z)49--49, 6(z)152--152, 7(z)19--19
-
Kokologiannakis, Michalis, see Moiseenko, Evgenii
-
Kokologiannakis:2018:ESM, 2(z)17--17
-
Kokologiannakis:2019:ELH, 3(z)173--173
-
Kokologiannakis:2021:PPS, 5(z)43--43
-
Kokologiannakis:2022:TSO, 6(z)49--49
-
Kokologiannakis:2023:KAW, 7(z)19--19
-
Kolesar, John C., 6(z)177--177
-
Kolesar:2022:CEN, 6(z)177--177
-
Kolichala, Praneeth, 7(z)154--154
-
Kolichala, Praneeth, see Kovach, Scott
-
Kolluri, Aashish, 7(z)82--82
-
Kolluri, Aashish, see Wang, Bo
-
Kolosick, Matthew, 6(z)27--27
-
Kolosick:2022:ITN, 6(z)27--27
-
Komondoor, Raghavan, 2(z)142--142
-
Komondoor, Raghavan, see Rama, Girish Maskeri
-
Kong, Chaozhe, 7(z)103--103
-
Kong, Chaozhe, see Ji, Ruyi
-
Kong, Lingkun, 4(z)183--183, 7(z)92--92
-
Kong, Lingkun, see Le Glaunec, Alexis
-
Kong, Michael, 2(z)116--116
-
Kong, Michael, see Grech, Neville
-
Kong:2020:SQL, 4(z)183--183
-
König, Barbara, 3(z)26--26, see Baldan, Paolo
-
Konnov, Igor, 3(z)123--123
-
Konnov:2019:TMC, 3(z)123--123
-
Koord, 4(z)232--232
-
Koparkar, Chaitanya, 5(z)91--91
-
Koparkar:2021:ETT, 5(z)91--91
-
Koppel, James, 2(z)76--76, 2(z)122--122, 6(z)91--91, 6(z)117--117
-
Koppel:2018:CFR, 2(z)76--76
-
Koppel:2018:OTM, 2(z)122--122
-
Koppel:2022:ADC, 6(z)117--117
-
Koppel:2022:SEP, 6(z)91--91
-
Koprivec, Filip, 5(z)102--102
-
Koprivec, Filip, see Karachalias, Georgios
-
Kornell, Andre, 6(z)26--26
-
Kornell, Andre, see Jia, Xiaodong
-
Koskinen, Eric, 3(z)178--178, 4(z)189--189, 6(z)186--186, 7(z)20--20,
7(z)72--72, 8(z)140--140
-
Koskinen, Eric, see Antonopoulos, Timos,
see Chen, Adam, \see{Enea, Constantin,
see Le, Ton Chanh, \see{Unno, Hiroshi
-
Kotsifakou, Maria, 3(z)186--186
-
Kotsifakou, Maria, see Sharif, Hashim
-
Koutris, Paraschos, 7(z)59--59
-
Koutris:2023:FGC, 7(z)59--59
-
Kouwe, Erik van der, 7(z)143--143
-
Kouwe, Erik van der, see Isemann, Raphael
-
Kovach, Scott, 7(z)154--154
-
Kovach:2023:ISF, 7(z)154--154
-
Kovács, András, 3(z)2--2, 4(z)101--101, 6(z)110--110,
see Kaposi, Ambrus
-
Kovács, Laura, 6(z)178--178, 8(z)30--30,
see Moosbrugger, Marcel,
see Müllner, Julian
-
Kovacs:2020:EFC, 4(z)101--101
-
Kovacs:2022:SCT, 6(z)110--110
-
Koval, Nikita, 7(z)116--116
-
Koval:2023:CFV, 7(z)116--116
-
Kozen, 6(z)29--29
-
Kozen, Dexter, 4(z)57--57, 4(z)61--61, 7(z)269--269
-
Kozen, Dexter, see Dahlqvist, Fredrik,
see Mohan, Anshuman, \see{Smolka, Steffen
-
Kramer, Lucas, 1(z)98--98
-
Kramer, Lucas, see Kaminski, Ted
-
Kraus, Nicolai, 2(z)44--44
-
Kraus, Nicolai, see Capriotti, Paolo
-
Krause, Fabian, 5(z)108--108
-
Krause, Fabian, see Fu, Weili
-
Krauter, Nicolas, 5(z)63--63
-
Krauter:2021:PST, 5(z)63--63
-
Kravchuk-Kirilyuk, Anastasiya, 8(z)119--119
-
Kravchuk-Kirilyuk:2024:PNF, 8(z)119--119
-
Krawiec, Faustyna, 6(z)48--48
-
Krawiec:2022:PCA, 6(z)48--48
-
Krebbers, Robbert, 2(z)16--16, 2(z)66--66, 2(z)77--77, 2(z)78--78,
4(z)6--6, 4(z)114--114, 4(z)180--180, 5(z)22--22, 6(z)1--1,
6(z)20--20, 6(z)28--28, 6(z)100--100, 6(z)107--107, 7(z)27--27,
7(z)91--91, 7(z)161--161, 7(z)214--214, 8(z)47--47
-
Krebbers, Robbert, see Giarrusso, Paolo G.,
see Gäher, Lennard,
see Hinrichsen, Jonas Kastberg,
see Jacobs, Jules, \see{Jung, Ralf,
see Kaiser, Jan-Oliver,
see Lepigre, Rodolphe, \see{Mulder, Ike,
see Poulsen, Casper Bach,
see Rouvoet, Arjen, \see{Sammler, Michael,
see Spies, Simon
-
Krebbers:2018:MGE, 2(z)77--77
-
Krebs, Matthias, 6(z)40--40
-
Krebs, Matthias, see Eichholz, Matthias
-
Krikava, Filip, 3(z)163--163, 4(z)181--181, 5(z)125--125
-
Krikava, Filip, see Goel, Aviral,
see Turcotte, Alexi
-
Krikava:2019:SIE, 3(z)163--163
-
Kripke, 6(z)97--97
-
Krishna, Shankara Narayanan, 8(z)66--66
-
Krishna, Shankara Narayanan, see Chakraborty, Soham
-
Krishna, Shankaranarayanan, 7(z)137--137, 8(z)42--42
-
Krishna, Shankaranarayanan,
see Tunç, Hünkar Can
-
Krishna, Siddharth, 2(z)37--37, 5(z)113--113
-
Krishna, Siddharth, see Patel, Nisarg
-
Krishna:2018:GFC, 2(z)37--37
-
Krishna:2024:FSA, 8(z)42--42
-
Krishnamoorthy, Sriram, 2(z)32--32
-
Krishnamoorthy, Sriram, see Bao, Wenlei
-
Krishnamurthi, Shriram, 1(z)44--44, 6(z)79--79, 6(z)102--102,
7(z)215--215, 7(z)265--265, 8(z)23--23, 8(z)95--95, 8(z)106--106,
8(z)116--116
-
Krishnamurthi, Shriram, see Crichton, Will,
see Dyer, Tristan, \see{Lu, Kuang-Chen,
see Nelson, Tim, \see{Pombrio, Justin,
see Rivera, Elijah
-
Krishnan, Rahul, 6(z)67--67
-
Krishnan, Rahul, see Ferles, Kostas
-
Krishnaswami, Neel, 4(z)22--22, 4(z)111--111, 5(z)13--13, 6(z)48--48,
7(z)1--1, 7(z)155--155, 7(z)195--195
-
Krishnaswami, Neel, see Arntzenius, Michael,
see Choudhury, Vikraman,
see Ghalayini, Jad Elkhaleq,
see Krawiec, Faustyna,
see Pulte, Christopher, \see{Spies, Simon,
see Yallop, Jeremy
-
Krishnaswami, Neelakantan R., 3(z)9--9
-
Krishnaswami, Neelakantan R., see Dunfield, Joshua
-
Kristensen, Erik Krogh, 1(z)90--90
-
Kristensen:2017:TTS, 1(z)90--90
-
Krivine, 6(z)119--119
-
Krogh-Jespersen, Morten, 2(z)64--64
-
Krogh-Jespersen, Morten, see Timany, Amin
-
Krogmeier, Paul, 4(z)35--35, 5(z)8--8, 6(z)10--10, 6(z)185--185,
7(z)80--80
-
Krogmeier, Paul, see Barthe, Gilles,
see Mathur, Umang
-
Krogmeier:2022:LFF, 6(z)10--10
-
Krogmeier:2022:SAU, 6(z)185--185
-
Krogmeier:2023:LDL, 7(z)80--80
-
Kromberg, Morten J., 4(z)69--69
-
Kromberg, Morten J., see Hui, Roger K. W.
-
Kruse, Michael, 4(z)195--195
-
Kruse, Michael, see Grosser, Tobias
-
Krynski, Sebastián, 5(z)101--101, 7(z)263--263,
see Goel, Aviral,
see Mehta, Meetesh Kalpesh
-
ksh93, 4(z)43--43
-
Kuepper, Joel, 7(z)158--158
-
Kuepper:2023:CVC, 7(z)158--158
-
Kukovec, Jure, 3(z)123--123
-
Kukovec, Jure, see Konnov, Igor
-
Kulkarni, Milind, 1(z)76--76, 5(z)91--91, 5(z)157--157, 6(z)170--170
-
Kulkarni, Milind, see Jaber, Nouraldin,
see Koparkar, Chaitanya,
see Sakka, Laith,
see Sundararajah, Kirshanthan
-
Kumar, Aayan, 4(z)182--182
-
Kumar, Amrit, 3(z)185--185
-
Kumar, Amrit, see Sergey, Ilya
-
Kumar, Ashish, 5(z)151--151
-
Kumar, Ashish, see Jia, Xiaodong
-
Kumar, K. Narayan, 5(z)56--56
-
Kumar, K. Narayan, see Abdulla, Parosh Aziz
-
Kumar, Ramana, 1(z)18--18, 7(z)152--152
-
Kumar, Ramana, see Owens, Scott,
see Sewell, Thomas
-
Kumar:2020:SRI, 4(z)182--182
-
Kumbhare, Alok, 1(z)107--107
-
Kumbhare, Alok, see Bernstein, Philip A.
-
Kuncak, Viktor, 2(z)127--127, 3(z)166--166, 8(z)39--39
-
Kuncak, Viktor, see Guilloud, Simon,
see Hamza, Jad, \see{Mayer, Mika{\"e}l
-
Kun{\v{c}}ak, Viktor, 7(z)144--144,
see Milovan{\v{c}}evi{\'c}, Dragana
-
Kun{\v{c}}ar, Ond{\v{r}}ej, 2(z)24--24
-
Kuncar:2018:SCD, 2(z)24--24
-
Kunkel, Rose, 7(z)14--14
-
Kunkel, Rose, see Cao, David
-
Künzang, Chhi'mèd, 7(z)197--197, see Amin, Nada
-
Kunze, Fabian, 4(z)27--27
-
Kunze, Fabian, see Forster, Yannick
-
Kuper, Lindsey, 4(z)216--216, 7(z)207--207, 8(z)113--113
-
Kuper, Lindsey, see Castello, Jonathan,
see Liu, Yiyun, \see{Shen, Gan
-
Kuperberg, Denis, 5(z)1--1
-
Kuperberg:2021:CPS, 5(z)1--1
-
Kwon, Yonghwi, 3(z)137--137
-
Kwon, Yonghwi, see Zhang, Zhuo