Index file section D for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
D
-
d, 286(1)139--149
-
D'Alessandro, Flavio, 273(1)11--33, 327(3)255--268
-
d'Alessandro, Flavio, 293(1)55--82
-
d'arbres, 281(1)219--233
-
D'Arco, Paolo, 320(2)269--291
-
D'Arco, Paolo, see Blundo, Carlo
-
D'Argenio, Pedro R., 254(1)225--257
-
D'Argenio, Pedro R., see Springintveld, Jan
-
D-finite, 307(2)257--276
-
D0L, 244(1)117--134, 259(1)689--698, 281(1)537--553, 289(1)485--501,
301(1)187--200, 302(1)481--488, 306(1)101--112, 306(1)535--542
-
DAC, 286(1)3--32
-
Daciuk, Jan, 313(1)45--56
-
Daciuk:2004:FAC, 313(1)45--56
-
Dagstuhl, 313(3)539--543
-
Dahllöf, Vilhelm, 320(2)373--394
-
Dahllof:2004:AFV, 320(2)373--394
-
Dai, Jack J., 310(1)1--33
-
Dai, Jack Jie, 292(3)723--732
-
Dai:2003:SKZ, 292(3)723--732
-
Dai:2004:FSD, 310(1)1--33
-
DAlessandro:2002:CPT, 273(1)11--33
-
dAlessandro:2003:FPP, 293(1)55--82
-
DAlessandro:2004:WQO, 327(3)255--268
-
Daley, Mark, 306(1)19--38, 320(1)51--69
-
Daley:2003:CDP, 306(1)19--38
-
Daley:2004:FLD, 320(1)51--69
-
Dalmau, Víctor, 306(1)485--511, 329(1)315--323
-
Dalmau:2003:LQF, 306(1)485--511
-
Dalmau:2004:CCH, 329(1)315--323
-
Damanik, David, 292(1)9--31
-
Damanik, David, see Allouche, Jean-Paul
-
Damas, Luís, 247(1)277--290, 318(3)373--408,
see Broda, Sabine
-
Damaschke, Peter, 285(1)43--53, 289(1)845--852, 302(1)35--44
-
Damaschke:2002:OSB, 285(1)43--53
-
Damaschke:2002:TSN, 289(1)845--852
-
Damaschke:2003:NOS, 302(1)35--44
-
Damiand, Guillaume, 263(1)99--111
-
Damiand:2001:SPG, 263(1)99--111
-
Damiani, Ferruccio, 272(1)69--112
-
Damiani, Ferruccio, see Coppo, Mario
-
Dang, Zhe, 289(1)165--189, 296(1)59--74, 299(1)413--438, 299(1)687--706,
302(1)93--121, 312(2)359--378, 312(2)379--399, 313(1)57--71,
328(1)203--219
-
Dang, Zhe, see Ibarra, Oscar H.,
see Xie, Gaoyan
-
Dang:2003:GDT, 296(1)59--74
-
Dang:2003:PLV, 299(1)413--438
-
Dang:2003:PTA, 302(1)93--121
-
Dang:2004:PPT, 313(1)57--71
-
Danicic, Sebastian, 290(1)831--862
-
Danicic, Sebastian, see Laurence, Michael R.
-
Daniel, Marc, 319(1)411--421
-
Daniel:2004:ICS, 319(1)411--421
-
Daniel{\v{S}}tefankovi{\v{c}}, 234(1)85--107, 245(2)255--280,
see Krá{\v{l}}ovi{\v{c}}, Rastislav,
see Ru{\v{z}}i{\v{c}}ka, Peter
-
Danner, N., 318(1)105--119
-
Danner:2004:MNM, 318(1)105--119
-
Danos, Vincent, 294(3)353--378, 325(1)25--44, 325(1)69--110
-
Danos, Vincent, see Chabrier-Rivier, Nathalie
-
Danos:2003:CIC, 294(3)353--378
-
Danos:2004:FMB, 325(1)69--110
-
Dantsin, Evgeny, 289(1)69--83
-
Dantsin:2002:DAS, 289(1)69--83
-
Danvy, Olivier, 248(1)243--287, 308(1)239--257
-
Danvy:2000:LDT, 248(1)243--287
-
Danvy:2003:FOO, 308(1)239--257
-
Dányi, G., 262(1)229--240
-
Danyi:2001:CHC, 262(1)229--240
-
dark, 235(1)109--141
-
Darondeau, Philippe, 258(1)573--598
-
Darondeau:2001:PNR, 258(1)573--598
-
Darriba, V. M., 328(1)171--186
-
Darriba, V. M., see Vilares, M.
-
dart-free, 321(2)171--194
-
Dartnell, Pablo, 304(1)485--497
-
Dartnell:2003:CCA, 304(1)485--497
-
Das, Sandip, 299(1)273--288
-
Das, Sandip, see Nandy, Subhas C.
-
Dasgupta, B., 270(1)111--124
-
Dasgupta, B., see Hwang, F. K.
-
DasGupta, Bhaskar, 262(1)161--189
-
DasGupta:2001:PTA, 262(1)161--189
-
Dassow, Jürgen, 270(1)701--738
-
Dassow:2002:OLG, 270(1)701--738
-
data, 127(1)181--186, 234(1)325--326, 235(1)3--23, 238(1)31--80,
241(1)115--141, 241(1)191--209, 241(1)211--234, 244(1)95--116,
255(1)449--481, 258(1)233--267, 258(1)555--571, 266(1)631--652,
275(1)179--213, 275(1)427--462, 278(1)271--301, 288(1)101--128,
289(1)191--204, 289(1)401--423, 289(2)977--995, 292(2)387--416,
296(3)435--452, 298(1)179--206, 298(3)529--556, 303(2)431--445,
304(1)87--101, 312(1)3--15, 316(1)105--111, 325(3)391--407,
377(1)282--283
-
data-dependent, 286(1)97--116
-
data-independent, 286(1)97--116
-
data-type, ``Inductive-, 817(z)81--82
-
data-type, Inductive-, 272(1)41--68
-
database, 254(1)423--463, 254(1)591--661, 258(1)555--571,
269(1)451--468, 296(3)405--434, 311(1)389--437
-
datalog, 239(2)257--276, 303(1)103--133, 308(1)199--226
-
dataspaces, 298(3)529--556
-
dates, 320(2)199--212
-
Dauchet, M., 236(1)1--1
-
Dauchet, Max, 281(1)219--233
-
Dauchet:2000:TAP, 236(1)1--1
-
Dauchet:2002:RNL, 281(1)219--233
-
Daudé, Hervé, 302(1)417--430, see Creignou, Nadia
-
Daumas, Marc, 291(2)143--157
-
Daumas:2002:ASN, 291(2)143--157
-
Daurat, Alain, 282(2)319--336, 304(1)35--57
-
Daurat, Alain, see Brunetti, Sara
-
Daurat:2002:CP, 282(2)319--336
-
David, 259(1)663--670
-
David, R., 300(1)477--504
-
David, René, 266(1)159--193
-
David, Shai, Ben-, 284(1)53--66
-
David:2001:ABP, 266(1)159--193
-
David:2003:DRP, 300(1)477--504
-
Davy, Beth, 320(1)35--50
-
Davy, Beth, see Condon, Anne
-
DAWGs, 301(1)103--117
-
Dawson, Ed, 312(2)321--335
-
Dawson, Ed, see Wu, Chuan-Kun
-
Daza, Vanessa, 320(2)269--291
-
Daza, Vanessa, see Blundo, Carlo
-
dcpos, 305(1)159--186
-
De Agostino, Sergio, 127(1)181--186, 234(1)325--326
-
de Falco, Lorenzo, Tortora, 294(3)489--524
-
De Nicola, Rocco, 302(1)179--189
-
De Prisco, Roberto, 243(1)35--91
-
deadlines, 295(1)251--261, 325(3)479--488
-
deadlocking, 266(1)605--630
-
DeAgostino:1994:PCP, 127(1)181--186, 234(1)325--326
-
DeAgostino:2000:EPC, 127(1)181--186, 234(1)325--326
-
deAlfaro:2002:HD, 290(1)565--597
-
deAngulo:2004:NLM, 320(1)111--121
-
Debbabi, Mourad, 291(3)223--283
-
Debbabi, Mourad, see Adi, Kamel
-
deBoer:2002:HLD, 274(1)3--41
-
decentralized, 243(1)307--338
-
decidability, 155(2)447--457, 231(2)217--251, 243(1)167--184,
251(1)1--166, 255(1)1--31, 256(1)31--62, 257(1)51--77,
257(1)241--251, 276(1)245--259, 281(1)555--608, 292(3)711--721,
299(1)523--535, 300(1)477--504, 302(1)481--488, 306(1)19--38,
309(1)177--193, 311(1)389--437, 318(3)373--408, 318(3)409--433
-
decidable, 250(1)83--99, 255(1)193--204, 266(1)341--364, 270(1)677--700,
275(1)347--388, 290(1)79--115, 290(1)831--862, 296(1)59--74,
310(1)393--456, 323(1)267--320
-
decide, 250(1)71--82, 276(1)445--447
-
deciding, 231(1)89--101, 255(1)687--696, 258(1)409--433, 292(1)45--63,
313(1)105--117, 327(3)349--373
-
decimation, 289(1)105--136
-
Decimation-invariant, 259(1)379--403
-
deciphering, 255(1)151--162
-
decision, 231(2)297--308, 259(1)549--575, 261(1)179--209,
270(1)493--524, 270(1)609--623, 276(1)425--434, 288(1)21--43,
288(2)217--235, 292(2)387--416, 292(2)447--464, 298(1)71--87,
300(1)301--329, 322(1)41--67
-
deck, 259(1)671--678
-
declarative, 269(1)363--417, 300(1)91--160, 311(1)527--527
-
declustered, parity-, 325(3)391--407
-
declustering, 296(3)511--534
-
decodable, 329(1)271--284
-
decoding, 246(1)227--238
-
decoding, bi-, 306(1)123--137
-
decomposability, 242(1)71--89
-
decomposable, 273(1)185--196, 289(2)977--995, 297(1)183--198
-
decomposition, 234(1)287--300, 237(1)57--79, 243(1)217--241,
261(2)253--266, 281(1)325--349, 297(1)145--155, 299(1)743--749,
313(1)3--16
-
decorated, 254(1)337--361
-
decrements, 270(1)811--826
-
Dedication, 278(1)23
-
Dédié, 292(1)85--96
-
deduction, 272(1)315--339, 275(1)561--574, 286(2)323--366
-
Deductive, 253(1)27--60
-
deFalco:2004:FSO, 327(3)269--300
-
default, 289(1)591--627, 323(1)321--350
-
defeasible, 290(1)499--529
-
defect, 273(1)81--97, 292(1)97--109, 292(1)237--243, 324(1)35--54
-
deFigueiredo:2003:DEC, 297(1)145--155
-
definability, 257(1)115--151, 278(1)91--110, 322(1)137--146
-
definable, group-, 242(1)199--218
-
defined, 301(1)31--43, 301(1)271--284, 320(1)51--69, 325(2)171--214
-
defining, 327(1)45--69
-
définis, 233(1)217--231
-
definite, Semi-, 235(1)25--42
-
definition, 232(1)91--119, 295(1)341--370, 317(1)191--207
-
deformation, 263(1)345--354, 315(2)593--625
-
Degano, P., 325(1)111--140
-
Degano, P., see Curti, M.
-
Degano, Pierpaolo, 275(1)259--282, 283(2)271--304
-
Degano, Pierpaolo, see Bodei, Chiara
-
Degano:2002:CSC, 275(1)259--282
-
degree, 255(1)295--321, 259(1)613--622, 295(1)263--278, 296(2)365--375
-
Degtyarev, Anatoli, 243(1)167--184
-
Degtyarev:2000:DCS, 243(1)167--184
-
Dehlinger, Christophe, 323(1)351--397, 323(1)399--442
-
Dehlinger:2004:FGM, 323(1)351--397
-
Dehlinger:2004:FTT, 323(1)399--442
-
Dekhtyar, Michael, 303(1)63--81
-
Dekhtyar:2003:FCC, 303(1)63--81
-
delaHiguera:2000:TSM, 230(1)39--48
-
delaHiguera:2004:ILP, 313(2)295--312
-
Delaunay, 296(1)145--165
-
delaVega:2001:RSR, 265(1)131--146
-
delay, 255(1)151--162, 273(1)167--183, 294(1)151--181, 306(1)123--137,
312(2)281--293
-
Delay-insensitivity, 245(1)3--25
-
Deleting, 327(3)301--317
-
deletion, 245(1)115--133, 297(1)241--260, 314(3)451--457,
320(2)293--313
-
deletions, 325(3)347--360
-
Delgado-Friedrichs, Olaf, 303(2)431--445
-
Delgado-Friedrichs:2003:DSA, 303(2)431--445
-
Delorme, M., 322(2)335--354
-
Delorme, Marianne, 281(1)251--289
-
Delorme:2002:RPL, 281(1)251--289
-
Delorme:2004:RTR, 322(2)335--354
-
deLuca:2002:SCR, 273(1)143--165
-
Delvenne, Jean-Charles, 319(1)127--143
-
Delvenne:2004:QPC, 319(1)127--143
-
Delzanno, Giorgio, 258(1)269--297
-
Delzanno:2001:PCL, 258(1)269--297
-
Demaine, Erik D., 302(1)475--480, 304(1)471--476, 310(1)287--307,
313(3)325--338, 313(3)539--543
-
Demaine, Erik D., see Biedl, Therese
-
Demaine, Martin L., 302(1)475--480, 313(3)325--338
-
Demaine, Martin L., see Biedl, Therese,
see Demaine, Erik D.
-
Demaine:2003:UEC, 304(1)471--476
-
Demaine:2004:ABO, 313(3)539--543
-
Demaine:2004:SC, 313(3)325--338
-
Demetriou, Neophytos, 270(1)811--826
-
Demetriou, Neophytos, see Busch, Costas
-
Demongeot, J., 322(2)231--232
-
Demongeot, Jacques, 322(2)237--244, 322(2)313--334
-
Demongeot, Jacques, see Aracena, Julio,
see Weil, Georges
-
Demongeot:2004:DAP, 322(2)231--232
-
demonic, 266(1)513--541
-
demonstrate, 315(2)469--510
-
deMoor:2001:HOM, 269(1)135--162
-
Demri, Stéphane, 300(1)235--258
-
Demri:2003:PSC, 300(1)235--258
-
den Bussche, Jan, Van, 254(1)363--377, 296(3)377--377
-
Deng, Xiaotie, 325(3)409--424
-
Deng, Xiaotie, see Chin, Francis Y. L.
-
DeNicola:2003:NRE, 302(1)179--189
-
Denis, François, 313(2)267--294
-
Denis:2004:LRL, 313(2)267--294
-
Denise, Alain, 297(1)119--143
-
Denise, Alain, see Corteel, Sylvie
-
Denney, Ewen, 283(2)305--331
-
Denney:2002:CJC, 283(2)305--331
-
Dennunzio, Alberto, 325(2)249--271
-
Dennunzio, Alberto, see Cattaneo, Gianpiero
-
dénombrable, 270(1)205--222
-
denotational, 254(1)35--61, 254(1)557--589, 258(1)1--98, 278(1)53--89,
293(2)261--289, 318(1)29--55
-
denoting, 312(2)251--266
-
dense, 249(2)325--342, 254(1)379--422, 255(1)627--639
-
Density, 287(2)585--591, 291(2)135--141
-
dependable, 290(2)1115--1126, 290(2)1223--1251
-
dependence, 311(1)325--388
-
dependency, 236(1)133--178, 238(1)131--159, 254(1)683--690,
269(1)451--468
-
dependent, 266(1)273--309, 308(1)259--276, 326(1)293--327
-
dependent, data-, 286(1)97--116
-
dependent, distribution-, 288(2)197--215
-
dependent, Function-, 306(1)39--53
-
dependent, non-, 269(1)317--361
-
dependent-type, 266(1)407--440
-
Deppe, Christian, 314(1)45--55
-
Deppe:2004:SRU, 314(1)45--55
-
DePrisco:2000:RPA, 243(1)35--91
-
depth, 252(1)83--104
-
depth, Dot-, 270(1)1--70
-
depth, dot-, 245(1)135--148
-
deque, 314(3)459--466
-
Derivation, 269(1)433--450
-
derivational, 262(1)583--632
-
derivations, 266(1)489--512, 303(1)187--213, 303(1)245--260
-
derivations, SLD-, 238(1)221--246
-
derivative, 284(2)199--206, 289(1)137--163, 313(1)31--44
-
describing, Re-, 250(1)333--363
-
Description, 292(1)165--183
-
descriptions, 270(1)463--491, 328(1)161--170
-
descriptive, 271(1)47--58, 304(1)421--429
-
Desharnais, Josée, 318(3)323--354
-
Desharnais, Jules, 247(1)257--276
-
Desharnais, Jules, see Mili, Rym
-
Desharnais:2004:MLM, 318(3)323--354
-
design, 231(1)17--32, 237(1)407--421, 270(1)341--359, 277(1)47--103,
287(1)39--58, 297(1)367--384, 328(3)245--269
-
Despeyroux, Joëlle, 266(1)1--57,
see Schürmann, Carsten
-
Desreux, S. Sébastien, 319(1)83--101
-
Desreux, Sébastien, 303(2)375--408
-
Desreux:2003:AGE, 303(2)375--408
-
Desreux:2004:DTR, 319(1)83--101
-
Dessmark, Anders, 236(1)179--191, 255(1)51--62, 326(1)343--362
-
Dessmark, Anders, see Arikati, Srinivasa R.
-
Dessmark:2000:MPC, 236(1)179--191
-
Dessmark:2004:OGE, 326(1)343--362
-
Destainville, N., 319(1)71--81
-
Destainville:2004:FNT, 319(1)71--81
-
destinies, 322(1)41--67
-
Detecting, 247(1)141--190, 287(1)313--335
-
detecting, Error-, 276(1)355--375
-
detection, 270(1)843--856, 310(1)309--328, 315(1)191--208
-
determinacy, 310(1)365--378
-
determined, 305(1)187--219, 307(2)365--384
-
determining, 233(1)91--106, 259(1)199--216, 289(1)853--859
-
determinism, non-, 271(1)151--180
-
deterministic, 47(2)149--158, 233(1)319--325, 235(1)183--204,
257(1)241--251, 270(1)309--324, 274(1)3--41, 281(1)423--453,
289(1)69--83, 289(1)253--275, 292(3)639--652, 301(1)103--117,
301(1)167--186, 301(1)451--462, 303(1)215--231, 306(1)155--175,
323(1)191--233, 327(3)319--347, 329(1)203--221, 329(1)303--313
-
deterministic, non-, 272(1)223--245, 323(1)191--233
-
deterministically, 254(1)1--33
-
Determinization, 289(1)225--251
-
determinization, pre-, 328(1)3--18
-
Deutsch, Emeric, 307(2)319--325
-
Deutsch:2003:BBD, 307(2)319--325
-
developable, 235(2)267--270
-
development, 265(1)227--264
-
devices, 270(1)701--738, 279(1)3--27
-
Devillers, Olivier, 283(1)203--221
-
Devillers, Raymond, 300(1)259--300
-
Devillers:2002:RVD, 283(1)203--221
-
Devillers:2003:GPR, 300(1)259--300
-
deWolf:2002:QCC, 287(1)337--353
-
Deza, Michel, 263(1)1--1
-
Deza, Michel, see Chang, Gerard
-
Dezani-Ciancaglini, Mariangiola, 272(1)1--2, 272(1)3--40,
298(2)275--302, 316(1)25--47, 316(1)49--74
-
Dezani-Ciancaglini, Mariangiola, see Alessi, Fabio,
see Bakel, Steffen van
-
Dezani-Ciancaglini:2002:P, 272(1)1--2
-
Dezani-Ciancaglini:2003:ILC, 298(2)275--302
-
Dezani-Ciancaglini:2004:BIL, 316(1)49--74
-
DFA, 328(1)113--133
-
DFAs, 237(1)485--494
-
Diaconescu, R{\u{a}}zvan, 285(2)289--318, 311(1)439--461
-
Diaconescu:2002:LFC, 285(2)289--318
-
Diaconescu:2004:IGI, 311(1)439--461
-
diagnosis, Fault-, 290(2)1149--1174
-
diagonal, 235(2)271--282, 281(1)235--249
-
diagram, 235(2)325--337, 247(1)141--190, 263(1)263--274, 283(1)203--221,
290(1)565--597
-
dial-a-ride, 268(1)91--105
-
diameter, 247(1)213--228, 287(2)501--514
-
diameter, Wide-, 235(2)257--266
-
Diamond, Beverly, 301(1)439--450
-
Diamond, Beverly, see Barge, Marcy
-
Dias, Vânia M. F., 306(1)391--405
-
Dias:2003:SMP, 306(1)391--405
-
Díaz, J., 307(3)531--547
-
Díaz, Josep, 281(1)291--309, 307(3)455--455
-
Díaz, Sonia, Pérez-, 315(2)627--650
-
Diaz:2002:CCP, 281(1)291--309
-
Diaz:2003:BMM, 307(3)531--547
-
Diaz:2003:F, 307(3)455--455
-
Dichotomies, 314(1)1--43
-
dictionary, 313(1)45--56
-
Diego, I., 319(1)423--439
-
Diego, I., see Aguiló, F.
-
Diekert, Volker, 292(1)33--43
-
Diekert, Volker, see Austinat, Holger
-
Dierks, Henning, 253(1)61--93
-
Dierks:2001:PAN, 253(1)61--93
-
difference, 252(1)83--104, 252(1)105--119, 262(1)69--81, 289(1)503--516
-
different, 271(1)181--200, 287(2)571--584, 290(1)355--406
-
differentiable, 302(1)167--178
-
differential, 265(1)159--185, 308(1)1--53, 309(1)1--41
-
difficult, 287(1)131--144
-
difficulties, 306(1)269--289
-
Diffusion, 299(1)289--306
-
digit, 289(1)105--136, 292(1)221--235
-
digital, 230(1)221--233, 242(1)143--168, 283(1)67--108, 283(1)109--150,
283(1)171--182, 305(1)457--471, 305(1)491--502
-
digraph, 245(2)203--216, 250(1)201--217, 287(2)563--570, 295(1)223--232,
304(1)461--469
-
Dikovsky, Alexander, 303(1)63--81
-
Dikovsky, Alexander, see Dekhtyar, Michael
-
Diks, Krzysztof, 287(2)449--471
-
Diks:2002:IIB, 287(2)449--471
-
dilation, 234(1)85--107
-
Diligenti, Michelangelo, 320(1)71--87
-
Diligenti:2004:NCS, 320(1)71--87
-
dim, 296(3)511--534
-
dimension, 246(1)53--72, 261(1)81--90, 270(1)421--440, 286(1)139--149,
288(2)197--215, 289(1)861--869, 297(1)3--23, 304(1)431--441,
310(1)1--33, 312(2)401--431
-
dimensional, 287(2)501--514, 296(1)145--165, 325(2)215--247
-
dimensional, Finite-, 263(1)275--281
-
dimensional, high-, 289(1)629--647
-
dimensional, low-, 270(1)111--124
-
dimensional, multi-, 245(2)255--280, 273(1)197--224,
297(1)317--336, 302(1)223--238, 302(1)401--416, 319(1)177--202,
326(1)103--116
-
dimensional, one-, 304(1)185--200, 313(3)417--425,
322(2)267--283, 325(2)273--284, 325(2)285--316
-
dimensional, Three-, 234(1)219--232, 235(2)325--337
-
dimensional, three-, 255(1)263--279, 299(1)151--178
-
dimensional, Two-, 289(2)939--952, 301(1)167--186,
312(2)203--222, 314(1)173--187, 319(1)145--176
-
dimensional, two-, 230(1)221--233, 231(2)181--191,
237(1)263--273, 255(1)51--62, 259(1)129--143, 261(2)227--239,
270(1)857--863, 304(1)129--156, 322(2)335--354
-
Dimitracopoulos, C., 257(1)79--84
-
Dimitracopoulos:2001:EEM, 257(1)79--84
-
Dimitri, Nicola, 314(3)335--349
-
Dimitri:2004:EEE, 314(3)335--349
-
Ding, Cunsheng, 246(1)285--298
-
Ding, Guoli, 324(2)361--380
-
Ding, Guoli, see Chen, Peter
-
Ding:2000:SSC, 246(1)285--298
-
Dinitz, Yefim, 247(1)213--228
-
Dinitz:2000:TDC, 247(1)213--228
-
Dinneen, M. J. Michael J., 320(1)3--13
-
Dinneen, M. J. Michael J., see Arulanandham, Joshua J.
-
Dinneen, Michael J., 233(1)107--127
-
Dinneen, Michael J., see Cattell, Kevin
-
Dinur, Irit, 285(1)55--71
-
Dinur:2002:ASW, 285(1)55--71
-
Diophantine, 270(1)625--642, 312(2)359--378, 328(1)203--219
-
Direct, 267(1)105--120, 284(1)109--142, 296(2)269--293
-
directed, 281(1)37--80, 291(1)3--28, 301(1)31--43, 307(2)319--325,
316(1)225--258, 328(1)97--111
-
directed, annotation-, 248(1)147--199
-
direction, 245(2)151--173, 289(2)897--917, 291(1)29--53, 301(1)355--379,
319(1)385--409
-
discipline, 241(1)3--23
-
disconnected, 305(1)221--235
-
Discovering, 292(2)497--524, 292(2)525--546
-
discovery, 237(1)381--406, 292(2)345--357, 292(2)547--571
-
discret, 259(1)245--269
-
discrete, 246(1)73--105, 259(1)81--98, 274(1)117--149, 281(1)455--469,
282(1)101--150, 283(1)223--242, 289(1)191--204, 290(1)355--406,
293(1)141--167, 296(1)59--74, 299(1)37--63, 299(1)413--438,
305(1)111--134, 310(1)355--363, 319(1)145--176, 319(1)203--227,
321(1)59--72, 322(2)231--232
-
discretization, 283(1)243--268
-
discriminating-reverse, 313(1)73--91
-
discrimination, 298(2)275--302
-
discuss, 279(1)3--27
-
disjoint, 295(1)323--339, 315(2)469--510
-
disjoint, edge-, 249(2)325--342
-
disjoint, non-, 290(1)291--353
-
disjoint, vertex-, 264(1)65--90
-
disjunction, 230(1)131--147, 266(1)311--339, 284(1)109--142,
288(1)101--128
-
disjunctive, 258(1)523--553, 293(1)45--54
-
disk, 297(1)103--117, 326(1)261--292
-
dispenser, 306(1)69--84
-
display, 242(1)169--197
-
Disproving, 255(1)659--665
-
disruptions, 298(1)235--251
-
distance, 233(1)19--32, 247(1)257--276, 263(1)99--111, 271(1)145--150,
286(1)117--138, 288(1)85--100, 303(1)135--156, 310(1)147--158,
319(1)357--366, 325(3)347--360, 326(1)29--43, 326(1)261--292
-
distance-hereditary, 263(1)3--8
-
distributed, 242(1)1--27, 243(1)363--389, 254(1)297--316,
258(1)555--571, 259(1)405--426, 262(1)229--240, 266(1)693--735,
282(1)191--219, 287(2)535--561, 290(1)637--668, 290(2)1223--1251,
291(1)29--53, 297(1)83--102, 297(1)261--270, 299(1)633--662,
302(1)337--364, 304(1)59--86, 320(2)269--291, 322(3)615--669
-
distribution, 235(1)163--170, 235(2)283--308, 262(1)145--160,
282(1)101--150, 287(1)167--185, 289(1)649--703, 299(1)37--63,
299(1)81--106, 301(1)285--312, 319(1)307--331, 320(2)269--291,
321(2)195--214, 326(1)69--102
-
distribution-dependent, 288(2)197--215
-
distributional, 234(1)273--286
-
Distributivity, 308(1)131--143
-
disturbed, 289(1)629--647
-
Divergence, 266(1)237--248
-
divide-and-conquer, 242(1)377--401, 292(3)667--677
-
dividing, 297(1)25--36
-
division, 235(2)225--237, 291(2)159--182, 324(1)61--85
-
divisor, 301(1)1--30, 303(1)53--62
-
Dix, Jürgen, 258(1)523--553, 266(1)819--838, 290(1)499--529,
see Brass, Stefan,
see Chesñevar, Carlos Iván,
see Schlechta, Karl
-
DNA, 231(2)193--203, 231(2)275--296, 250(1)163--178, 287(1)3--38,
287(1)59--71, 287(2)387--391, 292(3)653--665, 303(1)35--51,
304(1)443--447
-
DNF, 238(1)495--498, 241(1)37--50
-
DNF, term-, 230(1)1--37
-
do, 263(1)345--354, 276(1)407--415, 304(1)477--484
-
Do, N., 307(3)531--547
-
Do, N., see Díaz, J.
-
Doberkat, Ernst-Erich, 311(1)285--323
-
Doberkat:2004:MFR, 311(1)285--323
-
Doerr, Benjamin, 312(2)463--477, 313(3)339--351
-
Doerr:2004:ETG, 313(3)339--351
-
Doerr:2004:TRP, 312(2)463--477
-
Dolev, Shlomi, 266(1)653--692
-
Dolev, Shlomi, see Abraham, Uri
-
Dolinka, I., 230(1)235--245
-
Dolinka, I., see Crvenkovi{\'{c}}, S.
-
Dolinka, Igor, 289(1)531--551, 301(1)417--425
-
Dolinka, Igor, see Crvenkovi{\'c}, Sini{\v{s}}a
-
Dolinka:2003:MFY, 301(1)417--425
-
domain, 247(1)229--255, 261(2)253--266, 278(1)195--221, 278(1)323--333,
284(2)207--240, 292(1)263--281, 298(1)207--233, 299(1)37--63,
303(2)375--408, 305(1)259--275, 305(1)409--432, 316(1)25--47,
316(1)153--190, 319(1)83--101, 323(1)129--189
-
domain-models, 290(1)599--635
-
domain-partitioning, 321(2)371--382
-
domain-theoretic, 294(1)307--331
-
Domaratzki, Michael, 314(3)451--457, 320(2)293--313
-
Domaratzki:2004:DAT, 320(2)293--313
-
Domaratzki:2004:RRE, 314(3)451--457
-
Dominance, 293(2)321--343
-
dominating, 263(1)3--8, 326(1)57--67, 329(1)325--330
-
domination, 263(1)3--8, 296(1)89--98, 301(1)271--284, 301(1)381--397,
306(1)291--303
-
domination, Paired-, 320(2)485--494
-
Domineering, 230(1)195--206
-
Domínguez, E., 283(1)29--66, see Ayala, R.
-
domino, 255(1)437--447, 303(2)353--374, 319(1)83--101, 319(1)447--454,
322(2)409--422
-
domino-shuffling, 303(2)267--301
-
Dömösi, Pál, 245(1)27--54, 302(1)295--317
-
Domosi:2000:CSA, 245(1)27--54
-
Domosi:2003:FSF, 302(1)295--317
-
Donadelli, J., 321(1)41--57
-
Donadelli, J., see Carmo, R.
-
Dong, Guozhu, 239(2)277--308, 311(1)389--437
-
Dong, Guozhu, see Bailey, James
-
Dong:2000:LPQ, 239(2)277--308
-
Dot, 262(1)501--523
-
dot-depth, 245(1)135--148, 270(1)1--70
-
double, 250(1)247--264, 315(2)469--510, 316(1)297--321
-
double-loop, 263(1)211--229, 319(1)423--439
-
doubling, 231(1)75--87
-
doubly, 315(2)371--404
-
Dovier, Agostino, 275(1)521--560, 311(1)221--256
-
Dovier, Agostino, see Cortesi, Agostino
-
Dovier:2004:EAC, 311(1)221--256
-
down, Top-, 292(2)447--464
-
down, top-, 304(1)315--339
-
Downey, Rod, 298(2)303--315
-
Downey, Rodney G., 233(1)107--127, 284(2)539--555, 321(2)249--270
-
Downey, Rodney G., see Cattell, Kevin
-
Downey:2002:PCE, 284(2)539--555
-
Downey:2003:UHL, 298(2)303--315
-
Downey:2004:KR, 321(2)249--270
-
DPDA, 255(1)1--31
-
Dragan, Feodor F., 310(1)329--354
-
Dragan, Feodor F., see Brandstädt, Andreas
-
drawability, 270(1)261--286
-
drawing, 244(1)63--94, 292(3)679--695, 299(1)151--178
-
Drewes, Frank, 246(1)1--51, 262(1)377--414
-
Drewes:2000:TBP, 246(1)1--51
-
Drewes:2001:TBG, 262(1)377--414
-
drift, 268(2)323--349, 289(1)473--484
-
driven, Automata-, 254(1)187--223
-
driven, control-, 240(1)3--47
-
Drmota, Michael, 270(1)913--919, 329(1)47--70
-
Drmota:2002:VHB, 270(1)913--919
-
Drmota:2004:RCB, 329(1)47--70
-
dropping, Lambda-, 248(1)243--287
-
Drori, Limor, 287(2)473--499
-
Drori:2002:FES, 287(2)473--499
-
Droste, Manfred, 247(1)1--38
-
Droste, Stefan, 276(1)51--81, 287(1)131--144
-
Droste:2000:ACA, 247(1)1--38
-
Droste:2002:AEA, 276(1)51--81
-
Droste:2002:ORS, 287(1)131--144
-
Droubay, Xavier, 255(1)539--553
-
Droubay:2001:EWS, 255(1)539--553
-
Du, Ding-Zhu, 261(2)241--251, 262(1)83--99
-
Du, Ding-Zhu, see Chen, Donghui,
see Kim, Dongsoo S.
-
Du, Dingzhu, 289(2)877, 296(1)89--98
-
Du, Dingzhu, see Kang, Liying
-
Du, Hongwei, 329(1)325--330
-
Du, Hongwei, see Ruan, Lu
-
Du, Xiufeng, 304(1)461--469
-
Du, Xiufeng, see Cheng, Xiaoyan
-
Du:2002:F, 289(2)877
-
dual, 267(1)105--120, 275(1)69--77
-
dual, self-, 235(2)283--308, 263(1)311--332
-
duality, 287(2)585--591, 298(3)471--510
-
Dubacq, J.-C., 259(1)271--285
-
Dubacq:2001:KCC, 259(1)271--285
-
Dubernard, Jean-Philippe, 313(1)119--132
-
Dubernard, Jean-Philippe, see Geniet, Dominique
-
Dubois, O., 265(1)1--1
-
Dubois, Olivier, 265(1)187--197
-
Dubois:2001:E, 265(1)1--1
-
Dubois:2001:UBS, 265(1)187--197
-
Duchamp, G., 267(1)105--120, 273(1)283--294
-
Duchamp, Gérard, 313(1)31--44,
see Champarnaud, Jean-Marc
-
Duchamp:2001:DDL, 267(1)105--120
-
Duchamp:2002:SGL, 273(1)283--294
-
Duchi, Enrica, 314(1)57--95
-
Duchi:2004:OGE, 314(1)57--95
-
Duchier, Denys, 293(2)321--343
-
Duchier:2003:DCB, 293(2)321--343
-
Ducourthial, Bertrand, 293(1)219--236
-
Ducourthial:2003:SSP, 293(1)219--236
-
due, 255(1)449--481, 315(2)405--417
-
Duffy, Nigel, 284(1)67--108
-
Duffy:2002:GAL, 284(1)67--108
-
Dufourd, Catherine, 321(2)291--345
-
Dufourd, Catherine, see Bouyer, Patricia
-
Dufourd, Jean-François, 234(1)1--57, 323(1)351--397,
323(1)399--442, see Dehlinger, Christophe,
see Puitg, François
-
Duggan, Dominic, 275(1)215--258, 322(3)567--613
-
Duggan, Dominic, see Chothia, Tom
-
Duggan:2002:OCS, 275(1)215--258
-
Dukes, P., 310(1)479--488
-
Dukes:2004:CEB, 310(1)479--488
-
Dulucq, Serge, 306(1)471--484
-
Dulucq:2003:RSS, 306(1)471--484
-
Dumitriu, Ioana, 313(3)353--369
-
Dumitriu:2004:HG, 313(3)353--369
-
Duncan, Rob, 296(1)75--87
-
Duncan:2003:PTA, 296(1)75--87
-
Dunne, Paul E., 249(2)243--263
-
Dunne:2000:CTM, 249(2)243--263
-
Düntsch, Ivo, 255(1)63--83, 269(1)451--468
-
Duntsch:2001:CSD, 269(1)451--468
-
Duntsch:2001:RAA, 255(1)63--83
-
duotaire, 313(3)417--425
-
Duparc, J., 257(1)85--105
-
Duparc:2001:CSF, 257(1)85--105
-
Durán, F., 285(2)187--243, see Clavel, M.
-
Durán, Francisco, 309(1)357--380
-
Duran:2003:STI, 309(1)357--380
-
Durand, Arnaud, 270(1)625--642
-
Durand, B., 259(1)271--285, 303(2)265--265
-
Durand, B., see Dubacq, J.-C.
-
Durand, Bruno, 271(1)1--1, 271(1)37--46, 271(1)47--58, 281(1)311--324,
299(1)523--535, 310(1)469--477
-
Durand, Bruno, see Cervelle, Julien
-
Durand, Marianne, 297(1)425--445
-
Durand, Marianne, see Taylor, Stephen
-
Durand-Lose, Jérôme O., 246(1)117--129
-
Durand-Lose:2000:RST, 246(1)117--129
-
Durand:2002:CBC, 271(1)37--46
-
Durand:2002:CRH, 270(1)625--642
-
Durand:2002:DCC, 271(1)47--58
-
Durand:2002:F, 271(1)1--1
-
Durand:2002:LPF, 281(1)311--324
-
Durand:2003:F, 303(2)265--265
-
Durand:2003:NCC, 299(1)523--535
-
durational, 258(1)393--407, 269(1)47--82
-
Durchholz, Reiner, 289(1)1--49
-
Durchholz:2002:GCM, 289(1)1--49
-
{\v{D}}uri, Pavol, 295(1)141--151
-
Duri:2003:CCI, 295(1)141--151
-
Dürr, Christoph, 259(1)81--98, 322(2)355--368,
see Chrobak, Marek
-
Durr:2004:CAC, 322(2)355--368
-
Duval, J.-P., 262(1)269--284
-
Duval, Jean-Pierre, 326(1)229--240
-
Duval:2001:RPI, 262(1)269--284
-
Duval:2004:LTC, 326(1)229--240
-
dyadic, 293(2)447--475
-
DyC, 248(1)147--199
-
Dyer, Martin, 246(1)265--278
-
Dyer:2000:PTC, 246(1)265--278
-
dynamic, 244(1)219--241, 246(1)239--252, 248(1)147--199, 259(1)287--305,
261(1)179--209, 261(2)213--226, 262(1)101--115, 274(1)3--41,
276(1)315--354, 281(1)131--176, 282(2)303--318, 296(3)473--485,
296(3)487--510, 297(1)83--102, 304(1)269--290, 304(1)485--497,
319(1)127--143, 322(2)267--283, 322(2)369--381, 325(3)409--424,
326(1)363--382
-
dynamic, Semi-, 250(1)201--217
-
dynamical, 255(1)687--696, 295(1)41--64, 297(1)447--486, 303(2)447--462,
303(2)463--490, 328(3)355--361
-
Dynamically, 255(1)627--639
-
DynTC, 296(3)473--485