Index file section K for sttt.bib

Last update: Thu Feb 8 02:07:22 MST 2024               

Return to index directory

K

• Kabitzsch, Klaus, 8(6)607--620
• Kabitzsch, Klaus, see Ploennigs, Joern
• Kahlon, Vineet, 15(4)321--336
• Kahlon:2013:SAC, 15(4)321--336
• Kahveci, Tuba, Yavuz-, 5(1)15--33
• Kaivola, Roope, 4(3)323--334
• Kaivola:2003:PEL, 4(3)323--334
• Kalas, Matús, 18(6)581--586, see Ménager, Hervé
• Kalb, Philipp, 19(1)115--131
• Kalb, Philipp, see Zech, Philipp
• Kalla, Hamoudi, 15(3)229--245
• Kalla, Hamoudi, see Assayad, Ismail
• Kamel, Moataz, 2(4)394--409
• Kamel, Nadjet, 11(3)239--253
• Kamel, Nadjet, see Ait-Ameur, Yamine
• Kamel:2000:FVG, 2(4)394--409
• Kamhi, Gila, 4(3)335--348
• Kamhi, Gila, see Copty, Fady
• Kammüller, Florian, 23(1)69--70
• Kammuller:2021:MCC, 23(1)69--70
• Kanade, Pradeep, 10(2)161--166
• Kanade, Pradeep, see Esparza, Javier
• Kang, Minseok, 24(6)911--948
• Kang, Minseok, see Lee, Jaehun
• Kaposta, Bogdan, Stanca-, 16(3)285--294
• Kapur, Deepak, 3(1)32--65
• Kapur:2000:UIP, 3(1)32--65
• Karabotsos, George, 12(6)429--446
• Karabotsos, George, see Chalin, Patrice
• Kästner, Daniel, 15(1)29--39, see Heckmann, Reinhold
• Katerji, Mostafa, El-, 20(1)1--18
• Katoen, Joost-Pieter, 4(2)153--172, 6(2)99--101, 8(6)605--606, 17(4)537--554, 22(2)135--161, 24(4)589--610, 24(5)803--819
• Katoen, Joost-Pieter, see Badings, Thom, see Buchholz, Peter, see Chakraborty, Souymodip, see Hensel, Christian, see Hermanns, Holger, \see{Lange, Tim
• Katoen:2004:GEI, 6(2)99--101
• Katsaros, Panagiotis, 22(1)3--32, 22(1)33--34, 23(5)679--684, 23(5)765--781
• Katsaros, Panagiotis, see Bliudze, Simon, see Gioulekas, Fotios, see Lekidis, Alexios
• Katt, Basel, 17(3)245--250
• Katt, Basel, see Felderer, Michael
• Katz, Gal, 19(4)449--464
• Katz, Shmuel, 9(2)119--132, 14(1)41--52
• Katz, Shmuel, see Grumberg, Orna
• Katz:2012:CAP, 14(1)41--52
• Katz:2017:SCI, 19(4)449--464
• Kauffman, Sean, 23(4)579--600
• Kauffman:2021:WCW, 23(4)579--600
• Kaufmann, Daniela, 25(2)133--144
• Kaufmann, Matt, 3(1)13--19
• Kaufmann:2000:VYC, 3(1)13--19
• Kaufmann:2023:IAV, 25(2)133--144
• Kaveri, 9(5)489--504
• Kavraki, Lydia E., 15(4)305--320
• Kavraki, Lydia E., see Plaku, Erion
• Kawahara, Jun, 18(1)57--66
• Kawahara, Jun, see Inoue, Takeru
• Kayser, Joachim, Meyer-, 4(2)153--172
• Keijzer, Bart de, 21(3)325--349
• Keijzer, Bart de, see Fearnley, John
• Kellar, Kevin, 20(1)57--78
• Kellar, Kevin, see Holmes, Josie
• Kellerer, Bartholomäus, 7(4)376--387
• Kellerer:2005:PQA, 7(4)376--387
• Kerbrat, Alain, 1(1)166--183
• Kerbrat, Alain, see Bozga, Marius
• Kermeta, 12(3)273--285
• Kern, Christoph, 3(3)286--313
• Kern:2001:LWF, 3(3)286--313
• kernel, 3(4)486--497, 21(3)287--306
• Kersenboogerd, Hoorn-, 4(1)107--124
• Kesten, Yonit, 2(4)328--342
• Kesten:2000:CDA, 2(4)328--342
• KeY, 17(6)729--744, 24(5)783--802, 25(2)185--204
• KeY-internal, 25(2)185--204
• Khalyeyev, Danylo, 25(5)733--746
• Khalyeyev, Danylo, see Bure{\v{s}}, Tom{\'a}{\v{s}}
• Khamespanah, Ehsan, 20(5)547--561, 22(5)617--633
• Khamespanah, Ehsan, see Yousefi, Farnaz
• Khamespanah:2018:MAR, 20(5)547--561
• Khan, Saif Ur Rehman, 19(6)743--761
• Khan, Saif Ur Rehman, see Parizi, Reza Meimandi
• Khendek, Ferhat, 4(2)234--245
• Khendek, Ferhat, see Peng, Hong
• Khmelnitsky, Igor, 25(3)341--354
• Khmelnitsky:2023:ARN, 25(3)341--354
• Khoury, Raphaël, 23(2)137--154
• Khoury:2021:ABM, 23(2)137--154
• Khurshid, Sarfraz, 6(2)117--127, 21(3)249--265, 22(5)601--615
• Khurshid, Sarfraz, see Godefroid, Patrice, see Hua, Jinru, \see{Usman, Muhammad
• Kidd, Nicholas, 13(1)37--60, 13(6)495--518
• Kidd:2011:DPD, 13(1)37--60
• Kidd:2011:FCR, 13(6)495--518
• Kim, Jin H., 20(4)397--422
• Kim, Jin H., see Chadli, Mounir
• Kim, Sharon, 24(6)911--948
• Kim, Sharon, see Lee, Jaehun
• Kimathrlimath, Dilsun, 6(1)67--76
• Kimathrlimath, Dilsun, see Win, Toh Ne
• Kinder, Sebastian, 10(6)521--534
• Kinder:2008:MPF, 10(6)521--534
• Kindler, Ekkart, 3(4)486--497
• Kindler:2001:PNK, 3(4)486--497
• kinetic, 25(5)693--705
• Kiniry, Joseph R., 7(3)212--232
• Kiniry, Joseph R., see Burdy, Lilian
• Kirby, R. M., 11(1)13--25
• Kirby, R. M., see Melatti, I.
• Kirby, Robert M., 12(2)113--122
• Kirby, Robert M., see Yang, Yu
• Kirsch, Christoph M., 15(3)189--209
• Kirsch, Christoph M., see Craciunas, Silviu S.
• Kirszenberg, Alexandre, 25(1)77--94
• Kirszenberg:2023:GFL, 25(1)77--94
• KIV, 17(6)677--694
• Kiviriga, Andrej, 24(6)1025--1042
• Kiviriga:2022:RRA, 24(6)1025--1042
• Klaedtke, Felix, 21(1)31--70
• Klaedtke, Felix, see Bartocci, Ezio
• KLAIM, X-, 25(5)747--764
• Klauck, Michaela, 25(3)407--426
• Klauck, Michaela, see Gros, Timo P.
• Klebanov, Vladimir, 17(6)647--657, 19(6)763--771
• Klebanov, Vladimir, see Huisman, Marieke
• Klein, Florian, 10(3)207--222
• Klein, Florian, see Burmester, Sven
• Klein, Joachim, 20(2)179--194
• Klein:2018:APM, 20(2)179--194
• Klüppelholz, Sascha, 20(2)179--194, 21(6)651--666, see Herrmann, Linda, \see{Klein, Joachim
• Knapp, Alexander, 20(3)237--241, 20(4)355--358, 20(4)359--377
• Knapp, Alexander, see Beek, Maurice H. ter, see Leupolz, Johannes
• Knoop, Jens, 15(1)41--52, 15(1)53--63
• Knoop, Jens, see Lisper, Björn, see Schreiner, Dietmar
• knowledge, 8(2)156--166
• Knowledge-based, 21(2)221--246
• Koelmans, A. M., 2(2)182--191
• Koelmans, A. M., see Burns, F. P.
• Kofron, Jan, 22(3)265--279, 22(4)497--509
• Kofron, Jan, see Arcaini, Paolo, see Bures, Tomas
• Kohatsu, Katherine, 4(3)323--334
• Kohatsu, Katherine, see Kaivola, Roope
• Köhl, Maximilian A., 25(2)205--218, see Biewer, Sebastian
• Kokologiannakis, Michalis, 21(3)287--306
• Kokologiannakis:2019:SMC, 21(3)287--306
• Kondratyev, Alex, 7(2)102--117
• Kondratyev, Alex, see Cabodi, Gianpiero
• Konecný, Filip, 19(5)565--584, see Ganty, Pierre
• Kong, Xiaohua, 4(3)359--370
• Kong:2003:RBF, 4(3)359--370
• König, Barbara, 16(2)123--125, see Flanagan, Cormac
• König, Hartmut, 13(1)89--106, see Schmerl, Sebastian
• Könighofer, Robert, 15(5)563--583, 19(3)367--390, see Jacobs, Swen
• Konighofer:2013:DFS, 15(5)563--583
• Konnov, Igor, 23(5)797--821, 23(5)823--823, 24(1)33--48
• Konnov, Igor, see Bertrand, Nathalie, see Stoilkovska, Ilina
• Koo, Insoo, 23(1)105--114
• Koo, Insoo, see Shakhov, Vladimir
• Kopetzki, Dawid, 20(3)327--354, 23(5)655--677
• Kopetzki, Dawid, see Naujokat, Stefan
• Kopetzki:2021:TLL, 23(5)655--677
• Kordon, F., 19(6)653--673
• Kordon, F., see Renault, E.
• Kordon, Fabrice, 19(3)281--308, 23(6)931--952
• Kordon, Fabrice, see Hillah, Lom Messan
• Kordon:2021:SEM, 23(6)931--952
• Körner, Philipp, 22(3)315--332, see Hansen, Dominik
• Korobkine, Alexandre, 20(1)95--117
• Korobkine, Alexandre, see Pantelic, Vera
• Kort, Skander, 4(3)313--322
• Kort:2003:HFV, 4(3)313--322
• Kosiol, Jens, 23(3)335--368
• Kosiol, Jens, see Fritsche, Lars
• Kosmatov, Nikolai, 23(3)489--517, 23(3)519--519
• Kosmatov, Nikolai, see Dubrulle, Paul
• Kouchnarenko, Olga, 20(4)467--491
• Kouchnarenko, Olga, see Bride, Hadrien
• Kouskoulas, Yanni, 19(6)717--741, 24(3)371--394
• Kouskoulas, Yanni, see Jeannin, Jean-Baptiste
• Kouskoulas:2022:EWS, 24(3)371--394
• Kovacs, Andras, 16(3)285--294
• Kovacs, Andras, see Zeiss, Benjamin
• Kowalewski, Stefan, 11(3)187--202, 15(4)287--289
• Kowalewski, Stefan, see Schlich, Bastian
• Kowalewski:2013:MCA, 15(4)287--289
• Krahn, Holger, 12(5)353--372
• Krahn:2010:MFC, 12(5)353--372
• Kreileder, Jürgen, 1(1)49--63, see Margaria, Tiziana
• Kretínský, Jan, 25(3)249--266, see Jüngermann, Florian
• K{\v{r}}et{\'{\i}}nsk{\'y}, Jan, 24(4)635--659, see Esparza, Javier
• Kriebel, S., 5(2)140--157
• Kriebel, S., see Pretschner, A.
• Krings, Sebastian, 22(3)315--332
• Krings, Sebastian, see Hansen, Dominik
• Kristensen, Lars M., 2(2)98--132, 10(1)5--14
• Kristensen, Lars Michael, 9(3)213--254, 9(3)255--267, 9(3)371--391
• Kristensen, Lars Michael, see Gallasch, Guy Edward, see Jensen, Kurt, \see{Mitchell, Brice
• Kristensen:1998:PGC, 2(2)98--132
• Kristensen:2008:MBD, 10(1)5--14
• Kroening, Daniel, 7(2)174--183, 8(3)229--247, 11(2)95--104, 12(6)405--408, 18(3)319--334
• Kroening, Daniel, see Bryant, Randal E., see Clarke, Edmund, \see{Groce, Alex, see Schrammel, Peter
• Kroening:2010:VST, 12(6)405--408
• Kroll, Moritz, 12(3)263--271
• Kroll, Moritz, see Jakumeit, Edgar
• Kronecker, 8(1)4--25
• Kröning, Daniel, 8(4)411--430, see Beyer, Sven
• KRONOS, 1(1)123--133, 5(2)221--236
• Kropp, Nathan, 4(3)335--348
• Kropp, Nathan, see Copty, Fady
• Krsti{\'c}, Srdan, 23(2)255--284, see Falcone, Yli{\`e}s
• Kruli{\v{s}}, Martin, 25(5)717--731, 25(5)733--746, see Bure{\v{s}}, Tom{\'a}{\v{s}}, see Töpfer, Michal
• Kueffner, Konstantin, 25(4)575--592
• Kueffner:2023:UAM, 25(4)575--592
• Küffner, Robert, 3(4)394--404, see Genrich, Hartmann
• Kulkarni, Sandeep S., 10(5)455--471
• Kulkarni, Sandeep S., see Ebnenasir, Ali
• Kuncak, Viktor, 15(5)455--474
• Kuncak:2013:FSL, 15(5)455--474
• Kuo, Jim Huan-Pu, 16(1)31--48
• Kuo, Jim Huan-Pu, see Crampton, Jason
• Kupferman, Orna, 4(2)224--233, 8(4)373--386
• Kupferman, Orna, see Chockler, Hana
• Kupferman:2003:VDT, 4(2)224--233
• Kupferschmid, Sebastian, 18(1)41--56
• Kupferschmid, Sebastian, see Wehrle, Martin
• Kurt, 2(2)95--97
• Kushik, Natalia, 18(3)251--264
• Kushik:2016:AEN, 18(3)251--264
• Küster-Filipe, Juliana, 8(2)156--166
• Kuster-Filipe:2006:TEO, 8(2)156--166
• Kutsuna, Takuro, 18(1)109--120
• Kutsuna:2016:ARM, 18(1)109--120
• Kutter, Philipp W., 3(4)431--455
• Kutter, Philipp W., see Anlauff, Matthias
• Küttler, Martin, 21(6)651--666, see Herrmann, Linda
• Kuusela, Juha, 2(2)133--143
• Kuusela, Juha, see Xu, Jianli
• Kwiatkowska, Marta, 5(2)221--236, 6(2)128--142, 8(3)216--228, 20(2)195--210
• Kwiatkowska, Marta, see Daws, Conrado, see Younes, Håkan L. S.
• Kwiatkowska:2004:PSM, 6(2)128--142
• Kwiatkowska:2018:PGV, 20(2)195--210