Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
H
-
H, 11(2)176--178, 12(1)90--92, 12(2)165--167, 14(1)105--106, 15(1)98--98,
15(1)113--114, 16(1)95--97, 18(2)221--222, 24(2)185--186,
24(2)186--187
-
Ha, Stéphane Hong Tuan, 75(7)516--542,
see Fradet, Pascal
-
Haack, Christian, 50(1)189--224
-
Haack:2004:TES, 50(1)189--224
-
Habel, Annegret, 34(1)1--54, 152(z)38--62
-
Habel, Annegret, see Andries, Marc,
see Radke, Hendrik
-
Häberling, Sascha, 74(5)379--396, see Puder, Arno
-
Habra, Naji, 79(z)260--278
-
Habra, Naji, see De Smet, Benoît
-
Hadar, Irit, 78(9)1407--1426
-
Hadar:2013:WIL, 78(9)1407--1426
-
Hadron, 78(12)2435--2452
-
haemodialysis, 158(z)122--147
-
Hage, Jurriaan, 95(z)200--218, 112(z)119
-
Hage, Jurriaan, see Chin, Wei-Ngan,
see Weijers, Jeroen
-
Hagemann, Willem, 77(10)1122--1150, 148(z)123--160
-
Hagemann, Willem, see Althaus, Ernst,
see Damm, Werner
-
Hagiya, M., 21(2)91--z
-
Hagiya, M., see Apt, K. R.
-
Haham, Tali, Yatzkar-, 78(12)2313--2330
-
Hähnle, Reiner, 166(z)167--193, 204(z)z--99999999,
see Kamburjan, Eduard,
see Wasser, Nathan
-
Hailpern, Brent, 6(1)35--88
-
Hailpern, Brent, see Francez, Nissim
-
Hainaut, Jean-Luc, 105(z)44--72
-
Hainaut, Jean-Luc, see Marcozzi, Michaël
-
Hains, Gaétan, 37(1)253--277,
see Loulergue, Frédéric
-
Haitzer, Thomas, 90(z)135--160
-
Haitzer:2014:SAA, 90(z)135--160
-
Hajdu, Ákos, 157(z)17--40,
see Vörös, András
-
Hajisheykhi, Reza, 160(z)93--114
-
Hajisheykhi:2018:TIT, 160(z)93--114
-
Halbwachs, N., 18(3)247--269
-
Halbwachs, N., see Bouajjani, A.
-
Halbwachs, Nicolas, 31(1)75--89
-
Halbwachs:1998:ASP, 31(1)75--89
-
Halchin, Alexandra, 196(z)z--99999999
-
Halchin:2020:HBM, 196(z)z--99999999
-
Haldar, Vivek, 57(3)275--294
-
Haldar, Vivek, see Franz, Michael
-
Halder, Raju, 78(9)1240--1263
-
Halder:2013:APS, 78(9)1240--1263
-
half, 150(z)75--86
-
Hall, 5(3)317--318, 15(1)95--97, 15(1)111--112, 16(2)200--201,
33(2)213--214
-
Hall, Anthony, 12(2)168--170
-
Hall, Cordelia V., 12(1)39--74
-
Hall, Prentice-, 3(1)115--116, 5(1)107--109, 9(1)101--105,
10(1)87--88, 10(2)217--217, 11(2)185--191, 11(2)195--196,
12(1)84--84, 12(1)87--88, 12(1)88--90, 12(2)157--158, 12(2)158--164,
12(3)259--260, 12(3)264--265, 12(3)267--270, 13(1)119--122,
13(1)125--127, 14(1)105--106, 14(1)109--110, 16(1)90--90,
16(1)91--92, 18(2)205--207
-
Hall, Simin, 88(z)22--40
-
Hall, Simin, see Fouh, Eric
-
Hall, Tracy, 135(z)4--19
-
Hall, Tracy, see Kirbas, Serkan
-
Hall:1989:BRB, 12(2)168--170
-
Hall:1989:GFV, 12(1)39--74
-
Hallash, Prentice-, 16(1)89--90
-
Hallerstede, Stefan, 78(3)272--292, 82(z)2--21, 94(z)144--163,
131(z)94--108
-
Hallerstede:2013:VFM, 78(3)272--292
-
Hallerstede:2014:MTT, 82(z)2--21
-
Hallerstede:2014:RDM, 94(z)144--163
-
Hallerstede:2016:CEB, 131(z)94--108
-
Hallett, J. J., 75(9)787--795
-
Hallett:2010:ICS, 75(9)787--795
-
Halloran, T. J., 58(3)384--411
-
Halloran, T. J., see Greenhouse, Aaron
-
Hallstrom, Jason O., 74(7)446--469
-
Hallstrom, Jason O., see Dalton, Andrew R.
-
Hamana, Makoto, 187(z)z--99999999
-
Hamana:2020:PCS, 187(z)z--99999999
-
Hamann, Lars, 89(z)162--175
-
Hamann, Lars, see Büttner, Fabian
-
Hamdaqa, Mohammad, 95(z)44--72
-
Hamdaqa:2014:CSD, 95(z)44--72
-
Hamid, Nadeem A., 50(1)101--127
-
Hamid, Nadeem A., see Yu, Dachuan
-
Hamlen, Kevin W., 93(z)110--124
-
Hamlen, Kevin W., see Sridhar, Meera
-
Hamlet, 13(1)117--119
-
Hammad, Muhammad, 149(z)3--8
-
Hammad:2017:IIT, 149(z)3--8
-
Hammond, Kevin, 77(2)81--82
-
Hammond, Lance, 63(2)111--129
-
Hammond, Lance, see Carlstrom, Brian D.
-
Hammond:2012:ISI, 77(2)81--82
-
Hammoudi, Slimane, 113(z)1--2, 136(z)17--42
-
Hammoudi, Slimane, see Boudaa, Boudjemaa
-
Hammoudi:2015:PSI, 113(z)1--2
-
Hamou-Lhadj, Abdelwahab, 78(8)1099--1118
-
Hamou-Lhadj, Abdelwahab, see Pirzadeh, Heidar
-
Hamouda, Sally, 88(z)22--40
-
Hamouda, Sally, see Fouh, Eric
-
Hamza, H., 77(5)644--659
-
Hamza:2012:RBR, 77(5)644--659
-
Han, Jun, 64(2)223--245
-
Han, Jun, see Colman, Alan
-
Han, Qiang, 226(z)z--99999999
-
Han, Qiang, see Zeng, Jianwei
-
Han, Tingting, 232(z)z--99999999
-
Han, Tingting, see Liu, Shuqi
-
Han, Xiao, 172(z)117--134
-
Han:2019:HVA, 172(z)117--134
-
Hand, 26(1)255--272
-
handbook, 6(2)135--158, 24(1)97--99
-
Handel-C, 77(4)424--443
-
handled, 133(z)20--50
-
handlers, 234(z)z--99999999
-
Handles, 98(z)318--338
-
handling, 10(3)221--245, 23(2)227--286, 24(3)249--286, 53(3)381--407,
74(5)314--332, 75(5)333--349, 84(z)22--51, 196(z)z--99999999
-
Hankin, Chris, 7(3)249--278, 10(1)95--97, 22(3)283--306, 23(1)103--103,
25(2)219--249, 78(9)1264--1277
-
Hankin, Chris, see Burn, Geoffrey L.,
see Yang, Fan
-
Hankin:1988:BRB, 10(1)95--97
-
Hankin:1994:AFP, 22(3)283--306, 23(1)103--103
-
Hankin:1994:EAF, 22(3)283--306, 23(1)103--103
-
Hankin:1995:LTI, 25(2)219--249
-
Hanna, Philip, 54(1)99--124
-
Hanna, Philip, see O'Neill, Ian
-
Hannukainen, Antti, 90(z)34--41
-
Hannukainen:2014:NRF, 90(z)34--41
-
Hansen, Dominik, 131(z)109--125
-
Hansen, Hallstein A., 78(12)2511--2536
-
Hansen, René Rydhof, 47(2)145--175, 75(6)376--397, 91(z)141--160,
92(z)25--55, see De Nicola, Rocco,
see Nielson, Flemming,
see Olesen, Mads Chr.,
see Wognsen, Erik Ramsgaard
-
Hansen:2013:RAC, 78(12)2511--2536
-
Hansen:2016:TBT, 131(z)109--125
-
Hansson, Åke, 18(2)215--218
-
Hansson:1992:BRB, 18(2)215--218
-
Hao, Li, 206(z)z--99999999
-
Hao, Li, see He, Weigang
-
Haoues, Mariem, 135(z)88--104
-
Haoues:2017:FCI, 135(z)88--104
-
Hapao, 79(z)86--100
-
happened, 99(z)95--127
-
Harbo, Sean Kristian Remond, 231(z)z--99999999
-
Harbo:2024:APE, 231(z)z--99999999
-
Harcourt, 12(1)85--87
-
hard, 10(2)215--216, 11(1)91--94, 11(1)97--98, 165(z)24--37
-
hardback, 12(1)83--84, 12(1)90--92, 12(2)174--175, 12(3)267--270,
13(1)122--125, 14(1)106--109, 14(1)109--110, 14(1)110--110,
14(1)110--112, 15(1)98--98, 15(1)98--100, 15(1)100--111,
15(1)113--114, 16(1)95--97, 16(1)97--100, 16(2)197--198,
16(2)202--203, 24(2)185--186, 33(1)97--99, 34(1)75--77,
34(2)159--161
-
hardbound, 10(1)95--97
-
hardcover, 12(1)85--87, 13(1)119--122
-
hardware, 21(2)115--139, 21(3)225--261, 24(3)221--248, 26(1)5--9,
26(1)15--31, 26(1)33--57, 26(1)59--78, 26(1)79--97, 26(1)99--115,
26(1)117--132, 26(1)133--148, 26(1)179--196, 26(1)237--254,
26(1)255--272, 28(0)91--299, 28(2)193--223, 28(2)273--299,
30(1)227--250, 33(3)261--298, 34(1)1--54, 34(2)79--140,
37(1)279--309, 56(1)23--39, 62(2)95--97, 72(1)3--21, 74(3)100--127,
80(z)130--149, 91(z)188--215, 217(z)z--99999999
-
hardware-in-the-loop, 77(2)83--95
-
hardwareash, 216(z)z--99999999
-
Harel, 11(1)87--88
-
Harel, David, 8(3)231--274, 98(z)233--267
-
Harel:1987:SVF, 8(3)231--274
-
Harel:2015:TBP, 98(z)233--267
-
Harlan, 12(2)170--172, 13(1)117--119
-
harm, 93(z)110--124
-
Harman, Mark, 62(3)228--252
-
Harman, Mark, see Binkley, Dave
-
Harmer, Terence J., 28(1)1--41
-
Harmer, Terence J., see Fitzpatrick, Stephen
-
harmless, 26(1)179--196
-
Härnqvist, Ivar, 228(z)z--99999999,
see Kargén, Ulf
-
Harper, 11(2)176--178
-
Harris, Steve, 89(z)126--143, 192(z)z--99999999
-
Harris, Steve, see Davies, Jim
-
Harris, Tim, 58(3)325--343, 63(2)109--110
-
Harris:2005:ESE, 58(3)325--343
-
Harris:2006:SIS, 63(2)109--110
-
Harrison, Michael D., 175(z)17--34
-
Harrison, Neil, 77(5)551--576
-
Harrison, Neil, see Heesch, Uwe van
-
Harrison, Peter G., 10(3)281--318, 24(1)83--95
-
Harrison, Rachel, 12(2)164--165
-
Harrison, William, 78(7)953--968
-
Harrison, William, see Lievens, David
-
Harrison:1988:LON, 10(3)281--318
-
Harrison:1989:BRB, 12(2)164--165
-
Harrison:1995:TPE, 24(1)83--95
-
Harrison:2019:FTS, 175(z)17--34
-
Hartel, Pieter, 34(1)75--77
-
Hartel:1999:BRB, 34(1)75--77
-
Hartmann, Herman, 78(12)2313--2330
-
Hartmann:2013:UMI, 78(12)2313--2330
-
Hartmanns, Arnd, 112(z)3--23, 174(z)90--108
-
Hartmanns, Arnd, see Budde, Carlos E.
-
Hartmanns:2015:QAZ, 112(z)3--23
-
Hartog, Jerry den, 74(1)52--63
-
Hartonas-Garmhausen, Vicky, 36(1)53--64
-
Hartonas-Garmhausen:2000:VSC, 36(1)53--64
-
Harvard, 18(2)207--209
-
Hasan, Osman, 133(z)154--174, 171(z)42--66, 209(z)z--99999999
-
Hasan, Osman, see Abbassi, Imran Hafeez,
see Bukhari, Syed Ali Asadullah
-
Hasan:2021:PF, 209(z)z--99999999
-
hash, 173(z)56--70
-
Hashemi, Sattar, 228(z)z--99999999
-
Hashemi, Sattar, see Sepahvand, Reza
-
Hashing, 145(z)1--12
-
Haskell, 27(1)37--83, 32(1)3--47, 65(2)72--107, 119(z)3--30,
173(z)56--70, 201(z)z--99999999
-
Haskell, XML-, 65(2)72--107
-
Hasrat, Imran Riaz, 230(z)z--99999999
-
Hasrat:2023:TDH, 230(z)z--99999999
-
Hassan, Ahmed E., 77(6)760--776, 80(z)457--479
-
Hassan, Ahmed E., see Bettenburg, Nicolas,
see Thomas, Stephen W.
-
Hatcliff, John, 75(7)615--637
-
Hatcliff, John, see Jung, Georg
-
Hatefi, Hassan, 112(z)58--74
-
Hatefi:2015:ITB, 112(z)58--74
-
Häubl, Christian, 75(11)1077--1094, 76(11)1073--1073
-
Haubl:2010:CES, 75(11)1077--1094
-
Haubl:2011:ECE, 76(11)1073--1073
-
Hauspie, Michaël, 186(z)z--99999999, see Rusu, Vlad
-
Haustermann, Michael, 157(z)56--70
-
Haustermann, Michael, see Cabac, Lawrence
-
Hauswirth, Matthias, 76(11)1054--1072, 78(5)499--520
-
Hauswirth, Matthias, see Jovic, Milan
-
Hauswirth:2013:TJP, 78(5)499--520
-
HAVi, 43(1)1--33
-
Haxthausen, Anne E., 133(z)91--115
-
Haxthausen, Anne E., see Vu, Linh Hong
-
Hayashi, Shinpei, 212(z)z--99999999
-
Hayashi:2021:SIS, 212(z)z--99999999
-
Hayes, I. J., 27(2)175--184
-
Hayes, Ian, 29(3)279--302, 43(2)161--192
-
Hayes, Ian, see Nickson, Ray
-
Hayes, Ian J., 64(3)286--311, 76(10)891--914, 78(11)2047--2063,
78(11)2086--2107, 85(z)137--165
-
Hayes, Ian J., see Colvin, Robert J.,
see Dongol, Brijesh
-
Hayes:1996:SMR, 27(2)175--184
-
Hayes:2002:RAR, 43(2)161--192
-
Hayes:2007:PPR, 64(3)286--311
-
Hayes:2013:LUT, 78(11)2086--2107
-
HBSniff, 217(z)z--99999999
-
HDFS, 184(z)z--99999999
-
He, Fei, 145(z)13--36
-
He, Fei, see Luo, Chen
-
He, Guanhua, 82(z)56--76, 148(z)189--212
-
He, Guanhua, see Qin, Shengchao
-
He, Jifeng, 28(2)171--192, 162(z)3--34
-
He, Mengda, 148(z)189--212
-
He, Mengda, see Qin, Shengchao
-
He, Weigang, 206(z)z--99999999
-
He, Yutong, 226(z)z--99999999
-
He, Yutong, see Zeng, Jianwei
-
He:1997:PMG, 28(2)171--192
-
He:2018:NRL, 162(z)3--34
-
He:2021:ATG, 206(z)z--99999999
-
healing, Self-, 57(1)27--44
-
Health, 218(z)z--99999999
-
healthy, 89(z)251--272
-
Héam, Pierre-Cyrille, 75(10)898--917
-
Heam:2010:CSB, 75(10)898--917
-
heap, 50(1)129--160, 58(1)264--289, 78(9)1427--1448, 92(z)56--84,
100(z)61--83, 112(z)102--118
-
heap-allocated, 92(z)2--24
-
heap-manipulating, 82(z)56--76
-
heapsort, 1(3)223--233
-
heat-pump, 230(z)z--99999999
-
Hebig, Regina, 135(z)45--74
-
Hebig:2017:TQT, 135(z)45--74
-
Heckel, Reiko, 44(2)229--252
-
Heckel, Reiko, see Depke, Ralph
-
Heckmann, Reinhold, 17(1)77--117
-
Heckmann:1991:PDC, 17(1)77--117
-
Hedin, Görel, 47(1)37--58, 61(3)189--189, 68(1)21--37, 68(2)63--63,
69(1)14--26, 75(1)21--38, 78(10)1809--1827, 96(z)395--395,
114(z)74--84, see Czarnecki, Krzysztof,
see Ekman, Torbjörn,
see Fors, Niklas, \see{Magnusson, Eva,
see Söderberg, Emma,
see Åkesson, Johan
-
Hedin:2003:JAO, 47(1)37--58
-
Hedin:2006:P, 61(3)189--189
-
Hedin:2007:P, 68(2)63--63
-
Hee, K. M. van, 42(2)129--171, 44(3)343--344
-
Hee, K. M. van, see Aalst, W. M. P. van der
-
Hee, Kees van, 65(1)30--40
-
heel, 70(2)89--110
-
Heeren, Bastiaan, 88(z)110--129
-
Heeren:2014:FSS, 88(z)110--129
-
Heering, Jan, 97(z)82--85
-
Heering:2015:GSC, 97(z)82--85
-
Heesch, Uwe van, 77(5)551--576
-
Heffter, Arnd, Poetzsch-, 62(3)253--286, 92(z)129--161,
210(z)z--99999999
-
Hegedüs, Ábel, 85(z)41--99, 98(z)80--99,
see Jakumeit, Edgar,
see Ujhelyi, Zoltán
-
Hehner, Eric C. R., 2(1)1--18, 14(2)133--158, 34(3)191--205
-
Hehner, Eric C. R., see Lengauer, Christian
-
Hehner:1990:PTP, 14(2)133--158
-
Hehner:1999:SPT, 34(3)191--205
-
Heidelberg, 15(1)113--114, 16(1)95--97, 16(2)204--205
-
Heidelbergash, 11(2)175--176, 11(2)191--195
-
Heilbrunner, Stephan, 2(1)69--81
-
Heilbrunner:1982:TRR, 2(1)69--81
-
Heimdahl, Mats P. E., 36(1)65--96
-
Heimdahl:2000:ANW, 36(1)65--96
-
Heinen, Jonathan, 97(z)157--162
-
Heinen:2015:VPP, 97(z)157--162
-
Heinrich, Matthias, 94(z)53--66
-
Heinrich:2014:ESU, 94(z)53--66
-
Heinzl, René, 76(4)324--346
-
Heinzl:2011:GTL, 76(4)324--346
-
Heisel, Maritta, 18(1)107--137, 40(1)31--57
-
Heisel, Maritta, see Grieskamp, Wolfgang
-
Heisel:1992:FIG, 18(1)107--137
-
Heitkötter, Henning, 97(z)31--36
-
Heitkotter:2015:EMD, 97(z)31--36
-
Heldal, Rogardt, 191(z)z--99999999
-
Heldal, Rogardt, see Pelliccione, Patrizio
-
Heljanko, Keijo, 77(10)1095--1121, 82(z)44--55, 198(z)z--99999999
-
Heljanko, Keijo, see Dubrovin, Jori,
see Gan, Xiang, \see{Siirtola, Antti
-
Helmink, Leen, 17(1)119--138
-
Helmink:1991:RTT, 17(1)119--138
-
Hélouët, Loïc, 157(z)71--102
-
Helouet:2018:RSS, 157(z)71--102
-
helpdesk, 230(z)z--99999999
-
Hemel, 10(2)217--217, 12(1)84--84, 12(1)87--88, 12(1)88--90,
12(2)157--158, 12(2)158--164, 12(3)259--260, 12(3)264--265,
12(3)267--270, 13(1)119--122, 13(1)125--127, 14(1)105--106,
14(1)109--110, 15(1)95--97, 15(1)111--112, 16(1)89--90, 16(1)90--90,
16(1)91--92, 16(2)200--201, 18(2)205--207
-
Hemerik, C., 13(1)51--72
-
Hemerik:1989:BTA, 13(1)51--72
-
Hempstead, 10(2)217--217, 12(1)84--84, 12(1)87--88, 12(1)88--90,
12(2)157--158, 12(2)158--164, 12(3)259--260, 12(3)264--265,
12(3)267--270, 13(1)119--122, 13(1)125--127, 14(1)105--106,
14(1)109--110, 15(1)95--97, 15(1)111--112, 16(1)89--90, 16(1)90--90,
16(1)91--92, 16(2)200--201, 18(2)205--207
-
Henderson, William, 40(1)3--29
-
Henderson, William, see Bradley, Steven
-
Hendrix, T. Dean, 60(2)121--133
-
Hendrix, T. Dean, see Umphress, David A.
-
Henglein, Fritz, 22(3)197--230
-
Henglein:1994:DTS, 22(3)197--230
-
Henkel, Jörg, 133(z)154--174,
see Bukhari, Syed Ali Asadullah
-
Hennessy, 12(2)167--168
-
Hennessy, M., 41(3)241--275
-
Hennessy, Matthew, 78(12)2537--2579
-
Hennessy, Matthew, see Deng, Yuxin
-
Hennessy:2001:UFI, 41(3)241--275
-
Hennicker, Rolf, 25(2)149--186, 91(z)70--89
-
Hennicker, Rolf, see Bauer, Sebastian,
see Bidoit, Michel
-
Henrio, Ludovic, 77(7)823--847
-
Henrio:2012:ATF, 77(7)823--847
-
Henriques, Pedro, 98(z)764--784
-
Henriques, Pedro, see Sanchez, Alejandro
-
Hentenryck, Pascal, Van, 30(1)83--118, 38(1)27--71
-
Henzinger, Thomas A., 77(2)96--112
-
Henzinger, Thomas A., see Ghosal, Arkadeb
-
Herber, Paula, 211(z)z--99999999
-
Herber, Paula, see Liebrenz, Timm
-
Herlihy, Maurice, 58(3)310--324
-
Herlihy, Maurice, see Cole, Christopher
-
Hermanns, Holger, 36(1)97--127, 112(z)3--23, 112(z)58--74, 128(z)22--50
-
Hermanns, Holger, see Hartmanns, Arnd,
see Hatefi, Hassan, \see{Jafari, Ali
-
Hermanns:2000:ACM, 36(1)97--127
-
Hermenegildo, 18(2)213--215
-
Hermenegildo, M., 30(1)51--82
-
Hermenegildo, M., see Bueno, F.
-
Hermenegildo, Manuel V., 58(1)115--140, 155(z)3--26
-
Hermenegildo, Manuel V., see Stulova, Nataliia
-
Hermenegildo:2005:IPD, 58(1)115--140
-
Hermes, 94(z)32--52
-
Hernández, Giner, Alor-, 102(z)1--19, 121(z)1--2
-
Hernández, Hugo, Jiménez-, 143(z)1--8
-
Hernández, Juan, 75(11)1113--1141,
see Conejero, José M.
-
Herrera-Navarro, Ana-Marcela, 143(z)1--8
-
Herrera-Navarro, Ana-Marcela,
see Córdova-Esparza, Diana-Margarita
-
Herrmann, Christoph, 62(1)25--46
-
Herrmann, Christoph, see Cohen, Albert
-
Herrmann, Christoph A., 62(1)47--65
-
Herrmann:2006:CPE, 62(1)47--65
-
Herrmannsdörfer, Markus, 85(z)41--99,
see Jakumeit, Edgar
-
Hesselink, W. H., 64(3)341--374
-
Hesselink, W. H., see Gao, H.
-
Hesselink, Wim H., 19(2)171--196, 41(2)173--194, 51(1)47--85,
71(1)57--72, 76(7)542--554, 76(9)739--755, 78(9)1521--1537,
78(9)1622--1638, 102(z)57--75, 216(z)z--99999999
-
Hesselink:1992:LPD, 19(2)171--196
-
Hesselink:2001:CDC, 41(2)173--194
-
Hesselink:2004:UEV, 51(1)47--85
-
Hesselink:2008:CAV, 71(1)57--72
-
Hesselink:2011:QBM, 76(7)542--554
-
Hesselink:2011:SRC, 76(9)739--755
-
Hesselink:2013:CAP, 78(9)1521--1537
-
Hesselink:2013:MVL, 78(9)1622--1638
-
Hesselink:2015:MEF, 102(z)57--75
-
Hesselink:2022:TCT, 216(z)z--99999999
-
heterogeneous, 75(7)615--637, 77(6)663--684, 78(12)2313--2330,
115(z)225--246, 126(z)3--30, 165(z)24--37, 173(z)21--36,
231(z)z--99999999
-
heterotypic, 78(5)594--611
-
Heuer, André, 78(12)2414--2432
-
Heuer:2013:DVA, 78(12)2414--2432
-
Heule, M. J. H., 67(1)105--124
-
Heule:2007:SGD, 67(1)105--124
-
heuristic, 8(2)147--172, 9(3)213--220, 18(1)67--106, 34(2)141--158,
78(9)1663--1678, 172(z)264--293, 200(z)z--99999999,
235(z)z--99999999
-
Heuvel, W. J. van den, 232(z)z--99999999
-
Heuvel, W. J. van den, see Driessen, S. W.
-
Heymans, Patrick, 76(12)1130--1143, 80(z)416--439
-
Heymans, Patrick, see Classen, Andreas
-
HFCommunity, 234(z)z--99999999
-
HI, 78(10)1971--1986
-
HI-Maude, 99(z)95--127
-
Hiba, Saddam Hocine, 232(z)z--99999999
-
Hiba, Saddam Hocine, see Mammar, Amel
-
Hibernate, 217(z)z--99999999
-
Hicks, Michael, 58(3)366--383, 62(2)122--144
-
Hicks, Michael, see Rose, James,
see Swamy, Nikhil
-
Hidden, 105(z)26--43
-
hiding, 21(2)141--163, 27(3)217--262
-
hierarchical, 4(3)291--322, 11(1)45--63, 21(3)191--223, 22(1)67--105,
23(2)107--125, 32(1)109--143, 56(1)117--139, 72(3)71--135,
77(2)96--112, 77(12)1235--1271, 78(6)725--746, 83(z)56--79,
113(z)236--260, 127(z)103--130, 171(z)67--88, 172(z)117--134,
189(z)z--99999999
-
hierarchy, 18(2)209--213, 22(1)67--105, 30(1)119--155, 32(1)109--143,
44(3)253--292, 231(z)z--99999999
-
Hierons, Robert M., 78(4)345--363, 177(z)1--18, 208(z)z--99999999
-
Hierons, Robert M., see Clark, John A.,
see Türker, Uraz Cengiz
-
Hierons:2019:FQE, 177(z)1--18
-
high, 26(1)99--115, 31(2)179--203, 31(2)313--334, 67(1)91--104,
75(8)669--671, 78(5)425--444, 132(z)96--128
-
high-dimensional, 150(z)26--30
-
High-fidelity, 68(2)64--78
-
high-level, 28(2)247--271, 40(1)97--118, 41(3)195--240, 76(1)23--36,
218(z)z--99999999
-
high-performance, 11(1)94--95, 62(1)25--46, 77(9)990--1005
-
higher, 17(1)3--34, 18(1)1--38, 23(1)1--18, 27(3)263--288, 173(z)71--94
-
Higher-Order, 3(2)119--149, 7(3)249--278
-
higher-order, 3(2)119--149, 7(3)249--278, 30(1)157--199, 32(1)73--107,
41(1)1--51, 50(1)189--224, 52(1)165--212, 57(1)61--72,
63(3)207--239, 95(z)200--218, 96(z)511--526, 137(z)98--124,
155(z)173--197, 230(z)z--99999999, 234(z)z--99999999
-
highlight, 78(10)1871--1891
-
highly, 210(z)z--99999999
-
Hijma, Pieter, 225(z)z--99999999
-
Hijma, Pieter, see Eerd, Johri van
-
Hilbert-style, 34(2)141--158
-
Hill, McGraw-, 5(3)318--320, 10(1)92--93
-
Hill, Patricia M., 58(1)28--56, 72(1)3--21
-
Hill, Patricia M., see Bagnara, Roberto
-
Hille, 12(1)87--88
-
Hillebrand, Joris A., 29(1)199--233
-
Hillebrand, Joris A., see Bergstra, Jan A.
-
Hills, Mark, 114(z)7--19, 134(z)37--46
-
Hills, Mark, see Basten, Bas
-
Hills:2017:EPS, 134(z)37--46
-
Hinchey, Michael G., 61(1)48--57, 66(1)71--86
-
Hinchey, Michael G., see Peña, Joaquin,
see Sterritt, Roy
-
Hind, Michael, 39(1)31--55
-
Hind:2001:EEP, 39(1)31--55
-
Hindle, Abram, 74(7)414--429
-
Hindle:2009:RBL, 74(7)414--429
-
Hindley, 10(1)95--97
-
Hindley--Milner, 95(z)254--271
-
Hindley-Milner, 27(1)37--83
-
Hindley/Milner, 23(2)197--226
-
Hinze, Ralf, 43(2)129--159, 51(1)117--151, 74(8)590--628,
78(11)2108--2159
-
Hinze:2002:PVP, 43(2)129--159
-
Hinze:2004:TID, 51(1)117--151
-
Hinze:2009:GP, 74(8)590--628
-
Hinze:2013:AFU, 78(11)2108--2159
-
Hippocratic, 93(z)110--124
-
Hirata, Michikazu, 230(z)z--99999999
-
Hirata:2023:PLH, 230(z)z--99999999
-
Hirayama, Masayuki, 78(12)2331--2346
-
Hirayama, Masayuki, see Ubayashi, Naoyasu
-
Hirschfeld, R., 134(z)4--18
-
Hirschfeld, R., see Felgentreff, T.
-
Hirschfeld, Robert, 76(12)1194--1209, 140(z)17--29
-
Hirschfeld, Robert, see Lincke, Jens,
see Pape, Tobias
-
historical, 78(1)93--116
-
history, 8(1)87--103, 96(z)107--120, 161(z)122--148, 214(z)z--99999999
-
history-dependent, 65(1)30--40
-
Hlopko, Marcel, 96(z)17--33
-
Hlopko:2014:ISJ, 96(z)17--33
-
HML, 232(z)z--99999999
-
Hoang, Thai Son, 74(11)879--899, 81(z)108--121, 94(z)144--163,
131(z)59--75, 158(z)122--147, 225(z)z--99999999
-
Hoang, Thai Son, see Fürst, Andreas,
see Hallerstede, Stefan,
see Zhu, Chenyang
-
Hoang:2009:DTD, 74(11)879--899
-
Hoang:2014:RAA, 81(z)108--121
-
Hoang:2018:VVR, 158(z)122--147
-
Hoare, 6(3)213--272, 8(1)43--67, 9(1)101--105, 12(3)267--270,
24(2)105--128, 74(1)52--63
-
Hoare, C. A. R., 1(1)49--72
-
Hoare, Tony, 85(z)102--114
-
Hoare-like, 9(2)107--136
-
Hoare-style, 9(3)263--270
-
Hoare-triplets, 30(3)251--286
-
Hoare:1981:CTC, 1(1)49--72
-
Hoare:2014:LPU, 85(z)102--114
-
hoc, 54(1)49--71, 75(6)440--469, 115(z)79--99
-
Hocaoglu, Mehmet F., 167(z)70--90
-
Hocaoglu:2018:AAD, 167(z)70--90
-
Hoecke, Sofie, Van, 66(1)4--24
-
Hoek, André van der, 53(3)285--304
-
Hoey, James, 223(z)z--99999999
-
Hoey:2022:RIC, 223(z)z--99999999
-
Hoffman, Kevin, 74(5)333--354
-
Hoffman:2009:CAO, 74(5)333--354
-
Hoffmann, Berthold, 34(1)1--54
-
Hoffmann, Berthold, see Andries, Marc
-
Hoffmann, Thorsten, 38(1)1--25
-
Hoffmann, Thorsten, see Berghammer, Rudolf
-
Hofmann, Martin, 155(z)27--51
-
Hofmann, Martin, see Benton, Nick
-
Hofmann, Till, 225(z)z--99999999
-
Hofmann:2023:CTA, 225(z)z--99999999
-
Hofrichter, Oliver, 89(z)162--175
-
Hofrichter, Oliver, see Büttner, Fabian
-
Hofstad, Remco van der, 128(z)51--67
-
Hofstad, Remco van der, see Groote, Jan Friso
-
Hofstede, Arthur H. M. ter, 67(2)162--198
-
Hofstede, Arthur H. M. ter, see Ouyang, Chun
-
Hofstee, H. Peter, 15(2)119--133, 22(1)45--65
-
Hofstee:1990:DS, 15(2)119--133
-
Hofstee:1994:DCS, 22(1)45--65
-
Hogenboom, Frederik, 94(z)32--52
-
Hogenboom:2014:QLR, 94(z)32--52
-
Hogger, Christopher, 12(3)255--257
-
Hogger:1989:BRB, 12(3)255--257
-
Hojjat, Hossein, 77(7)848--869, 112(z)1--2, 160(z)1--2,
206(z)z--99999999, 225(z)z--99999999
-
Hojjat, Hossein, see Dastani, Mehdi,
see Pourvatan, Bahman
-
Hojjat:2015:FSE, 112(z)1--2
-
Hojjat:2021:FSE, 206(z)z--99999999
-
Hojjat:2023:FSE, 225(z)z--99999999
-
HOL, 230(z)z--99999999, 234(z)z--99999999
-
HOL4, 92(z)105--128
-
Holanda, Olavo, 136(z)43--59
-
Holanda, Olavo, see Elias, Endhe
-
Holdermans, Stefan, 95(z)200--218
-
Holdermans, Stefan, see Weijers, Jeroen
-
Holgado, Alicia, García-, 129(z)20--34
-
holistic, 86(z)74--88
-
Holland, North-, 15(1)98--98, 15(1)98--100
-
Hollmann, Axel, 120(z)25--48
-
Hollmann, Axel, see Belli, Fevzi
-
Holmgren, Evelina, 228(z)z--99999999
-
Holmgren, Evelina, see Kargén, Ulf
-
Holsti, Niklas, 133(z)74--87
-
Holsti, Niklas, see Bygde, Stefan
-
Holt, Richard C., 60(2)149--170, 74(7)414--429
-
Holt, Richard C., see Hindle, Abram
-
Holt:2006:GGB, 60(2)149--170
-
home, 67(2)125--161, 80(z)288--310
-
Homm, Daniel, 132(z)173--189
-
Homm:2016:CCE, 132(z)173--189
-
homogeneous, 98(z)589--616
-
homomorphism, 2(1)69--81, 14(2)255--279, 17(1)77--117, 33(1)1--27,
34(3)163--190
-
Hong, Weijiang, 170(z)27--44, 234(z)z--99999999
-
Hong, Weijiang, see Zhang, Xiyue
-
Hong:2024:VMP, 234(z)z--99999999
-
Hoogendijk, Paul F., 22(1)67--105
-
Hoogendijk:1994:RPL, 22(1)67--105
-
Hoogerwoord, Rob R., 15(2)201--215
-
Hoogerwoord, Rob R., see Ebergen, Jo. C.
-
Hook, James, 23(2)287--311
-
Hook, James, see Bellegarde, Françoise
-
hookable, 84(z)101--120
-
Hooman, Jozef, 16(1)93--95, 233(z)z--99999999
-
Hooman, Jozef, see Kurtev, Ivan
-
Hooman:1991:BRB, 16(1)93--95
-
Hopkins, Trevor P., 16(1)90--90, 16(1)91--92
-
Hopkins:1991:BRBa, 16(1)90--90
-
Hopkins:1991:BRBb, 16(1)90--90
-
Hopkins:1991:BRBc, 16(1)91--92
-
Hora, Andre, 176(z)14--32
-
Hora, Andre, see Avelino, Guilherme
-
Horauer, Martin, 80(z)109--129
-
Horauer, Martin, see Reinbacher, Thomas
-
horizon, 42(1)1--10
-
horn, 9(3)221--262, 13(2)237--264, 18(2)215--218, 137(z)125--140
-
Horn, Tassilo, 85(z)41--99
-
Horn, Tassilo, see Jakumeit, Edgar
-
Horne, Ross, 89(z)2--22, 232(z)z--99999999
-
Horne, Ross, see Arshad, Hamed
-
Horne:2014:VAR, 89(z)2--22
-
Horner, 24(1)83--95
-
Horning, J. J., 6(2)103--134, 6(2)135--158, 12(3)267--270
-
Horning, J. J., see Guttag, J. V.
-
Horning, Jim J., 2(1)53--68
-
Horning, Jim J., see Guttag, John V.
-
Horning:1989:BRB, 12(3)267--270
-
Horspool, R. Nigel, 76(11)969--969
-
Horspool:2011:PPP, 76(11)969--969
-
Horváth, Ákos, 98(z)80--99,
see Ujhelyi, Zoltán
-
Hosking, Antony, 57(2)164--186
-
Hosking, Antony, see Jagannathan, Suresh
-
Hosking, Antony L., 63(2)186--201
-
Hosking, Antony L., see Moss, J. Eliot B.
-
Host, 25(2)285--327
-
Hoste, Lode, 98(z)159--183
-
Hoste, Lode, see Marr, Stefan
-
hosts, 75(6)426--439
-
hot, 230(z)z--99999999
-
House, 12(2)170--172
-
Hove, Gauthier van den, 150(z)75--86
-
how, 3(1)115--116, 10(1)65--85, 12(1)1--38, 36(2)183--207, 55(1)185--208,
89(z)251--272, 121(z)75--99, 204(z)z--99999999, 231(z)z--99999999
-
Howe, Jacob M., 111(z)3--22
-
Howe, Jacob M., see Robbins, Ed
-
HPC, 191(z)z--99999999
-
Hu, Haiyang, 227(z)z--99999999, 233(z)z--99999999
-
Hu, Haiyang, see Chen, Jie
-
Hu, Kai, 206(z)z--99999999
-
Hu, Shi-Min, 169(z)18--32
-
Hu, Shi-Min, see Yin, Jie
-
Hu, Xudong, 235(z)z--99999999
-
Hu, Xudong, see Dong, Haozhen
-
Hu, Yan, 162(z)132--147
-
Hu, Zhenjiang, 78(11)2216--2242
-
Hu, Zhenjiang, see Wang, Meng
-
Hu:2018:LEC, 162(z)132--147
-
Hu:2021:VCC, 206(z)z--99999999
-
Huang, Fuqun, 89(z)350--373
-
Huang, Joshua Zhexue, 184(z)z--99999999
-
Huang, Joshua Zhexue, see Emara, Tamer Z.
-
Huang, Ping, 166(z)71--88
-
Huang, Ping, see Du, Dehui
-
Huang, Ren-Ling, 9(1)1--15
-
Huang, Ren-Ling, see Sun, Yong-Qiang
-
Huang, Rubing, 214(z)z--99999999, 215(z)z--99999999
-
Huang, Shan Shan, 76(5)376--391
-
Huang, Wen-ling, 179(z)1--23, 231(z)z--99999999
-
Huang, Wen-ling, see Peleska, Jan
-
Huang, Yanhong, 206(z)z--99999999, 215(z)z--99999999
-
Huang, Yanhong, see He, Weigang, \see{Mao, Xia
-
Huang, Zijie, 217(z)z--99999999
-
Huang:2011:SSP, 76(5)376--391
-
Huang:2014:LBH, 89(z)350--373
-
Huang:2022:CTS, 214(z)z--99999999
-
Huang:2022:HSA, 217(z)z--99999999
-
Huang:2022:NND, 215(z)z--99999999
-
Huang:2024:EPO, 231(z)z--99999999
-
Hub, 203(z)z--99999999, 207(z)z--99999999, 234(z)z--99999999
-
Huber, Nikolaus, 90(z)71--92
-
Huber, Nikolaus, see Brosig, Fabian
-
Hübner, Jomi F., 78(6)747--761, see Boissier, Olivier
-
Huchard, Marianne, 127(z)24--49
-
Huchard, Marianne, see Mokni, Abderrahman
-
Huffman, 57(3)295--317
-
Hugging, 234(z)z--99999999
-
Hughes, John, 22(3)307--326, 37(1)67--111
-
Hughes:1994:RAI, 22(3)307--326
-
Hughes:2000:GMA, 37(1)67--111
-
Hugues, Jérôme, 106(z)1--2, 156(z)1--20,
see Brau, Guillaume
-
Hugues:2015:PSI, 106(z)1--2
-
Huhn, Michaela, 80(z)150--168
-
Huhn:2014:OFS, 80(z)150--168
-
Huisman, M., 55(1)53--80
-
Huisman, M., see Breunesse, C.-B.
-
Huisman, Marieke, 92(z)1--1, 95(z)376--388, 128(z)1, 163(z)174--189
-
Huisman, Marieke, see Blom, Stefan,
see Gomes, Pedro de C.
-
Huisman:2014:SSI, 92(z)1--1
-
Huisman:2016:PSI, 128(z)1
-
Huizing, Cornelis, 184(z)z--99999999
-
Huizing, Cornelis, see Zhang, Dan
-
human, 16(1)89--90, 89(z)350--373, 156(z)90--103, 206(z)z--99999999
-
human--computer, 51(3)197--213
-
human-robot, 218(z)z--99999999
-
humble, 76(8)627--630
-
Humeniuk, Dmytro, 230(z)z--99999999
-
Humeniuk:2023:ASB, 230(z)z--99999999
-
humorous, 76(8)627--630
-
Hung, Chia-kang, 227(z)z--99999999
-
Hung, Chia-kang, see Ferdous, Raihana
-
Hung, Pham Ngoc, 193(z)z--99999999
-
Hung, Pham Ngoc, see Tran, Hoang-Viet
-
Hunger, Michael, 76(11)970--991
-
Hunger, Michael, see Kabanov, Jevgeni
-
Hunt, James, 71(3)213--241
-
Hunt, James, see Zhao, Tian
-
Hunt, Sebastian, 22(3)283--306, 23(1)103--103
-
Hunt, Sebastian, see Hankin, Chris
-
hurricane, 158(z)100--121
-
Hurtado, María V., 66(1)25--43, 75(8)726--760,
see Garrido, José Luis,
see Noguera, Manuel
-
Hurtado, María Visitación, 77(1)29--45,
see Duque, Rafael
-
Hussmann, Heinrich, 44(1)51--69
-
Hussmann:2002:MAT, 44(1)51--69
-
Hutchinson, John, 89(z)144--161
-
Hutchinson:2014:MDE, 89(z)144--161
-
Huuck, Ralf, 103(z)3--12
-
Huuck:2015:TTF, 103(z)3--12
-
Huynh, Nghi, 131(z)76--93
-
Huynh, Quyet-Thang, 97(z)426--457
-
Huynh, Quyet-Thang, see Pham, Thanh-Trung
-
Huynh:2016:FVR, 131(z)76--93
-
Hwang, Gwan-Hwan, 78(9)1294--1323
-
Hwang, Gwan-Hwan, see Lin, Che-Sheng
-
Hwong, Yi Ling, 78(12)2435--2452
-
Hwong:2013:FAC, 78(12)2435--2452
-
hybrid, 39(2)215--247, 77(10)1122--1150, 78(8)987--1009,
78(12)2511--2536, 94(z)164--202, 95(z)176--199, 99(z)95--127,
105(z)92--123, 139(z)1--35, 148(z)123--160, 156(z)21--44,
185(z)z--99999999, 190(z)z--99999999, 196(z)z--99999999,
211(z)z--99999999, 212(z)z--99999999, 216(z)z--99999999,
230(z)z--99999999, 231(z)z--99999999, 232(z)z--99999999
-
hybridised, 126(z)73--93
-
HyDRa, 230(z)z--99999999
-
hygienic, 75(7)496--515, 112(z)120--144
-
Hym, Samuel, 92(z)56--84, 162(z)76--92
-
Hym, Samuel, see Braberman, Víctor,
see Jomaa, Narjes
-
hypergraph, 44(2)157--180, 104(z)44--70