Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
K
-
K-Putput, 31(5)611--640, 32(1)153--153
-
Kaisa, 26(2)197--201
-
Kajtazi, Besnik, 18(3)364--395
-
Kajtazi, Besnik, see Henson, Martin C.
-
Kalman, 33(4)669--693
-
Kammüller, Florian, 20(3)259--275
-
Kammuller:2008:FNI, 20(3)259--275
-
Kamp, Peter, Schneider-, 29(3)559--579
-
Kang, Eun-Young, 19(3)401--413
-
Kang, Eunsuk, 30(5)525--544
-
Kang, Eunsuk, see Bagheri, Hamid
-
Kang:2007:PDV, 19(3)401--413
-
Kanso, Bilal, 27(4)641--664
-
Kanso, Bilal, see Taha, Safouan
-
KAOS, 26(2)319--366
-
Kapur, Deepak, 31(1)1--1
-
Kapur, Deepak, see Fränzle, Martin
-
Kassios, I. T., 23(3)267--288
-
Kassios:2011:DFT, 23(3)267--288
-
Katoen, J.-P., 10(5)550--575
-
Katoen, J.-P., see Bowman, H.
-
Katoen, Joost-Pieter, 24(4)477--496, 29(4)651--703, 33(4)637--667
-
Katoen, Joost-Pieter, see Ceska, Milan,
see Junges, Sebastian,
see Swaminathan, Mani
-
Kawamoto, Yusuke, 31(2)165--206
-
Kawamoto, Yusuke, see Biondi, Fabrizio
-
Kay, Andrew, 4(5)487--492
-
Kay:1992:SPB, 4(5)487--492
-
Kazmierczak, Edmund, 4(1)100--142
-
Kazmierczak:1992:MSS, 4(1)100--142
-
kee, Alain, Ah-, 2(1)312--330
-
Keenan, Anthony, 25(6)833--846
-
Keenan, Anthony, see Stewart, Alan
-
Kellomäki, Pertti, 12(4)231--232, see Aaltonen, Timo
-
Kelly, Tim, 33(6)855--884
-
Kelly, Tim, see Foster, Simon
-
kernel, 26(6)1205--1229
-
Kerse, Eleanor, 13(3)194--194
-
Kerse:2002:ORB, 13(3)194--194
-
Keshishzadeh, Sarmen, 28(2)181--206
-
Keshishzadeh:2016:FTC, 28(2)181--206
-
Khakpour, Narges, 28(1)21--43
-
Khakpour:2016:SSB, 28(1)21--43
-
Khendek, Ferhat, 23(3)307--332
-
Khendek, Ferhat, see Sinnig, Daniel
-
Khoo, Siau-Cheng, 31(2)207--230
-
Khoo, Siau-Cheng, see Ta, Quang-Trung
-
Khosravi, Ramtin, 29(6)1051--1086
-
Khosravi, Ramtin, see Yousefi, Behnaz
-
Kiefer, Stefan, 24(4)671--678
-
Kiefer:2012:TTH, 24(4)671--678
-
Kiehn, A., 6(2)165--200
-
Kiehn, A., see Boudol, G.
-
Kim, Moonzoo, 24(3)355--374
-
Kim, Soon-Kyeong, 21(5)397--420
-
Kim, Yunho, 24(3)355--374
-
Kim, Yunho, see Kim, Moonzoo
-
Kim:2009:FDD, 21(5)397--420
-
Kim:2012:CTM, 24(3)355--374
-
Kinder, Sebastian, 23(2)191--219
-
Kinder, Sebastian, see Haxthausen, Anne E.
-
Kindler, Ekkart, 9(4)409--424
-
Kindler:1997:PNB, 9(4)409--424
-
kinematic, 30(6)739--757
-
King, Andy, 29(1)33--55
-
King, Andy, see Chawdhary, Aziem
-
King, D., 9(4)349--358
-
King, D., see O'Halloran, C.
-
King, Steve, 7(1)54--76, 11(4)472--473, 26(4)795--823
-
King, Steve, see Cavalcanti, Ana
-
King:1995:ERC, 7(1)54--76
-
King:1999:SLZ, 11(4)472--473
-
Kirchner, Florent, 27(3)573--609
-
Kirchner:2015:FCS, 27(3)573--609
-
Kirkeby, Maja H., 29(1)57--95
-
Kirkeby, Maja H., see Christiansen, Henning
-
Kirkwood, Carron, 7(2)226--229, 8(4)498--498
-
Kirkwood, Carron, see Mukherjee, Paul
-
Kirkwood:1996:BR, 8(4)498--498
-
Kirschenbaum, Jason, 23(5)607--626
-
Kirschenbaum, Jason, see Sitaraman, Murali
-
Kirwan, Ryan, 28(6)1027--1056
-
Kirwan:2016:MCL, 28(6)1027--1056
-
KIV, 20(1)41--59
-
Klaudel, Hanna, 20(4)429--450
-
Klaudel, Hanna, see Devillers, Raymond
-
Klebanov, Vladimir, 25(3)405--437
-
Klebanov, Vladimir, see Beckert, Bernhard
-
Kleene, 24(4)459--476
-
Kleijn, Jeroen, 15(4)370--389
-
Kleijn, Jeroen, see Bos, Victor
-
Klein, 30(3)491--492
-
Klein, Gerwin, 26(6)1205--1229
-
Klein, Gerwin, see Daum, Matthias
-
Kleymann, Thomas, 11(5)541--566
-
Kleymann:1999:HLA, 11(5)541--566
-
Kloul, Leïla, 19(1)3--33, see Hillston, Jane
-
Klüppelholz, Sascha, 30(1)45--75,
see Chrszon, Philipp
-
Knaack, Bart, 10(5)469--482
-
Knaack, Bart, see Dams, Dennis
-
Knaggs, Peter J., 5(4)289--298
-
Knaggs, Peter J., see Stoddart, Bill
-
Knapp, Alexander, 32(1)149--151, 33(6)1209--1248
-
Knapp, Alexander, see Hennicker, Rolf
-
Knapp, Steffen, 20(6)637--662
-
Knapp, Steffen, see Botaschanjan, Jewgenij
-
Knapp:2020:BRA, 32(1)149--151
-
Knaster--Tarski, 10(3)214--232
-
Kneuper, Ralf, 9(4)379--394
-
Kneuper:1997:LFM, 9(4)379--394
-
Knijnenburg, Peter M. W., 9(5)518--536
-
Knijnenburg:1997:SCA, 9(5)518--536
-
knowledge, 20(3)303--348
-
Knox, Stephen, 26(4)677--694
-
Knox, Stephen, see Konur, Savas
-
Kobayashi, 10(2)160--170
-
Kobayashi, Naoki, 7(2)113--149
-
Kobayashi, Tsutomu, 31(3)287--320
-
Kobayashi:1995:ACM, 7(2)113--149, 10(2)160--170
-
Kobayashi:2019:CPR, 31(3)287--320
-
Kof, Leonid, 20(6)637--662
-
Kof, Leonid, see Botaschanjan, Jewgenij
-
Kofron, Jan, 25(4)543--572, 29(5)777--803
-
Kofron, Jan, see Jancík, Pavel,
see Poch, Tomás
-
Kohlhase, Michael, 11(3)326--342
-
Kohlhase, Michael, see Siekmann, Jörg
-
Kok, Joost N., 6_1S_788_800, 9(5)518--536
-
Kok, Joost N., see Bonsangue, Marcello M.,
see Knijnenburg, Peter M. W.
-
Kokash, Natallia, 24(2)187--216
-
Kokash:2012:RMF, 24(2)187--216
-
Kolahdouz-Rahimi, S., 27(1)193--235
-
Kolahdouz-Rahimi, S., see Lano, Kevin
-
Komendantskaya, Ekaterina, 29(3)453--474
-
Komendantskaya, Ekaterina, see Fu, Peng
-
Kondoh, Hidetaka, 14(4)369--399
-
Kondoh:2003:ADT, 14(4)369--399
-
Kong, Weiqiang, 26(5)943--962, 33(3)325--341
-
Kong, Weiqiang, see Wu, Huihui,
see Yamagata, Yoriyuki
-
König, Harald, 31(5)611--640, 32(1)153--153, 33(6)1067--1114,
see Diskin, Zinovy,
see Stünkel, Patrick
-
Konnov, Igor, 31(4)455--456
-
Konnov:2019:BRE, 31(4)455--456
-
Konrad, Karsten, 11(3)326--342
-
Konrad, Karsten, see Siekmann, Jörg
-
Konur, Savas, 26(4)677--694
-
Konur:2014:FVP, 26(4)677--694
-
Koopmann, Patrick, 33(6)885--921
-
Koopmann, Patrick, see Dubslaff, Clemens
-
Korver, Henri, 10(1)30--42, 10(1)43--58
-
Korver:1998:EVU, 10(1)43--58
-
Korver:1998:FAA, 10(1)30--42
-
Kosmatov, Nikolai, 27(3)573--609, 30(1)107--131, 30(6)629--657
-
Kosmatov, Nikolai, see Kirchner, Florent,
see Léchenet, Jean-Christophe,
see Petiot, Guillaume
-
Kotkas, Vahur, 12(4)222--224
-
Kotkas:2000:CPS, 12(4)222--224
-
Koutny, Maciej, 9(2)119--148, 20(4)429--450, 27(3)525--549
-
Koutny, Maciej, see Ciobanu, Gabriel,
see Devillers, Raymond
-
Koutny:1997:TIR, 9(2)119--148
-
Krafczyk, Niklas, 33(6)925--955
-
Krafczyk, Niklas, see Peleska, Jan
-
Kramer, J., 22(3)217--241
-
Kramer, J., see Alrajeh, D.
-
Kramer, Jeff, 22(6)681--711
-
Kramer, Jeff, see Lang, Frédéric
-
Kratochvíla, Tomás, 28(1)45--63,
see Barnat, Jirí
-
Krause, Christian, 24(2)187--216
-
Krause, Christian, see Kokash, Natallia
-
Kr{\v{c}}{\'a}l, Jan, 31(2)261--285, see Bisgaard, Morten
-
Kreowski, Hans-Jörg, 11(6)690--723
-
Kreowski:1999:GTU, 11(6)690--723
-
Krishnan, Padmanabhan, 8(2)162--187
-
Krishnan:1996:AC, 8(2)162--187
-
Kroening, 30(6)759--759
-
Kroening, Daniel, 21(5)485--494, 22(2)105--128, 23(5)585--588,
29(5)911--931
-
Kroening, Daniel, see Schrammel, Peter
-
Kroening:2009:FSM, 21(5)485--494
-
Kroening:2010:VFP, 22(2)105--128
-
Kroening:2011:E, 23(5)585--588
-
Krogdahl, Stein, 9(1)98--118, 13(6)471--492
-
Krogdahl:1997:VDL, 9(1)98--118
-
Krogdahl:2002:VPM, 13(6)471--492
-
Krone, Joan, 23(5)607--626
-
Krone, Joan, see Sitaraman, Murali
-
Krüger, I., 16(3)194--209
-
Kruger:2004:BM, 16(3)194--209
-
Kuhlmann, Mirco, 20(1)79--100
-
Kuhlmann:2008:MVM, 20(1)79--100
-
Kuiper, Ruurd, 8(3)294--323, 10(5)469--482
-
Kuiper, Ruurd, see Dams, Dennis,
see Zhou, Ping
-
Kulcsár, Géza, 33(6)1249--1277,
see Archibald, Blair
-
Kulkarni, Sandeep S., 27(1)1--31
-
Kulkarni, Sandeep S., see Bonakdarpour, Borzoo
-
Kundu, Sudipta, 23(6)781--805
-
Kundu, Sudipta, see Wang, Chao
-
Küngas, Peep, 12(4)222--224, see Kotkas, Vahur
-
Kurki-Suonio, Reino, 4(6)582--591
-
Kurki-Suonio, Reino, see Francez, Nissim
-
Kuruma, Hironobu, 19(1)63--91
-
Kuruma, Hironobu, see Basin, David
-
Kushik, Natalia, 30(2)319--332
-
Kushik, Natalia, see El-Fakih, Khaled
-
Kuske, Sabine, 11(6)690--723
-
Kuske, Sabine, see Kreowski, Hans-Jörg
-
Kwiatkowska, Marta, 14(3)295--318, 17(2)138--159, 17(2)160--176,
24(4)661--670
-
Kwiatkowska, Marta, see Cattani, Stefano,
see Norman, Gethin
-
Kwiatkowska, Marta Z., 1(1)213--228
-
Kwiatkowska:1989:EFN, 1(1)213--228
-
Kwiatkowska:2003:PMC, 14(3)295--318
-
Kwiatkowska:2012:PVH, 24(4)661--670
-
Kwiecinski, Krystian, 30(3)333--349
-
Kwiecinski, Krystian, see Santos, Filipe