Index file section I for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
I
-
Iacono, John, 321(1)25--40
-
Iacono, John, see Brönnimann, Hervé
-
Ianni, Giovambattista, 314(1)217--249
-
Ianni, Giovambattista, see Angiulli, Fabrizio
-
Ianni, Miriam Di, 287(2)429--448, 299(1)751--761
-
Ianni, Miriam Di, see Becchetti, Luca,
see Clementi, Andrea E. F.
-
Ibaraki, Toshihide, 270(1)493--524, 289(2)977--995
-
Ibaraki, Toshihide, see Eiter, Thomas,
see Ono, Hirotaka
-
Ibarra, L., 307(2)303--317
-
Ibarra, L., see Chandran, L. S.
-
Ibarra, O., 240(2)447--469
-
Ibarra, O., see Poulakidas, A. S.
-
Ibarra, O. H. Oscar H., 320(1)89--109
-
Ibarra, Oscar H., 289(1)165--189, 289(1)191--204, 296(1)59--74,
299(1)687--706, 306(1)19--38, 312(2)359--378, 312(2)379--399,
313(1)57--71, 328(1)1--1
-
Ibarra, Oscar H., see Daley, Mark,
see Dang, Zhe
-
Ibarra:2002:ADT, 289(1)191--204
-
Ibarra:2002:CMV, 289(1)165--189
-
Ibarra:2003:EST, 299(1)687--706
-
Ibarra:2004:CCM, 320(1)89--109
-
Ibarra:2004:CPS, 312(2)379--399
-
Ibarra:2004:E, 328(1)1--1
-
Ibarra:2004:TWF, 312(2)359--378
-
ICALP, 281(1)25--30
-
ideal, 244(1)1--33, 276(1)1--15, 278(1)141--158, 305(1)277--297
-
idealized, 309(1)469--502
-
Idempotent, 299(1)603--631, 316(1)75--87
-
idempotent, co-, 299(1)603--631
-
identical, 290(1)241--264
-
identification, 230(1)131--147, 240(2)299--318, 268(2)351--366,
298(1)179--206, 298(1)235--251, 377(1)282--283
-
identification, ex-, 268(2)367--393
-
Identifying, 319(1)411--421
-
idioms, 267(1)131--140
-
Igarashi, Atsushi, 311(1)121--163
-
Igarashi:2004:GTS, 311(1)121--163
-
II, 235(1)59--70, 243(1)185--197, 262(1)1--24, 266(1)113--157,
294(1)61--102, 301(1)79--101, 304(1)269--290, 304(1)401--419,
307(1)3--29, 310(1)181--231, 311(1)71--103, 318(1)181--196,
322(3)517--565
-
Iida, Hiroyuki, 252(1)1--3, 252(1)83--104
-
Iida, Hiroyuki, see Gao, Xinbo,
see Herik, H. Jaap van den
-
Ikeda, Daisuke, 231(2)297--308
-
Ikeda, Daisuke, see Sakamoto, Hiroshi
-
Ilan, Judit, Bar-, 233(1)247--261, 250(1)179--200
-
Ilie, Lucian, 242(1)327--359, 306(1)373--390
-
Ilie:2000:LWC, 242(1)327--359
-
Ilie:2003:RNI, 306(1)373--390
-
Iliopoulos, Costas S., 249(2)241--241, 262(1)557--568, 304(1)87--101
-
Iliopoulos, Costas S., see Na, Joong Chae,
see Sim, Jeong Seop
-
Iliopoulos:2000:P, 249(2)241--241
-
image, 230(1)221--233, 240(2)447--469, 283(1)67--108, 302(1)275--294,
307(1)77--92, 313(1)133--144
-
Imai, Hiroshi, 289(2)963--976
-
Imai, Hiroshi, see Yamasaki, Tomohiro
-
Imai, Katsunobu, 231(2)181--191, 270(1)797--809, 304(1)185--200
-
Imai, Katsunobu, see Iwamoto, Chuzo,
see Lee, Jia
-
Imai:2000:CUT, 231(2)181--191
-
imitation, 322(2)297--312
-
IMLL, 294(1)269--305, 303(1)245--260
-
immune, P-, 302(1)457--466
-
immunity, 292(3)697--710, 312(2)321--335
-
impact, 279(1)3--27, 287(1)267--298, 287(2)449--471
-
impartial, 233(1)263--278, 252(1)13--22
-
imperative, 238(1)389--437, 248(1)3--27, 278(1)271--301, 318(1)139--161
-
imperfect, 252(1)217--256
-
implementable, 253(1)61--93
-
implementation, 231(1)103--111, 279(1)3--27, 292(1)185--197,
292(2)481--495, 315(2)405--417, 315(2)469--510, 323(1)191--233
-
implemented, 315(2)469--510
-
implementing, 262(1)311--331, 315(2)469--510
-
implicational, 232(1)165--186, 260(1)57--69
-
implicit, 290(1)1021--1056
-
imply, 269(1)317--361
-
importance, 315(2)405--417
-
improved, 237(1)455--463, 241(1)25--35, 255(1)649--658, 293(3)535--556,
295(1)27--39, 313(3)315--324, 315(2)469--510, 325(3)467--478,
329(1)303--313
-
improvement, 263(1)355--377, 279(1)3--27
-
improving, 252(1)151--175, 312(1)75--97
-
Imreh, B., 245(1)103--113
-
Imreh, Csanád, 306(1)305--317, see Epstein, Leah
-
Imreh:2000:ECP, 245(1)103--113
-
in, listen-, 264(1)65--90
-
in-a-row, 270(1)865--875
-
in-place, 237(1)159--181, 302(1)191--210
-
inapproximability, 289(1)553--571, 312(1)17--45
-
incentive, 310(1)159--180
-
Incitti, Roberto, 255(1)601--605
-
Incitti:2001:GFC, 255(1)601--605
-
include, 305(1)221--235
-
inclusion, 230(1)247--256, 254(1)683--690, 258(1)131--168
-
incompleteness, 284(2)269--277
-
incompleteness, Order-, 309(1)43--63
-
incompressibility, 235(1)59--70
-
inconsistent, 296(3)405--434
-
incorporating, 239(2)309--338
-
increasing, 321(2)405--414
-
increasing, non-size-, 318(1)3--27
-
increment, 270(1)811--826
-
incremental, 288(2)277--307
-
incrementally, 315(1)109--133
-
indeed, 315(2)405--417
-
independence, 297(1)281--295, 300(1)365--378, 307(1)139--172
-
independencies, 266(1)365--405
-
independent, 263(1)333--344, 270(1)561--590, 271(1)131--143,
289(2)953--962, 301(1)119--142, 301(1)271--284, 310(1)287--307
-
independent, data-, 286(1)97--116
-
independent, goal-, 293(3)557--577
-
Indermitte, C., 263(1)263--274
-
Indermitte:2001:VDP, 263(1)263--274
-
indexed, 237(1)239--262
-
indicate, 315(2)405--417, 315(2)469--510
-
indifference, 297(1)145--155
-
indirect, 284(1)109--142
-
induced, 304(1)449--459
-
inducing, 314(1)217--249
-
induction, 232(1)91--119, 266(1)773--818, 287(1)251--265,
292(2)387--416, 300(1)181--207, 317(1)227--249, 318(1)181--196,
321(2)371--382, 322(1)5--16, 322(1)17--39, 323(1)443--471
-
inductive, 237(1)465--475, 241(1)191--209, 264(1)155--167,
268(2)351--366, 300(1)301--329, 317(1)31--60, 324(1)3--33
-
Inductive-data-type, 272(1)41--68, 817(z)81--82
-
inductively, 263(1)31--35
-
Indyk, Piotr, 268(1)43--66
-
Indyk, Piotr, see Bartal, Yair
-
ineffective, 315(2)405--417
-
Inenaga, Shunsuke, 328(1)97--111
-
Inenaga, Shunsuke, see Miyamoto, Satoru
-
inequality, 277(1)105--117, 297(1)367--384, 326(1)137--153,
327(3)241--253, 347(1)437--440
-
inertness, 238(1)465--475
-
inferable, 241(1)211--234
-
inference, 241(1)191--209, 243(1)185--197, 258(1)299--392,
264(1)155--167, 266(1)951--974, 268(2)351--366, 272(1)69--112,
289(1)425--456, 309(1)287--311, 311(1)1--70, 313(2)295--312,
328(3)289--323
-
Inferring, 240(2)271--298
-
Infinitary, 298(2)275--302
-
infinite, 250(1)71--82, 252(1)13--22, 259(1)427--454, 262(1)269--284,
270(1)659--675, 273(1)225--248, 273(1)249--261, 276(1)445--447,
289(1)225--251, 290(1)79--115, 290(1)863--936, 295(1)141--151,
299(1)327--346, 299(1)347--386, 300(1)1--45, 302(1)123--133,
306(1)155--175, 319(1)127--143, 322(1)85--136, 322(1)175--179
-
infinite, bi-, 273(1)35--46, 292(1)237--243
-
infinite-state, 256(1)145--167
-
infinitely, 295(1)27--39, 319(1)385--409
-
inflated, 320(2)485--494
-
influence, 270(1)287--308
-
information, 239(2)189--210, 252(1)217--256, 259(1)427--454,
271(1)145--150, 287(2)449--471, 292(2)447--464, 292(2)547--571,
315(1)209--256, 327(1)197--221
-
Ingólfsdóttir, Anna, 254(1)35--61, 293(1)169--188,
298(3)417--469, see Aceto, Luca
-
Ingolfsdottir:2001:FAD, 254(1)35--61
-
ingredient, 315(2)419--452
-
inheritance, 269(1)363--417, 270(1)125--203
-
inhibitor, 275(1)127--177, 323(1)129--189
-
injective, 309(1)287--311
-
injective, Non-, 255(1)401--422
-
innermost, 239(1)141--164
-
innocent, 272(1)247--292, 308(1)333--366
-
Inoue, Katsushi, 259(1)475--492, 270(1)739--760
-
Inoue, Katsushi, see Xu, Jianliang,
see Zhang, Lan
-
input, 313(1)145--158, 321(1)149--170
-
insecurity, 299(1)451--475
-
insensitivity, Delay-, 245(1)3--25
-
insertion, 262(1)257--267, 299(1)231--271, 301(1)103--117,
325(3)347--360
-
inspired, biology-, 312(2)295--319
-
instance-based, 298(1)207--233
-
instances, 242(1)301--311, 292(2)497--524, 320(2)345--372, 326(1)29--43,
329(1)285--301
-
instantiation, 232(1)187--229
-
institution, 280(1)69--103, 286(2)367--475, 309(1)357--380,
311(1)439--461
-
insure, 315(2)557--579
-
integer, 235(1)163--170, 257(1)51--77, 271(1)59--67, 295(1)85--106,
307(3)515--529, 309(1)413--468, 315(2)469--510, 319(1)307--331,
326(1)241--260
-
integers, beta-, 303(2)491--516
-
integral, 235(1)145--162, 289(1)783--800
-
Integrating, 292(2)547--571
-
integration, 239(2)189--210, 305(1)259--275, 317(1)147--165
-
intelligence, 317(1)13--30
-
interaction, 243(1)307--338, 247(1)83--140, 254(1)683--690,
289(1)801--827, 297(1)157--181, 325(1)25--44
-
interactive, 282(1)5--32, 282(1)53--99, 292(3)575--588
-
interconnection, 249(2)325--342, 255(1)263--279, 287(2)515--534
-
Interconvertibility, 248(1)29--98
-
interior, 307(2)385--401
-
intermediate, 296(2)365--375
-
internal, 242(1)143--168, 259(1)405--426, 299(1)179--210,
309(1)125--156
-
internalized, 317(1)227--249
-
International, 313(3)533--537
-
interpolation, 238(1)477--482, 284(2)487--498, 311(1)439--461,
329(1)223--235
-
interpretation, 255(1)679--686, 271(1)111--123, 275(1)111--125,
277(1)47--103, 290(1)531--544, 290(1)863--936, 293(3)557--577,
318(1)197--223, 318(3)435--470
-
Interpreted, 323(1)235--266
-
interpreting, 273(1)167--183
-
interprocedural, 311(1)325--388
-
interreduction, 258(1)435--451
-
intersecting, 302(1)257--274
-
intersection, 235(2)309--324, 237(1)439--445, 259(1)597--611,
272(1)3--40, 272(1)197--221, 272(1)341--398, 283(1)109--150,
300(1)209--234, 311(1)1--70, 316(1)25--47
-
interval, 234(1)59--84, 234(1)85--107, 245(2)217--253, 245(2)255--280,
255(1)323--344, 276(1)315--354, 279(1)83--95, 281(1)99--107,
289(1)85--104, 300(1)181--207, 303(1)53--62, 310(1)61--77,
310(1)117--134, 310(1)287--307, 312(2)223--249, 316(1)89--103,
326(1)103--116
-
intervalle, 250(1)265--332
-
INTEX, 231(1)33--46
-
Intractability, 231(2)297--308
-
Intrinsic, 318(1)181--196
-
Introducing, 328(1)77--96
-
introduction, 232(1)5--53, 258(1)1--98, 313(1)1--1
-
intuitionistic, 232(1)273--298, 232(1)299--333, 272(1)315--339,
290(1)189--219, 308(1)227--237
-
invariance, 293(1)115--139, 320(1)111--121
-
invariance, -, 293(1)115--139
-
invariant, 288(1)153--180, 289(1)105--136, 303(2)303--331,
306(1)373--390, 307(2)365--384
-
invariant, Decimation-, 259(1)379--403
-
inverse, 242(1)247--281, 315(2)309--318, 316(1)49--74, 325(2)273--284
-
inversion, 281(1)455--469, 315(2)511--523, 315(2)581--592,
325(2)329--344, 325(3)361--372
-
invertible, 291(2)135--141
-
Investigating, 244(1)219--241
-
investigation, 252(1)217--256
-
investment, 302(1)35--44
-
involution, 297(1)271--280
-
involved, 315(2)405--417
-
involving, 270(1)591--608, 314(1)1--43
-
Irani, Sandy, 324(2)133--135
-
Irani, Sandy, see Fiat, Amos
-
irreducible, 299(1)477--493
-
irregular, 238(1)31--80
-
Irving, Robert W., 276(1)261--279, 306(1)431--447
-
Irving, Robert W., see Halldórsson, Magnús M.,
see Manlove, David F.
-
Ishai, Yuval, 306(1)69--84
-
Ishai, Yuval, see Balogh, József
-
Ishihara, Hajime, 272(1)197--221
-
Ishihara:2002:CIU, 272(1)197--221
-
Ising, 314(1)251--279
-
isomorphism, 231(2)253--273, 262(1)161--189, 294(3)353--378
-
isoperimetric, Edge-, 307(3)473--492
-
isotopic, 305(1)3--15
-
issue, 275(1)127--177, 317(1)251--267
-
Itai, Alon, 282(2)303--318
-
Itai:2002:PCP, 282(2)303--318
-
items, 289(2)939--952, 312(1)3--15
-
itemsets, 290(1)669--693
-
iterated, 275(1)69--77, 276(1)221--244, 304(1)461--469, 314(3)451--457,
319(1)145--176
-
iterating, 309(1)413--468
-
iterative, 292(2)359--376, 292(2)417--430, 300(1)1--45, 315(2)581--592
-
iterators, 269(1)203--229
-
Ito, Akira, 259(1)475--492, 270(1)739--760
-
Ito, Akira, see Xu, Jianliang, \see{Zhang, Lan
-
Ito, Masami, 245(1)1--1, 245(1)115--133, 324(1)1--1
-
Ito:2000:F, 245(1)1--1
-
Ito:2000:SSD, 245(1)115--133
-
Ito:2004:F, 324(1)1--1
-
Iwama, Kazuo, 237(1)485--494, 261(2)227--239, 276(1)261--279,
289(2)953--962, 301(1)451--462, 306(1)431--447, 325(3)439--465
-
Iwama, Kazuo, see Halldórsson, Magnús M.,
see Manlove, David F.
-
Iwama:2000:TBN, 237(1)485--494
-
Iwama:2001:ERR, 261(2)227--239
-
Iwama:2003:FNW, 301(1)451--462
-
Iwamoto, Chuzo, 270(1)797--809
-
Iwamoto:2002:CFC, 270(1)797--809
-
Iwata, Shigeki, 329(1)237--250
-
Iwata, Shigeki, see Morohashi, Gembu
-
Iwata, Tetsu, 306(1)139--154
-
Iwata:2003:NCP, 306(1)139--154