Index file section A for tcs2005.bib

Last update: Thu Jun 29 04:16:31 MDT 2023               

Return to index directory

A

• à, 385(1)193--201
• a-row, in-, 385(1)88--100
• Abadi, Martín, 367(1)2--32
• Abadi:2006:DKS, 367(1)2--32
• Abbasi, Sarmad, 409(3)364--381
• Abbasi:2008:CQA, 409(3)364--381
• Abbes, Samy, 365(3)171--183, 390(2)129--170
• Abbes:2006:PTB, 365(3)171--183
• Abbes:2008:TCP, 390(2)129--170
• Abbott, Michael, 342(1)3--27
• Abbott:2005:CCS, 342(1)3--27
• Abdeddai{\"{}}m, Yasmina, 354(2)272--300
• Abdeddaim:2006:STA, 354(2)272--300
• Abe, K., 365(3)184--198
• Abe:2006:CTI, 365(3)184--198
• Abel, Andreas, 333(1)3--66
• Abel:2005:ICS, 333(1)3--66
• abelian, 380(1)115--126, 409(3)432--437, 410(1)44--52, 410(38)3893--3900
• Aberkane, Ali, 332(1)573--581, 410(1)44--52
• Aberkane, Ali, see Currie, James D.
• Aberkane:2005:TMW, 332(1)573--581
• able, 351(1)111--118
• Abouelaoualim, A., 409(3)497--510
• Abouelaoualim:2008:PTE, 409(3)497--510
• Ábrahám, Erika, 331(2)251--290
• Abraham:2005:ABP, 331(2)251--290
• Abram, Aurélie, Goulon-Sigwalt-, 344(2)298--334
• Abramsky, Samson, 343(1)1--3, 347(3)441--464
• Abramsky:2005:GTM, 343(1)1--3
• Abramsky:2005:SAR, 347(3)441--464
• absence, 378(2)143--152
• absolute, 344(2)103--119, 384(2)168--183, 397(1)114--128
• absolutely, 377(1)126--138
• absoluteness, 394(3)144--158
• absorption, 346(2)335--357
• abstract, 336(2)205--207, 336(2)343--365, 337(1)1--50, 338(1)17--63, 342(1)149--172, 343(3)482--508, 346(1)58--95, 357(1)53--69, 364(3)273--291, 375(1)76--108, 376(1)17--29, 402(2)199--220, 403(1)52--70, 409(1)126--136, 410(2)221--253, 410(46)4724--4746
• abstraction, 354(2)250--271, 373(1)19--40, 390(2)171--196, 403(2)192--201, 403(2)239--264, 404(3)235--255, 407(1)1--20
• Accelerating, 410(37)3563--3571, 410(38)3725--3732
• acceptance, 330(2)267--285, 332(1)233--250
• accepted, 351(1)82--100
• accepting, 371(1)72--82, 378(1)131--131, 382(3)170--182, 410(4)406--416, 410(35)3209--3222
• access, 336(2)343--365, 371(3)200--226, 382(2)86--96, 398(1)183--202, 398(1)203--216
• accessible, 381(1)86--104
• Acciai, Lucia, 409(1)59--93
• Acciai:2008:RPC, 409(1)59--93
• accuracy, 351(1)82--100
• accurate, 336(2)235--284, 409(2)255--268
• accurately, 377(1)126--138
• Acerbi, Luigi, 410(38)3685--3693
• Acerbi:2009:CSD, 410(38)3685--3693
• Aceto, Luca, 330(3)377--405, 335(2)127--129, 366(1)60--81
• Aceto:2005:CHM, 330(3)377--405
• Aceto:2005:GEF, 335(2)127--129
• Aceto:2006:BFB, 366(1)60--81
• Achermann, Franz, 331(2)367--396
• Achermann:2005:CRA, 331(2)367--396
• achievable, 410(21)2285--2290
• achievement, 2-, 409(3)333--340
• achieving, 372(1)115--121
• achromatic, 361(2)150--171
• achromatic, pseudo-, 410(8)818--829
• acid, 410(4)294--301
• Ackerman, Margareta, 410(37)3461--3470
• Ackerman:2009:EEW, 410(37)3461--3470
• Ackermann, Heiner, 378(3)253--270, 410(17)1552--1563
• Ackermann:2007:DMB, 378(3)253--270
• Ackermann:2009:PNE, 410(17)1552--1563
• Acknowledged, 377(1)43--54
• acknowledgment, 369(1)285--299, 410(8)914--925
• across, 407(1)182--191
• action, 356(1)73--89, 368(1)1--29, 368(1)50--63
• action-based, 331(2)429--455, 360(1)352--372
• actor, 409(1)110--125
• Actors, 410(2)202--220
• Acuña, Vicente, 369(1)396--405
• Acuna:2006:CVB, 369(1)396--405
• acyclic, 348(1)84--94, 370(1)94--109, 374(1)203--213, 380(1)37--46, 396(1)271--276, 410(27)2759--2766, 410(47)5196--5200
• ad, 336(2)285--309, 377(1)43--54, 402(1)16--28
• ad-hoc, 402(1)29--42, 402(1)43--55
• Adamczewski, Boris, 380(3)220--237
• Adamczewski:2007:RPC, 380(3)220--237
• Adámek, J., 366(1)82--97
• Adámek, Ji{\v{r}}{\'\i}, 388(1)130--151
• Adamek:2006:IAC, 366(1)82--97
• Adamek:2007:API, 388(1)130--151
• Adams, Sherali-, 410(21)2054--2063
• Adamy, Udo, 363(1)11--17
• Adamy:2006:CO, 363(1)11--17
• adaptive, 367(3)286--307, 376(3)185--204, 387(3)284--297, 402(1)16--28, 410(6)533--545, 410(14)1328--1335, 410(36)3357--3371
• adaptiveness, 333(3)355--371
• addendum, 380(1)143--163, 492(z)117--122
• Adding, 337(1)51--104, 373(3)182--212
• Addition, 378(1)17--31
• additive, 347(1)54--75, 352(1)226--231, 385(1)264--285, 409(2)255--268, 410(47)4823--4833
• Additivity, 406(1)136--145
• address, 343(3)482--508, 410(51)5334--5346
• addressable, content-, 355(1)65--79
• addressing, 332(1)109--121, 408(2)241--261
• AdHoc, 410(27)2549--2561
• Adian, S. I., 339(1)3--6
• Adian:2005:DPO, 339(1)3--6
• adic, alpha-, 380(3)238--250
• admissible, 346(2)388--417, 351(1)61--73
• ADMs, 349(3)337--346, 384(2)250--262
• advances, 403(1)11--32
• advantage, 368(1)1--29
• adversarial, 381(1)280--287, 410(8)670--687
• adversaries, 340(1)57--81, 340(1)154--178
• advice, 402(2)190--198, 410(14)1307--1318
• affine, 353(1)165--207, 389(1)12--25, 395(2)268--282, 410(18)1666--1683
• affirming, 351(1)82--100
• affix, 389(1)278--294
• Afrati, Foto, 368(1)88--123
• Afrati:2006:RQU, 368(1)88--123
• again, 377(1)55--64
• against, 336(2)235--284, 353(1)291--316
• Ageev, A. A., 361(2)257--274
• Ageev:2006:OBS, 361(2)257--274
• agent, Multi-, 362(1)273--281
• agents, 343(1)27--41, 351(2)240--257, 385(1)34--48, 391(3)216--238, 393(1)90--101, 410(2)221--253
• Ager, Mads Sig, 342(1)149--172
• Ager:2005:FCB, 342(1)149--172
• aggregate, 370(1)254--264
• aggregation, 344(1)15--29, 359(1)455--461, 409(2)255--268, 410(14)1346--1354
• AGh, 368(1)161--167
• agnostic, 377(1)139--150
• Agrawal, Aseem, 379(3)317--328
• Agrawal, Aseem, see Bansal, Vipul
• agreeable, 374(1)159--169
• agreement, 335(1)93--107, 350(1)24--39, 374(1)91--110, 384(2)232--249, 410(14)1328--1335
• agreement, leaf-, 370(1)299--308
• agreement, set-, 410(6)570--580
• Ahern, Alexander, 389(3)341--410
• Ahern:2007:FJR, 389(3)341--410
• Aichholzer, Oswin, 343(1)42--71
• Aichholzer:2005:GT, 343(1)42--71
• Aigner, Martin, 337(1)319--330
• Aigner:2005:PPT, 337(1)319--330
• aim, 351(1)101--110
• al, 336(2)235--284, 343(3)482--508, 410(1)16--34
• Alan, 377(1)126--138
• Alberto, 346(2)184--188, 395(2)135--136
• Alcón, Liliana, 410(21)2072--2083
• Alcon:2009:CCG, 410(21)2072--2083
• Alder--Strassen, 331(1)3--21
• Aldini, Alessandro, 335(2)281--329, 382(1)3--23
• Aldini:2005:UPA, 335(2)281--329
• Aldini:2007:MLR, 382(1)3--23
• Aldred, R. E. L., 349(3)309--317
• Aldred:2005:PMP, 349(3)309--317
• Aleardi, L. Castelli, 408(2)174--187
• Aleardi:2008:SRP, 408(2)174--187
• Alekseev, V. E., 389(1)219--236
• Alekseev:2007:NHG, 389(1)219--236
• Alekseyev, Max A., 395(2)193--202
• Alekseyev:2008:MBR, 395(2)193--202
• Alessi, Fabio, 355(2)108--126, 398(1)129--149
• Alessi:2006:ITL, 355(2)108--126
• Alessi:2008:IFM, 398(1)129--149
• Alfaro, Luca de, 345(1)139--170, 386(3)188--217
• Alfonseca, Manuel, 341(1)247--262
• Alfonseca, Manuel, see Cases, Blanca
• algebra, 331(1)3--21, 335(2)131--146, 335(2)215--280, 335(2)281--329, 339(1)129--165, 343(3)285--304, 346(1)161--182, 347(3)498--512, 351(2)131--145, 351(2)221--239, 354(1)42--71, 354(1)131--141, 366(1)82--97, 366(1)98--120, 375(1)193--200, 377(1)1--24, 383(2)200--243, 388(1)130--151, 392(1)23--36, 407(1)591--595, 409(2)269--281, 410(18)1629--1647, 410(18)1704--1729, 410(50)5202--5214
• algebra, Free-, 390(2)248--270
• algebraic, 340(2)291--321, 345(2)206--234, 350(2)188--212, 351(1)14--26, 354(1)42--71, 357(1)241--278, 362(1)33--53, 369(1)183--196, 369(1)406--426, 375(1)20--40, 392(1)128--140, 409(2)186--199, 410(46)4626--4671
• algebraicity, 410(41)4160--4168
• algebraization, 354(1)131--141
• Algol, 375(1)3--19, 390(2)214--229
• algorithmic, 341(1)91--137, 348(1)3--14, 359(1)200--213, 369(1)314--322, 379(1)231--265, 379(3)329--347, 383(2)244--259, 390(1)1--26, 410(33)3128--3148
• Alhazov, Artiom, 410(24)2308--2315, 410(35)3188--3197
• Alhazov:2009:PCS, 410(24)2308--2315
• Alhazov:2009:SCC, 410(35)3188--3197
• Aliased, 407(1)258--273
• Alice\&Bob, 367(1)88--122
• alignment, 368(3)205--216, 370(1)19--33
• all, 335(1)67--92, 345(2)345--358, 354(1)118--130, 363(1)28--42, 368(1)1--29, 370(1)74--93, 371(1)4--19, 408(2)106--115, 409(3)565--577, 410(38)3942--3948, 410(47)5010--5021
• all, all-to-, 333(3)401--413
• All, Do-, 333(3)433--454
• all-ones, 385(1)60--70
• all-optical, 333(3)401--413
• All-pairs, 396(1)145--150, 410(1)84--93
• all-shortest-path, 389(1)250--264
• all-to-all, 333(3)401--413
• Allender, Eric, 355(2)127--138
• Allender:2006:NPS, 355(2)127--138
• allocation, 352(1)250--265, 369(1)323--337, 380(1)47--68, 406(3)225--239, 407(1)258--273, 410(21)2174--2183
• Allouche, Jean-Paul, 380(3)220--237, 410(30)2795--2803
• Allouche, Jean-Paul, see Adamczewski, Boris
• Allouche:2009:PRO, 410(30)2795--2803
• allow, 351(1)74--81, 368(1)1--29, 377(1)126--138
• allowing, 347(1)239--275, 368(1)1--29
• Allulli, Luca, 408(2)116--128
• Allulli:2008:PLL, 408(2)116--128
• Almansa, Gemma del Rey, 343(1)4--26
• Almansa, Gemma del Rey, see López, Luis
• Almeida, Jorge, 370(1)131--169
• Almeida, Marco, 387(2)93--102
• Almeida:2007:ATA, 370(1)131--169
• Almeida:2007:EGS, 387(2)93--102
• almost, 351(1)111--118, 377(1)139--150, 410(50)5202--5214
• almost-complete, 410(14)1377--1387
• Alon, Noga, 374(1)149--158, 410(47)4920--4927
• Alon:2007:AMC, 374(1)149--158
• Alon:2009:HEM, 410(47)4920--4927
• alpha-adic, 380(3)238--250
• alphabet, 332(1)293--311, 340(2)408--431, 341(1)293--310, 385(1)137--151, 391(1)51--60, 393(1)166--181, 410(1)16--34, 410(16)1477--1485, 410(30)2870--2884
• Alphabet-independent, 385(1)127--136
• alphabet-size, 410(35)3223--3235
• Alpuente, María, 346(1)58--95, 410(46)4608--4625
• Alpuente:2005:SFA, 346(1)58--95
• Alpuente:2009:TNR, 410(46)4608--4625
• Alspach, Brian, 399(3)158--168
• Alspach:2008:TCG, 399(3)158--168
• Altenkirch, Thorsten, 342(1)3--27
• Altenkirch, Thorsten, see Abbott, Michael
• alternating, 338(1)275--314, 341(1)55--72
• alternating, state-, 337(1)183--216
• Alternating-time, 353(1)93--117
• alternative, 358(1)75--87, 366(3)194--198, 404(3)219--234
• Althoff, Christoph Schulte, 363(2)224--233
• Althoff:2006:ODB, 363(2)224--233
• Alur, Rajeev, 331(1)97--114, 354(2)230--249, 354(2)250--271
• Alur:2005:RVM, 331(1)97--114
• Alur:2006:CGP, 354(2)250--271
• Alur:2006:MSR, 354(2)230--249
• Àlvarez, Carme, 381(1)197--217, 406(3)240--247
• Álvarez, Gloria I., 407(1)192--202, see García, Pedro
• Alvarez-Hamelin, Ignacio, 355(1)6--24
• Alvarez-Hamelin, Ignacio, see Dall'Asta, Luca
• Alvarez:2007:CTP, 381(1)197--217
• Alvarez:2008:HLC, 406(3)240--247
• Alves, Sandra, 342(1)79--103
• Alves:2005:WLL, 342(1)79--103
• Amadio, Roberto M., 358(2)229--254
• Amadio:2006:RCS, 358(2)229--254
• Amalgamating, 410(2)142--167
• Amalgamation, 331(1)215--247
• Amano, Kazuyuki, 350(1)3--12
• Amano:2006:LMB, 350(1)3--12
• Amato, Gianluca, 410(46)4626--4671
• Amato, Nancy M., 408(2)97--98
• Amato:2008:P, 408(2)97--98
• Amato:2009:ASD, 410(46)4626--4671
• amazons, 349(2)230--244
• amb, 330(3)439--473
• Ambainis, 339(2)241--256
• Ambainis, Andris, 378(1)41--53, 410(20)1916--1922
• Ambainis:2007:IAQ, 378(1)41--53
• Ambainis:2009:ICQ, 410(20)1916--1922
• ambient, 330(3)501--551, 333(1)127--169, 356(3)468--494, 366(1)121--143, 373(1)41--69, 398(1)183--202, 398(1)203--216, 410(12)1272--1303
• ambient-like, 356(3)440--467
• ambiguity, 345(2)473--504, 369(1)436--441
• Ambiguous, 333(1)265--296
• Ambroladze, Amiran, 382(3)232--246
• Ambroladze:2007:CPC, 382(3)232--246
• Ambrosio, Pasquale, 406(3)173--186
• Ambrosio:2008:DMA, 406(3)173--186
• Ambro{\'z}, P., 400(1)113--136
• Ambroz, Petr, 380(3)238--250
• Ambroz:2007:AAE, 380(3)238--250
• Ambroz:2008:MIP, 400(1)113--136
• Ambühl, Christoph, 343(1)27--41
• Ambuhl:2005:ARA, 343(1)27--41
• amiable, 390(1)102--109
• Amini, Omid, 410(38)3751--3760
• Amini:2009:HAT, 410(38)3751--3760
• Amir, Amihood, 368(3)196--204, 395(2)268--282, 395(2)298--310, 409(3)438--449, 410(43)4382--4390, 410(51)5334--5346
• Amir, Amihood, see Kim, Jin Wook
• Amir-Kroll, Hila, 391(3)276--290
• Amir-Kroll:2008:GGP, 391(3)276--290
• Amir:2006:FTD, 368(3)196--204
• Amir:2008:GL, 409(3)438--449
• Amir:2008:PMW, 395(2)298--310
• Amir:2009:ASM, 410(51)5334--5346
• Amir:2009:ECR, 410(43)4382--4390
• Amiraslani, A., 381(1)134--147
• Amiraslani:2007:BFG, 381(1)134--147
• amplification, 370(1)293--298, 410(20)1932--1941
• analog, 371(1)106--114, 371(1)115--146, 374(1)277--290
• analyser, 342(1)56--78
• analyses, 364(3)292--310
• analysis, 336(2)205--207, 336(2)235--284, 336(2)285--309, 338(1)200--246, 338(1)393--425, 340(1)1--2, 340(1)82--101, 341(1)398--410, 345(1)122--138, 346(2)358--387, 347(1)214--238, 349(2)158--167, 349(2)184--201, 349(3)407--419, 352(1)136--158, 352(1)280--287, 353(1)118--164, 354(2)211--229, 354(2)301--317, 354(3)339--353, 358(1)104--120, 359(1)239--254, 359(1)430--439, 366(1)163--179, 367(1)33--56, 367(1)57--87, 367(1)203--227, 367(1)257--270, 369(1)44--66, 375(1)120--136, 378(1)87--100, 378(3)271--291, 378(3)292--315, 379(1)231--265, 379(3)329--347, 387(3)220--235, 388(1)26--52, 389(1)182--189, 389(1)278--294, 390(1)1--26, 391(3)258--275, 392(1)5--22, 395(2)171--192, 396(1)158--179, 396(1)200--211, 401(1)1--16, 401(1)172--180, 402(2)199--220, 403(2)160--175, 407(1)370--388, 410(2)128--141, 410(33)3065--3084, 410(33)3110--3127, 410(33)3128--3148, 410(38)3804--3813, 410(41)4067--4084, 410(46)4672--4691, 410(47)4844--4855
• analytical, 385(1)264--285, 406(1)8--14
• Analyzer, 367(1)162--202
• analyzing, 356(1)14--25, 375(1)137--168, 389(3)512--527, 408(1)55--65
• Ananichev, D. S., 330(1)3--13, 376(1)30--41
• Ananichev:2005:SGM, 330(1)3--13
• Ananichev:2007:SAL, 376(1)30--41
• Anantharam, V., 332(1)543--557
• Anantharam, V., see Gharavi, Reza
• anarchy, 369(1)116--135
• ancestor, 380(1)37--46, 396(1)145--150
• and, When-, 403(1)71--88
• and-bound, branch-, 351(1)111--118
• and-forth, back-, 366(1)163--179
• and-halt, decide-, 410(20)1942--1951
• Andersen, Nils, 375(1)120--136
• Andersen, Nils, see Jones, Neil D.
• AND/OR, 401(1)120--130
• Andova, Suzana, 356(3)325--355
• Andova:2006:BBP, 356(3)325--355
• André, Y., 385(1)11--33
• Andre:2007:PCS, 385(1)11--33
• Andrei, Oana, 373(3)163--181
• Andrei:2007:RLF, 373(3)163--181
• Andres, Eric, 406(1)8--14
• Andres:2008:SFD, 406(1)8--14
• Andrist, R. B., 349(2)158--167
• Andrist:2005:DME, 349(2)158--167
• Angel, 349(3)443--451, 389(1)152--161
• Angel, Eric, 369(1)157--168, 410(45)4534--4542
• Angel:2006:TAS, 369(1)157--168
• Angel:2009:MHS, 410(45)4534--4542
• Angelelli, Enrico, 393(1)211--219
• Angelelli:2008:SOS, 393(1)211--219
• animation, 405(1)41--49
• Anisotropic, 408(2)163--173
• annealing, 386(1)73--93
• Annexstein, Fred S., 355(1)25--36
• Annexstein:2006:BUP, 355(1)25--36
• annotated, 399(3)236--245
• anonymity, 410(41)4006--4025
• Anonymous:2005:AIa, 330(3)609--610
• Anonymous:2005:AIb, 331(2)485--486
• Anonymous:2005:AIc, 332(1)583--584
• Anonymous:2005:AId, 333(3)455--456
• Anonymous:2005:AIe, 334(1)299--299
• Anonymous:2005:AIf, 335(2)405--406
• Anonymous:2005:AIg, 336(2)437--438
• Anonymous:2005:AIh, 337(1)399--400
• Anonymous:2005:AIi, 338(1)426--426
• Anonymous:2005:AIj, 339(2)372--373
• Anonymous:2005:EAF, 340(2)186--187
• Anonymous:2005:EBa, 330(1)v--ix
• Anonymous:2005:EBb, 331(1)v--ix
• Anonymous:2005:EBc, 332(1)v--ix
• Anonymous:2005:EBd, 333(1)v--ix
• Anonymous:2005:EBe, 334(1)v--ix
• Anonymous:2005:EBf, 335(1)v--ix
• Anonymous:2005:EBg, 336(1)v--ix
• Anonymous:2005:EBh, 337(1)v--ix
• Anonymous:2005:EBi, 338(1)v--ix
• Anonymous:2005:EBj, 339(1)v--ix
• Anonymous:2005:EBk, 340(1)v--ix
• Anonymous:2005:EBl, 341(1)v--ix
• Anonymous:2005:EBm, 342(1)v--ix
• Anonymous:2005:EBn, 343(1)v--ix
• Anonymous:2005:EBo, 347(1)v--ix
• Anonymous:2005:EBp, 349(1)v--ix
• Anonymous:2005:MI, 330(3)611--622
• Anonymous:2005:Pa, 344(1)v--ix
• Anonymous:2005:Pb, 346(1)v--ix
• Anonymous:2005:Pc, 348(1)v--ix
• Anonymous:2005:SI, 345(1)v--ix
• Anonymous:2006:AIa, 350(2)373--373
• Anonymous:2006:AIb, 360(1)461--461
• Anonymous:2006:AIc, 361(2)356--357
• Anonymous:2006:E, 354(1)v--ix
• Anonymous:2006:EBa, 352(1)v--ix
• Anonymous:2006:EBb, 353(1)v--ix
• Anonymous:2006:EBc, 359(1)v--ix
• Anonymous:2006:EBd, 360(1)v--ix
• Anonymous:2006:EBe, 361(1)v--ix
• Anonymous:2006:EBf, 362(1)v--ix
• Anonymous:2006:EBg, 364(1)v--ix
• Anonymous:2006:EBh, 365(1)v--ix
• Anonymous:2006:EBi, 366(1)v--ix
• Anonymous:2006:EBj, 367(1)v--ix
• Anonymous:2006:EBk, 367(3)iii--vii
• Anonymous:2006:EBl, 368(1)v--ix
• Anonymous:2006:EBm, 369(1)v--ix
• Anonymous:2006:F, 350(1)v--ix
• Anonymous:2006:MI, 360(1)463--472
• Anonymous:2006:MIa, 350(2)375--384
• Anonymous:2006:Pa, 351(1)v--ix
• Anonymous:2006:Pb, 355(1)v--ix
• Anonymous:2006:PC, 356(1)v--ix
• Anonymous:2006:Pd, 356(1)xiv--xiv
• Anonymous:2006:Pe, 357(1)v--ix
• Anonymous:2006:Pf, 358(1)v--ix
• Anonymous:2006:Pg, 361(1)v--z
• Anonymous:2006:Ph, 363(1)v--ix
• Anonymous:2007:D, 383(1)3--3
• Anonymous:2007:EBa, 370(1)v--ix
• Anonymous:2007:EBb, 371(1)v--ix
• Anonymous:2007:EBc, 372(1)v--ix
• Anonymous:2007:EBd, 372(2)i--v
• Anonymous:2007:EBe, 373(1)v--ix
• Anonymous:2007:EBf, 374(1)v--ix
• Anonymous:2007:EBg, 375(1)v--ix
• Anonymous:2007:EBh, 376(1)v--ix
• Anonymous:2007:EBi, 377(1)v--ix
• Anonymous:2007:EBj, 378(1)v--ix
• Anonymous:2007:EBk, 379(1)v--ix
• Anonymous:2007:EBl, 380(1)v--ix
• Anonymous:2007:EBm, 381(1)v--ix
• Anonymous:2007:EBn, 385(1)v--ix
• Anonymous:2007:EBo, 387(1)v--ix
• Anonymous:2007:EBp, 388(1)v--ix
• Anonymous:2007:EBq, 389(1)v--ix
• Anonymous:2007:Pa, 383(1)v--ix
• Anonymous:2007:Pb, 386(1)v--ix
• Anonymous:2007:PQA, 382(1)v--ix
• Anonymous:2007:PTA, 384(1)v--ix
• Anonymous:2008:E, 392(1)v--ix
• Anonymous:2008:EBa, 390(1)v--ix
• Anonymous:2008:EBb, 391(1)v--ix
• Anonymous:2008:EBc, 393(1)v--ix
• Anonymous:2008:EBd, 394(1)v--ix
• Anonymous:2008:EBe, 396(1)v--ix
• Anonymous:2008:EBf, 398(1)v--ix
• Anonymous:2008:EBg, 400(1)v--ix
• Anonymous:2008:EBh, 401(1)v--ix
• Anonymous:2008:EBi, 407(1)v--ix
• Anonymous:2008:EBj, 409(1)v--ix
• Anonymous:2008:F, 405(1)v--ix
• Anonymous:2008:Fb, 397(1)v--ix
• Anonymous:2008:Pa, 391(3)i--v
• Anonymous:2008:Pb, 395(1)v--ix
• Anonymous:2008:Pc, 399(1)v--ix
• Anonymous:2008:Pd, 402(1)v--ix
• Anonymous:2008:Pe, 403(1)v--ix
• Anonymous:2008:Pf, 404(1)v--ix
• Anonymous:2008:Pg, 406(1)v--ix
• Anonymous:2008:Ph, 408(1)v--ix
• Anonymous:2009:EBa, 410(1)v--ix
• Anonymous:2009:EBb, 410(27)i--vi
• Anonymous:2009:EBc, 410(30)i--vi
• Anonymous:2009:JKC, 410(30)xi--xi
• Anonymous:2009:Pa, 410(4)i--vi
• Anonymous:2009:Pb, 410(16)i--vi
• Anonymous:2009:Pc, 410(20)i--vi
• Anonymous:2009:Pd, 410(24)2301--2307
• Anonymous:2009:Pe, 410(26)i--vi
• Anonymous:2009:Pf, 410(30)2785--2794
• Anonymous:2009:Pg, 410(33)i--vi
• another, 335(2)147--186, 393(1)196--203
• Anselmo, Marcella, 340(2)408--431, 410(16)1477--1485, 410(37)3520--3529
• Anselmo:2005:NOR, 340(2)408--431
• Anselmo:2009:CMT, 410(37)3520--3529
• Anselmo:2009:DUT, 410(16)1477--1485
• answering, 336(1)89--124, 371(3)169--182
• Ant, 344(2)243--278
• antichain, 378(3)223--236
• antimagic, 374(1)66--73
• antimagicness, 410(8)727--735
• antipodal, 374(1)82--90
• antiport, 372(2)152--164
• Antonio, 340(2)186--187
• Antova, Lyublena, 403(2)265--284
• Antova, Lyublena, see Olteanu, Dan
• Antunes, Luis, 354(3)391--404
• Antunes:2006:CDC, 354(3)391--404
• any, 331(1)3--21, 351(1)82--100, 351(1)111--118, 355(1)96--103, 368(1)1--29, 410(30)3027--3034
• Any-world, 342(2)351--381
• Apartness, 405(1)3--10
• Apostolico, 395(2)135--136
• Apostolico, Alberto, 335(1)1--2, 390(1)40--55, 408(2)106--115, 410(43)4360--4371
• Apostolico:2005:F, 335(1)1--2
• Apostolico:2008:IDI, 408(2)106--115
• Apostolico:2008:MP, 390(1)40--55
• Apostolico:2009:SCS, 410(43)4360--4371
• appear, 343(3)482--508
• application, 330(3)407--438, 331(1)3--21, 341(1)55--72, 343(3)482--508, 346(2)200--225, 351(1)82--100, 352(1)342--346, 354(1)82--97, 354(3)379--390, 354(3)391--404, 358(1)56--64, 359(1)440--448, 362(1)255--272, 365(3)171--183, 370(1)229--239, 374(1)229--260, 378(1)78--86, 379(3)418--436, 380(3)286--303, 382(3)221--231, 384(1)1--1, 384(1)v--ix, 385(1)101--114, 389(1)278--294, 389(3)512--527, 392(1)5--22, 393(1)240--259, 398(1)1--11, 404(1)142--155, 410(2)168--201, 410(4)294--301, 410(43)4402--4413, 410(43)4414--4422, 410(46)4672--4691
• applied, 331(1)3--21, 342(1)1--2
• approach, 331(2)397--428, 331(2)457--483, 336(1)181--203, 340(2)443--456, 343(1)177--206, 345(1)27--59, 347(3)441--464, 349(3)452--461, 358(2)315--333, 359(1)455--461, 360(1)209--227, 360(1)440--458, 364(1)42--61, 366(1)121--143, 368(1)124--148, 369(1)314--322, 369(1)406--426, 369(1)456--462, 370(1)34--47, 370(1)131--169, 379(1)84--119, 385(1)264--285, 400(1)1--18, 400(1)84--99, 408(2)163--173, 410(4)302--309, 410(12)1109--1128, 410(38)3655--3669, 410(43)4295--4302, 410(51)5317--5333
• approaching, non-zero-, 367(3)286--307
• appropriateness, 350(1)140--162
• approximability, 332(1)123--139, 341(1)385--397, 343(1)27--41, 369(1)338--347, 385(1)202--213
• approximant, 346(1)113--134
• approximate, 344(1)30--46, 348(1)95--127, 351(1)101--110, 352(1)240--249, 352(1)266--279, 378(3)253--270, 391(1)109--125, 396(1)180--190, 409(2)200--210, 410(17)1581--1588, 410(51)5334--5346
• approximate, 2-, 410(1)84--93
• Approximately, 371(3)148--154, 410(11)1013--1021
• approximating, 337(1)249--277, 337(1)305--318, 354(3)320--338, 360(1)373--385, 363(1)99--105, 374(1)149--158, 374(1)191--195, 381(1)183--196, 381(1)288--291, 390(1)56--69, 393(1)54--71, 393(1)133--146, 395(2)283--297, 396(1)1--9, 410(8)994--996, 410(17)1599--1606, 410(44)4489--4503, 410(45)4543--4553, 410(50)5273--5284
• approximation, 332(1)497--513, 337(1)390--398, 339(2)272--292, 341(1)22--38, 347(1)288--298, 348(1)15--40, 352(1)71--84, 355(2)153--166, 355(3)261--273, 359(1)369--377, 359(1)400--417, 361(2)150--171, 361(2)226--240, 363(3)289--300, 369(1)230--238, 374(1)91--110, 377(1)139--150, 377(1)181--204, 378(3)316--330, 380(1)87--99, 381(1)124--133, 382(2)151--156, 383(1)102--110, 384(1)92--103, 384(1)126--135, 384(2)201--221, 385(1)49--59, 385(1)78--87, 387(2)125--135, 390(1)81--91, 392(1)92--100, 393(1)14--22, 396(1)63--70, 400(1)159--168, 401(1)107--119, 401(1)131--143, 410(8)756--765, 410(8)949--957, 410(8)963--967, 410(11)1022--1029, 410(11)1093--1098, 410(18)1730--1745, 410(21)2184--2195, 410(21)2241--2249, 410(21)2285--2290, 410(27)2725--2731, 410(38)3751--3760, 410(44)4489--4503, 410(44)4504--4532, 410(47)5063--5071, 410(47)5082--5092, 410(52)5415--5424
• approximation, 2-, 410(8)711--717
• approximation, 7/8-, 410(47)5000--5009
• approximation, -, 361(2)226--240
• APX, 359(1)369--377
• APX-hard, 335(1)109--125
• Araújo, Isabel M., 339(1)88--102, 340(2)204--219
• Araujo:2005:SWC, 339(1)88--102
• Araujo:2005:WDS, 340(2)204--219
• arbitrage, 363(3)248--256, 407(1)182--191
• arbitrary, 331(1)3--21, 332(1)337--366, 339(1)49--60, 341(1)293--310, 384(2)201--221, 390(1)110--119, 405(3)274--284, 407(1)412--447, 410(8)745--755, 410(21)2162--2173
• arboricity, 381(1)230--233
• architectural, 335(2)281--329
• architecture, 331(2)291--323
• area, 410(11)1061--1072, 410(52)5481--5490
• Area-time, 408(2)143--150
• Arge, Lars, 410(18)1617--1617
• Arge:2009:P, 410(18)1617--1617
• Arimura, H., 348(1)1--2
• Arimura:2005:P, 348(1)1--2
• arising, 351(1)74--81, 352(1)8--30
• arithmetic, 335(2)147--186, 351(1)74--81, 351(1)82--100, 351(1)101--110, 351(1)111--118, 351(1)119--128, 357(1)202--214, 368(1)88--123, 378(1)17--31, 389(1)172--181, 391(1)126--137
• arithmetical, 339(1)68--87, 380(3)304--316, 409(3)617--622
• Arity, 403(2)373--381
• arm, left-, 355(3)303--314
• arm, right-, 355(3)303--314, 377(1)277--281
• armed, multi-, 410(19)1876--1902
• Arnold, André, 333(1)265--296, see Santocanale, Luigi
• Arnold, Dirk V., 361(1)18--37
• Arnold, Fredrick, 359(1)101--110
• Arnold:2006:SGA, 359(1)101--110
• Arnold:2006:WME, 361(1)18--37
• Arnoux, Pierre, 380(3)251--265
• Arnoux:2007:FSS, 380(3)251--265
• Arora, Amrinder, 369(1)323--337
• Arora, Anish, 410(6)500--513
• Arora, Anish, see Demirbas, Murat
• Arora:2006:SRA, 369(1)323--337
• Arpe, Jan, 384(1)2--21
• Arpe:2007:LJP, 384(1)2--21
• arrangement, 350(1)40--48
• array, 352(1)240--249, 385(1)127--136, 389(1)278--294, 395(2)220--234, 410(52)5403--5414
• arrivals, 410(27)2732--2745
• Artemis, 410(21)2234--2240
• Artemov, Sergei, 357(1)1--3, 357(1)4--22
• Artemov:2006:JCK, 357(1)4--22
• Artemov:2006:P, 357(1)1--3
• Artho, Cyrille, 336(2)209--234
• Artho:2005:CTC, 336(2)209--234
• artificial, 358(1)15--22, 403(1)11--32
• Aruliah, D. A., 381(1)134--147
• Aruliah, D. A., see Amiraslani, A.
• Arvind, V., 410(47)4928--4936
• Arvind:2009:PLJ, 410(47)4928--4936
• ary, 369(1)361--376
• Asano, Takao, 354(3)339--353
• Asano:2006:IAG, 354(3)339--353
• Asarin, Eugene, 354(2)272--300, 379(1)231--265
• Asarin, Eugene, see Abdeddai{\"{}}m, Yasmina
• Asarin:2007:AAP, 379(1)231--265
• Asarinp, Eugene, 390(1)1--26
• Asarinp:2008:AAP, 390(1)1--26
• Asdre, Katerina, 381(1)248--259
• Asdre:2007:NCR, 381(1)248--259
• Ashar, Pranav, 404(3)256--274
• Ashar, Pranav, see Ivan{\v{c}}i{\'c}, Franjo
• Askarov, Aslan, 402(2)82--101
• Askarov:2008:CMF, 402(2)82--101
• ASM, 336(2)403--435, 343(3)482--508
• AsmL, 343(3)370--412
• AsmTP, 343(3)482--508
• Asodi, Vera, 410(8)859--866
• Asodi:2009:CMG, 410(8)859--866
• aspect, 331(1)73--96, 332(1)47--61, 344(1)47--68, 362(1)63--85, 382(1)1--2, 382(1)v--ix, 394(3)175--186, 410(11)1081--1092, 410(41)4006--4025
• Aspinall, David, 389(3)411--445
• Aspinall:2007:PLR, 389(3)411--445
• Aspnes, James, 389(1)26--43
• Aspnes:2007:TTD, 389(1)26--43
• assembling, self-, 410(4)332--346
• assembly, 351(3)425--436, 359(1)214--230, 378(1)17--31, 395(1)3--23, 395(1)24--30, 395(1)31--46, 410(15)1461--1472
• assembly, Self-, 374(1)74--81
• assembly, self-, 404(1)61--75, 410(4)384--405, 410(15)1417--1427, 410(16)1495--1515
• assertion, 407(1)591--595
• assertion-based, 331(2)251--290
• assignment, 343(1)27--41, 349(1)67--81, 352(1)332--341, 379(3)317--328, 383(1)102--110, 396(1)180--190, 398(1)82--94, 398(1)150--169, 407(1)213--230, 410(21)2223--2233
• assignments, SAT-, 393(1)260--279
• assistant, 343(3)482--508
• associated, 359(1)133--147, 361(1)72--110, 381(1)266--273, 407(1)117--133, 407(1)250--257
• associativity, 380(3)401--410, 401(1)27--35
• assumption, 340(1)154--178, 342(2)351--381, 410(8)736--744
• Astola, Jaakko, 359(1)440--448
• Astola, Jaakko, see Ryabko, Boris
• Asveld, Peter R. J., 347(1)167--190, 347(1)191--213, 354(1)118--130, 409(3)565--577
• Asveld:2005:FCFa, 347(1)167--190
• Asveld:2005:FCFb, 347(1)191--213
• Asveld:2006:GAP, 354(1)118--130
• Asveld:2008:GAP, 409(3)565--577
• asymmetric, 410(8)661--669
• Asymmetry, 361(2)188--199
• asymptotic, 359(1)239--254, 393(1)14--22, 410(21)2084--2098
• asymptotic, Non-, 387(1)77--89
• asynchronous, 335(2)187--213, 337(1)147--168, 355(3)315--326, 358(2)200--228, 362(1)1--16, 374(1)127--148, 383(1)5--22, 386(3)218--235, 390(1)27--39, 407(1)412--447, 410(2)168--201, 410(6)614--628, 410(24)2352--2364, 410(26)2478--2488, 410(42)4169--4179, 410(47)4844--4855
• Atanasiu, Adrian, 390(1)102--109
• Atanasiu, Radu, 390(1)102--109
• Atanasiu, Radu, see Atanasiu, Adrian
• Atanasiu:2008:PMA, 390(1)102--109
• Atici, Alp, 405(3)209--222
• Atici:2008:LUD, 405(3)209--222
• Atkinson, M. D., 349(3)309--317
• Atkinson, M. D., see Aldred, R. E. L.
• Atomic, 410(36)3337--3347
• atoms, 375(1)109--119
• Atserias, Albert, 371(3)155--168, 410(18)1666--1683
• Atserias:2007:CQE, 371(3)155--168
• Atserias:2009:ASE, 410(18)1666--1683
• ATSP, 370(1)218--228
• attack, 367(1)257--270, 367(3)308--323, 409(3)530--536
• attempted, 351(1)82--100
• Attila, 406(1)2--7
• attribute-efficiently, 387(1)32--50
• attribute-element, 360(1)327--351
• Attributed, 376(3)139--163
• auction-based, 378(2)153--164
• auctions, 337(1)390--398, 393(1)1--13
• Audibert, Jean-Yves, 410(19)1876--1902
• Audibert:2009:EET, 410(19)1876--1902
• Auger, Anne, 334(1)35--69
• Auger:2005:CRS, 334(1)35--69
• augmentation, 359(1)430--439, 401(1)131--143, 410(21)1970--1981
• Augustine, John, 410(38)3792--3803
• Augustine:2009:SPP, 410(38)3792--3803
• Auinger, K., 341(1)1--21
• Auinger:2005:CDP, 341(1)1--21
• Auletta, Vincenzo, 406(3)173--186, 410(36)3348--3356
• Auletta, Vincenzo, see Ambrosio, Pasquale
• Auletta:2009:DTM, 410(36)3348--3356
• Aumann, Yonatan, 410(43)4382--4390, 410(51)5334--5346
• Aumann, Yonatan, see Amir, Amihood
• Ausiello, Giorgio, 408(2)116--128, 410(36)3406--3413
• Ausiello, Giorgio, see Allulli, Luca
• Ausiello:2009:SSS, 410(36)3406--3413
• Austinat, Holger, 330(1)15--21
• Austinat:2005:RFC, 330(1)15--21
• authentication, 330(1)81--99, 340(1)102--153, 352(1)280--287, 367(1)139--161
• Author, 330(3)609--610, 331(2)485--486, 332(1)583--584, 333(3)455--456, 334(1)299--299, 335(2)405--406, 336(2)437--438, 337(1)399--400, 338(1)426--426, 339(2)372--373, 350(2)373--373, 360(1)461--461, 361(2)356--357
• autocorrelation, 410(24)2316--2322
• automata, HD-, 331(2)325--365
• automata, RRWW-, 410(37)3530--3538
• automata-theoretic, 370(1)131--169
• Automated, 359(1)306--328, 376(3)164--184
• automatic, 353(1)71--92, 353(1)272--290, 359(1)255--281, 369(1)300--313, 374(1)25--40, 404(3)235--255, 404(3)275--292, 410(30)2795--2803, 410(38)3573--3588
• automatically, 351(1)74--81, 368(1)1--29
• automaticity, 379(1)266--285
• automaton, 341(1)379--384, 345(2)331--344, 403(1)71--88, 410(37)3553--3562, 410(47)5022--5038
• automaton-based, 373(1)115--141
• automorphism, 410(21)2064--2071
• autonomous, 384(2)222--231, 399(1)71--82, 410(14)1355--1368, 410(15)1428--1439
• autonomous, non-, 403(1)3--10
• Autopoietic, 383(2)260--269
• auxiliary, 363(2)162--181
• availability, 362(1)115--126, 410(27)2663--2674, 410(47)4856--4863, 410(47)5039--5046
• available, 351(1)111--118
• Avellone, Alessandro, 409(1)41--58
• Avellone:2008:OTP, 409(1)41--58
• average, 347(1)214--238, 349(1)82--91, 359(1)255--281, 369(1)44--66, 378(3)271--291, 383(1)23--33, 387(2)155--166, 410(11)1030--1041
• Avgustinovich, S. V., 391(1)178--187
• Avgustinovich, S. V., see Puzynina, S. A.
• Avidor, Adi, 377(1)35--42
• Avidor:2007:MMC, 377(1)35--42
• Avigad, Jeremy, 370(1)48--59
• Avigad:2007:QER, 370(1)48--59
• Avin, Chen, 380(1)2--22
• Avin:2007:CTM, 380(1)2--22
• avoid, 369(1)197--210
• avoidability, 410(8)968--972
• avoidable, 409(3)432--437
• avoidance, 339(1)7--18, 410(30)2992--2998
• avoiding, 339(1)19--34, 391(1)126--137, 396(1)35--49, 410(1)44--52, 410(52)5403--5414
• Avron, Arnon, 394(3)144--158
• Avron:2008:CDV, 394(3)144--158
• aware, data-, 387(3)313--331
• aware, Space-, 373(1)41--69
• Awerbuch, Baruch, 361(2)200--209, 410(6)453--466
• Awerbuch:2006:TWC, 361(2)200--209
• Awerbuch:2009:RRN, 410(6)453--466
• Axiomatisations, 355(2)167--196, 360(1)459--459
• axiomatization, 330(3)377--405, 338(1)64--95, 353(1)93--117, 371(3)247--264, 373(1)92--114, 394(1)84--111
• axiomatized, 360(1)147--171
• Axiomatizing, 372(1)1--14
• axis, 406(1)72--79
• Azar, Yossi, 361(2)200--209, 361(2)314--328, 363(1)18--27
• Azar, Yossi, see Awerbuch, Baruch
• Azar:2006:IAO, 363(1)18--27
• Azar:2006:LBT, 361(2)314--328
• Azriel, D., 369(1)377--383
• Azriel:2006:QLR, 369(1)377--383