Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
H
-
Hagiya, Masami, 11(3)343--357
-
Hagiya, Masami, see Takahashi, Koichi
-
Haigh, Thomas, 31(6)663--674
-
Haigh:2019:APF, 31(6)663--674
-
Hall, Anthony, 2(1)196--202, 25(3)439--464
-
Hall, Anthony, see Banach, Richard,
see Denvir, Tim
-
Hallal, H. H., 18(1)63--83
-
Hallal:2006:FAP, 18(1)63--83
-
Hallerstede, Stefan, 16(4)313--331, 23(1)133--150, 24(1)97--125,
30(3)491--492
-
Hallerstede:2004:PAP, 16(4)313--331
-
Hallerstede:2011:PEB, 23(1)133--150
-
Hallerstede:2012:EPV, 24(1)97--125
-
Hallerstede:2018:BRT, 30(3)491--492
-
halting, 2(1)331--341
-
Hamel, Lazhar, 29(6)987--1011, 32(4)361--393
-
Hamel, Lazhar, see Graiet, Mohamed,
see Lahouij, Aida
-
Hamiaz, Mounira Kezadri, 28(3)409--440
-
Hamiaz:2016:CCM, 28(3)409--440
-
Hamilton, Alan, 7(5)581--585
-
Hamilton, Alan, see Mitchell, W. P. R.
-
Handbook, 31(4)455--456
-
Handel-C, 23(2)153--170
-
handlers, 33(1)127--150
-
Handling, 29(1)57--95
-
Haneberg, Dominik, 20(1)41--59
-
Haneberg:2008:VME, 20(1)41--59
-
Hansen, Bo Stig, 8(1)47--66
-
Hansen, Bo Stig, see Larsen, Peter Gorm
-
Hansen, Michael R., 6_1S_826_845, 9(3)283--330, 16(2)95--95
-
Hansen, Michael R., see Jones, Cliff
-
Hansen:1994:MCD, 6_1S_826_845
-
Hansen:1997:DCL, 9(3)283--330
-
Hansson, Hans, 6(5)512--535
-
Hansson:1994:LRA, 6(5)512--535
-
Hanus, Michael, 29(3)475--494
-
Hanus, Michael, see Antoy, Sergio
-
hardback, 29(6)1121--1122, 30(3)491--492, 30(6)759--759, 31(4)453--454
-
hardware, 8(2)209--237, 18(2)120--142, 19(3)343--362, 32(1)1--32
-
hardwareash, 17(4)443--460
-
Hardy, Ruth, 25(6)993--1016
-
Hardy, Ruth, see Gottliebsen, Hanne
-
Hare, Joanna, 21(6)613--641
-
Hare, Joanna, see Dix, Alan
-
Harel, David, 22(6)663--665
-
Harel:2010:APG, 22(6)663--665
-
Harf, Mait, 12(4)222--224
-
Harf, Mait, see Kotkas, Vahur
-
Harhurin, Alexander, 20(6)637--662
-
Harhurin, Alexander, see Botaschanjan, Jewgenij
-
Harman, M., 12(6)423--442, 18(1)1--2
-
Harman, M., see Derrick, J.,
see Hierons, R. M.
-
Harman, Mark, 8(4)490--497, 18(2)103--119
-
Harman, Mark, see Binkley, David W.
-
Harman, N. A., 12(4)298--312
-
Harman, N. A., see Fox, A. C. J.
-
Harman:1996:SPP, 8(4)490--497
-
Harrison, M. D., 24(2)267--302
-
Harrison, M. D., see Massink, M.
-
Harrison, Michael D., 11(2)107--131, 12(4)260--277
-
Harrison, Michael D., see Doherty, Gavin J.,
see Duke, David
-
Harton, Heather, 23(5)607--626
-
Harton, Heather, see Sitaraman, Murali
-
Harwood, Will, 1(1)293--301
-
Harwood, Will, see Cooke, John
-
Hasan, Osman, 27(1)79--102, 32(1)71--111, 32(2)229--250
-
Hasan, Osman, see Ahmad, Waqar,
see Elleuch, Maissa, \see{Rashid, Adnan
-
Hashemi, Vahid, 28(1)109--143
-
Hashemi, Vahid, see Fioriti, Luis María Ferrer
-
Haskell, 24(4)609--621
-
Hatefi, Hassan, 29(4)629--649
-
Hatefi:2017:CVT, 29(4)629--649
-
have, 14(4)369--399
-
Havelund, Klaus, 1(1)85--114
-
Havelund, Klaus, see Nielsen, Mogens
-
Haveman, Jan, 12(2)120--144
-
Haveman, Jan, see Paynter, Stephen
-
Haxthausen, A. E., 33(1)87--125
-
Haxthausen, A. E., see Geisler, S.
-
Haxthausen, Anne E., 20(1)101--116, 23(2)191--219, 33(6)923--924
-
Haxthausen, Anne E., see Fantechi, Alessandro,
see George, Chris
-
Haxthausen:2011:FAC, 23(2)191--219
-
Hayes, I. J., 7(4)430--439
-
Hayes, Ian, 4(1)76--99, 13(2)128--141
-
Hayes, Ian, see Smith, Graeme
-
Hayes, Ian J., 7(3)329--347, 10(2)187--192, 15(4)319--348,
26(3)563--589, 27(3)475--497, 28(6)1057--1078, 29(5)853--875,
31(2)133--163
-
Hayes, Ian J., see Colvin, Robert J.,
see Dongol, Brijesh, \see{Jones, Cliff B.,
see Lermer, Karl
-
Hayes:1992:VZC, 4(1)76--99
-
Hayes:1995:SIS, 7(4)430--439
-
Hayes:1995:UUM, 7(3)329--347
-
Hayes:1998:EPS, 10(2)187--192
-
Hayes:2016:GRG, 28(6)1057--1078
-
Hayes:2019:SPA, 31(2)133--163
-
Hazel, Daniel, 6(1)1--38
-
Hazel, Daniel, see Staples, John
-
He, Jifeng, 9(2)149--174, 17(4)443--460, 27(1)133--166, 30(2)193--217
-
He, Jifeng, see Li, Jianwen, \see{Xu, Qiwen,
see Zhu, H.
-
He, Xudong, 2(1)226--246
-
He:1990:IPT, 2(1)226--246
-
He:2005:EOS, 17(4)443--460
-
heap-manipulating, 24(4)519--535
-
Heather, James, 26(1)37--62, 26(1)63--98
-
Heather, James, see Moran, Murat
-
Heather:2014:CPE, 26(1)37--62
-
Hedberg, Michael, 3(3)218--252
-
Hedberg:1991:NAL, 3(3)218--252
-
Hee, K. M. van, 23(3)333--363
-
Hee, K. M. van, see Aalst, W. M. P. van der
-
Hehner, Eric C. R., 10(3)290--306, 23(4)391--419
-
Hehner:1998:FTS, 10(3)290--306
-
Hehner:2011:PP, 23(4)391--419
-
Heidelberg, 31(4)453--454
-
Heinz, 27(2)237--237
-
Heitmeyer, Constance, 31(2)131--132
-
Heitmeyer, Constance, see Gnesi, Stefania
-
Helmut, 31(4)455--456
-
helps, 30(6)629--657
-
Henderson, N., 16(4)332--351
-
Henderson, N., see Paynter, S. E.
-
Henglein, Fritz, 4(1)143--144
-
Henglein:1992:BR, 4(1)143--144
-
Hennessy, M., 3(4)346--366, 5(5)432--466, 6(2)165--200, 8(4)379--407
-
Hennessy, M., see Boudol, G.
-
Hennessy, Matthew, 5(1)1--20, 24(4)749--768
-
Hennessy, Matthew, see Cleaveland, Rance
-
Hennessy--Milner, 1(1)242--272
-
Hennessy:1991:PSC, 3(4)346--366
-
Hennessy:1993:CPV, 5(5)432--466
-
Hennessy:1996:PSM, 8(4)379--407
-
Hennessy:2012:EPB, 24(4)749--768
-
Hennicker, Rolf, 3(4)326--345, 27(2)375--395, 33(6)1209--1248
-
Hennicker, Rolf, see Madeira, Alexandre
-
Hennicker:1991:CIP, 3(4)326--345
-
Hennicker:2021:HDL, 33(6)1209--1248
-
Henriques, Pedro Rangel, 24(2)217--248
-
Henriques, Pedro Rangel, see Barros, José Bernardo
-
Hense, Andreas V., 5(3)181--207
-
Hense:1993:DSO, 5(3)181--207
-
Hensel, Christian, 33(4)637--667
-
Hensel, Christian, see Ceska, Milan
-
Henson, Martin C., 1(1)173--192, 10(3)243--247, 11(4)359--380,
11(4)381--401, 15(1)48--83, 18(3)329--363, 18(3)364--395
-
Henson, Martin C., see Deutsch, Moshe
-
Henson:1989:PDC, 1(1)173--192
-
Henson:1998:SLZ, 10(3)243--247
-
Henson:1999:RZPa, 11(4)359--380
-
Henson:1999:RZPb, 11(4)381--401
-
Henson:2003:LSB, 15(1)48--83
-
Henson:2006:SL, 18(3)364--395
-
Henzinger, 31(4)455--456
-
Hérilier, Rémi, 22(6)681--711,
see Lang, Frédéric
-
Herman, 24(4)661--670, 24(4)671--678
-
Herman, Ivan, 11(1)1--20
-
Herman, Ivan, see Duce, David
-
Hermann, Miki, 2(1)207--225
-
Hermann:1990:CPR, 2(1)207--225
-
Hermanns, Holger, 28(1)109--143, 29(4)629--649, 31(2)261--285
-
Hermanns, Holger, see Bisgaard, Morten,
see Fioriti, Luis María Ferrer,
see Hatefi, Hassan
-
Herzberg, D., 17(1)1--18
-
Herzberg:2005:MLD, 17(1)1--18
-
Hess, Stephan, 11(3)326--342
-
Hess, Stephan, see Siekmann, Jörg
-
Hesselink, Wim H., 2(1)60--104, 2(1)139--166, 5(6)554--570,
7(4)389--411, 9(2)208--226, 9(5)448--468, 11(1)45--55,
11(6)616--636, 16(4)387--393, 22(5)537--545, 24(1)27--44,
25(6)947--969, 28(2)325--341, 29(5)833--852, 33(2)185--205
-
Hesselink:1990:AML, 2(1)139--166
-
Hesselink:1990:CAR, 2(1)60--104
-
Hesselink:1993:PRR, 5(6)554--570
-
Hesselink:1995:SPR, 7(4)389--411
-
Hesselink:1997:MPS, 9(2)208--226
-
Hesselink:1997:TMP, 9(5)448--468
-
Hesselink:1999:PTR, 11(6)616--636
-
Hesselink:1999:VID, 11(1)45--55
-
Hesselink:2004:APC, 16(4)387--393
-
Hesselink:2010:SEL, 22(5)537--545
-
Hesselink:2012:FHF, 24(1)27--44
-
Hesselink:2013:SFM, 25(6)947--969
-
Hesselink:2016:CCC, 28(2)325--341
-
Hesselink:2017:TME, 29(5)833--852
-
Hesselink:2021:UBA, 33(2)185--205
-
Heterogeneous, 10(3)233--242
-
heuristic, 25(5)743--768
-
Heußner, Alexander, 30(1)163--192,
see Corrodi, Claudio
-
Heym, Wayne, 23(5)607--626
-
Heym, Wayne, see Sitaraman, Murali
-
hierarchical, 24(1)27--44, 26(5)943--962
-
hierarchically, 5(1)21--60, 27(5)867--884
-
hierarchy, 26(3)491--535
-
Hierons, R. M., 12(6)423--442, 18(1)1--2
-
Hierons, R. M., see Derrick, J.
-
Hierons, Rob, 30(6)627--628
-
Hierons, Rob, see Aichernig, Bernhard K.
-
Hierons, Robert M., 20(6)597--617, 24(4)679--699
-
Hierons:2000:TCQ, 12(6)423--442
-
Hierons:2008:TDI, 20(6)597--617
-
Hierons:2012:UST, 24(4)679--699
-
Hiet, Guillaume, 33(1)127--150
-
Hiet, Guillaume, see Letan, Thomas
-
High-Performance, 14(3)247--266
-
higher, 2(1)247--272, 6(1)1--38, 7(6)652--662, 17(1)38--57,
25(6)971--991
-
Higher-order, 33(2)151--183
-
Highly, 19(2)243--268
-
Hildebrandt, Thomas, 28(4)529--530
-
Hildebrandt, Thomas, see Carbone, Marco
-
Hill, Gillian, 13(1)32--49
-
Hill, Gillian, see Vickers, Steven
-
Hill, Patricia M., 17(2)222--257
-
Hill, Patricia M., see Bagnara, Roberto
-
Hillston, J., 24(2)267--302
-
Hillston, J., see Massink, M.
-
Hillston, Jane, 19(1)3--33, 25(4)503--541
-
Hillston, Jane, see Galpin, Vashti
-
Hillston:2007:FTP, 19(1)3--33
-
Hilscher, Martin, 29(4)583--600
-
Hilscher, Martin, see Bochmann, Gregor V.
-
Hinchey, Mike, 25(3)343--343, 27(3)473--473
-
Hinchey, Mike, see Bowen, Jonathan P.,
see Eleftherakis, George
-
Hindley, J. Roger, 4(5)470--486
-
Hindley:1992:TII, 4(5)470--486
-
Historical, 31(6)733--749
-
history, 9(1)98--118
-
Hoang, T. S., 26(1)169--194
-
Hoang, Thai Son, 18(3)308--328, 25(1)59--87, 28(6)909--935
-
Hoang, Thai Son, see Schneider, Steve
-
Hoang:2013:SID, 25(1)59--87
-
Hoang:2014:ANI, 26(1)169--194
-
Hoang:2016:FUL, 28(6)909--935
-
Hoare, 6_1S_801_825, 6(2)115--164, 7(1)91--105, 11(5)541--566,
25(3)345--363, 31(6)751--807
-
Hoare, C. A. R., 18(2)143--151
-
Hoare, C. A. R., see Bicarregui, J. C.
-
Hoare, Tony, 24(4)423--431
-
Hoare:2012:PA, 24(4)423--431
-
hoc, 8(3)247--293, 25(5)801--832, 29(6)1051--1086
-
Hoenicke, Jochen, 20(4)481--505
-
Hoenicke, Jochen, see Meyer, Roland
-
Höfner, P., 24(4)417--422
-
Höfner, Peter, 24(4)459--476
-
Hofner:2012:DFW, 24(4)459--476
-
Hofner:2012:P, 24(4)417--422
-
Hofstede, A. H. M. ter, 23(3)333--363
-
Hofstede, A. H. M. ter, see Aalst, W. M. P. van der
-
Hofstede, Arthur H. M. ter, 22(3)459--482, 27(5)753--788
-
Hofstede, Arthur H. M. ter, see Aalst, Wil M. P. van der,
see Polyvyanyy, Artem
-
Hofstee, H. Peter, 7(1)1--2
-
Hofstee:1995:JVS, 7(1)1--2, 7(1)3--17
-
HOL, 11(2)160--199, 11(3)343--357, 27(2)255--282, 28(5)881--907,
28(6)1005--1026, 30(3)491--492, 31(6)675--698, 32(2)229--250
-
Holcombe, M., 18(1)3--30
-
Holcombe, M., see Bogdanov, K.
-
Holcombe, Mike, 12(6)418--422, 12(6)443--458, 13(6)431--446
-
Holcombe, Mike, see Ipate, Florentin
-
Holcombe:2000:WXM, 12(6)418--422
-
Holmström, Sören, 1(1)242--272
-
Holmstrom:1989:RCS, 1(1)242--272
-
Holom, Roxana-Maria, 28(4)567--595
-
Holom, Roxana-Maria, see Arcaini, Paolo
-
Holzmann, Gerard J., 19(2)269--272, 23(3)365--389
-
Holzmann, Gerard J., see Joshi, Rajeev
-
Holzmann:2011:MCB, 23(3)365--389
-
home, 4(6)572--581
-
homological, 22(2)193--213
-
Honiden, Shinichi, 31(3)287--320
-
Honiden, Shinichi, see Kobayashi, Tsutomu
-
Hooman, Jozef, 6_1S_801_825, 8(3)294--323
-
Hooman, Jozef, see Zhou, Ping
-
Hooman:1994:EHL, 6_1S_801_825
-
Hopfield, 2(1)342--358
-
Horacek, Helmut, 11(3)326--342
-
Horacek, Helmut, see Siekmann, Jörg
-
Horn, 29(3)401--421, 29(3)453--474
-
Horning, James J., 6(2)245--246
-
Horning:1994:BR, 6(2)245--246
-
Houston, Iain S. C., 6(5)569--579
-
Houston:1994:SDC, 6(5)569--579
-
How, 6(5)580--584, 18(4)459--493, 30(6)629--657
-
Howar, Falk, 28(2)233--263
-
Howar, Falk, see Cassel, Sofia
-
Howells, Paul, 21(5)421--449
-
Howells:2009:CMF, 21(5)421--449
-
Howroyd, John, 18(2)103--119
-
Howroyd, John, see Binkley, David W.
-
https://doi.org/10.1007/978-3-662-56641-1, 30(6)761--762
-
http://www.concrete-semantics.org, 30(3)491--492
-
http://www.decision-procedures.org, 30(6)759--759
-
Hu, Alan J., 25(3)389--403
-
Hu, Alan J., see Babi{\'c}, Domagoj
-
Hu, Zhenjiang, 24(4)623--645
-
Hu, Zhenjiang, see Emoto, Kento
-
Huang, Hai Feng, 21(4)319--346
-
Huang, Hai Feng, see Ostroff, Jonathan S.
-
Huang, Jian, 25(1)3--35
-
Huang, Jian, see Roscoe, A. W.
-
Huang, Runlei, 26(2)319--366
-
Huang, Runlei, see Banach, Richard
-
Huang, Wen-ling, 29(2)335--364
-
Huang, Yanhong, 32(1)113--145
-
Huang:2017:CMB, 29(2)335--364
-
Huang:2020:MVT, 32(1)113--145
-
human, 11(6)665--689, 19(4)513--550, 21(6)513--539, 26(5)1033--1076
-
Humble, 23(3)239--242
-
Humorous, 23(3)239--242
-
Hung, Dang Van, 11(1)21--44, 17(4)443--460
-
Hung, Dang Van, see He, Jifeng
-
Hung:1999:PDC, 11(1)21--44
-
Huntbach, Matthew, 1(1)193--211
-
Huntbach:1989:MIP, 1(1)193--211
-
Hurault, Aurélie, 28(5)847--879, see Chevrou, Florent
-
Hürsch, Walter L., 6(4)391--416,
see Lieberherr, Karl J.
-
Hussak, Walter, 8(2)238--244
-
Hussak:1996:CPR, 8(2)238--244
-
Hussmann, Heinrich, 4(6)592--593
-
Hussmann:1992:BR, 4(6)592--593
-
Huth, 31(5)641--642
-
Huth, Michael, 17(2)113--137
-
Huth:2005:RCI, 17(2)113--137
-
hybrid, 11(4)448--471, 15(1)84--99, 25(4)503--541, 29(4)751--775,
29(5)805--832, 31(2)165--206, 33(6)1209--1248
-
hybridised, 27(2)375--395
-
HYPE, 25(4)503--541
-
hypertraces, 4_1S_649_672