Index file section D for lncs1994.bib

Last update: Mon Mar 13 02:21:52 MDT 2017

Return to index directory

D

D, 763(0)83--z, 796(0)139--z, 796(0)151--z, 796(0)163--z, 797(0)434--440, 800(0)15--24, 800(0)83--94, 800(0)131--136, 800(0)181--188, 800(0)211--216, 800(0)231--238, 800(0)247--258, 800(0)341--352, 800(0)389--402, 800(0)407--416, 800(0)417--426, 825(0)89--z, 825(0)127--z, 825(0)341--z, 825(0)381--z, 825(0)415--z, 825(0)493--z, 834(0)532--z, 849(0)352--z, 856(0)290--z, 871(0)173--z, 871(0)194--z, 879(0)127--135
d'Ast, I., 796(0)171--z
D'Ausbourg, B., 875(0)249--z, 875(0)267--z
D'Ausbourg, B., see Siron, P.
D'Hollander, E. H., 817(0)387--z
D'Hollander, E. H., see Zhang, F.
d, 2-, 856(0)72--z
{D}-optimal, 866(0)608--z
D0+0+:, TAS-, 838(0)198--z
D2014, 868(0)300--z
da Silva, F. S., Correa, 808(0)57--z
Da Silva, L., 851(0)367--z
Da Silva, L., see Carvalho, P.
Dachsel, H., 796(0)203--z
Dachsel, H., see Lischka, H.
Dacier, M., 875(0)319--z
Dacier:1994:PGE, 875(0)319--z
Daehn, W., 796(0)94--z
Daehn:1994:EEC, 796(0)94--z
Daemen, J., 809(0)18--z
Daemen, Joan, 765(0)159--z, 773(0)224--z
Daemen:1994:NAB, 809(0)18--z
Daemen:1994:RWS, 765(0)159--z
Daemen:1994:WKI, 773(0)224--z
Daffara, F., 868(0)44--z
Daffara, F., see Achilleoudis, N.
DAG, 855(0)343--z
Dageville, B., 817(0)514--z
Dageville:1994:IKA, 817(0)514--z
Dahl, V., 869(0)561--z
Dahl, V., see Huang, Y.-N.
Dahle, E., 851(0)479--z
Dahle:1994:CMU, 851(0)479--z
Dahlhaus, E., 880(0)171--180
Dahlhaus:1994:EPL, 880(0)171--180
Dai, H., 834(0)360--z
Dai, H., see Shen, X.
Dai, H. K., 817(0)214--z
Dai, W. W.-M., 849(0)373--z
Dai, W. W.-M., see Isshiki, T.
Dai:1994:ISD, 817(0)214--z
Dal Cin, M., 852(0)386--z
Dal Cin, M., see Majzik, I.
Dalcher, Darren, 750(0)489--z
Dalcher:1994:FPG, 750(0)489--z
Daley, R., 774(0)173--z
Daley:1994:URA, 774(0)173--z
Dally, W. J., 853(0)241--z
Dally:1994:RRR, 853(0)241--z
Damgård, Ivan Bjerre, 765(0)200--z, 765(0)286--292, 773(0)100--z, 773(0)250--z, 839(0)174--187, see Cramer, Ronald
Damgaard:1994:BAH, 765(0)286--292
Damgaard:1994:ESH, 773(0)250--z
Damgaard:1994:IHC, 773(0)100--z
Damgaard:1994:PPS, 765(0)200--z
Damgard, I. B., 765(0)200--z--1
Damgard, Ivan B., 773(0)100--109, 773(0)250--z--1
Damgard:1994:ESH, 773(0)250--z--1
Damgard:1994:IHC, 773(0)100--109
Damgard:1994:PPS, 765(0)200--z--1
Damiani, Ferruccio, 789(0)707--z
Damiani, M. L., 858(0)298--z
Damiani:1994:DIT, 789(0)707--z
Damiani:1994:IIS, 858(0)298--z
Damm, C., 841(0)276--z
Damm, Flemming M., 789(0)687--z
Damm:1994:ICB, 841(0)276--z
Damm:1994:SUT, 789(0)687--z
Damped, 853(0)295--z
Dams, D., 818(0)455--z
Dams:1994:MCU, 818(0)455--z
Dancik, M., 775(0)669--z
Dancik, M., see Paterson, V.
Dancik, V., 841(0)127--z
Dancik, V., see Paterson, M.
Dancik:1994:UBE, 775(0)669--z
Danecek, J., 849(0)321--z
Danecek:1994:AGP, 849(0)321--z
Dang-Tran, K., 797(0)94--z
Dang-Tran, K., see Roux, F. X.
Dangerous, 812(0)279--288
Daniel-Vatonne, M. C., 784(0)367--z
Daniel-Vatonne, M. C., see Jappy, P.
Daniels, H., 796(0)119--z
Daniels:1994:LIF, 796(0)119--z
Dantzig, R., v., 796(0)293--z
Danvy, O., 802(0)627--648
Danvy:1994:TBD, 802(0)627--648
Dany, J.-C., 783(0)208--z, 793(0)173--190
Dany, J.-C., see Wautier, A.
Dare, V. R., 774(0)314--z
Dare, V. R., see Siromoney, R.
Darlington, J., 822(0)200--z
Darlington:1994:CLP, 822(0)200--z
Dart, Philip, 750(0)345--z
Dart, Philip, see Johnston, Lorraine
Darte, A., 854(0)713--z
Darte, A., see Bouchitte, V.
Das, C. R., 854(0)426--z
Das, C. R., see Yousif, M. S.
Das, G., 824(0)119--z
Das, R., 866(0)344--z
Das, Raja, 768(0)152--z
Das, S. K., 817(0)25--z, 854(0)749--z, 855(0)331--z
Das, S. K., see Oehring, S. R.
Das:1994:FAW, 824(0)119--z
Das:1994:GAD, 866(0)344--z
Das:1994:SAI, 768(0)152--z
Das:1994:WEP, 855(0)331--z
Dasananda, S., 819(0)78--z, 856(0)27--z
Dasananda, S., see Ketabchi, M. A., see Ketabchi, M.
Dassow, J., 812(0)325--343, 841(0)286--z
Dassow, J., see Paun, G.
Dassow:1994:DPE, 841(0)286--z
dAst:1994:PTD, 796(0)171--z
Data-Base, 766(0)1--z
data-driven, 869(0)448--z
Data-Flow, 786(0)357--z, 786(0)374--z, 787(0)335--z, 803(0)1--z
Data-Oriented, 871(0)148--z
Data-Parallel, 768(0)76--z, 797(0)338--z, 797(0)457--z, 854(0)100--z
Data-Procedural, 849(0)183--z
database, multi-, 826(0)205--z
Database-Coupled, 856(0)703--z
Dataflow, 863(0)247--z
Dataflow-Based, 817(0)761--z
datalog, 777(0)83--z, 814(0)311--z
Datapath, 849(0)144--z, 849(0)373--z
Datarol-II, 817(0)781--z
datatypes, 859(0)128--z
Datta, A., 775(0)475--z
Datta:1994:EPA, 775(0)475--z
Daucher, N., 800(0)449--454
Daucher:1994:CCS, 800(0)449--454
Dauchet, M., 820(0)436--z, 845(0)217--z
Dauchet, M., see Caron, A.-C.
Dauchet:1994:SCT, 845(0)217--z
Daude, H., 877(0)144--z
Daude:1994:AGA, 877(0)144--z
Daumas, M., 849(0)196--z
Daumas:1994:ILA, 849(0)196--z
DAusbourg:1994:ISD, 875(0)249--z
David, 780(0)162--173
David, F., 783(0)428--z
David, F., see Cygan, D.
David, S., Ben-, 800(0)239--250, 818(0)182--z, 872(0)248--z
Davidor, Y., 866(0)130--z
Davidor, Y., see Nakano, R.
Davidson, Jack W., 782(0)105--z
Davidson, Jack W., see Benitez, Manuel E.
Davis, A., 853(0)295--z
Davis, Don, 839(0)114--120
Davis, J., 800(0)331--340
Davis, R., Sacks-, 819(0)253--z
Davis--Putnam, 845(0)34--z
Davis:1994:CRA, 839(0)114--120
Davis:1994:RDA, 853(0)295--z
Davis:1994:RHG, 800(0)331--340
Davison, R., 851(0)259--z
Davison:1994:SPM, 851(0)259--z
day, 860(0)185--z
Day, N., 780(0)338--351, 859(0)285--z
Day, N., see Joyce, J.
Day:1994:SSH, 780(0)338--351
Dayar, Z., 836(0)497--z
Dayar, Z., see Yuen, S.
Dayde, M. J., 879(0)169--176
Dayde:1994:CE, 879(0)169--176
daylight, 800(0)235--246
DBJ, 779(0)301--308
DBMS, 779(0)23--30, 817(0)514--z, 819(0)215--z, 819(0)299--z, 856(0)270--z
{DBMS}-Based, 819(0)281--z
DBPL, 819(0)365--z
DBROUGH, 869(0)386--z
DBS3, 817(0)514--z
DC, 011-, 822(0)44--z
DDAS, 817(0)438--z
De Antonellis, V., 823(0)339--z, 858(0)346--z
De Antonellis, V., see Castano, S.
De Bakker, J. W., 802(0)122--142
de Barros, M., Alves, 849(0)332--z
De Barros, R. S. M., 873(0)703--z
De Berg, M., 824(0)61--z
De Boer, F. S., 841(0)256--z
De Bruijn, N. G., 814(0)237--z, 859(0)81--z
De Bruijn, N. G., see Boyer, R. S.
De Caluwe, I., 851(0)295--z
De Carvalho, F., 851(0)181--z
De Carvalho, F., see Carvalho, A.
De Castro, C., 823(0)463--z
De Felice, C., 775(0)353--z
De Felice, C., see Bruyere, V.
De Garis, H., 866(0)302--z
De Garis, H., see Iba, H.
De Gaudenzi, R., 783(0)400--z
De Giacomo, G., 838(0)332--z
De Greef, P., 876(0)164--z
De Greef, P., see Hurts, K.
De Groot, M., 824(0)61--z
De Groot, M., see De Berg, M.
De Groote, P., 813(0)142--z, 822(0)31--z
de Groote, P., 787(0)85--z
De Guzman, I. P., 838(0)198--z
De Guzman, I. P., see Aguilera, G.
De Jong, K. A., 866(0)249--z
De Jong, K. A., see Potter, M. A.
de Keyser, J., 796(0)157--162, 797(0)227--z
de Keyser, J., see Issman, E.
De Korvin, A., 856(0)320--z
de la Banda, M., Garcia, 822(0)305--z, 874(0)151--z
De la Fuente, L. A., 851(0)273--z
de la Higuera, C., 784(0)367--z
de la Higuera, C., see Jappy, P.
de Lahaut, D., Gautier, 817(0)262--z
De Luca, L., 797(0)211--z
De Man, H., 780(0)87--98, 859(0)33--z
De Man, H., see Angelo, C. M.
De Marcken, C., 862(0)66--z
De Micheli, E., 800(0)495--500
De Micheli, E., see Piccioli, G.
De Miguel, T. P., 868(0)353--z
de Nicola, C., 796(0)139--z
De Nicola, R., 820(0)154--z, 836(0)299--314, 841(0)536--z
De Nicola, R., see Boreale, M., see Corradini, F.
De Nivelle, H., 838(0)137--z, 838(0)217--z
De Nivelle, H., see Witteveen, C.
de Oliveira Duarte, A. M., 783(0)285--z
de Oliveira Duarte, A. M., see Lomba, C. R. A. T.
De Oliveira Duarte, R., 849(0)11--z
De Oliveira, J. P. M., 856(0)225--z
De Oliveira, J. P. M., see Edelweiss, N.
De Oliveira, P. P. B., 866(0)354--z
De Pauw, W., 821(0)163--z
De Pietro, G., 796(0)139--z, 797(0)373--z
De Pietro, G., see de Nicola, C.
de Plassche, J., Van, 867(0)26--z
de Pol, J., Van, 816(0)305--325
De Raedt, L., 869(0)336--z
De Raedt, L., see Ade, H.
De Rijke, M., 827(0)225--z
De Rijke, M., see Blackburn, P.
De Roure, D., 772(0)152--z
De Roure, D., see Berrington, N.
De Santis, A., 773(0)73--z, 820(0)568--z
De Santis, A., see Blundo, C.
De Santo, M., 858(0)266--z
De Santo, M., see Boccignone, G.
De Schreye, D., 822(0)84--z, 827(0)301--z
De Schreye, D., see Van Belleghem, K., see Vandecasteele, H.
De Simone, R., 818(0)441--z, 836(0)64--z
De Simone, R., see Fernandez, J. C.
De Smedt, P., 819(0)234--z
de Snepscheut, Jan L. A., van, 782(0)35--z
de Sturler, E., 797(0)190--z
de Velde, W., Van, 867(0)1--z
de Vink, E. P., 775(0)569--z
de Vink, E. P., see van Oostrom, V.
de Vries, Fer-Jan, 789(0)543--z
de Vries, Fer-Jan, see Ariola, Zena
De Waal, D. A., 814(0)207--z
De'Liguoro, U., 841(0)211--z
De'Liguoro, U., see Alessi, F.
de'Liguoro, Ugo, 789(0)16--z
de'Liguoro, Ugo, see Dezani-Ciancaglini, Mariangiola
Deadline, 863(0)756--z
Dealing, 827(0)101--z, 869(0)275--z
Deb, K., 866(0)149--z
Deb, K., see Horn, J.
Debabi, Mourad, 789(0)766--z
Debabi, Mourad, see Bolignano, Dominique
Debain, C., 800(0)207--212
Debain, C., see Derras, M.
DeBakker:1994:TMH, 802(0)122--142
DeBarros:1994:DRD, 873(0)703--z
DeBerg:1994:NRB, 824(0)61--z
Debize, J. C., 849(0)344--z
Debize:1994:JDC, 849(0)344--z
DeBoer:1994:PSA, 841(0)256--z
Debray, S. K., 864(0)255--z
Debray:1994:ECC, 864(0)255--z
DeBruijn:1994:HLF, 859(0)81--z
Debugging, 768(0)617--z, 786(0)339--z, 797(0)394--z, 874(0)63--z
Decade, 872(0)211--z, 880(0)256--275
DeCaluwe:1994:UTA, 851(0)295--z
DeCastro:1994:SIM, 823(0)463--z
Decentralized, 765(0)274--z
Dechamboux, P., 856(0)2--z
Dechamboux:1994:POO, 856(0)2--z
decidability, 775(0)581--z, 787(0)115--z, 802(0)160--176, 818(0)95--z, 827(0)332--z, 836(0)18--z, 845(0)336--z, 880(0)243--255
decidable, 787(0)187--z, 789(0)707--z, 814(0)635--z, 818(0)105--z, 836(0)34--z, 841(0)577--z, 845(0)121--z, 863(0)694--z
deciding, 776(0)37--z, 812(0)124--130, 820(0)35--z, 836(0)48--z
decision, 774(0)370--z, 780(0)386--399, 780(0)427--437, 784(0)154--z, 784(0)231--z, 784(0)383--z, 827(0)317--z, 834(0)575--z, 834(0)584--z, 841(0)286--z, 841(0)515--z, 845(0)34--z, 851(0)419--z, 859(0)254--z, 867(0)158--z, 869(0)114--z, 869(0)174--z, 869(0)346--z, 869(0)416--z, 880(0)193--204, 880(0)390--401
Decision-Making, 830(0)164--z
Declarations, 861(0)331--z
Declarative, 821(0)236--z, 822(0)290--z, 869(0)245--z
Decoders, 783(0)529--z
decoding, 773(0)13--z, 793(0)203--222, 793(0)270--286, 793(0)287--295, 829(0)63--z, 829(0)88--z, 829(0)97--z
Decomposability, 776(0)37--z
Decomposing, 791(0)111--z, 866(0)98--z
Decomposition, 774(0)384--z, 778(0)91--z, 787(0)68--z, 796(0)323--z, 797(0)215--z, 797(0)233--z, 811(0)94--104, 812(0)145--158, 834(0)423--z, 841(0)462--z, 875(0)375--z, 877(0)80--z, 879(0)41--50, 880(0)171--180
Deconinck, G., 797(0)401--z, 852(0)353--z
Deconinck, G., see Bieker, B., see Vounckx, J.
DECT, 783(0)45--z
Dedicated, 809(0)71--82, 851(0)169--z, 868(0)300--z
deduction, 806(0)333--351, 814(0)177--z, 814(0)530--z, 814(0)807--z, 827(0)430--z, 827(0)540--z, 844(0)165--z, 845(0)1--z, 869(0)541--z
deductive, 777(0)1--z, 777(0)118--z, 779(0)45--58, 811(0)311--324, 814(0)341--z, 814(0)811--z, 821(0)213--z, 822(0)174--z, 826(0)90--z, 841(0)383--z, 856(0)2--z, 856(0)445--z, 856(0)591--z, 856(0)724--z, 869(0)604--z, 872(0)2--z
Deep, 859(0)378--z
Deepness, 805(0)181--196
default, 777(0)22--z, 810(0)30--z, 810(0)74--z, 810(0)133--z, 810(0)160--z, 810(0)310--z, 838(0)247--z, 861(0)178--z, 861(0)248--z, 861(0)260--z, 869(0)584--z
Definable, 841(0)413--z
Define, 860(0)164--z
Defined, 776(0)234--z, 780(0)127--139, 792(0)31--z
defining, 785(0)98--112, 789(0)543--z, 851(0)27--z
definite, 844(0)340--z, 844(0)465--z, 869(0)315--z
definition, 780(0)43--58, 780(0)140--153, 788(0)150--z, 789(0)543--z, 798(0)94--119, 802(0)72--82, 810(0)113--z, 811(0)367--379, 813(0)316--z, 814(0)148--z, 814(0)816--820, 814(0)821--z, 815(0)258--z, 817(0)289--z, 834(0)600--z, 835(0)160--z, 869(0)376--z, 869(0)488--z, 873(0)233--z, 880(0)60--76
definition, lambda-, 788(0)135--z
Definitional, 798(0)196--205, 798(0)333--347
deforestation, 787(0)335--z, 788(0)485--z, 864(0)432--z
deformable, 800(0)471--481
Defude, B., 856(0)360--z
Defude:1994:PAD, 856(0)360--z
DeGaudenzi:1994:PAC, 783(0)400--z
DeGiacomo:1994:DLI, 838(0)332--z
degree, 750(0)543--z, 780(0)87--98, 834(0)261--z, 839(0)50--55, 841(0)316--z, 841(0)403--z, 855(0)48--z, 877(0)134--z, 880(0)125--136
Degree, Bounded-, 824(0)195--z
Degrez, G., 796(0)157--162
Degrez, G., see Issman, E.
deGroote:1994:CTL, 787(0)85--z
DeGroote:1994:RBL, 822(0)31--z
DeGroote:1994:SNN, 813(0)142--z
Dehbonei, B., 873(0)26--z
Dehbonei:1994:FMR, 873(0)26--z
Dehne, F., 805(0)95--100, 805(0)115--120, 841(0)296--z
Dehne:1994:BSP, 841(0)296--z
Dehne:1994:DCR, 805(0)95--100
Dehne:1994:SPC, 805(0)115--120
DeHon, A., 853(0)215--z
DeHon, A., see Eslick, I.
Deininger, Marcus, 750(0)227--z
Deininger:1994:TSP, 750(0)227--z
Dekel, E., 778(0)91--z
Dekel:1994:PPD, 778(0)91--z
Dekeyser, J.-L., 797(0)338--z
Dekeyser, J.-L., see Fonlupt, C.
deKeyser:1994:DMS, 797(0)227--z
Dekhtyar, A. M., 813(0)81--z
Dekhtyar, M. I., 813(0)18--z
Dekhtyar, M. I., see Archangelsky, D. A.
Dekhtyar:1994:MLL, 813(0)81--z
DeKorvin:1994:IPU, 856(0)320--z
Del Cerro, L. F., 861(0)237--z
DelaFuente:1994:ATC, 851(0)273--z
Delahaye, J. P., 822(0)320--z
Delahaye, J. P., see Mathieu, P.
Delay, 783(0)251--z, 834(0)669--z, 846(0)149--z, 849(0)57--z, 852(0)178--z, 868(0)104--z, 879(0)349--357
Delayed, 786(0)158--z, 865(0)210--z, 865(0)224--z
Delcambre, L. M. L., 823(0)1--z
Delcambre, L. M. L., see Pollacia, L. F.
DelCerro:1994:CLU, 861(0)237--z
Deleglise, M., 877(0)264--z
Deleglise:1994:CXM, 877(0)264--z
Delest, M., 775(0)377--z
Delest:1994:GRI, 775(0)377--z
Deletion, 812(0)197--212
deletions, 834(0)433--z
Delgado, A., 763(0)366--z
Delgado:1994:QCN, 763(0)366--z
Delgrande, J. P., 861(0)272--z
Delgrande:1994:ISC, 861(0)272--z
Delgrossi, L., 846(0)195--z
Delgrossi:1994:RPI, 846(0)195--z
Delhalle, J., 796(0)183--z
Delhalle, J., see Andre, J. M.
Deliberative, 827(0)332--z
Delingette, H., 800(0)427--438
Delingette:1994:ISP, 800(0)427--438
Deliverer:, Case-, 837(0)446--z
Delivery, 750(0)245--z, 856(0)690--z
Dell'Acqua, P., 838(0)400--z
Dell'Acqua, P., see Costantini, S.
Della Pietra, S., 862(0)78--z
Della Pietra, V., 862(0)78--z
Della Pietra, V., see Della Pietra, S.
Della Rocca, S. R., 813(0)353--z
Della Rocca, S. R., see Van Bakel, S.
Della Vigna, P., 858(0)359--z
Della Vigna, P., see Corbellini, P.
DellaPietra:1994:IEL, 862(0)78--z
Delobel, C., 779(0)81--94
Delobel, C., see Dos Santos, C. S.
Delogu, V., Antonuccio-, 879(0)17--32
Delos, Olivier, 839(0)83--94
Delos:1994:IBS, 839(0)83--94
DELTA, 814(0)774--z, 868(0)300--z
Delta, 866(0)556--z
Delta-4, 774(0)199--z
delta-Functors, 802(0)567--586
delta011-CA, 822(0)44--z
DeLuca:1994:ADD, 797(0)211--z
Demand, 786(0)389--z, 846(0)77--z
Demand, Video-on-, 846(0)204--z, 846(0)216--z
Demarcation, 766(0)1--z
DeMarcken:1994:ALP, 862(0)66--z
DeMarrais, J., 877(0)28--z
DeMarrais, J., see Adleman, L. M.
DeMarrais, Johnathan, 773(0)147--z
DeMarrais, Johnathan, see Adleman, Leonard M.
Demeure, A., 817(0)769--z
Demeure, A., see Verdier, C.
Demichiel, L. G., 779(0)7--z
Demichiel, L. G., see Agrawal, R.
DeMiguel:1994:IED, 868(0)353--z
Demoen, B., 864(0)281--z
Demoen, B., see Codish, M.
Demolombe, R., 869(0)488--z
Demolombe, R., see Cholvy, L.
Demonstrating, 868(0)363--z
Demonstration, 876(0)128--z
Demonstrational, 876(0)64--z
Dempsey, B. J., 868(0)376--z
Dempsey:1994:DIH, 868(0)376--z
Demri, S., 838(0)182--z
Demri:1994:ESA, 838(0)182--z
Demytko, N., 765(0)40--z
Demytko:1994:NEC, 765(0)40--z
den Berg, J., Van, 866(0)566--z
den Bussche, J., Van, 776(0)170--z, 820(0)106--z
Den Hartog, J., 851(0)145--z
Den Hartog, J., see Bisseling, H.
Denaro, D., 830(0)41--z
Denaro, D., see Cecconi, F.
denBoer:1994:CCF, 765(0)293--z--1
Denecker, M., 827(0)301--z, 844(0)432--z
Denecker, M., see Boulanger, D., see Van Belleghem, K.
Denejko, P., 841(0)306--z
Denejko:1994:RMF, 841(0)306--z
Deng, X., 834(0)634--z
Deng:1994:CHA, 834(0)634--z
deNicola:1994:APM, 796(0)139--z
DeNicola:1994:CTN, 841(0)536--z
DeNivelle:1994:UOR, 838(0)217--z
Denker, G., 785(0)173--187, 823(0)376--z
Denker, G., see Gogolla, M.
Denker:1994:TTL, 785(0)173--187
Denning, Peter J., 750(0)1--z--1
Denning:1994:DDS, 750(0)1--z--1
Dennis, M. D., 862(0)271--z
Dennis:1994:SOP, 862(0)271--z
Dennison, L. R., 853(0)241--z
Dennison, L. R., see Dally, W. J.
Denny, T., 773(0)166--z
Denny:1994:FR, 773(0)166--z
denotational, 786(0)248--z, 788(0)195--z, 789(0)244--z
dense, 800(0)338--350, 834(0)451--z, 879(0)425--433
Dense, Effectively-, 797(0)202--z
Density, 837(0)379--z, 849(0)295--z, 877(0)17--z
Density, Low-, 834(0)164--z
Densityash, 849(0)292--z
Dent, D., 796(0)299--z
Dent, D., see Barros, S. R. M.
Denzinger, J., 861(0)343--z
Denzinger:1994:GOE, 861(0)343--z
Deogun, J. S., 775(0)747--z
Deogun:1994:VRP, 775(0)747--z
DeOliveira:1994:SEB, 866(0)354--z
DeOliveiraDuarte:1994:TMA, 849(0)11--z
DePauw:1994:MOO, 821(0)163--z
Dependability, 852(0)371--z, 852(0)407--z
Dependable, 852(0)417--z
Dependence, 768(0)546--z, 786(0)309--323, 786(0)374--z, 844(0)415--z, 854(0)725--z, 854(0)737--z, 874(0)312--z
Dependence-Conscious, 782(0)129--z
Dependency, 817(0)387--z, 823(0)99--z, 864(0)266--z, 864(0)281--z, 874(0)205--z, 875(0)249--z
Dependency-Directed, 856(0)734--z
Dependent, 807(0)54--63, 817(0)438--z, 822(0)305--z, 839(0)188--201
Dependent, Formula-, 818(0)324--z
Dependent, Goal-, 872(0)516--z
Dependent, Machine-, 782(0)105--z
dependent, marking-, 815(0)179--z
Dependent, State-, 794(0)111--122
Dependent, Time-, 796(0)119--z
DePietro:1994:GDM, 797(0)373--z
Deployment, 849(0)135--z
Deposition, 855(0)436--z
Depreitere, J., 849(0)352--z
Depreitere:1994:ODF, 849(0)352--z
depth, 774(0)251--z, 775(0)201--z, 800(0)389--402, 800(0)471--481, 824(0)1--z, 880(0)48--59
Depth, Size-, 817(0)214--z
der Aalst, W. M. P., Van, 794(0)425--444
der Beeck, M., Von, 863(0)128--z
der Hoek, W., Van, 813(0)366--z, 838(0)137--z, 861(0)202--z
der Laag, P. R. J., van, 784(0)307--z
der Linden, F., van, 797(0)273--z
der Poorten, A. J., Van, 877(0)194--z
der Stappen, A. F., Van, 855(0)240--z
der Stok, P. D. V., Van, 852(0)599--z
der Vorst, H. A., van, 796(0)365--z, 797(0)174--z, 797(0)190--z, 797(0)196--z
der Wees, J. G. L., Van, 856(0)349--z
der Weide, T. P., Van, 856(0)433--z
Deriche, R., 800(0)567--576
Deriche:1994:RRE, 800(0)567--576
derivation, 770(0)1--z, 776(0)86--z, 776(0)104--z, 776(0)153--z, 779(0)7--z, 797(0)457--z, 813(0)291--z, 814(0)821--z, 854(0)136--z, 863(0)567--z
Derivational, 837(0)234--z
derivative, 866(0)219--z
derived, 823(0)60--z, 859(0)254--z, 869(0)437--z, 872(0)26--z
Deriving, 800(0)377--388, 811(0)311--324, 817(0)623--z, 836(0)449--z, 844(0)102--z, 854(0)148--z, 864(0)281--z, 873(0)703--z
Dermler, G., 882(0)334--z
Dermler:1994:PMT, 882(0)334--z
Derniame, J.-C., 772(0)74--z, 772(0)177--z
Derniame, J.-C., see Tankoano, J.
Derniame:1994:PMC, 772(0)74--z
deRooij:1994:SPD, 765(0)435--z
Derou, D., 800(0)521--526
Derou:1994:PNN, 800(0)521--526
Derras, M., 800(0)207--212
Derras:1994:URS, 800(0)207--212
Dershowitz, N., 872(0)6--z
Dershowitz:1994:SPI, 872(0)6--z
Derwand, G., 837(0)167--z
Derwand, G., see Wess, S.
DES, 765(0)386--397, 773(0)212--z, 793(0)78--90, 793(0)153--172
DeSantis:1994:SSP, 773(0)73--z
Desbiens, J., 817(0)753--z
Desbiens:1994:ABP, 817(0)753--z
Describing, 770(0)1--z, 819(0)62--z, 823(0)1--z
description, 763(0)111--z, 763(0)190--z, 775(0)607--z, 776(0)119--z, 780(0)87--98, 784(0)103--z, 809(0)191--204, 814(0)326--z, 821(0)344--z, 825(0)397--z, 838(0)332--z, 851(0)433--z, 860(0)38--z, 861(0)178--z, 867(0)83--z, 882(0)145--z
Descriptional, 775(0)619--z, 812(0)169--182
Descriptor, 763(0)282--z
Desel, J., 880(0)366--377
Desel:1994:PNR, 880(0)366--377
Deserable, D., 854(0)808--z
Deserable:1994:BAT, 854(0)808--z
design, 750(0)1--z--1, 750(0)97--z, 750(0)341--z, 750(0)375--z, 750(0)411--z, 763(0)21--z, 763(0)137--z, 763(0)440--z, 765(0)267--273, 771(0)1--z, 772(0)69--z, 772(0)177--z, 772(0)240--z, 773(0)100--109, 773(0)100--z, 774(0)91--z, 774(0)250--z, 775(0)275--z, 779(0)159--172, 782(0)228--z, 783(0)141--z, 785(0)220--234, 788(0)165--z, 791(0)213--z, 796(0)189--z, 797(0)379--z, 797(0)401--z, 798(0)3--10, 803(0)622--z, 808(0)131--z, 809(0)18--z, 809(0)71--82, 809(0)101--z, 811(0)105--118, 811(0)353--366, 813(0)101--z, 817(0)502--z, 817(0)749--z, 819(0)172--z, 821(0)150--z, 821(0)365--z, 823(0)60--z, 823(0)178--z, 823(0)190--z, 837(0)197--z, 837(0)436--z, 839(0)50--55, 839(0)174--187, 849(0)111--z, 849(0)117--z, 849(0)135--z, 849(0)271--z, 849(0)298--z, 849(0)315--z, 849(0)326--z, 849(0)341--z, 849(0)385--z, 852(0)115--z, 852(0)309--z, 852(0)336--z, 853(0)226--z, 853(0)295--z, 854(0)172--z, 854(0)426--z, 854(0)652--z, 856(0)204--z, 856(0)339--348, 856(0)498--z, 857(0)17--z, 858(0)329--z, 859(0)177--z, 859(0)300--z, 859(0)316--z, 859(0)362--z, 861(0)399--z, 863(0)110--z, 863(0)738--z, 866(0)546--z, 866(0)598--z, 866(0)608--z, 867(0)283--z, 868(0)376--z, 871(0)173--z, 873(0)401--z, 873(0)639--z, 874(0)123--z, 874(0)299--z, 876(0)1--z, 876(0)11--z, 876(0)140--z, 876(0)152--z
Design, Co-, 763(0)42--z
Designated, 839(0)61--74
Designing, 750(0)1--z--1, 776(0)188--z, 811(0)380--393, 839(0)164--173, 839(0)383--396, 852(0)21--z, 856(0)145--z, 858(0)53--z, 860(0)89--z, 863(0)228--z, 866(0)472--z, 875(0)93--z, 875(0)249--z
DeSimone:1994:CSE, 818(0)441--z
Desk, 846(0)13--z
DeSmedt:1994:PWA, 819(0)234--z
Desnakification, 855(0)377--z
Despeyroux, J., 822(0)159--z
Despeyroux:1994:HOA, 822(0)159--z
Desprez, F., 854(0)605--z
Desprez, F., see Calvin, C.
Dessmark, A., 841(0)316--z
Dessmark:1994:PCM, 841(0)316--z
Destruction, 823(0)1--z
Destructive, 776(0)358--z
deSturler:1994:CCR, 797(0)190--z
Deswarte, Y., 875(0)319--z
Deswarte, Y., see Dacier, M.
Deswartes, Y., 852(0)21--z
Deswartes, Y., see Fabre, J.-C.
Detailed, 796(0)125--z
Detecting, 784(0)183--z, 814(0)222--z, 854(0)66--z, 855(0)215--z, 861(0)154--z
Detecting, Error-, 817(0)725--z
detection, 763(0)357--z, 775(0)497--z, 783(0)184--z, 783(0)196--z, 793(0)125--135, 793(0)343--358, 794(0)253--265, 800(0)101--108, 800(0)167--174, 800(0)173--178, 800(0)305--315, 800(0)495--500, 812(0)358--371, 834(0)101--z, 851(0)393--z, 852(0)309--z, 852(0)327--z, 852(0)439--z, 864(0)238--z, 875(0)55--z
Detector, 783(0)67--z
detectors, 783(0)172--z, 800(0)115--124, 857(0)280--z
DETERM, 823(0)230--z
determinant, 825(0)47--z, 834(0)65--z
determination, 800(0)295--304, 800(0)501--506, 835(0)45--z, 862(0)57--z
Determine, 865(0)224--z
Determining, 774(0)173--z, 834(0)38--z
Determinism, 875(0)33--z
Determinism:, Non-, 874(0)162--z
determinism, non-, 836(0)130--z
Deterministic, 775(0)109--z, 775(0)237--z, 787(0)308--z, 822(0)215--z, 823(0)230--z, 834(0)333--z, 834(0)378--z, 841(0)256--z, 855(0)391--z, 857(0)265--z
Deterministic, Non-, 813(0)142--z
deterministic, Non-, 792(0)61--z
Deterministic, Semi-, 820(0)106--z
Determinizable, 818(0)1--z
Determinizing, 820(0)130--z
Detert, U., 854(0)196--z
Detert:1994:TTS, 854(0)196--z
Dettling, P., 868(0)401--z
Dettling, P., see Rakow, T. C.
Dettmar, U., 829(0)80--z
Dettmar:1994:CCC, 829(0)80--z
Deursen, A., Van, 816(0)76--95
Develop, 819(0)190--z
Developing, 763(0)406--z, 786(0)233--z, 797(0)286--z, 806(0)291--312, 819(0)1--z, 856(0)236--z
development, 766(0)1--z, 770(0)1--z, 772(0)59--z, 779(0)187--200, 780(0)113--126, 782(0)21--z, 797(0)137--z, 797(0)174--z, 797(0)302--z, 811(0)66--79, 811(0)80--93, 811(0)135--148, 814(0)778--z, 814(0)788--z, 817(0)192--z, 849(0)271--z, 849(0)309--z, 849(0)318--z, 851(0)407--z, 854(0)53--z, 854(0)196--z, 856(0)27--z, 856(0)680--z, 858(0)96--z, 858(0)123--z, 858(0)278--z, 858(0)346--z, 858(0)371--z, 863(0)77--z, 863(0)529--z, 865(0)277--z, 868(0)401--z, 873(0)214--z, 873(0)306--z, 873(0)441--z, 873(0)618--z, 879(0)344--348
development, proof-, 814(0)826--z
Developmental, 854(0)184--z
DEVI, 874(0)78--z
Devices, 779(0)273--286, 796(0)99--z, 846(0)204--z, 849(0)283--z
Devienne, Ph., 775(0)21--z
Devienne:1994:OBH, 775(0)21--z
Devillers, O., 855(0)254--z
Devillers, O., see Boissonnat, J.-D.
Devlin, K., 808(0)197--z
Devlin:1994:STS, 808(0)197--z
DeWaal:1994:ALP, 814(0)207--z
Dey, D., 823(0)218--z
Dey, D., see Storey, V. C.
Dezani-Ciancaglini, M., 841(0)211--z
Dezani-Ciancaglini, M., see Alessi, F.
Dezani-Ciancaglini, Mariangiola, 789(0)16--z
Dezani-Ciancaglini:1994:FAS, 789(0)16--z
DFR, 868(0)401--z
DFS, 855(0)343--z
DFS-Forests, 855(0)343--z
Dhagat, Maneesh, 768(0)76--z
Dhagat, Maneesh, see Prakash, Sundeep
Dhome, M., 800(0)449--454
Dhome, M., see Daucher, N.
Di Battista, G., 823(0)327--z
Di Battista, G., see Santucci, G.
Di Cosmo, R., 820(0)462--z
Di Crescenzo, G., 773(0)73--z, 778(0)109--z
Di Crescenzo, G., see De Santis, A.
Di Gianantonio, P., 836(0)130--z
Di Maio, M. C., 827(0)265--z
Di Martino, B., 854(0)253--z
Di Meglio, R., 772(0)207--z
Di Meglio, R., see Ambriola, V.
Di Pierro, A., 788(0)195--z
Di Porto, A., 809(0)205--z
Diaconescu, R., 785(0)1--29
Diaconescu, R., see Goguen, J. A.
Diagnoser, 822(0)290--z
Diagnosis, 763(0)388--z, 837(0)182--z, 837(0)301--z, 852(0)371--z, 852(0)511--z
diagnostic, 815(0)39--z, 837(0)325--z, 854(0)761--z, 867(0)137--z
Diagonal, 775(0)225--z, 805(0)121--136, 855(0)94--z
Diagram, 775(0)711--z, 789(0)726--z, 803(0)477--z, 824(0)73--z, 834(0)11--z, 834(0)575--z, 834(0)584--z, 841(0)296--z, 841(0)515--z, 845(0)34--z, 855(0)227--z, 859(0)254--z, 880(0)390--401
Dialog, 861(0)106--z
Dialogue, 750(0)565--z, 822(0)189--z
Diamantaras, K. J., 800(0)175--180
Diamantaras, K. J., see Geiger, D.
Diameter, 820(0)227--z
Diameter, {L1}-, 824(0)326--z
diamond, 800(0)433--440
Diaz, D., 844(0)244--z
Diaz, D., see Codognet, P.
Diaz, M., 815(0)219--z
Diaz, R., Moreno-, 763(0)366--z
Diaz-Frias, J. F., 880(0)12--23
Diaz-Frias, J. F., see Couveignes, J.-M.
Diaz:1994:TSP, 815(0)219--z
DiCesare, F., 815(0)2--z
DiCesare:1994:APN, 815(0)2--z
Dichterman, E., 872(0)248--z
Dichterman, E., see Ben-David, S.
Dichtl, M., 809(0)41--z
Dichtl, M., see Bloecher, U.
Dick, H., 849(0)298--z
Dick, H., see Lysaght, P.
Dick, J. P., 835(0)196--z
Dick:1994:UCR, 835(0)196--z
Dickerson, K. R., 851(0)5--z
Dickerson:1994:SIS, 851(0)5--z
Dickinson, S. J., 800(0)3--14
Dickinson:1994:AOR, 800(0)3--14
Dicky, H., 805(0)101--114
Dicky, H., see Baldy, P.
DiCosmo:1994:CFO, 820(0)462--z
DiCrescenzo:1994:NIE, 778(0)109--z
dictionary, 807(0)184--197, 819(0)42--z
Dictionary-Matching, 807(0)184--197
Didrich, Klaus, 782(0)228--z
Didrich:1994:ODI, 782(0)228--z
Diekmann, R., 841(0)72--z
Diekmann, R., see Monien, B.
Dieng, R., 867(0)63--z
Dieng:1994:ABK, 867(0)63--z
Diercksen, G. H. F., 796(0)219--z
Diercksen:1994:ISO, 796(0)219--z
Diest, M., Van, 800(0)527--534, 825(0)165--z, 825(0)297--z
Dietl, T., 763(0)380--z
Dietl, T., see Kilger, M.
Dietrich, S., 796(0)181--z
Dietrich:1994:PSO, 796(0)181--z
Dietz, C., 815(0)239--z
Dietz, P. F., 824(0)131--z
Dietz:1994:TLB, 824(0)131--z
Dietz:1994:TRP, 815(0)239--z
Dietzfelbinger, M., 841(0)326--z, 880(0)24--35
Dietzfelbinger:1994:CTL, 841(0)326--z
Dietzfelbinger:1994:MUL, 880(0)24--35
difference, 844(0)182--z, 879(0)349--357
Difference, Programming-by-, 873(0)134--z
Different, 775(0)449--z, 796(0)111--z, 866(0)386--z, 880(0)390--401
differential, 763(0)366--z, 773(0)187--z, 773(0)200--z, 783(0)196--z, 793(0)125--135, 800(0)187--192, 800(0)397--406, 809(0)101--z, 818(0)95--z, 818(0)364--z, 879(0)59--66, 879(0)397--415
Differential-Linear, 839(0)17--25
Differentially, 765(0)55--z
Differentiation, 797(0)211--z, 830(0)3--z
Differing, 780(0)490--501
Difficult, 772(0)163--z
Difficulties, 825(0)199--z
difficulty, 877(0)1--z
Diffie--Hellman, 839(0)271--281
Diffraction, 796(0)377--z
Diffuse, 866(0)376--z
diffusion, 763(0)293--z, 800(0)295--304, 856(0)455--z
Digest, Message-, 849(0)126--z
DiGianantonio:1994:CND, 836(0)130--z
digital, 765(0)274--z, 765(0)435--z, 765(0)435--z--1, 783(0)21--z, 783(0)510--z, 783(0)522--z, 793(0)153--172, 817(0)85--z, 821(0)493--z, 829(0)6--z, 839(0)75--82, 846(0)21--z, 846(0)161--z, 849(0)138--z, 849(0)289--z, 849(0)385--z, 849(0)397--z, 852(0)151--z, 859(0)300--z, 860(0)262--z, 865(0)291--z, 869(0)27--z, 875(0)217--z
digital, all-, 793(0)45--66
Digital, Comfortable-, 860(0)255--z
Digraphs, 774(0)342--z
Dijkstra, J., 823(0)13--z
Dijkstra:1994:COV, 823(0)13--z
Dikken, L., 797(0)273--z
Dikken:1994:DDL, 797(0)273--z
Diks, K., 805(0)207--218, 841(0)306--z
Diks, K., see Denejko, P.
Diks:1994:FTL, 805(0)207--218
Dilated, 853(0)16--z
Dilation, 805(0)73--80, 854(0)773--z
Dilemma, 784(0)3--z, 830(0)69--z
Dill, D., 836(0)161--z
Dill, D. L., 818(0)68--z
Dill, D. L., see Burch, J. R.
Dill:1994:HMS, 836(0)161--z
Dillon, L. K., 827(0)195--z
Dillon, L. K., see Kutty, G.
DiMaio:1994:SHP, 827(0)265--z
DiMartino:1994:PNS, 854(0)253--z
dimension, 774(0)279--z, 775(0)711--z, 788(0)348--z, 831(0)33--z, 834(0)38--z, 838(0)231--z
Dimension, VC-, 774(0)251--z
dimension, VC-, 800(0)239--250
dimensional, 783(0)141--z, 800(0)24--35, 800(0)281--294, 805(0)81--94, 807(0)125--135, 874(0)78--z
Dimensional, Multi-, 797(0)484--z, 817(0)769--z
Dimensional, One-, 829(0)103--z
Dimensional, Three-, 796(0)99--z, 796(0)171--z, 825(0)47--z, 853(0)101--z
dimensional, three-, 800(0)403--410
Dimensional, Two-, 820(0)215--z, 827(0)149--z, 829(0)53--z
Dimensioning, 797(0)365--z
Dimensions, VC-, 774(0)328--z, 784(0)415--z
Dimet, F. X., Le, 796(0)317--z
Dimopoulos, Y., 838(0)50--z, 869(0)500--z
Dimopoulos:1994:CMN, 869(0)500--z
Dimopoulos:1994:CVJ, 838(0)50--z
Dinesh, T. B., 816(0)76--95
Dinesh, T. B., see Van Deursen, A.
Ding, C., 809(0)101--z
Ding, Cunsheng, 765(0)65--z
Ding, Cunsheng, see Beth, Thomas
Ding, J., 834(0)428--z
Ding:1994:DCD, 809(0)101--z
Ding:1994:GAQ, 834(0)428--z
Dingel, J., 776(0)248--z
Dingel, J., see Lowe, M.
Dini, G., 857(0)1--z
Dini, G., see Babaoglu, O.
Dining, 857(0)296--z
Dinler, B., 772(0)240--z
Dinler, B., see Kramer, B.
Dinneen, M. J., 831(0)86--z
Dinneen, M. J., see Cattel, K.
Dion, M., 797(0)447--z, 854(0)359--z
Dion:1994:CTP, 854(0)359--z
Dion:1994:PCW, 797(0)447--z
DiPierro:1994:LDS, 788(0)195--z
DiPippo, L. C., 856(0)601--z
DiPippo, L. C., see Prichard, J. J.
Diploid, 866(0)36--z
DIPOL92, 784(0)411--z
DiPorto:1994:VBC, 809(0)205--z
direct, 796(0)181--z, 800(0)309--318, 800(0)365--376, 802(0)627--648, 849(0)138--z
Direct-Sequence, 783(0)172--z, 783(0)251--z
Directed, 786(0)128--z, 820(0)487--z, 839(0)75--82, 855(0)343--z, 865(0)103--z, 866(0)556--z
Directed, CCB-, 750(0)285--z
Directed, Dependency-, 856(0)734--z
direction, 750(0)411--z, 800(0)286--298, 856(0)173--z, 874(0)326--z
Directional, 864(0)43--z
Directly, 807(0)113--124
Disability, 860(0)1--z, 860(0)192--z
Disabled, 860(0)177--z, 860(0)214--z
Discarding, 846(0)173--z
Discipline, 750(0)1--z--1, 846(0)89--z
Disclosure, 856(0)433--z, 875(0)431--z
discontinuity, 800(0)295--304
discontinuous, 800(0)138--145
Discourse, 835(0)45--z
discover, 814(0)693--z
Discovering, 774(0)384--z, 784(0)198--z, 784(0)347--z, 789(0)555--z
Discovers, 866(0)344--z
discovery, 851(0)455--z, 856(0)370--z, 869(0)164--z, 869(0)233--z, 869(0)386--z, 869(0)427--z, 872(0)438--z
Discreet, 773(0)319--z
discrete, 773(0)147--z, 784(0)399--z, 818(0)41--z, 839(0)56--60, 839(0)271--281, 877(0)28--z, 877(0)289--z
discriminant, 774(0)223--z
Discriminate, 861(0)395--z
Discussion, 750(0)275--z, 765(0)410--z, 766(0)1--z
Disequality, 775(0)151--z, 844(0)385--z
Disjoint, 820(0)508--z, 834(0)20--z
Disjoint, Edge-, 824(0)219--z, 834(0)208--z, 855(0)130--z
disjoint, non-, 814(0)267--z
Disjoint, Vertex-, 841(0)473--z
Disjunctive, 777(0)83--z, 822(0)230--z, 856(0)641--z
disk, 774(0)78--z, 839(0)114--120
Disk-Based, 768(0)358--z
Disorder, 841(0)233--z
Disparity-space, 800(0)179--186
Dispatcher-Collector, 849(0)344--z
Dispatching, 821(0)450--z
Dispelling, 873(0)105--z
dispersion, 877(0)290--z
Display, 771(0)1--z, 871(0)37--z
Dissemination, 805(0)235--250, 846(0)259--z
Dissipation, 849(0)57--z
distance, 750(0)565--z, 765(0)344--z, 800(0)95--100, 807(0)307--325, 829(0)74--z, 834(0)172--z, 851(0)109--z, 854(0)349--z, 861(0)308--z, 868(0)280--z
Distance-Hereditary, 824(0)370--z
Distinct, 823(0)475--z
Distinguishing, 860(0)206--z
distortion, 800(0)353--364, 800(0)389--402
Distribute-based, 768(0)321--z
Distributed-Memory, 796(0)281--z
distribution, 765(0)360--z, 765(0)440--z, 765(0)461--z, 768(0)184--z, 768(0)301--z, 772(0)152--z, 773(0)232--z, 773(0)403--z, 773(0)444--z, 791(0)47--z, 794(0)111--122, 797(0)434--440, 797(0)463--z, 808(0)81--z, 820(0)154--z, 820(0)568--z, 836(0)242--z, 868(0)376--z
Distribution, Alignment-, 768(0)234--z
distribution, run-, 800(0)173--178
Distribution-Free, 872(0)500--z
Distributive, 841(0)423--z
Disunification, 845(0)121--z
Dittmann, R., 796(0)99--z
Dittmann, R., see Klix, W.
divergence, 814(0)14--z
Divergent, 863(0)351--z
diverging, 800(0)227--234
Diversification, 865(0)65--z
Diversity, 852(0)309--z, 852(0)336--z, 866(0)36--z
Divide-and-Conquer, 796(0)446--z
Divided, 800(0)535--542
division, 783(0)67--z, 783(0)251--z, 855(0)448--z, 877(0)18--z, 877(0)41--z
divisionless, 793(0)38--44
divisor, 877(0)184--z
Dix, J., 861(0)82--z, 869(0)511--z
Dix:1994:PER, 869(0)511--z
Dix:1994:SSV, 861(0)82--z
Dixon, B., 805(0)13--22, 805(0)59--72
Dixon, Brandon, 765(0)28--z
Dixon, C., 827(0)415--z
Dixon:1994:CPQ, 805(0)59--72
Dixon:1994:FIU, 765(0)28--z
Dixon:1994:GBA, 827(0)415--z
Dixon:1994:OPV, 805(0)13--22
Djamen, J.-Y., 835(0)251--z
Djamen, J.-Y., see Kabbaj, A.
Dlay, S. S., 852(0)439--z
Dlay, S. S., see Tahir, J. M.
Dlogtime, 775(0)301--z
DNA, 774(0)314--z, 841(0)143--z
DNF, 872(0)272--z
Do-Loop-Surface, 797(0)367--z
Doan, K., 826(0)153--z
Doan, K., see Paton, N. W.
document, 815(0)454--z, 819(0)253--z, 856(0)83--z, 856(0)550--z, 860(0)198--z, 860(0)206--z, 860(0)214--z, 862(0)153--z, 882(0)14--z
Documentation, 837(0)392--z
Documented, 876(0)77--z
Dodani, Mahesh H., 750(0)597--z
Dodani:1994:FMS, 750(0)597--z
Doddapaneni, Sri, 768(0)290--z
Doddapaneni, Sri, see Appelbe, Bill
Dodson, B. A., 877(0)41--z
Dodson, Bruce, 773(0)166--z
Dodson, Bruce, see Denny, T.
Dodson:1994:CRG, 877(0)41--z
Doehmen, G., 818(0)455--z
Doehmen, G., see Dams, D.
Does, 796(0)15--z, 856(0)370--z, 858(0)79--z
DOF, 800(0)35--46
Dogil, G., 861(0)398--z
Dogil, G., see Rapp, S.
Doherty, P., 827(0)82--z, 869(0)521--z
Doherty:1994:CFFa, 827(0)82--z
Doherty:1994:CFFb, 869(0)521--z
Dohmen, R., 854(0)473--z, 879(0)177--189
Dohmen:1994:CBM, 854(0)473--z
Dohmen:1994:TAP, 879(0)177--189
Doing, 750(0)151--z
Dolev, Danny, 774(0)125--z
Dolev, Danny, see Amir, Ofir
Dolev, S., 857(0)326--z
Dolev, S., see Awerbuch, B.
Dollas, A., 849(0)259--z
Dollas:1994:FBL, 849(0)259--z
domain, 772(0)249--z, 780(0)295--309, 784(0)371--z, 787(0)142--z, 787(0)202--z, 798(0)37--61, 802(0)103--121, 802(0)320--332, 802(0)410--437, 802(0)438--453, 802(0)454--473, 812(0)97--123, 814(0)798--z, 819(0)78--z, 820(0)340--z, 837(0)182--z, 864(0)61--z, 869(0)39--z, 874(0)86--z
Domain, Finite-, 822(0)84--z
Domain, Inter-, 851(0)193--z
Domenjoud, E., 814(0)267--z
Domenjoud:1994:CTN, 814(0)267--z
Dominating, 775(0)735--z, 824(0)370--z
Domingo, L., 794(0)52--75
Domingo, L., see Carmona, A.
Domingo-Ferrer, Josep, 765(0)260--z
Domingo-Ferrer:1994:URC, 765(0)260--z
Don't, 807(0)240--249, 818(0)222--z
Donat, M., 859(0)285--z
Donat, M., see Joyce, J.
Donatelli, S., 794(0)335--352, 815(0)258--z
Donatelli:1994:SAE, 794(0)335--352
Donatelli:1994:SGS, 815(0)258--z
Dongarra, J. J., 879(0)147--168
Dongarra, J. J., see Choi, J.
Dongen, Vincent, Van, 768(0)340--z
Donini, F. M., 810(0)113--z
Donini:1994:QRD, 810(0)113--z
Donnelly, W., 851(0)207--z
Donnelly:1994:SRT, 851(0)207--z
Donskoy, M. V., 876(0)121--z
Donskoy:1994:AOO, 876(0)121--z
Door, 786(0)31--z
Dore, G., 813(0)34--z
Dore, G., see Asperti, A.
Dorigo, M., 865(0)180--z
Dorigo, M., see Patel, M. J.
Dormido, S., 763(0)243--z
Dormido:1994:AAS, 763(0)243--z
Dornaika, F., 800(0)455--462
Dornaika, F., see Horaud, R.
Dorr, B., 869(0)154--z
Dorr, B., see Chang, Y.
Dos Santos, C. S., 779(0)81--94
DosSantos:1994:VSB, 779(0)81--94
Double, 776(0)86--z, 809(0)157--165, 825(0)145--z
Dovier, A., 798(0)77--93
Dovier:1994:LFS, 798(0)77--93
Down, 750(0)489--z
down, Top-, 856(0)47--z
down, top-, 814(0)774--z
Downey, R., 775(0)509--z
Downey, R., see Cai, L.
Downey, R. G., 807(0)15--30, 813(0)89--z
Downey, R. G., see Bodlaender, H.
Downey:1994:PCS, 813(0)89--z
Dowson, M., 772(0)90--z, 772(0)227--z
Dowson, M., see Aumaitre, J.-M.
Dowson:1994:TRE, 772(0)90--z
Doyle, D. C., 851(0)455--z
Doyle:1994:SRD, 851(0)455--z
DP1, 784(0)395--z
DPL, 791(0)122--z
DPSK, 793(0)136--152
DQPSK, 783(0)310--z
Dragan, F., 855(0)159--z
Dragan, F., see Chepoi, V.
Dragan, F. F., 775(0)735--z, 824(0)370--z
Dragan:1994:DCD, 824(0)370--z
Dragan:1994:DCG, 775(0)735--z
Drakul, S. L., 783(0)141--z
Drakul:1994:DPD, 783(0)141--z
Drawing, 778(0)12--z, 831(0)53--z, 834(0)487--z, 855(0)12--z, 855(0)24--z
drawing, line-, 800(0)411--420
Dream, 784(0)3--z
Drescher, P., 856(0)703--z
Drescher:1994:IFR, 856(0)703--z
Dreteler, J., 851(0)133--z
Dreteler, J., see Braux, H.
Drewes, F., 787(0)100--z
Drewes:1994:LBG, 787(0)100--z
Driven, 849(0)57--z, 849(0)208--z, 863(0)756--z
Driven, Automata-, 880(0)288--299
driven, data-, 869(0)448--z
Driven, Event-, 856(0)300--z
Driven, Explanation-, 837(0)274--z
driven, Geometry-, 800(0)427--432
Driven, Interpretation-, 763(0)380--z
driven, Interpretation-, 864(0)1--z
Driven, Service-, 851(0)529--z
Driven, Set-, 872(0)453--z
driver, 861(0)1--z
Drives, 839(0)114--120
Driving, 792(0)206--z, 844(0)165--z, 868(0)1--z
Drogoul, A., 830(0)3--z
Drogoul:1994:MAS, 830(0)3--z
Drolet, G., 793(0)67--77
Drolet:1994:FFA, 793(0)67--77
Drossopoulou, Sophia, 782(0)191--207
Drossopoulou, Sophia, see Spinellis, Diomidis
Droste, M., 820(0)388--z
Droste:1994:KTR, 820(0)388--z
Drouin, Jean-Normand, 750(0)211--z
Drouin, Jean-Normand, see Robillard, Pierre N.
Droz, P., 868(0)78--z
Droz:1994:TAL, 868(0)78--z
Drug, 796(0)189--z
DS-CDMA, 783(0)131--z, 783(0)150--z
DS-Spread, 783(0)522--z
DSA, 765(0)218--z
DSash, 793(0)191--202
DSP, 849(0)138--z, 849(0)318--z
Du, D. H. C., 834(0)669--z
Du, D. H. C., see Sun, S.
Duality, 774(0)137--z, 832(0)18--z
Duals, 835(0)175--z
Duan, Z., 822(0)333--z
Duan:1994:PTL, 822(0)333--z
Duarte, A. M., de Oliveira, 783(0)285--z
Duarte, R., De Oliveira, 849(0)11--z
Duato, J., 853(0)45--z
Duato:1994:PEA, 853(0)45--z
Dubernard, J- Ph., 775(0)377--z
Dubernard, J- Ph., see Delest, M.
Dubnicki, C., 853(0)256--z
Dubnicki:1994:NIS, 853(0)256--z
Duboc, Y., 882(0)294--z
Duboc, Y., see Hamdi, M.
Dubois, D., 833(0)3--z, 833(0)45--z, 847(0)51--z
Dubois, E., 793(0)385--394
Dubois, E., see Khandani, A. K.
Dubois, Eric, 750(0)303--z
Dubois, Eric, see Habra, Naji
Dubois, J., 796(0)55--z
Dubois, J., see Lonsdale, G.
Dubois, P., 868(0)315--z
Dubois, P., see Pusztaszeri, Y.-H.
Dubois:1994:BIF, 833(0)3--z
Dubois:1994:HUC, 833(0)45--z
Dubois:1994:PTB, 847(0)51--z
Dubuisson, O., 851(0)433--z
Dubuisson, O., see Keller, J.
Duda, A., 779(0)109--122
Duda, A., see Sheldon, M. A.
Duesterwald, Evelyn, 786(0)357--z
Duesterwald:1994:RCD, 786(0)357--z
Duff, I. S., 879(0)169--176
Duff, I. S., see Dayde, M. J.
Duggan, D., 822(0)114--z
Duggan:1994:LC, 822(0)114--z
Duke, D. J., 873(0)271--z
Duke:1994:TP, 873(0)271--z
Duleba, I., Karcz-, 866(0)608--z
Dumas, S., 835(0)45--z
Dumas, S., see Moulin, B.
Duncan, S. H., 796(0)32--z
Duncan:1994:PPH, 796(0)32--z
Dung, P. M., 838(0)66--z
Dung, P. M., see Aravindan, C.
Dunyach, J. C., 796(0)72--z
Dunyach, J. C., see Bennani, M.
Duper, 780(0)400--413
Dupont, P., 862(0)25--z, 862(0)236--z
Dupont:1994:RGI, 862(0)236--z
Dupont:1994:WSS, 862(0)25--z
Duprat, J., 817(0)73--z
Duprat, J., see Fiallos Aguilar, M.
Dupre, D. T., 810(0)98--z
Dupre, D. T., see Console, L.
Dupuis, P., 800(0)259--268
Dupuis:1994:SSP, 800(0)259--268
Durability, 819(0)429--z
Durand, J., 819(0)415--z
Durand, V., 793(0)270--286
Durand, V., see Sorokine, V.
Durand:1994:OVB, 819(0)415--z
duration, 836(0)283--z, 863(0)86--z, 863(0)193--z, 863(0)488--z, 863(0)660--z
During, 775(0)175--z, 779(0)187--200, 811(0)325--338, 876(0)35--z
Duris, P., 841(0)38--z
Duris:1994:CSD, 841(0)38--z
Duumvirate, 844(0)182--z
Dwell, 783(0)242--z
Dwork, Cynthia, 839(0)234--246
Dwork:1994:EEU, 839(0)234--246
Dybjer, P., 880(0)60--76
Dybjer, P., see Coquand, T.
Dyer, C. R., 871(0)37--z
Dyer, C. R., see Hibbard, W. L.
dynamic, 763(0)160--z, 766(0)1--z, 768(0)37--z, 773(0)110--z, 779(0)301--308, 783(0)33--z, 783(0)261--z, 783(0)365--z, 784(0)347--z, 794(0)89--110, 796(0)131--z, 796(0)177--z, 796(0)210--z, 796(0)223--z, 796(0)267--z, 797(0)273--z, 797(0)363--z, 800(0)111--116, 811(0)186--199, 812(0)97--123, 815(0)298--z, 817(0)601--z, 817(0)677--z, 817(0)713--z, 817(0)813--z, 819(0)142--z, 821(0)32--z, 821(0)408--z, 823(0)1--z, 824(0)167--z, 824(0)302--z, 830(0)24--z, 833(0)37--z, 836(0)178--z, 838(0)66--z, 844(0)415--z, 846(0)114--z, 847(0)1--z, 849(0)240--z, 854(0)866--z, 855(0)343--z, 856(0)370--z, 856(0)410--z, 856(0)571--z, 856(0)621--z, 856(0)744--z, 862(0)189--z, 865(0)17--z, 866(0)16--z, 866(0)239--z, 866(0)312--z, 869(0)203--z, 869(0)346--z, 874(0)229--z, 874(0)243--z, 879(0)1--10, 879(0)89--99, 879(0)100--109, 879(0)127--135, 879(0)312--317, 879(0)344--348, 879(0)392--396, 879(0)397--415, 879(0)498--504
Dynamical, 820(0)59--z, 879(0)458--468
Dynamically, 821(0)432--z, 846(0)240--z, 882(0)14--z
Dynamically-Typed, 820(0)450--z
DynamicPVM, 797(0)273--z
Dynamics, Molecular-, 796(0)261--z, 796(0)287--z
Dynamization, 778(0)136--z
Dyne, M., Van, 856(0)690--z
Dzeroski, S., 784(0)347--z
Dzeroski:1994:DDG, 784(0)347--z
Dzubera, J., 866(0)68--z
Dzubera:1994:ACA, 866(0)68--z
Dzwinel, W., 797(0)484--z
Dzwinel:1994:MPW, 797(0)484--z