Index file section H for actainfo.bib

Last update: Fri Aug 16 02:00:15 MDT 2024

Return to index directory

H

H, 1(2)115--138, 28(6)603--605
Habel, Annegret, 26(7)657--677
Habel:1989:MDP, 26(7)657--677
Habermann, 31(1)1--3
Habermann, A. Nico, 3(1)47--57, 28(5)409--410
Habermann:1973:CCP, 1(1)35--63, 3(1)47--57, 4(3)231--243
Habermann:1991:AJP, 28(5)409--410
Habermehl, Peter, 47(1)1--31
Habermehl:2010:ABV, 47(1)1--31
Hac, Anna, 30(2)131--146
Hac:1993:PRI, 30(2)131--146
had, 7(2)137--152
Haddad, Axel, 54(1)85--125
Haddad, Axel, see Brihaye, Thomas
Haddad, Serge, 44(7)463--508
Haddad:2007:RPN, 44(7)463--508
Hadidi, Nasser, 16(1)57--62
Hadzilacos, Lycklama-, 50(3)199--228
Hagihara, Shigeki, 54(7)655--692
Hagihara, Shigeki, see Tomita, Takashi
Hagiya, Masami, 32(2)93--115
Hagiya, Masami, see Chin, Wei-Ngan
Hahn, Christopher, 57(1)137--163
Hahn, Christopher, see Finkbeiner, Bernd
hairpin-free, 44(3)153--166
Hakala, Ismo, 34(3)217--230
Hakala:1997:SWE, 34(3)217--230
Halava, Vesa, 44(3)191--205, 50(5)331--341
Halava:2007:IMP, 44(3)191--205
Halava:2013:NPU, 50(5)331--341
Halbwachs, Nicolas, 22(6)595--627, 29(6)523--543
Halbwachs, Nicolas, see Caspi, Paul
Halbwachs:1992:EPR, 29(6)523--543
Haldar, S., 33(2)177--202
Haldar:1996:SEW, 33(2)177--202
halts, 8(1)21--36
Hamlet, Richard G., 16(1)31--43
Hamlet:1981:RTP, 16(1)31--43
Hamming, 38(11)839--845
Han, D. S., 33(2)99--130
Han, D. S., see Matsumoto, Aki
Han, Yijie, 26(7)643--655, 36(3)215--232
Han, Yo-Sub, 53(1)67--85
Han:1989:TLB, 26(7)643--655
Han:1999:PPC, 36(3)215--232
Han:2016:SCD, 53(1)67--85
Hanaie, Sama, 60(4)335--359
Hanaie, Sama, see Sheikhi, Farnaz
hand, 1(2)115--138, 8(4)341--357
handle, 2(4)293--309, 26(4)349--362, 29(3)281--302
handling, 18(3)289--298, 19(3)235--253, 28(1)7--41, 28(4)365--407
Hansen, 1(z)375--376
Hansen, Per Brinch, 1(3)190--199, 2(z)189--190
Hansen, Wilfried J., 9(2)105--119
Hansen:1972:CTS, 1(3)190--199, 1(z)375--376, 2(z)189--190
Hansen:1973:RCC, 1(3)190--199, 1(z)375--376, 2(z)189--190
Hansen:1978:RSH, 9(2)105--119
Hanxleden, Reinhard von, 52(4)393--442
Hanxleden, Reinhard von, see Aguado, Joaquín
hard, 34(11)859--879
hard, ExpSpace-, 56(6)537--552
hard, NP-, 18(4)377--392
Hard, NP-, 23(3)311--323
hardness, 46(3)169--191, 56(3)255--285
hardware, 9(2)105--119, 48(7)363--396, 60(3)317--329
Harju, Tero, 29(6)545--554, 42(6)419--428, 43(3)165--171, 50(5)331--341
Harju, Tero, see Ehrenfeucht, Andrzej, see Halava, Vesa
Harju:1992:DSF, 29(6)545--554
Harju:2006:PEW, 43(3)165--171
Harman, N. A., 33(5)421--456
Harman:1996:AMM, 33(5)421--456
Harris, Carl M., 15(3)251--263
Harris, Lawrence A., 24(2)191--209
Harris:1987:SLP, 24(2)191--209
Harrison, Peter G., 28(6)559--574, 29(3)211--239, 37(11)881--919
Harrison, Peter G., see Chakka, Ram
Harrison:1991:ENL, 28(6)559--574
Harrison:1992:SFI, 29(3)211--239
Hartmanis, Juris, 1(z)336--344
Hartmanis:1972:NDS, 1(z)336--344
Hartmann, Carlos R. P., 32(1)79--92
Hartmann, Carlos R. P., see Vaidyanathan, Ramachandran
has, 7(1)35--60, 8(2)153--175, 17(3)245--265, 20(4)345--369, 21(3)239--250, 26(4)349--362, 26(7)615--642, 27(6)505--517, 28(6)539--558, 29(3)281--302, 30(3)215--231
hash, 26(4)349--362
Hashem, Mahmoud, 56(5)391--404
Hashem, Mahmoud, see Elmasry, Amr
hashing, 20(4)345--369, 26(4)349--362, 26(7)597--614
Hatayama, Naoki, 44(5)345--359
Hatayama, Naoki, see Iwamoto, Chuzo
Hatem, Leen, 61(1)53--66
Hatem, Leen, see Gao, Shuyang
Hauschildt, Dirk, 31(8)719--728
Hauschildt:1994:PNA, 31(8)719--728
Hausdorff, 32(5)491--507
have, 8(1)21--36, 8(2)153--175, 8(3)221--242, 8(4)303--314, 21(1)89--100, 29(2)161--210, 29(3)281--302, 30(3)215--231, 31(7)601--627
Havel, I. M., 12(4)339--369
having, 12(2)159--175, 15(4)319--328
Hayes, Ian J., 29(1)33--62, 37(6)385--448, 45(5)321--382
Hayes, Ian J., see Meinicke, Larissa
Hayes:1992:MRZ, 29(1)33--62
Hayes:2001:SRT, 37(6)385--448
HDTOL, 27(2)179--191
He, Changxiang, 61(2)183--198
He, Changxiang, see Yang, Gang
He, Jifeng, 20(1)35--57, 30(8)701--739
He, Jifeng, see Hoare, C. A. R.
He, Yong, 40(5)367--383, 41(6)315--340, 44(7)571--590
He, Yong, see Jiang, Yiwei
He:1983:GPT, 20(1)35--57
He:2004:OAS, 40(5)367--383
head, 4(2)193--200, 8(2)177--192, 51(8)553--569
head, multi-, 51(8)553--569
heap, 13(1)53--58, 17(3)245--265, 22(2)171--186, 30(3)215--231, 45(3)193--210, 53(4)357--385
heavy, 8(4)341--357
Hecker, Hans-Dietrich, 34(2)109--133
Heckmann, Reinhold, 23(2)127--148
Heckmann:1986:EEP, 23(2)127--148
Heffter, Arnd, Poetzsch-, 34(10)737--772
Hehner, Eric C. R., 10(3)229--243, 11(3)287--304, 23(5)487--505, 25(1)1--14, 26(3)285--285
Hehner:1978:RML, 10(3)229--243
Hehner:1979:DCO, 11(3)287--304
Hehner:1986:PM, 23(5)487--505, 26(3)285--285
Hehner:1988:EPM, 23(5)487--505, 26(3)285--285
Hehner:1988:TCC, 25(1)1--14
Heide, Friedhelm, Meyer auf der, 19(3)269--296, 19(4)385--395, 33(7)621--630
Heidelberger, Philip, 13(1)21--37
Heidelberger:1980:VRT, 13(1)21--37
height, 20(4)345--369, 21(3)229--237, 23(5)529--544, 24(3)277--298, 28(2)165--178, 30(5)459--466, 38(4)261--276, 45(4)237--277, 60(2)123--144
Heilbrunner, Stephan, 11(2)169--176, 22(5)499--536, 24(2)157--171, 33(8)781--797
Heilbrunner:1979:DEE, 11(2)169--176
Heilbrunner:1985:TPC, 22(5)499--536
Heilbrunner:1987:UUM, 24(2)157--171
Heilbrunner:1996:DCC, 33(8)781--797
Heise, Werner, 6(4)403--406
Heise:1976:OCA, 6(4)403--406
Helary, Jean-Michel, 35(6)441--455
Helary, Jean-Michel, see Baldoni, Roberto
Hellström, Thomas, 58(4)243--261, see Ostovar, Ahmad
Helm, John P., 25(5)573--591
Helman, Paul, 26(5)485--499
Helman:1989:FNC, 26(5)485--499
Hemaspaandra, Lane A., 34(11)859--879
Hemaspaandra:1997:ESH, 34(11)859--879
hence, 18(4)377--392
Hennessy, John L., 16(3)309--345
Hennessy, M., 29(8)737--760, 32(4)375--393
Hennessy, M., see Arun-Kumar, S.
Hennessy, Matthew, 21(1)61--88, 32(6)509--543, 42(4)227--290
Hennessy--Milner, 57(3)671--687
Hennessy:1981:FDR, 16(3)309--345
Hennessy:1984:AFD, 21(1)61--88
Hennessy:1995:CTP, 32(6)509--543
Hennessy:1995:MLM, 32(4)375--393
Hennessy:2005:SLC, 42(4)227--290
Hennicker, Rolf, 28(3)187--230, 35(11)951--1005, 52(2)235--268
Hennicker, Rolf, see Bidoit, Michel
Hennicker:1991:OIA, 28(3)187--230
Hennicker:2015:MIT, 52(2)235--268
Hentenryck, Pascal, Van, 32(3)209--253
Henzinger, Thomas A., 54(8)765--787
Henzinger, Thomas A., see Giacobbe, Mirco
Here, 6(1)41--60
Hermanns, Holger, 55(6)461--488, 57(3)465--512
Hermanns, Holger, see Baier, Christel, see Zhang, Lijun
Hernández, Héctor J., 25(5)475--496, 30(8)741--771, 34(7)557--578, 38(7)489--529, see Brisaboa, Nieves R., see Chan, Edward P. F., see Penabad, Miguel R.
Hernández, Marisela, 27(6)519--531, see Gelenbe, Erol
Hernandez:1993:ENR, 30(8)741--771
Hertel, Stefan, 21(5)501--519
Hertel:1984:SSS, 21(5)501--519
Hesselink, Wim H., 26(4)309--332, 33(3)233--254, 38(5)343--366, 39(3)211--231, 42(8)583--602, 43(3)195--222, 44(2)123--151, 46(1)73--86, 48(2)67--96, 50(3)199--228, 50(5)297--329
Hesselink, Wim H., see Aravind, Alex A.
Hesselink:1989:PTS, 26(4)309--332
Hesselink:1996:BDF, 33(3)233--254
Hesselink:2002:ACA, 38(5)343--366
Hesselink:2003:PRF, 39(3)211--231
Hesselink:2006:RVL, 43(3)195--222
Hesselink:2006:SFS, 42(8)583--602
Hesselink:2007:CAR, 44(2)123--151
Hesselink:2013:DRA, 50(5)297--329
Hesselink:2013:VSM, 50(3)199--228
heuristic, 18(4)377--392, 24(3)239--276, 30(3)233--248, 31(6)503--512, 34(8)597--635, 57(1)37--79, 59(6)673--685
Hex, 15(2)167--191
Heyker, Linda, 29(2)161--210, 31(4)341--378
Heyker, Linda, see Engelfriet, Joost
Heymans, F., 1(z)375--376
Heymans, F., see Courtois, P. J.
Hibbard, Thomas N., 9(3)243--261, 9(4)293--307
Hibbard, Thomas N., see Cremers, Armin B.
Hiding, 27(5)381--397
hierarchical, 1(2)115--138, 14(2)135--155, 18(1)47--64, 28(3)265--295, 28(5)463--476, 31(3)207--233, 33(3)255--275, 55(8)669--701, 59(6)673--685
Hierarchical-Tree, 23(3)311--323
Hiérarchie, 20(2)179--196
hierarchy, 3(1)1--23, 6(1)77--88, 11(1)71--77, 11(1)89--101, 15(2)147--152, 17(1)63--67, 20(1)1--33, 20(2)179--196, 23(2)217--221, 34(5)325--335, 34(5)389--410, 35(1)1--15, 36(12)927--982, 50(4)289--295, 51(8)553--569, 58(3)153--175
high, 5(4)297--332, 6(1)41--60, 8(4)341--357, 26(1)131--192
High-Level, 5(4)297--332, 7(3)325--325
high-level, 35(10)813--857, 57(3)591--626, 58(6)675--676
high-performance, 29(3)241--265
high-quality, 60(3)317--329
higher, 2(z)110--142, 8(2)153--175, 20(1)59--101, 24(1)57--77, 30(1)1--59
Higher-Order, 30(6)569--607
higher-order, 29(8)689--736, 30(6)569--607, 45(6)441--465, 49(7)445--484, 54(3)271--341
highlighting, 60(3)317--329
Highly, 29(1)63--94
Higman, 9(2)183--193, 36(9)817--835
Hikita, Teruo, 12(4)305--320
Hikita:1979:CRP, 12(4)305--320
Hildebrandt, Thomas T., 55(6)489--520
Hildebrandt, Thomas T., see Debois, S{\o}ren
Hindley, R., 20(2)159--170
Hine, J. H., 8(1)61--73
Hine, J. H., see Mitrani, Isi
Hinrichs, Klaus, 29(4)383--394
Hinrichs:1992:ARS, 29(4)383--394
Hinz, Didier Y., 29(1)63--94
Hinz:1992:RTL, 29(1)63--94
Hirschberg, 18(2)171--179, 24(3)353--362
Hirvensalo, Mika, 44(3)191--205
Hirvensalo, Mika, see Halava, Vesa
History, 13(2)169--188, 16(1)15--30
hitherto, 8(4)303--314
Hitting, 29(6)579--594
Hoare, 1(2)115--138, 6(3)317--318, 8(2)145--152, 8(3)243--266, 14(1)21--37, 21(3)293--320
Hoare, C. A. R., 1(z)214--224, 2(4)335--355, 3(2)135--153, 3(3)296--296, 6(3)317--318, 23(1)9--66, 30(8)701--739
Hoare, C. A. R., see Ashcroft, E. A., see Clint, M., see Olderog, Ernst-Rüdiger R.
Hoare, C. Anthony R., 1(4)271--281
Hoare-like, 16(2)161--197
Hoare-Logic, 20(1)59--101
Hoare:1972:PCD, 1(4)271--281
Hoare:1973:ADP, 2(4)335--355, 3(3)296--296
Hoare:1974:ACA, 2(4)335--355, 3(3)296--296
Hoare:1974:CCF, 3(2)135--153
Hoare:1993:NFA, 30(8)701--739
Hoare:soal:1971, 8(2)145--152
Hochbaum, Dorit S., 47(5)325--345
Hochbaum:2010:HAR, 47(5)325--345
Hof, Pim van 't, 51(7)473--497
Hof, Pim van 't, see Belmonte, Rémy
Höffgen, Klaus-Uwe, 33(7)621--630, see Ameur, Foued
Hoffmann, Berthold, 52(6)497--524
Hoffmann, Berthold, see Drewes, Frank
Hoffmann, Christoph M., 9(3)217--241, 13(1)9--20
Hoffmann, Philipp, 56(2)93--159
Hoffmann, Philipp, see Desel, Jörg
Hoffmann:1978:DCC, 9(3)217--241
Hoffmann:1980:SPL, 13(1)9--20
Höfner, Peter, 52(2)175--205, 57(3)305--311, see Glabbeek, Rob J. van
Hofner:2020:P, 57(3)305--311
Hofstede, A. H. M. ter, 34(12)927--963, 39(3)143--209
Hofstede, A. H. M. ter, see Kiepuszewski, B.
Högberg, Johanna, 48(3)165--189, see Drewes, Frank
Hogeschool, 16(4)427--464, 19(2)115--150, 24(3)299--352
Hole, Malcolm, 42(2)191--225
Hole, Malcolm, see Gay, Simon
Holík, Lukás, 53(4)357--385, 56(3)205--228, see Abdulla, Parosh Aziz, see Fiedor, Tomás
Hölldobler, Steffen, 24(2)157--171, see Heilbrunner, Stephan
Holzer, Markus, 43(4)223--242, 58(4)301--318, 59(4)285--287
Holzer, Markus, see Bordihn, Henning, see Fernau, Henning
Home, 21(1)89--100
Homogeneous, 18(4)449--466, 23(6)689--696
homogènes, 18(4)449--466
homomorphism, 3(3)265--283, 3(4)357--364, 4(1)87--106, 6(2)153--169, 18(1)47--64, 49(6)381--394
Honda, Kohei, 42(2)83--141
Honda, Kohei, see Berger, Martin
Honda, Michio, 14(2)135--155
Honda, Michio, see Nakajima, Reiji
Honkala, Iiro, 38(11)839--845
Honkala, Juha, 35(7)625--636, 36(9)805--815, 43(6)419--429, 48(1)19--24, 55(1)81--88
Honkala:1998:DPC, 35(7)625--636
Honkala:2000:SLB, 36(9)805--815
Honkala:2002:CIP, 38(11)839--845
Honkala:2007:NBD, 43(6)419--429
Honkala:2011:CRD, 48(1)19--24
Honkala:2018:NBD, 55(1)81--88
Hoogeboom, Hendrik Jan, 25(2)203--231, 37(3)213--225, 41(2)145--170, 45(5)383--402
Hoogeboom, Hendrik Jan, see Brijder, Robert, see Ehrenfeucht, Andrzej, see Frisco, Pierluigi
Hoogeboom:2000:FSL, 37(3)213--225
Hoogewijs, Albert, 24(4)381--393
Hoogewijs:1987:PPL, 24(4)381--393
Hooley, John, 22(3)253--275
hop, dual-, 53(1)1--22
Hopcroft, 2(z)97--109
Hopkins, Richard P., 35(10)813--857
Hopkins, Richard P., see Best, Eike
Horibe, Yasuichi, 12(1)63--72
Horibe:1979:MER, 12(1)63--72
Horn, 15(3)303--307
Horning, James J., 2(1)12--39, 10(1)1--26, 10(1)27--52
Horning, James J., see Anderson, T., see Guttag, John V., see London, Ralph L.
Horowitz, Ellis, 3(2)123--133
Horowitz:1974:UVC, 3(2)123--133
Horspool, Nigel, 37(9)633--651
Horspool, Nigel, see Aycock, John
Horsten, Leon, 40(9)637--655
Horsten, Leon, see Delvaux, Steven
Horton, D., 23(6)657--678
Horton, D., see Cantor, J.
Horváth, Géza, 60(3)317--329, see Dömösi, Pál
Horwitz, Susan, 24(6)679--694, 28(8)713--732, 38(8)587--598
Horwitz, Susan, see Chakaravarthy, Venkatesan T.
Horwitz:1987:EGI, 24(6)679--694
Horwitz:1991:ECP, 28(8)713--732
hot, 41(4)181--220
Hotz, 18(1)109--115, 22(6)679--698
Hotz, Günter, 4(1)55--75
Hotz:1974:SAK, 4(1)55--75
Hou, Zechen, 57(3)627--656
Hou, Zechen, see Qin, Xudong
how, 8(1)21--36, 8(3)267--283, 26(4)349--362, 28(6)539--558, 31(5)399--430, 31(7)601--627, 36(7)545--590, 47(5)325--345, 59(6)709--724
Howden, William E., 10(1)53--66
Howden:1978:APT, 10(1)53--66
Howell, Rodney R., 27(8)697--724, 32(3)189--207
Howell, Rodney R., see Cherkasova, Ludmila, see Gouda, Mohamed G.
however, 8(3)201--220, 8(4)325--334, 27(6)505--517
Howie, John M., 29(5)483--498
HPP, 43(2)131--145
Hromkovi{\v{c}}, Juraj, 19(4)377--384, 22(5)589--594, 29(5)425--441, 31(4)315--327, 33(4)387--408
Hromkovic:1983:OWM, 19(4)377--384
Hromkovic:1985:FTW, 22(5)589--594
HSDPA, 48(4)243--269
Hsieh, C. Samuel, 34(9)653--665
Hsieh:1997:FGD, 34(9)653--665
Hsu, Meichun, 26(5)421--438
Hsu, Meichun, see Zhang, Bin
Hsu, W.-J., 32(2)145--153
Hsu:1995:PTC, 32(2)145--153
Hu, T. C., 1(z)307--310
Hu:1972:LUB, 1(z)307--310
Huang, 59(6)687--708
Huang, Bing-Chao, 26(5)473--484
Huang, C. C., 45(7)467--477, 47(4)209--219, 47(5)347--357, 47(7)413--423
Huang, C. C., see Fan, Chen-Ming
Huang, Cheng-Chao, 58(6)653--674
Huang, Cheng-Chao, see Xu, Ming
Huang, Cheng-Chih, 49(5)281--293, 52(6)483--495
Huang, Cheng-Chih, see Fan, Chen-Ming
Huang, Chua-Huang, 24(6)595--632, 27(2)97--124
Huang, Chung-Hao, 54(7)625--654
Huang, Shou Hsuan Stephen, 21(1)113--123
Huang, Wen Qi, 28(7)611--629
Huang, Yennun, 26(6)543--557, 34(7)543--556
Huang, Yennun, see Rangarajan, Sampath
Huang:1984:GBS, 21(1)113--123
Huang:1987:DSI, 24(6)595--632
Huang:1989:AMP, 26(6)543--557
Huang:1989:IMD, 27(2)97--124
Huang:1989:SDK, 26(5)473--484
Huang:2010:NPC, 47(5)347--357
Huang:2017:MCI, 54(7)625--654
Huddleston, Scott, 17(2)157--184
Huddleston:1982:NDS, 17(2)157--184
Huens, J., 10(3)209--228
Huens, J., see Lewi, J.
Huet, Gérard P., 11(1)31--55
Huet:1978:PAP, 11(1)31--55
Huffman, 16(3)363--370, 36(9)721--734
Hughes, J. W., 11(3)195--210
Hughes, J. W., see Coleman, D.
Hui, Chi-Chung, 34(8)579--595
Hui:1997:MCC, 34(8)579--595
Hule, H., 9(4)345--353
Hule:1978:GOF, 9(4)345--353
Hull, Richard, 31(6)513--524
Hull:1994:DIR, 31(6)513--524
Hülsmann, Klaus, 28(4)365--407
Hulsmann:1991:TFH, 28(4)365--407
Humfeld, George, 7(2)111--121
Humfeld, George, see Gaver, Donald P.
Hunsberger, Luke, 53(2)89--147, 53(6)681--722
Hunsberger, Luke, see Cimatti, Alessandro
Hunsberger:2016:EED, 53(2)89--147
Hunt III, Harry B., 60(3)257--278
Hunt III, Harry B., see Xie, Jingnan
Hunter, Paul, 54(1)3--39, 55(8)627--647, 59(5)671--671
Hunter:2017:RSR, 54(1)3--39, 59(5)671--671
Hunter:2018:LMP, 55(8)627--647
Hunter:2022:CRS, 54(1)3--39, 59(5)671--671
Hutchinson, George, 9(2)183--193
Hüttel, Hans, 57(6)801--827
Huttel:2020:UST, 57(6)801--827
Huwig, Hagen, 17(2)221--243
Huwig:1982:MPP, 17(2)221--243
Huybrechts, M., 10(3)209--228
Huybrechts, M., see Lewi, J.
Huynh, Dung T., 22(4)421--432
Huynh, Thiet-Dung, 17(1)89--99
Huynh:1982:RCI, 17(1)89--99
Huynh:1985:CWP, 22(4)421--432
Hwang, F. K., 1(z)145--158
Hwang, Hsien-Kuei, 35(11)911--919
Hwang:1971:OME, 1(z)145--158
Hwang:1998:AEM, 35(11)911--919
hybrid, 30(2)181--202, 36(11)837--912, 41(2)65--81, 41(4)257--272, 43(7)449--450, 47(2)133--146
Hybridization, 43(7)451--476
Hypercube, 32(6)597--609
hyperedge, 26(7)657--677, 27(5)399--421, 52(6)497--524
hypergraph, 29(2)161--210, 33(6)523--546, 51(7)449--471
hyperproperties, 57(1)137--163