Index file section D for tcs2005.bib
Last update: Thu Jun 29 04:16:31 MDT 2023
Return to index directory
D
-
D, 341(1)247--262, 346(2)226--253, 352(1)293--305, 384(2)263--286,
390(1)40--55, 406(1)119--135, 410(44)4448--4456, 410(47)4844--4855
-
D'Agostino, Giovanna, 338(1)64--95
-
D'Alessandro, Flavio, 356(1)104--117, 377(1)73--92, 381(1)274--279,
410(47)5158--5181
-
D'Alessandro, Flavio, see Choffrut, Christian
-
D'Hondt, Ellie, 410(4)302--309
-
D0L, 330(1)123--133
-
D2B, 355(1)65--79
-
DA, 376(1)89--100
-
DAgostino:2005:ABQ, 338(1)64--95
-
Dahan, Xavier, 392(1)37--65
-
Dahan:2008:COR, 392(1)37--65
-
Dahlhaus, Elias, 409(3)601--616
-
Dahlhaus, Elias, see Berry, Anne
-
Dahllöf, Vilhelm, 332(1)265--291
-
Dahllof:2005:CMF, 332(1)265--291
-
Dai, Decheng, 410(8)756--765
-
Dai, Wenqiang, 369(1)448--455, 389(1)143--151
-
Dai, Wenqiang, see Xu, Yinfeng
-
Dai:2006:ERS, 369(1)448--455
-
Dai:2009:AAM, 410(8)756--765
-
DAlessandro:2006:SCF, 356(1)104--117
-
DAlessandro:2007:WQO, 377(1)73--92
-
DAlessandro:2009:PCF, 410(47)5158--5181
-
Daley, Mark, 330(2)237--250, 378(1)3--16, 387(2)103--112,
410(38)3711--3724
-
Daley, Mark, see Biegler, Franziska
-
Daley:2005:TGD, 330(2)237--250
-
Daley:2007:CDB, 378(1)3--16
-
Dall'Asta, Luca, 355(1)6--24
-
DallAsta:2006:ENT, 355(1)6--24
-
Dalmau, Víctor, 382(3)209--220, see Bulatov, Andrei
-
Damaschke, Peter, 339(2)333--343, 351(3)337--350
-
Damaschke:2005:QLL, 339(2)333--343
-
Damaschke:2006:PET, 351(3)337--350
-
Damgård, Cramer-, 370(1)186--200
-
Damon, James, 392(1)66--91
-
Damon:2008:SRS, 392(1)66--91
-
Dang, Thao, 354(2)250--271
-
Dang, Thao, see Alur, Rajeev
-
Dang, Zhe, 330(1)59--79, 341(1)344--363, 352(1)342--346
-
Dang, Zhe, see Ibarra, Oscar H.
-
Dang:2005:CLD, 341(1)344--363
-
Dang:2005:TWN, 330(1)59--79
-
Danicic, Sebastian, 360(1)23--41, 373(1)1--18
-
Danicic, Sebastian, see Binkley, Dave
-
Danicic:2007:ELF, 373(1)1--18
-
Daniell--Stone, 359(1)28--42
-
Danner, Norman, 383(2)115--131
-
Danner, Norman, see Pollett, Chris
-
Danos, Vincent, 404(1)61--75, 410(11)1003--1012
-
Danos, Vincent, see Curien, Pierre-Louis
-
Danos:2009:HLB, 410(11)1003--1012
-
Dantchev, Stefan, 410(21)2054--2063
-
Dantchev:2009:TRL, 410(21)2054--2063
-
Danvy, Olivier, 342(1)149--172, 375(1)1--2, 375(1)76--108
-
Danvy, Olivier, see Ager, Mads Sig,
see Biernacka, Ma{\l}gorzata
-
Danvy:2007:P, 375(1)1--2
-
Danziger, Peter, 410(52)5403--5414
-
Danziger:2009:CAA, 410(52)5403--5414
-
Daoud, Sameh S., 410(47)5122--5127
-
Daoud, Sameh S., see Khamis, Soheir M.
-
(D)APX, Poly-, 339(2)272--292
-
dark, 336(2)235--284
-
darkening, 374(1)261--276
-
Darondeau, Philippe, 338(1)1--16
-
Darondeau, Philippe, see Borzyszkowski, Andrzej M.
-
Das, Gautam K., 352(1)332--341
-
Das, K. Ch, 409(3)497--510
-
Das, K. Ch., see Abouelaoualim, A.
-
Das, Sandip, 352(1)332--341
-
Das, Sandip, see Das, Gautam K.
-
Das, Shantanu, 385(1)34--48
-
Das:2006:RAE, 352(1)332--341
-
Das:2007:MCU, 385(1)34--48
-
DasGupta, Bhaskar, 348(1)95--127, 393(1)54--71
-
DasGupta, Bhaskar, see Berman, Piotr
-
DasGupta:2005:ALM, 348(1)95--127
-
Dash, R. K., 377(1)243--259
-
Dash, R. K., see Rogers, A.
-
Daskalakis, Constantinos, 410(17)1581--1588
-
Daskalakis:2009:NAN, 410(17)1581--1588
-
Dassow, Jürgen, 387(2)136--146, 410(30)2910--2919,
410(35)3261--3271
-
Dassow:2007:NCS, 387(2)136--146
-
Dassow:2009:SOP, 410(30)2910--2919
-
Dassow:2009:TCH, 410(35)3261--3271
-
data, 298(1)179--206, 336(1)89--124, 336(2)403--435, 342(1)56--78,
342(1)104--131, 344(1)30--46, 344(2)298--334, 349(2)140--157,
349(3)361--381, 350(1)63--90, 371(1)62--71, 371(3)247--264,
377(1)282--283, 379(3)361--376, 379(3)405--417, 380(1)199--217,
382(3)170--182, 385(1)11--33, 385(1)264--285, 387(3)273--283,
387(3)313--331, 389(1)26--43, 389(1)190--218, 389(1)278--294,
397(1)129--149, 397(1)150--165, 397(1)194--232, 401(1)77--84,
402(2)156--171, 403(2)176--191, 407(1)302--309, 407(1)310--317,
408(1)55--65, 410(14)1346--1354, 410(19)1807--1825
-
data-aware, 387(3)313--331
-
data-flow, 364(3)292--310
-
data-independence, 340(1)82--101
-
data-oriented, 410(2)168--201
-
database, 336(1)125--151, 342(2)382--415, 353(1)53--62, 364(2)212--240
-
datalog, 403(2)221--238
-
dataspace, 331(2)291--323
-
datatypes, 333(1)3--66
-
date, 347(1)288--298, 369(1)230--238, 374(1)159--169, 393(1)102--108,
396(1)283--289
-
Datta, Anupam, 367(1)33--56
-
Datta, Anupam, see Backes, Michael
-
Daudé, Hervé, 393(1)260--279
-
Daude:2008:PSA, 393(1)260--279
-
Daumas, Marc, 351(1)1--1
-
Daumas:2006:P, 351(1)1--1
-
Daurat, A., 347(1)432--436
-
Daurat, Alain, 332(1)19--45, 347(1)393--414, 406(1)55--62
-
Daurat, Alain, see Brunetti, Sara
-
Daurat:2005:DQC, 332(1)19--45
-
Daurat:2005:SNC, 347(1)432--436
-
David, René, 410(42)4204--4215
-
David, Shai, Ben-, 382(3)167--169
-
David, Shoham, Ben-, 404(3)202--218
-
David:2009:DPC, 410(42)4204--4215
-
Davydov, Eugene, 368(3)205--216
-
Davydov:2006:CMR, 368(3)205--216
-
Dawar, Anuj, 350(2)174--187, 379(1)266--285, 410(18)1666--1683
-
Dawar, Anuj, see Atserias, Albert
-
Dawar:2006:BGI, 350(2)174--187
-
Dawar:2007:GAM, 379(1)266--285
-
De Carli, F., 410(27)2701--2713
-
De Felice, Clelia, 410(47)4937--4960
-
De Giacomo, Giuseppe, 371(3)169--182
-
De Giacomo, Giuseppe, see Calvanese, Diego
-
De Jaeger, Frédéric, 357(1)230--240
-
De Luca, Alessandro, 356(1)118--125, 362(1)282--300, 410(30)2860--2863
-
De Luca, Alessandro, see Bucci, Michelangelo,
see Luca, Aldo de
-
De Marco, Gianluca, 355(3)315--326
-
De Mol, Liesbeth, 390(1)92--101
-
De Nicola, Rocco, 356(3)387--421, 382(1)42--70, 398(1)217--242
-
De Nicola, Rocco, see Castagna, Giuseppe
-
De Prisco, R., 374(1)261--276
-
De Prisco, R., see Cimato, S.
-
De Prisco, Roberto, 410(36)3348--3356
-
De Prisco, Roberto, see Auletta, Vincenzo
-
De Santis, A., 374(1)261--276
-
De Santis, A., see Cimato, S.
-
De Santis, Alfredo, 407(1)213--230
-
De Simone, Caterina, 355(3)364--370, 389(1)91--99
-
de'Liguoro, Ugo, 398(1)1--11
-
de'Liguoro, Ugo, see Berardi, Stefano
-
de, Korteweg-, 332(1)337--366
-
Deadline, 409(3)477--485
-
deadline-TSP, 410(21)2241--2249
-
deadlock-free, 374(1)203--213
-
Deadlocks, 365(3)247--257
-
deal, 331(1)3--21
-
deAlfaro:2005:MCD, 345(1)139--170
-
deAlfaro:2007:CRG, 386(3)188--217
-
Debarbieux, D., 385(1)11--33
-
Debarbieux, D., see André, Y.
-
deBoer:2005:Pa, 331(2)249--250
-
deBoer:2005:Pb, 343(3)283--284
-
deBoer:2006:P, 365(1)1--1
-
deBoer:2009:SVC, 410(2)128--141
-
debugging, 354(1)153--168
-
DeCarli:2009:LLT, 410(27)2701--2713
-
decay, 410(41)4067--4084
-
decentralized, 348(2)294--310
-
decidability, 330(3)577--607, 336(1)125--151, 337(1)278--304,
341(1)247--262, 345(2)304--330, 351(1)2--13, 351(3)372--393,
353(1)93--117, 356(3)325--355, 360(1)172--192, 360(1)193--208,
364(2)196--211, 380(3)355--362, 391(1)150--163, 394(1)64--83,
394(3)144--158, 404(1)156--169, 410(24)2308--2315
-
decidable, 336(1)33--56, 337(1)105--118, 366(3)297--315, 373(1)1--18,
390(2)214--229
-
decide, 372(2)125--135
-
decide-and-halt, 410(20)1942--1951
-
deciding, 364(2)212--240, 367(1)2--32, 396(1)113--144, 407(1)583--586,
410(37)3438--3446, 410(42)4169--4179
-
deciding, early-, 410(6)570--580
-
Decimations, 410(24)2401--2409
-
decision, 330(1)145--169, 336(2)235--284, 338(1)247--274, 345(1)2--26,
349(3)283--308, 354(2)187--210, 376(1)112--126, 391(1)3--13,
397(1)77--93, 404(1)40--51
-
Decision-making, 378(3)253--270
-
Deckelbaum, Alan, 409(3)411--416
-
Deckelbaum:2008:SOR, 409(3)411--416
-
Decker, T., 361(2)226--240
-
Decker:2006:AAS, 361(2)226--240
-
declarative, 410(46)4626--4671
-
declustering, 359(1)123--132
-
decoders, 408(2)241--261
-
Decoding, 379(3)348--360
-
decomposition, 331(1)3--21, 335(2)147--186, 355(3)389--395,
367(3)336--346, 370(1)229--239, 376(1)60--69, 380(3)393--400,
388(1)243--266, 394(1)1--38, 399(3)206--219, 403(1)130--131,
403(2)265--284, 406(1)80--89, 409(2)269--281
-
dedicated, 391(1)1--2, 410(44)4445--4445
-
Dedication, 383(1)3--3
-
deductive, 342(2)382--415
-
Deeper, 349(2)158--167
-
Défago, Xavier, 396(1)97--112
-
Defago:2008:NUC, 396(1)97--112
-
default, 338(1)127--152, 364(2)241--253
-
Defect, 377(1)205--228
-
DeFelice:2009:CRC, 410(47)4937--4960
-
deficiency, 376(1)30--41, 407(1)448--457
-
deFigueiredo:2007:CSP, 381(1)57--67
-
definability, 343(1)158--176, 410(8)696--710
-
defined, 346(1)135--160, 351(1)101--110, 366(3)182--193, 378(1)3--16,
380(1)143--163, 401(1)36--51, 492(z)117--122
-
definedness, Well-, 371(3)183--199
-
Defining, 410(37)3495--3503
-
definite, 361(1)38--56
-
definition, 336(2)235--284, 337(1)51--104, 358(1)75--87, 394(1)1--38
-
deflation, 359(1)111--122
-
defying, 401(1)27--35
-
Degano, Pierpaolo, 340(1)154--178, 367(1)1--1, 408(1)66--82
-
Degano, Pierpaolo, see Bracciali, Andrea,
see Zunino, Roberto
-
Degano:2006:P, 367(1)1--1
-
degree, 332(1)417--446, 349(1)82--91, 356(1)170--185, 361(2)210--225,
363(1)43--59, 369(1)1--34, 369(1)239--249, 372(2)183--195,
379(3)306--316, 389(1)91--99, 407(1)242--249, 409(2)186--199,
409(3)601--616, 410(1)94--100, 410(8)688--695, 410(37)3530--3538,
410(47)5122--5127
-
degree, minimum-, 410(44)4489--4503
-
Degree-constrained, 355(3)389--395
-
DeJaeger:2006:CCL, 357(1)230--240
-
Dejean, 385(1)137--151, 410(30)2885--2888
-
deKlerk:2006:PMP, 361(2)210--225
-
Delanoue, Nicolas, 351(1)119--128
-
Delanoue:2006:UIA, 351(1)119--128
-
deLara:2007:AGT, 376(3)139--163
-
Delaune, Stéphanie, 368(1)161--167
-
Delaune:2006:URA, 368(1)161--167
-
delay, 344(2)103--119, 356(1)170--185, 380(1)23--36, 396(1)200--211,
399(1)3--11, 401(1)107--119, 403(1)3--10, 410(11)1030--1041,
410(14)1346--1354
-
delegation, 341(1)344--363, 409(3)417--431
-
deletable, non-, 406(1)97--118
-
deleted, 332(1)313--336
-
deletion, 332(1)47--61, 401(1)52--61, 410(27)2619--2631
-
deletion, insertion-, 330(2)339--348
-
deletions, 410(1)1--15
-
Delgrange, Olivier, 410(43)4432--4443
-
Delgrange, Olivier, see Baeza-Yates, Ricardo
-
Delhommé, Christian, 394(1)1--38,
see Courcelle, Bruno
-
delivery, 374(1)49--57, 393(1)102--108, 393(1)287--293,
410(27)2581--2591, 410(47)4856--4863
-
Della, 398(1)1--11
-
deLuca:2005:P, 340(2)179--185
-
deLuca:2006:PCO, 362(1)282--300
-
deLuca:2006:SCF, 356(1)118--125
-
deLuca:2008:RST, 407(1)569--573
-
Demaine, Erik D., 343(1)42--71, 343(1)72--96, 361(2)172--187,
361(2)342--355, 382(2)86--96
-
Demaine, Erik D., see Aichholzer, Oswin,
see B{\u{a}}doiu, Mihai,
see Hearn, Robert A.
-
Demaine:2006:CCG, 361(2)172--187
-
Demaine:2006:OST, 361(2)342--355
-
demand, media-on-, 399(1)3--11
-
demand, on-, 401(1)77--84
-
demand, video-on-, 393(1)240--259
-
Demange, Marc, 332(1)83--108, 349(3)462--474
-
Demange:2005:CPL, 349(3)462--474
-
Demange:2005:LVC, 332(1)83--108
-
DeMarco:2006:ADR, 355(3)315--326
-
Dematté, L., 408(1)83--96
-
Dematte:2008:EBP, 408(1)83--96
-
deMier:2005:STB, 346(2)254--264
-
Demirbas, Murat, 410(6)500--513
-
Demirbas:2009:GLQ, 410(6)500--513
-
DeMol:2008:TSC, 390(1)92--101
-
Demri, Stéphane, 360(1)96--123, 409(1)24--40
-
Demri:2006:LIP, 360(1)96--123
-
Demri:2008:VQC, 409(1)24--40
-
den Bussche, Jan, Van, 371(3)183--199
-
Deng, Ping, 381(1)29--32
-
Deng, Ping, see Wang, Feng
-
Deng, Xiaotie, 363(3)248--256, 378(2)133--133, 378(3)209--210,
407(1)182--191, 407(1)370--388, 410(44)4448--4456
-
Deng, Xiaotie, see Bu, Tian-Ming,
see Cai, Mao-cheng, \see{Chen, Xi,
see Chen, Zhi-Zhong, \see{Yang, Guomin
-
Deng, Yuxin, 350(2)188--212, 373(1)92--114
-
Deng:2006:TAT, 350(2)188--212
-
Deng:2007:APF, 373(1)92--114
-
Deng:2007:P, 378(2)133--133
-
DeNicola:2006:EPK, 356(3)387--421
-
DeNicola:2007:MCM, 382(1)42--70
-
Denis, François, 348(1)70--83
-
Denis:2005:LPU, 348(1)70--83
-
Dennunzio, A., 410(47)4823--4833
-
Dennunzio, Alberto, 410(38)3685--3693, 410(38)3962--3974
-
Dennunzio, Alberto, see Acerbi, Luigi
-
Dennunzio:2009:DDA, 410(47)4823--4833
-
Dennunzio:2009:SAC, 410(38)3962--3974
-
denominator, 351(1)74--81
-
denotational, 360(1)440--458
-
dense, 363(1)60--68, 407(1)389--399, 410(8)949--957, 410(38)3640--3654
-
Density, 403(2)328--346
-
dependence, 405(3)274--284
-
Dependences, 347(1)306--324
-
dependency, 353(1)53--62, 354(1)142--152, 355(2)167--196,
360(1)459--459, 364(2)212--240, 372(1)94--102, 387(3)273--283
-
dependent, 393(1)204--210
-
dependent, Context-, 376(1)101--111
-
deployment, 368(1)1--29
-
deployment, Self-, 402(1)67--80
-
depth, 354(3)391--404, 387(2)113--124, 409(3)617--622, 410(8)958--962,
410(35)3198--3208
-
depth, constant-, 407(1)474--487
-
depth, dot-, 345(2)448--472
-
depth, log-, 410(11)1054--1060
-
depth-first, 374(1)170--180
-
deQueiroz:2006:LLI, 355(2)105--107
-
deQueiroz:2006:P, 364(2)143--145
-
Derbel, Bilel, 399(1)83--100
-
Derbel:2008:FDD, 399(1)83--100
-
Derek, Ante, 367(1)33--56
-
Derek, Ante, see Backes, Michael
-
Derek, Magnus-, 393(1)124--132
-
derivated, 340(2)204--219
-
derivation, 346(1)3--27, 347(1)299--305, 355(3)274--290, 400(1)144--158,
410(21)1961--1969, 410(35)3198--3208
-
derivative, 332(1)141--177, 347(1)299--305
-
Dershowitz, Nachum, 357(1)53--69
-
Dershowitz:2006:ACP, 357(1)53--69
-
DeSantis:2008:NCP, 407(1)213--230
-
Désarménien, Jacques, 332(1)567--572,
see Crochemore, Maxime
-
descendent, 370(1)299--308
-
describe, 351(1)74--81, 368(1)1--29
-
description, 336(1)181--203, 336(2)235--284, 336(2)285--309,
345(2)206--234, 384(1)77--86
-
descriptional, 330(2)267--285, 330(2)311--324, 330(2)361--373,
410(1)108--112, 410(35)3250--3260
-
descriptive, 365(3)258--282
-
Desel, Jörg, 410(12)1190--1216, see Lorenz, Robert
-
design, 336(2)205--207, 336(2)235--284, 340(1)1--2, 351(1)74--81,
351(1)111--118, 351(2)167--183, 368(1)1--29, 402(1)56--66,
407(1)370--388, 410(17)1564--1572
-
designed, 351(1)82--100, 351(1)111--118
-
designing, 332(1)405--415, 332(1)461--485, 410(36)3348--3356
-
DeSimone:2006:ECJ, 355(3)364--370
-
DeSimone:2007:ECR, 389(1)91--99
-
detailed, 351(1)82--100
-
detect, 408(2)199--207
-
detected, 368(1)1--29
-
detecting, 335(1)3--14
-
detection, 340(1)82--101, 359(1)306--328, 363(1)69--75, 395(2)158--170,
395(2)171--192, 403(2)307--327, 407(1)554--563, 408(2)151--162,
410(6)614--628
-
deteriorating, 362(1)115--126, 410(8)830--836, 410(38)3761--3768
-
determinacy, 352(1)190--196
-
determinant, 409(2)255--268
-
Determination, 332(1)19--45, 358(1)65--74, 410(35)3209--3222
-
determined, 352(1)57--70
-
determining, 403(1)42--51, 405(1)50--63, 410(47)5122--5127
-
determinism, 333(3)355--371, 344(2)120--133, 410(37)3438--3446,
410(41)4026--4043
-
determinism, non-, 368(1)1--29
-
deterministic, 334(1)275--297, 339(2)200--240, 347(1)276--287,
355(3)315--326, 362(1)196--206, 362(1)232--237, 363(2)135--148,
363(2)149--161, 363(2)182--195, 378(1)87--100, 387(1)18--31,
387(2)187--195, 399(1)83--100, 406(3)173--186, 410(16)1477--1485,
410(16)1516--1533, 410(21)2250--2278, 410(47)5000--5009
-
deterministic, non-, 368(1)1--29, 394(3)223--228,
399(3)169--178, 410(38)3988--3994
-
determinization, 363(2)224--233
-
determinized, 350(2)164--173
-
Deutsch, Alin, 336(1)57--87, 371(3)200--226
-
Deutsch:2005:XQC, 336(1)57--87
-
Deutsch:2007:RQU, 371(3)200--226
-
develop, 368(1)1--29
-
development, 343(3)482--508, 410(12)1217--1260
-
Developments, 376(1)1--2, 397(1)150--165
-
devices, 369(1)67--81, 378(2)198--207, 408(1)17--30, 410(15)1428--1439
-
Devillers, O., 408(2)174--187
-
Devillers, O., see Aleardi, L. Castelli
-
deviousness, 408(2)99--105
-
Dezani, Coppo-, 398(1)114--128
-
Dezani-Ciancaglini, 398(1)1--11
-
Dezani-Ciancaglini, Mariangiola, 355(2)108--126, 373(1)41--69,
402(2)156--171, 410(2)142--167
-
Dezani-Ciancaglini, Mariangiola, see Alessi, Fabio,
see Barbanera, Franco,
see Capecchi, Sara
-
Dezani-Ciancaglini:2008:STD, 402(2)156--171
-
DFA, 330(2)299--310, 410(24)2424--2430
-
DFAs, 330(2)221--235
-
DFCA, 410(24)2424--2430
-
DHondt:2009:QAG, 410(4)302--309
-
Di Berardini, M. R., 356(3)291--324, 410(33)3149--3165
-
Di Berardini, M. R., see Bartocci, E.,
see Corradini, F.
-
Di Giacomo, Emilio, 359(1)148--175, 408(2)129--142
-
Di Giacomo, Emilio, see Badent, Melanie
-
Di Gianantonio, Pietro, 351(1)39--51, 398(1)150--169
-
Di Gianantonio, Pietro, see Ciaffaglione, Alberto
-
Di Ianni, Miriam, 384(2)161--167
-
Di Ianni, Miriam, see Clementi, Andrea E. F.
-
Di Iorio, Ugo, 401(1)144--152
-
Di Iorio, Ugo, see Bonifaci, Vincenzo
-
Di Lena, P., 410(47)4823--4833
-
Di Lena, P., see Dennunzio, A.
-
Di Pierro, Alessandra, 346(1)1--2, 382(1)1--2
-
Di Pierro, Alessandra, see Cerone, Antonio
-
Di Salvo, Aleksej, 383(1)23--33
-
Diaconescu, R{\u{a}}zvan, 343(3)305--331, 379(1)210--230
-
Diaconescu:2005:BSH, 343(3)305--331
-
Diaconescu:2007:UPW, 379(1)210--230
-
diagonal, 372(1)37--45
-
diagrams, 339(2)200--240, 408(2)163--173
-
diameter, 407(1)574--582, 410(1)78--83
-
Dias, Vânia M. F., 337(1)240--248
-
Dias:2005:GBG, 337(1)240--248
-
Díaz, J., 382(2)120--130, 410(30)2920--2934
-
Diaz, Josep, 410(27)2725--2731
-
Díaz, Josep, 348(2)129--129, 349(1)40--51, 377(1)271--276,
381(1)197--217, 406(3)240--247,
see Àlvarez, Carme
-
Díaz, Sonia, Pérez-, 359(1)344--368
-
Díaz-Pernil, Daniel, 404(1)76--87
-
Diaz-Pernil:2008:UFT, 404(1)76--87
-
Diaz:2005:CCN, 349(1)40--51
-
Diaz:2005:P, 348(2)129--129
-
Diaz:2007:BBW, 382(2)120--130
-
Diaz:2007:MCM, 377(1)271--276
-
Diaz:2009:BCA, 410(27)2725--2731
-
Diaz:2009:STF, 410(30)2920--2934
-
dichotomy, 349(1)31--39
-
dictionary, 340(2)432--442, 380(1)47--68, 382(2)86--96, 387(3)313--331
-
Didier, Gilles, 369(1)396--405
-
Didier, Gilles, see Acuña, Vicente
-
Didimo, Walter, 359(1)148--175
-
Didimo, Walter, see Di Giacomo, Emilio
-
Diedrich, Florian, 377(1)181--204
-
Diedrich:2007:FSA, 377(1)181--204
-
Diekert, Volker, 330(1)15--21, 356(1)126--135, 410(30)2935--2946
-
Diekert, Volker, see Austinat, Holger
-
Diekert:2006:LGT, 356(1)126--135
-
Diekert:2009:SRA, 410(30)2935--2946
-
Dietzfelbinger, Martin, 380(1)47--68, 410(44)4446--4447
-
Dietzfelbinger:2007:BAD, 380(1)47--68
-
Dietzfelbinger:2009:MPD, 410(44)4446--4447
-
difference, 336(2)235--284, 401(1)217--227, 410(11)1042--1053
-
different, 330(2)299--310, 368(1)1--29, 370(1)299--308, 393(1)23--36,
405(1)50--63
-
Differentiable, 361(1)111--129
-
differential, 332(1)497--513, 339(2)272--292, 364(2)166--195,
372(2)165--182, 379(1)166--209, 396(1)63--70, 408(1)4--16
-
differently, 368(1)1--29
-
diffusion, 401(1)1--16
-
diffusion, reaction-, 403(1)3--10
-
Digest, 347(1)432--436, 349(3)361--381
-
DiGiacomo:2006:K, 359(1)148--175
-
DiGianantonio:2008:TAS, 398(1)150--169
-
digit, 332(1)313--336, 341(1)55--72, 351(1)61--73, 409(3)549--556
-
digital, 377(1)157--169, 405(1)164--175, 410(38)3655--3669
-
digraph, 399(3)206--219, 407(1)532--544, 407(1)545--553,
410(21)1982--1985, 410(47)5138--5144, 410(52)5425--5442
-
dihomotopy, 365(3)247--257
-
Dilemma, 377(1)243--259
-
dimension, 345(2)235--247, 349(3)392--406, 349(3)443--451, 350(1)40--48,
350(1)49--62, 351(2)276--294, 355(3)382--388, 359(1)176--187,
381(1)105--123, 392(1)37--65, 397(1)94--113, 400(1)46--61,
410(4)347--354, 410(21)2162--2173
-
dimension, VC-, 364(1)62--76
-
dimensional, 331(1)3--21, 333(3)331--346, 346(2)455--468,
356(3)265--290, 363(1)85--98, 368(1)168--194, 405(3)209--222,
410(11)1081--1092
-
dimensional, 3-, 407(1)488--495
-
dimensional, multi-, 346(2)469--489
-
dimensional, one-, 344(2)208--225, 377(1)205--228
-
dimensional, three-, 346(2)300--306
-
dimensional, two-, 337(1)360--369, 340(2)364--380,
340(2)408--431, 347(1)239--275, 359(1)15--27, 368(3)196--204,
369(1)463--469, 391(1)178--187, 410(16)1477--1485,
410(27)2701--2713, 410(37)3504--3512, 410(37)3520--3529,
410(51)5317--5333
-
dimensionality, 371(1)62--71, 410(18)1618--1628
-
Ding, Cunsheng, 330(1)81--99, 410(24)2316--2322
-
Ding, Cunsheng, see Cai, Ying
-
Ding, Guoli, 332(1)63--81
-
Ding, Guoli, see Seiden, Steven S.
-
Ding, Kequan, 358(1)56--64, 395(1)47--56
-
Ding, Kequan, see Gao, Shile, \see{Liao, Bo
-
Ding:2005:CTC, 330(1)81--99
-
Dinitz, Yefim, 384(2)168--183
-
Dinitz:2007:TAB, 384(2)168--183
-
Dinu, Liviu P., 359(1)455--461
-
Dinu:2006:EAR, 359(1)455--461
-
diophantine, 352(1)342--346, 374(1)191--195, 410(47)5191--5195
-
DiPierro:2007:PQA, 382(1)1--2
-
direct, 410(42)4204--4215, 410(47)5093--5111
-
directed, 352(1)318--321, 370(1)94--109, 380(1)37--46, 388(1)1--25,
396(1)271--276, 396(1)277--282, 410(27)2592--2618,
410(27)2759--2766, 410(47)5138--5144
-
directed, syntax-, 410(37)3495--3503
-
directional, 400(1)1--18, 410(47)4823--4833
-
directly, 331(1)3--21, 336(2)235--284
-
DiSalvo:2007:SFE, 383(1)23--33
-
discipline, 398(1)63--81
-
discontinuity, 397(1)166--193
-
discounted, 345(1)139--170
-
discounting, 410(37)3481--3494
-
discovery, 335(1)29--51, 364(1)132--142, 408(2)106--115,
410(43)4327--4340
-
discrepancy, low-, 331(1)23--36
-
discrete, 346(2)200--225, 346(2)300--306, 347(1)299--305,
347(1)370--392, 366(1)144--162, 372(2)165--182, 378(1)87--100,
379(3)361--376, 380(1)181--198, 380(3)276--285, 386(1)3--37,
389(1)82--90, 391(1)75--89, 395(1)132--133, 404(1)97--111,
405(3)256--273, 406(1)8--14, 406(1)15--23, 406(1)31--42,
406(1)72--79, 409(3)617--622, 410(4)384--405, 410(4)426--442,
410(8)736--744, 410(21)2126--2134, 410(44)4448--4456
-
discrete-event, 388(1)199--226
-
discrete-time, 353(1)249--271
-
discreteness, 371(1)106--114
-
discuss, 351(1)74--81
-
disjoint, 359(1)188--199, 369(1)427--435, 370(1)60--73, 377(1)93--109,
396(1)145--150, 401(1)131--143, 406(1)15--23, 410(47)5138--5144
-
disjoint, edge-, 399(1)128--140, 410(8)926--932
-
disk, 352(1)1--7, 377(1)271--276, 384(2)152--160, 385(1)49--59,
399(1)38--53, 410(8)756--765, 410(14)1388--1400, 410(52)5398--5402
-
displacement, 407(1)155--181, 410(21)2279--2284
-
dissimilarities, triplet-, 389(1)44--55
-
distance, 337(1)217--239, 337(1)331--346, 337(1)360--369,
351(1)101--110, 352(1)322--328, 359(1)344--368, 360(1)373--385,
369(1)136--141, 377(1)277--281, 387(1)18--31, 395(2)235--254,
396(1)28--34, 399(1)118--127, 407(1)1--20, 407(1)587--590,
410(8)837--846, 410(24)2365--2376, 410(38)3804--3813,
410(43)4382--4390, 410(47)4905--4919, 410(47)5072--5081,
410(50)5215--5226, 410(51)5300--5316
-
distance-hereditary, 341(1)411--440
-
distill, 368(1)1--29
-
distillation, 382(2)157--166
-
distinct, 378(3)211--222, 410(6)467--480
-
distributed, 330(2)195--204, 331(1)73--96, 331(2)291--323,
336(2)285--309, 343(1)114--132, 344(2)226--242, 346(2)358--387,
347(1)130--166, 364(3)318--337, 365(1)23--66, 365(1)83--108,
381(1)183--196, 384(2)168--183, 385(1)101--114, 388(1)199--226,
389(3)528--549, 396(1)113--144, 399(1)12--37, 399(1)83--100,
402(2)120--141, 402(2)199--220, 406(3)248--262, 410(1)62--77,
410(2)168--201, 410(6)514--532, 410(6)614--628, 410(6)629--659,
410(14)1355--1368
-
distribution, 350(1)3--12, 352(1)8--30, 355(2)243--260, 369(1)239--249,
369(1)442--447, 379(3)306--316, 379(3)361--376, 406(1)15--23,
410(8)688--695, 410(19)1765--1780
-
Ditmarsch, H. P. van, 349(3)309--317
-
Ditmarsch, H. P. van, see Aldred, R. E. L.
-
divergence, 351(1)27--38, 372(2)125--135
-
diverse, 351(1)111--118
-
diversity, 410(26)2455--2462
-
divide, 352(1)8--30
-
divisibility, 339(1)3--6, 362(1)207--221
-
division, 331(1)3--21, 370(1)240--253, 404(1)76--87, 410(12)1261--1271
-
divisions, 341(1)1--21, 352(1)71--84
-
Djelloul, Selma, 410(8)696--710
-
Djelloul:2009:TLD, 410(8)696--710
-
DLS-trees, 359(1)378--399
-
DNA, 330(2)237--250, 334(1)99--113, 334(1)131--159, 358(1)56--64,
404(1)88--96, 410(4)417--425, 410(15)1428--1439, 410(15)1440--1447
-
DNA-based, 410(15)1448--1460
-
DNAzymes, 410(15)1428--1439
-
DNF, 347(1)325--335, 352(1)85--96
-
do, 410(4)376--383
-
Do-All, 333(3)433--454
-
Dobrev, S., 410(14)1388--1400
-
Dobrev, S., see Czyzowicz, J.
-
Dobrev, Stefan, 399(1)101--117
-
Dobrev:2008:FDF, 399(1)101--117
-
documents, 387(3)284--297
-
Doerr, Benjamin, 359(1)123--132
-
Doerr:2006:IBS, 359(1)123--132
-
Dogrusoz, Ugur, 368(3)195--195
-
Dogrusoz, Ugur, see Sahinalp, Suleyman Cenk
-
doing, 377(1)126--138
-
Dolev, Shlomi, 369(1)348--360, 410(6)514--532
-
Dolev--Yao, 340(1)57--81, 340(1)154--178
-
Dolev:2006:DLB, 369(1)348--360
-
Dolev:2009:ECS, 410(6)514--532
-
Dolinka, Igor, 372(1)1--14
-
Dolinka:2007:AIB, 372(1)1--14
-
domain, 333(1)171--197, 337(1)360--369, 342(1)132--148, 358(2)173--199,
365(3)171--183, 368(1)30--49, 368(1)124--148, 373(1)142--160,
379(1)84--119, 380(1)181--198, 394(3)144--158, 398(1)170--182,
405(1)73--74, 409(2)282--291
-
domain-like, 365(3)258--282
-
Domain-theoretical, 388(1)152--172
-
domains, -, 405(1)73--74
-
Domaratzki, Michael, 345(2)304--330, 366(3)182--193, 369(1)183--196,
378(1)3--16, 387(2)147--154, 410(24)2377--2392
-
Domaratzki, Michael, see Daley, Mark
-
Domaratzki:2005:DTB, 345(2)304--330
-
Domaratzki:2006:APS, 369(1)183--196
-
Domaratzki:2006:CDM, 366(3)182--193
-
Domaratzki:2007:TCL, 387(2)147--154
-
Domaratzki:2009:SCP, 410(24)2377--2392
-
dominance, 410(38)3694--3701
-
dominating, 352(1)1--7, 371(3)148--154, 381(1)241--247, 385(1)49--59,
385(1)60--70, 385(1)202--213, 385(1)226--240, 410(8)661--669,
410(8)756--765, 410(8)949--957, 410(38)3804--3813,
410(47)5122--5127, 410(52)5455--5466
-
domination, 349(2)123--139, 352(1)47--56, 352(1)215--225,
359(1)299--305, 410(8)977--982
-
domination, paired-, 410(47)5063--5071, 410(47)5072--5081
-
domino, 407(1)29--84
-
Dömösi, Pál, 366(3)194--198, 410(47)4874--4877
-
Domosi:2006:APL, 366(3)194--198
-
Domosi:2009:SYT, 410(47)4874--4877
-
don't, 362(1)248--254, 410(43)4327--4340
-
Dondi, Riccardo, 347(1)36--53
-
Dondi, Riccardo, see Bonizzoni, Paola
-
Dong, Guozhu, 335(1)15--27
-
Dong, Guozhu, see Wang, Lusheng
-
Dong, Zhongqi, 352(1)280--287
-
Dong, Zhongqi, see Zhao, Zhu
-
Donkers, H. H. L. M., 349(2)245--267
-
Donkers:2005:SEF, 349(2)245--267
-
Dorigo, Marco, 344(2)243--278
-
Dorigo:2005:ACO, 344(2)243--278
-
Dorrigiv, Reza, 410(38)3694--3701
-
Dorrigiv:2009:RDP, 410(38)3694--3701
-
dot-depth, 345(2)448--472
-
Doty, David, 381(1)105--123
-
Doty:2007:PD, 381(1)105--123
-
Dou, Wenqing, 372(1)103--107
-
Dou:2007:RMT, 372(1)103--107
-
double, 381(1)68--85, 410(51)5300--5316
-
double-loop, 359(1)69--76
-
double-quiescent, 362(1)1--16
-
doubling, 410(11)1081--1092
-
Dougherty, Daniel J., 360(1)228--246, 398(1)114--128
-
Dougherty:2006:NFB, 360(1)228--246
-
Dougherty:2008:CSN, 398(1)114--128
-
Dourisboure, Yon, 383(1)34--44
-
Dourisboure:2007:SBT, 383(1)34--44
-
Dowek, Gilles, 360(1)193--208
-
Dowek:2006:EBD, 360(1)193--208
-
down, 368(1)1--29
-
down, top-, 336(1)153--180
-
Downey, Rod, 351(3)295--295
-
Downey:2006:E, 351(3)295--295
-
Dpi, 373(3)182--212
-
DPTAS-completeness, 339(2)272--292
-
Dr, 410(44)4446--4447
-
Dragan, Feodor F., 347(1)54--75, 383(1)34--44
-
Dragan, Feodor F., see Chepoi, Victor D.,
see Dourisboure, Yon
-
Drawing, 408(2)129--142, 410(11)1061--1072
-
Dra{\v{z}}an, S., 410(33)3128--3148, see Barnat, J.
-
Dreyfus, Gérard, 344(2)298--334,
see Goulon-Sigwalt-Abram, Aurélie
-
Drimmelen, Govert van, 353(1)93--117
-
Drimmelen, Govert van, see Goranko, Valentin
-
driven, graph-, 362(1)86--99
-
driven, heuristic-, 354(1)98--117
-
Drossopoulou, Sophia, 368(1)1--29, 410(2)142--167
-
Drossopoulou, Sophia, see Capecchi, Sara
-
Drossopoulou:2006:FMD, 368(1)1--29
-
Droste, Manfred, 366(3)199--227, 366(3)228--247, 380(1)69--86,
410(37)3481--3494
-
Droste:2006:SIF, 366(3)199--227
-
Droste:2006:WTA, 366(3)228--247
-
Droste:2007:WAW, 380(1)69--86
-
Droste:2009:WAW, 410(37)3481--3494
-
Du, Ding-zhu, 378(3)209--210
-
Du, Ding-zhu, see Chen, Zhi-Zhong
-
Du, Hongwei, 352(1)1--7, 410(8)661--669
-
Du, Hongwei, see Li, Deying, \see{Wu, Weili
-
Du, Hongwei David, 381(1)29--32
-
Du, Hongwei David, see Wang, Feng
-
Du, Ye, 407(1)583--586
-
Du:2008:CDB, 407(1)583--586
-
dual, 345(2)425--447, 351(3)446--458, 360(1)289--326, 396(1)180--190
-
dual, primal-, 378(2)143--152
-
dual, Self-, 391(1)39--50
-
Dual-bounded, 379(3)361--376
-
duality, star-, 391(1)39--50
-
dualization, 382(2)139--150
-
Duan, Runyao, 386(1)151--166
-
Duan, Runyao, see Feng, Yuan
-
Dubickas, Art{\=u}ras, 410(47)5191--5195
-
Dubickas:2009:BWG, 410(47)5191--5195
-
Duchon, Philippe, 355(1)96--103
-
Duchon:2006:CGT, 355(1)96--103
-
Duckworth, William, 410(50)5236--5243
-
Duckworth:2009:LIS, 410(50)5236--5243
-
due, 351(1)82--100, 369(1)230--238, 374(1)159--169, 381(1)44--56
-
Dufourd, Jean-François, 403(2)133--159
-
Dufourd:2008:PGT, 403(2)133--159
-
Duh, Dyi-Rong, 396(1)191--199
-
Duh, Dyi-Rong, see Chen, Ying-You
-
Dukes, W. M. B., 396(1)35--49
-
Dukes:2008:CGC, 396(1)35--49
-
Dulio, Paolo, 406(1)80--89
-
Dulio:2008:CDP, 406(1)80--89
-
Dulucq, S., 352(1)306--317
-
Dulucq, S., see Brlek, S.
-
Dumitrescu, Adrian, 399(3)220--235
-
Dumitrescu:2008:OVL, 399(3)220--235
-
Dunne, Paul E., 396(1)113--144
-
Dunne:2008:CDR, 396(1)113--144
-
Düntsch, Ivo, 347(3)498--512
-
Duntsch:2005:RTB, 347(3)498--512
-
duplex, 410(15)1440--1447
-
duplication, 347(1)36--53, 369(1)239--249, 385(1)115--126,
410(8)847--858
-
Duprat, Arthur, 344(2)298--334
-
Duprat, Arthur, see Goulon-Sigwalt-Abram, Aurélie
-
Durak, Berke, 340(2)364--380
-
Durak, Berke, see Choffrut, Christian
-
Durand, Bruno, 345(2)235--247
-
Durand, Bruno, see Bernardi, Vincent
-
Durand, F., 391(1)20--38
-
Durand:2008:CST, 391(1)20--38
-
duration, 337(1)278--304
-
Dutch, 341(1)398--410
-
Duval, 339(1)61--67
-
Duval, Jean-Pierre, 340(2)432--442
-
Duval, Jean-Pierre, see Clément, Julien
-
Dvo{\v{r}}{\'a}k, Zden{\v{e}}k, 348(2)187--206
-
Dvorak:2005:LCC, 348(2)187--206
-
Dyck, 407(1)117--133
-
Dyer, Danny, 399(3)158--168
-
Dyer, Danny, see Alspach, Brian
-
Dyer, Martin, 410(38)3949--3961
-
Dyer, Martin, see Bulatov, Andrei
-
dynamic, 342(1)104--131, 360(1)23--41, 368(1)1--29, 369(1)348--360,
372(2)242--266, 373(1)142--160, 375(1)169--192, 380(1)127--142,
380(3)276--285, 382(2)86--96, 393(1)37--53, 394(3)175--186,
396(1)247--253, 398(1)170--182, 399(1)101--117, 400(1)1--18,
402(2)156--171, 403(1)3--10, 406(3)248--262, 407(1)310--317,
409(3)521--529, 410(8)914--925, 410(17)1564--1572,
410(27)2732--2745, 410(41)4085--4093, 410(43)4402--4413,
410(43)4414--4422, 410(47)4823--4833
-
dynamical, 342(2)229--261, 344(1)69--85, 386(1)3--37, 389(1)82--90,
395(1)132--133, 410(38)3685--3693, 410(47)4878--4891
-
dynamically, 335(2)331--372
-
Dzelme-B{\=e}rzi{\c{n}}a, Ilze, 410(20)1952--1959
-
Dzelme-Berzina:2009:MLQ, 410(20)1952--1959