Index file section I for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
I
-
i.e, 17(3)245--265, 59(6)709--724
-
Iacono, John, 50(4)289--295
-
Iacono, John, see Elmasry, Amr
-
Ianov, 10(2)117--125
-
Ibarra, Oscar H., 4(2)193--200, 21(2)193--207, 31(4)315--327
-
Ibarra:1975:HVH, 4(2)193--200
-
Ibarra:1984:CSB, 21(2)193--207
-
Ibarra:1994:CBS, 31(4)315--327
-
IBM, 9(1)1--21
-
IC0901, 53(4)325--326
-
Icking, Christian, 28(2)165--178
-
Icking, Christian, see Andersson, Arne
-
idea, 8(4)341--357, 24(3)353--362, 31(7)601--627
-
ideal, 26(4)349--362, 39(8)597--612, 49(1)1--14
-
ideals, bi-, 49(2)105--115
-
Identical, 28(7)681--692
-
identification, 32(1)61--78, 38(11)839--845
-
identifiers, 28(6)539--558
-
Identities, 14(4)337--357
-
identity, 49(2)105--115
-
Identity-based, 56(6)471--486
-
Idioms, 17(3)327--348
-
IEH, 32(6)597--609
-
Igarashi, 8(2)145--152
-
Igarashi, Shigeru, 4(2)145--182
-
Igarashi, Yoshihide, 8(3)267--283, 26(7)643--655, 36(3)215--232
-
Igarashi, Yoshihide, see Han, Yijie
-
Igarashi:1975:APVa, 4(2)145--182
-
Igarashi:1977:GPD, 8(3)267--283
-
Igarashi:London:Luckham:acta:1975, 8(2)145--152
-
Iglehart, Donald L., 12(2)159--175, 15(4)347--363, 21(4)321--338
-
Iglehart:1979:RSR, 12(2)159--175
-
Iglehart:1981:RSR, 15(4)347--363
-
Iglehart:1984:SOA, 21(4)321--338
-
II, 1(z)282--289, 2(z)64--79, 3(3)227--241, 3(4)357--364, 4(4)299--310,
5(4)273--285, 9(2)183--193, 10(3)265--272, 10(4)369--390,
12(4)285--303, 13(3)229--256, 14(4)391--403, 18(4)411--430,
19(2)167--182, 21(2)125--169, 27(4)343--368, 27(5)453--480,
36(1)67--96
-
II, Karel Culik, 26(1)131--192
-
Ilie, Lucian, 36(8)665--672
-
Ilie:2000:ESS, 36(8)665--672
-
Iliopoulos, Costas S., 23(6)697--705
-
Iliopoulos:1986:MCC, 23(6)697--705
-
illustrate, 8(3)201--220
-
illustrated, 8(1)21--36, 8(2)97--112, 8(2)113--123, 8(3)201--220,
35(12)1075--1096
-
illustrating, 8(1)61--73
-
illustrations, 8(4)359--370
-
ILP-instance, 59(4)505--519
-
ILP-instances, 59(4)505--519
-
ils, 19(3)255--268
-
image, 20(3)227--248, 21(3)271--291, 21(5)501--519, 22(2)187--201,
22(3)333--345, 23(3)267--288, 24(4)433--445, 24(5)565--582,
26(1)93--122, 31(8)761--773, 32(5)477--489, 58(4)243--261
-
Imai, Katsunobu, 44(5)345--359
-
Imai, Katsunobu, see Iwamoto, Chuzo
-
imbalance, 8(4)341--357
-
immediately, 15(3)251--263
-
impact, 48(3)191--211
-
imperative, 1(1)35--63, 21(5)473--484
-
implement, 8(3)201--220, 28(6)539--558, 30(3)215--231
-
implementation, 4(2)145--182, 6(3)227--249, 6(4)341--355, 8(1)61--73,
8(2)125--144, 8(3)201--220, 8(4)341--357, 14(2)135--155,
17(4)399--409, 18(3)289--298, 19(3)221--233, 20(4)345--369,
22(2)171--186, 22(6)629--661, 24(6)595--632, 25(3)233--281,
27(4)369--380, 28(3)187--230, 28(6)539--558, 34(9)687--700,
35(11)951--1005, 43(1)1--43, 61(1)83--100
-
implemented, 8(1)1--20, 22(2)171--186, 60(3)317--329
-
Implementing, 34(5)347--366
-
implicants, 38(9)599--619
-
implicates, 38(9)599--619
-
implication, 46(2)155--168
-
Implicit, 24(5)565--582
-
implicitly, 26(7)597--614
-
important, 5(4)297--332, 29(8)689--736, 60(3)317--329
-
Impossibility, 29(6)595--621, 33(1)1--20
-
improved, 8(4)303--314, 11(1)61--70, 15(2)147--152, 29(5)443--460,
41(4)273--291, 44(3)191--205, 59(5)619--669
-
Improvement, 6(3)277--296, 30(2)131--146
-
improves, 6(1)41--60, 8(4)303--314, 22(2)171--186
-
Improving, 18(3)227--253, 24(5)583--594
-
Impurity, 38(5)307--324
-
in-first-served, last-, 15(3)251--263
-
In-Place, 34(9)687--700
-
In-Tree, 22(2)139--148
-
Inaba, Kazuhiro, 58(1)95--152
-
Inaba, Kazuhiro, see Engelfriet, Joost
-
Inagaki, Yasuyoshi, 23(5)597--605
-
in/as, 1(3)173--189, 9(1)1--21
-
include, 7(1)35--60, 8(2)113--123, 8(2)177--192, 8(4)341--357,
26(7)597--614, 29(8)689--736
-
included, 26(4)349--362
-
including, 1(4)290--306, 8(2)97--112
-
inclusion, 28(8)777--799, 37(9)653--670, 39(6)391--449
-
incomplete, 8(2)125--144, 33(6)559--569, 34(2)135--149
-
Incompletely, 22(6)663--678
-
incorporated, 28(6)539--558
-
incr, 25(2)155--178, 26(3)213--239
-
increase, 8(2)145--152, 8(4)341--357, 58(1)95--152
-
increasing, 8(3)201--220, 26(1)123--130, 36(9)673--692, 46(4)285--295
-
incremental, 10(4)307--321, 19(4)369--376, 23(2)119--125, 25(2)155--178,
27(2)97--124, 27(7)665--683, 32(2)117--144, 51(7)419--447
-
incrementally, 57(1)245--269
-
Indecision, 58(5)497--528
-
indefinite, 60(1)59--78
-
Indépendance, 15(2)153--166
-
Independence, 4(4)293--298, 15(2)153--166, 31(6)513--524
-
independent, 7(1)15--34, 8(4)315--324, 28(6)539--558, 28(8)777--799,
29(8)689--736, 34(1)1--22
-
Indermark, Klaus, 43(1)1--43
-
Indermark:2006:ACP, 43(1)1--43
-
indeterminacy, 1(2)115--138
-
index, 1(3)173--189, 1(4)290--306, 25(6)715--735, 26(4)349--362,
26(6)503--525, 59(5)585--618
-
index-sequential, 29(3)241--265
-
Indiana, 14(4)337--357
-
indicate, 27(6)505--517
-
indicating, 8(2)153--175
-
indirect, 49(7)485--491
-
individual, 21(3)239--250
-
induces, 5(4)297--332
-
induction, 4(2)127--144, 13(1)1--8, 59(6)673--685
-
inductive, 25(5)497--514, 32(2)117--144, 54(7)693--726
-
Inefficiency, 49(6)361--379
-
inevitability, 24(1)1--31
-
inexact, 44(7)571--590
-
Inf, 1(3)190--199, 29(3)211--239
-
INF-86-30, 24(3)299--352
-
inference, 8(2)145--152, 17(1)43--61, 29(8)689--736, 33(1)21--68,
45(6)403--439, 45(7)565--591
-
inferior, 8(4)303--314
-
Inferring, 19(4)305--324
-
infima, 57(3)727--758
-
infinitary, 15(3)233--249, 30(5)467--487, 31(5)399--430, 44(2)91--121,
50(2)123--156
-
infinite, 14(4)371--389, 22(5)537--578, 31(4)379--397, 35(3)245--267,
43(4)265--292, 45(1)43--78, 49(5)343--359, 52(6)525--557
-
Infinite-State, 34(2)85--107
-
infinite-state, 45(2)131--154
-
infix-outfix, 2-, 61(1)67--81
-
Inflectional, 1(z)360--374
-
influence, 8(4)359--370
-
Inform, 26(3)285--285
-
informal, 27(6)505--517
-
Informatica, 16(4)427--464, 19(2)115--150, 24(3)299--352, 27(6)567--581,
39(3)141--142
-
informatics, 52(4)299--301
-
Informatik, 13(3)229--256
-
information, 6(1)61--75, 9(3)243--261, 10(1)85--94, 12(3)209--225,
17(1)43--61, 19(1)1--11, 23(6)657--678, 24(2)121--130,
31(6)559--571, 32(3)271--284, 36(8)591--616, 38(1)1--44,
38(7)437--488, 42(4)291--347, 43(1)1--43, 44(7)571--590,
45(1)33--42, 50(4)257--287, 55(1)17--56, 55(8)669--701,
60(2)179--208
-
information, no-, 26(7)615--642
-
Ingolfsdottir, Anna, 47(3)147--177
-
Ingolfsdottir, Anna, see Aceto, Luca
-
Ingólfsdóttir, Anna, 53(3)207--246, 60(4)385--451,
see Aceto, Luca
-
Inherently, 6(1)89--94, 14(3)295--298
-
inheritance, 8(4)315--324, 31(1)5--26, 31(7)601--627
-
Inherited, 31(5)431--477
-
Inhibition, 1(z)253--269
-
Inhibitionsfelder, 1(z)253--269
-
Iñigo, José Enrique, Armendáriz-, 46(4)297--330
-
initial, 6(1)61--75, 8(2)145--152, 11(2)149--168, 18(1)47--64,
22(2)203--227, 31(4)329--340
-
inlining, 6(1)41--60
-
Inner, 17(2)143--155
-
Innermost-Confluence, 33(6)595--606
-
Inoue, Katsushi, 13(3)269--285, 29(2)161--210
-
input, 8(4)371--382, 15(3)251--263, 19(2)151--166, 23(3)325--356,
27(3)195--215, 29(6)645--662
-
INRIA, 21(4)375--391
-
insert, 29(3)281--302, 30(3)215--231
-
insertion, 13(2)141--154, 14(1)63--86, 26(4)349--362, 26(5)439--471,
26(7)597--614
-
insertion-deletion, 56(1)35--59
-
Insertion-Only, 18(3)289--298
-
insight, 1(2)115--138, 8(4)359--370
-
inspired, 36(11)913--926
-
inspired, bio-, 54(4)435--445
-
Instability, 27(8)697--724
-
instance, ILP-, 59(4)505--519
-
instances, ILP-, 59(4)505--519
-
instantaneously, 8(2)177--192
-
Institut, 13(3)229--256
-
Institute, 21(2)125--169
-
institution, 29(8)689--736
-
instruction, 49(3)139--172, 58(4)377--396
-
integer, 16(2)237--252, 29(1)1--15, 32(1)79--92, 33(7)607--619,
43(5)293--306, 59(6)725--759, 61(1)23--52
-
INTEGER-Darstellungen, 16(1)45--56
-
INTEGER-Representation, 16(1)45--56
-
integral, 18(4)377--392
-
Integrating, 25(1)85--109
-
integration, 41(7)475--524, 50(4)257--287
-
Integrity, 18(3)227--253, 26(1)25--57, 28(4)365--407
-
Intelligent, 5(4)257--271
-
Intensive, Data-, 33(3)203--231
-
Interacting, 4(2)117--126
-
interaction, 8(3)201--220, 8(4)359--370, 33(8)707--737
-
interactive, 5(4)257--271, 17(1)1--20, 57(1)165--193
-
Interactive, Batch-, 7(2)153--166
-
interchanges, 17(3)245--265
-
intercodes, 53(1)23--33
-
interconnection, 32(2)145--153
-
Interdependence, 34(4)257--266
-
interest, 26(7)615--642
-
interface, 1(2)115--138, 19(2)151--166, 52(2)235--268, 52(4)305--336,
56(3)229--253, 56(4)287--319, 57(3)513--550, 58(6)677--677,
59(5)521--556
-
interference, 7(2)183--195, 8(4)325--334
-
Interference, Non-, 24(2)145--156
-
intermittent, 24(1)1--31
-
internal, 8(2)145--152, 8(4)359--370, 23(1)111--117
-
International, 53(6)545--546, 54(1)1--2, 54(8)727--728
-
internet, 34(8)579--595, 41(1)1--18, 59(6)709--724, 60(3)317--329
-
interplay, 29(8)689--736
-
interpolation, 3(2)123--133, 13(1)39--52, 53(4)387--424, 55(3)213--225
-
interpolation-based, 29(4)335--373
-
interpretation, 8(1)75--96, 19(2)115--150, 26(7)615--642, 30(2)103--129,
32(3)209--253
-
Interpreted, 18(1)79--108
-
Interprocedural, 33(8)739--757
-
Interruptions, 22(3)241--251, 23(4)465--486
-
interrupts, 1(2)115--138
-
intersection, 11(3)233--240, 21(5)501--519, 23(6)697--705,
46(3)193--207, 50(7)359--380
-
interval, 12(2)159--175, 37(7)467--509, 45(2)93--130, 53(3)207--246,
53(6)587--619
-
interval-based, 53(6)547--585
-
Intrigila, Benedetto, 36(9)817--835, 39(1)31--70
-
Intrigila, Benedetto, see Penna, Giuseppe Della
-
Intrigila:2000:GHK, 36(9)817--835
-
intrinsic, 8(4)359--370
-
introduce, 1(2)115--138, 8(2)125--144, 8(3)243--266
-
introduced, 1(2)115--138, 7(2)167--182, 8(1)61--73, 8(1)75--96,
8(2)125--144, 8(3)267--283, 8(3)285--302, 8(4)359--370,
18(3)319--334
-
introducing, 6(1)41--60
-
introduction, 36(12)1007--1029
-
intuitively, 5(4)297--332
-
invariance, 52(6)525--557
-
invariant, 6(3)227--249, 8(1)21--36, 17(1)89--99, 22(1)47--66,
24(1)1--31, 32(4)299--312, 32(4)313--345, 56(4)385--389,
57(3)671--687, 60(4)331--333
-
invariant, -, 32(4)313--345
-
Inverardi, Paola, 31(1)55--80
-
Inverardi, Paola, see De Francesco, Nicoletta
-
inverse, 11(3)241--258, 29(3)211--239
-
inverse, left-, 11(3)241--258
-
investigate, 18(4)377--392, 27(6)505--517
-
investigated, 8(1)37--59, 8(3)285--302, 8(4)315--324
-
Investigations, 22(6)679--698
-
Invisible, 8(4)341--357
-
involution, 52(6)483--495
-
involved, 6(1)41--60
-
involves, 8(3)243--266
-
Involving, 23(5)585--596
-
I/O, 46(4)297--330
-
Iosif, Radu, 47(1)1--31
-
Iosif, Radu, see Habermehl, Peter
-
IoT, 60(3)317--329
-
IOTA, 14(2)135--155
-
Iowa, 32(8)705--778
-
IP-addresses, 59(6)709--724
-
irregular, 41(2)83--97
-
Iskander, A. A., 17(1)89--99, 35(6)505--539
-
Iso-Rectangles, 21(3)271--291
-
isolating, 7(2)183--195
-
issue, 1(2)115--138, 8(4)315--324, 20(4)345--369, 35(4)269--292,
51(3)127--128, 52(1)3--4, 52(2)107--108, 52(4)303--304, 53(2)87--88,
53(4)325--326, 53(6)545--546, 54(1)1--2, 54(6)543--544,
54(8)727--728, 55(2)89--90, 55(6)459--460, 55(7)575--611,
55(8)625--626, 57(6)759--760
-
ist, 13(1)59--66, 15(2)167--191
-
Itai, Alon, 17(2)215--219
-
Itai:1982:RG, 17(2)215--219
-
Italiani, M., 23(3)255--266
-
Italiani, M., see Calzarossa, Maria
-
item, 30(3)215--231
-
iterated, 8(3)285--302, 26(1)131--192, 26(8)749--769, 54(7)625--654,
56(5)447--469
-
iteration, 8(3)285--302, 11(3)259--285, 13(2)189--197, 27(1)1--40,
49(5)343--359
-
Iteration, Bounded-, 28(7)631--656
-
iterative, 3(1)43--45, 8(1)21--36, 8(2)177--192, 12(4)305--320,
13(3)269--285, 16(2)199--217, 24(6)679--694, 32(7)681--703,
38(11)847--858, 54(1)85--125, 61(1)1--21
-
ITNC, 34(1)23--57
-
Ito, Masami, 38(2)117--129
-
Ito:2001:GWF, 38(2)117--129
-
itself, 26(7)597--614
-
Itzhaky, Shachar, 57(1)165--193
-
Itzhaky, Shachar, see Peleg, Hila
-
Iwama, Kazuo, 19(1)85--96
-
Iwama:1983:UPU, 19(1)85--96
-
Iwamoto, Chuzo, 38(11)847--858, 44(5)345--359
-
Iwamoto:2002:QST, 38(11)847--858
-
Iwamoto:2007:TLD, 44(5)345--359
-
Iwata, Shigeki, 30(3)267--278
-
Iwata:1993:RAS, 30(3)267--278
-
Iyoda, Juliano, 48(7)363--396
-
Iyoda, Juliano, see Perna, Juan