Index file section C for lncs1995a.bib

Last update: Mon Mar 13 02:22:13 MDT 2017

Return to index directory

C

C, 892(0)376--z, 907(0)433--z
C++, 919(0)542--z
C, ParMod-, 919(0)514--z
CAB, 935(0)141--z
Caballero, A., 930(0)634--z
Caballero, A., see Diaz-Otero, F.
Caballero-Gil, P., 917(0)80--z
Caballero-Gil, P., see Fuster-Sabater, A.
Cabello, D., 930(0)860--z
Cabello, D., see Vilaritho, D. L.
Cabestany, J., 930(0)752--z
Cabestany, J., see Castillo, F.
Cabibbo, L., 893(0)208--z
Cabibbo:1995:PSL, 893(0)208--z
Cabruja, E., 930(0)114--z
Cabruja, E., see Valderrama, E.
Cachin, Christian, 950(0)266--274
Cachin:1995:LIR, 950(0)266--274
Cactus, 937(0)191--z
Cadoli, M., 900(0)205--z
Cadoli:1995:CRP, 900(0)205--z
Caferra, R., 918(0)154--z
Caferra:1995:MBI, 918(0)154--z
Cai, J.-Y., 900(0)38--z
Cai:1995:CCK, 900(0)38--z
Caillaud, B., 915(0)711--z
Caillaud, B., see Bareau, C.
Calabretta, R., 929(0)862--z
Calabretta:1995:ALM, 929(0)862--z
Calculating, 915(0)546--z
calculation, 919(0)554--z, 919(0)820--z
Calculi, 906(0)453--z, 907(0)229--z, 914(0)257--z, 944(0)672--z, 945(0)348--z
calculi, lambda-, 902(0)328--z
calculus, 900(0)243--254, 902(0)201--z, 907(0)187--z, 907(0)413--z, 915(0)172--z, 915(0)187--201, 915(0)471--z, 928(0)217--z, 933(0)16--z, 933(0)61--z, 933(0)76--z, 933(0)151--z, 934(0)79--z, 936(0)169--183, 936(0)489--z, 938(0)133--z, 939(0)114--126, 939(0)141--z, 939(0)196--z, 945(0)409--z, 946(0)328--z, 947(0)128--z, 947(0)214--z, 947(0)322--z, 947(0)351--z, 953(0)159--z, 953(0)200--z
calculus, Lambda-, 902(0)154--z
calculus, lambda-, 902(0)1--z, 902(0)235--z, 902(0)249--z, 902(0)381--z, 902(0)397--z, 902(0)414--z, 914(0)102--z, 933(0)61--z
Calculus, Pi-, 936(0)277--z
Caleb, P., 934(0)439--z
Caleb:1995:PIA, 934(0)439--z
calibration, 905(0)471--z
Call, 892(0)217--z
call-by-value, 902(0)381--z
Callejas Bedregal, B. R., 911(0)195--z
CallejasBedregal:1995:LPC, 911(0)195--z
Caltech, 947(0)159--z
Calvet, J. M., 930(0)627--z
Calvet, J. M., see Monte, E.
Calvin, C., 919(0)600--z
Calvin:1995:OTC, 919(0)600--z
Calzarossa, M., 919(0)102--z
Calzarossa:1995:HAW, 919(0)102--z
Calzolari, N., 898(0)121--z
Calzolari:1995:EET, 898(0)121--z
Cambridge, 898(0)77--z
Camenisch, Jan L., 921(0)209--z, 950(0)428--432
Camenisch, Jan L., see Stadler, Markus A.
Camenisch:1995:BSB, 950(0)428--432
Camera, 905(0)471--z
Camilleri, A., 901(0)126--z
Camilleri, A., see Johnson, S. D.
Campanai, M., 926(0)64--z
Campanai:1995:QES, 926(0)64--z
Campos, L. M., De, 945(0)149--z, 945(0)190--z, 946(0)77--z
Cancer, 934(0)239--z, 934(0)431--z
Cannings, C., 929(0)772--z
Cannings, C., see Fletcher, R. P.
Cano Izquierdo, J. M., 930(0)934--z
Cano Izquierdo, J. M., see Perez Maroto, J.
Cano, A., 945(0)98--z
Cano:1995:HAT, 945(0)98--z
Canonical, 933(0)397--z
cap, 893(0)125--z, 910(0)209--z, 944(0)384--z
capability, 926(0)49--z, 929(0)876--z, 930(0)283--z, 949(0)239--z
Capable, 905(0)123--z, 929(0)555--z
Capacitated, 920(0)388--z
Capacities, 946(0)115--z
Cappelle, B., 945(0)311--z
Cappelle:1995:GPF, 945(0)311--z
Capstone, 895(0)279--z
Caravel, J.-P., 905(0)23--z
Caravel, J.-P., see Peria, O.
Carboni, P., 919(0)257--z
Carboni:1995:XIP, 919(0)257--z
card, 930(0)752--z, 950(0)445--449
Card, D. N., 895(0)443--z
Card:1995:TPP, 895(0)443--z
Cardell-Oliver, R., 891(0)261--z
Cardell-Oliver:1995:HH, 891(0)261--z
Cardelli, L., 915(0)471--z
Cardelli, L., see Abadi, M.
Cardelli, Luca, 952(0)145--z
Cardelli, Luca, see Abadi, Martin
cardiac, 919(0)248--z, 934(0)435--z
Cardiology, 934(0)415--z
Cardon, H. R. A., 931(0)235--z
Cardon:1995:KIS, 931(0)235--z
CARDS, 895(0)325--z
Care, 890(0)219--z, 934(0)295--z, 934(0)417--z, 937(0)230--z
Carenini, G., 934(0)129--z
Carenini:1995:IBB, 934(0)129--z
Carini, P., 892(0)234--z
Carini, P., see Burke, M.
Carlbom, I., 905(0)84--z
Carlbom, I., see Klinker, G.
Carlson, C. R., 895(0)305--z
Carlson, C. R., see Burnstein, I.
Carlsson, M., 925(0)137--z
Carlsson, M., see Hallgren, T.
CARMI, 949(0)259--z
Carneiro, J., 929(0)406--z
Carneiro-Coffin, L. M. F., 896(0)141--z
Carneiro-Coffin:1995:EUJ, 896(0)141--z
Carneiro:1995:SNR, 929(0)406--z
Caroli, F., 898(0)203--z
Caroli:1995:TLC, 898(0)203--z
Carr, D. C., 913(0)119--z
Carr, R. D., 920(0)40--z
Carr:1995:EPI, 913(0)119--z
Carr:1995:SCT, 920(0)40--z
Carrasco, R. C., 930(0)605--z
Carrasco:1995:SOR, 930(0)605--z
Carreira, J., 919(0)582--z
Carreira, J., see Alves, A.
Carrete, N., Piera, 930(0)478--z
Carriero, N., 924(0)66--z
Carriero:1995:BL, 924(0)66--z
Carse, B., 929(0)463--z
Carse, B., see Pipe, A. G.
Carter, D., 895(0)159--z
Carter, D., see Mead, N. R.
Carter, G., 917(0)427--z
Carter, J. G., 919(0)434--z
Carter:1995:CTC, 919(0)434--z
Carter:1995:DVD, 917(0)427--z
Cartesian, 903(0)140--z, 929(0)65--z, 933(0)427--z, 952(0)2--z
Carver, D., 895(0)47--z
Carver, D., see Barbacci, M.
CAS, 905(0)247--z
Casaccia, C. R., 919(0)664--z
Casaccia, C. R., see Taraglio, S.
Casacuberta, F., 930(0)433--z
Casacuberta, F., see Castatho, M. A.
Casavant, T. L., 919(0)86--z
Casavant, T. L., see Strumpen, V.
Cascades, 950(0)450--455
case, 890(0)71--z, 890(0)203--z, 895(0)339--z, 900(0)503--z, 900(0)628--z, 901(0)52--z, 904(0)342--z, 905(0)523--z, 906(0)1--z, 912(0)55--z, 913(0)60--z, 915(0)424--z, 915(0)636--z, 920(0)244--z, 920(0)329--z, 922(0)165--z, 929(0)657--z, 933(0)309--z, 934(0)401--z, 936(0)475--z, 948(0)183--z
Case, J., 904(0)140--z
case, worst-, 904(0)69--z
Case-Based, 912(0)138--z, 912(0)161--z, 934(0)209--z, 934(0)395--z
Case-Databases, 934(0)393--z
Case:1995:LRF, 904(0)140--z
Caselli, S., 919(0)709--z, 935(0)181--z
Caselli:1995:ASG, 919(0)709--z
Caselli:1995:PSS, 935(0)181--z
Cash, 911(0)131--z
Castatho, M. A., 930(0)433--z
Castatho:1995:FSA, 930(0)433--z
Castelfranchi, C., 890(0)56--z
Castelfranchi:1995:GAC, 890(0)56--z
Castella, A., 935(0)141--z
Castella, A., see Bruno, G.
Castellanos, M., Perez-, 930(0)252--z
Castelo, F. J., Perez, 930(0)448--z
Castillo, E., 946(0)89--z
Castillo, F., 930(0)752--z, 930(0)761--z
Castillo, F., see Moreno, J. M.
Castillo:1995:CCF, 930(0)752--z
Castillo:1995:PSP, 946(0)89--z
Catala Mallofre, A., 930(0)478--z
Catala Mallofre, A., see Morcego Seix, B.
Cataloging, 916(0)225--z
Cate, E., Ten, 919(0)136--z
categorical, 902(0)78--z, 902(0)381--z, 902(0)414--z, 914(0)210--z, 914(0)225--z, 953(0)159--z, 953(0)182--z, 953(0)200--z, 953(0)240--z
category, 915(0)334--z, 933(0)249--z, 933(0)427--z, 944(0)558--z, 953(0)3--z, 953(0)117--z
Category-Based, 936(0)91--z
Category-Theoretic, 953(0)180--z
Catlow, G., 940(0)249--z
Catlow, G., see Watson, P.
Catros, J.-Y., 905(0)252--z
Catros, J.-Y., see Burel, G.
Cattell, R. G. G., 940(0)1--z
Cattell:1995:ODS, 940(0)1--z
causal, 934(0)151--z, 935(0)258--z, 938(0)197--z, 945(0)3--z, 945(0)139--z, 945(0)149--z, 946(0)320--z, 946(0)352--z
Causality, 900(0)243--254, 936(0)277--z, 944(0)660--z
causally, 935(0)21--z, 938(0)64--z
Causes, 945(0)463--z
Cavalcanti, M., 897(0)144--z
Cavalcanti:1995:SAT, 897(0)144--z
Cavalloro, P., 901(0)286--z
Cavalloro, P., see Bezzi, G.
CAVEAT, 939(0)70--z
Cawsey, A., 934(0)29--z
Cawsey, A., see Binsted, K.
Cayley, 911(0)483--z
Cayrol, C., 946(0)107--z
Cayrol:1995:NMS, 946(0)107--z
CC, 910(0)68--z
cc(FD), 910(0)293--z
CEAash, 919(0)799--z
Cecconi, F., 929(0)439--z
Cecconi, F., see Parisi, D.
CEL-V, 919(0)799--z
Cell, 930(0)85--89, 930(0)90--z, 935(0)335--z
Cellular, 888(0)53--z, 900(0)95--z, 911(0)230--z, 911(0)483--z, 929(0)544--z, 929(0)555--z, 929(0)564--z, 929(0)824--z, 930(0)689--z, 930(0)736--z
Cengarle, M. V., 936(0)261--z
Cengarle:1995:STP, 936(0)261--z
center, 895(0)439--z, 917(0)333--z, 934(0)407--z, 949(0)304--z
Centered, 913(0)255--z
Centered, Process-, 913(0)200--z
Central, 930(0)151--z
centres, 919(0)341--z
Ceria, S., 920(0)438--z
Ceria:1995:CSG, 920(0)438--z
Cerioli, M., 906(0)188--z, 906(0)499--z
Cerioli, M., see Gogolla, M.
Cerioli:1995:LAP, 906(0)188--z
CERN, 919(0)672--z
Cerneaz, N., 905(0)372--z
Cerneaz:1995:FCS, 905(0)372--z
Cerro, L. F., Del, 909(0)196--z
Cerro, L., Farithas del, 945(0)292--z
Certificates, 911(0)131--z, 921(0)231--z
Cervera, E., 930(0)345--z
Cervera:1995:MSO, 930(0)345--z
CFD, 919(0)820--z, 919(0)831--z
CG, 894(0)270--z
CG-algorithm, 919(0)618--z
Chabaud, Florent, 950(0)131--139, 950(0)356--365
Chabaud:1995:LBD, 950(0)356--365
Chabaud:1995:SSC, 950(0)131--139
Chacon, P., 929(0)116--z
Chacon, P., see Nutho, J. C.
Chagrov, A. V., 933(0)442--z
Chagrov:1995:AAP, 933(0)442--z
chain, 911(0)112--z, 920(0)373--z, 930(0)298--z, 934(0)405--z, 939(0)253--z, 944(0)523--z, 945(0)263--z, 946(0)69--z, 950(0)389--399, 950(0)389--z
Chained, 914(0)432--z
Chaitin, G. J., 888(0)1--z
Chaitin:1995:LMC, 888(0)1--z
Chakraborty, A., 905(0)327--z
Chakraborty, A., see Shi, P.
Chakravarthy, S., 951(0)368--z
Chakravarthy, S., see Arctur, D.
challenge, 919(0)407--z, 919(0)496--z, 932(0)154--z, 940(0)12--z, 948(0)4--z
Chambers, Craig, 952(0)77--z
Chambers, Craig, see Dean, Jeffrey
Chamizo, J. M., Garcia-, 930(0)942--z
Chances, 894(0)119--z
Chang, E., 915(0)793--z
Chang, E., see Manna, Z.
Chang, X., 917(0)415--z
Chang:1995:SCP, 917(0)415--z
Change, 913(0)240--z, 913(0)255--z, 945(0)483--z
changes, 904(0)125--z
Changing, 890(0)40--z
channel, 917(0)171--z, 919(0)45--z, 950(0)332--340
Chaos, 929(0)52--z, 945(0)463--z
Chaotic, 888(0)9--z, 930(0)338--z, 945(0)455--z, 945(0)473--z, 945(0)483--z
Chaotic, Non-, 930(0)231--z
character, 930(0)486--z, 930(0)926--z, 930(0)942--z, 937(0)17--z
Characterisation, 890(0)179--z, 913(0)60--z
characteristic, 901(0)292--z, 917(0)119--z, 949(0)337--z
characterization, 888(0)9--z, 894(0)234--z, 914(0)41--z, 919(0)102--z, 920(0)364--z, 928(0)85--z, 928(0)99--z, 944(0)220--z, 944(0)570--z
Characterizing, 904(0)272--z, 919(0)79--z
Charlier, B., Le, 910(0)147--z
Charnes, C., 917(0)322--z, 950(0)433--438
Charnes:1995:ASH, 917(0)322--z
Charnes:1995:CSE, 950(0)433--438
Chassery, J. M., 934(0)379--z
Chassery, J. M., see Spinu, C.
Chateauneuf, A., 946(0)115--z
Chateauneuf:1995:LMT, 946(0)115--z
Chatterjee, S., 892(0)76--z
Chatterjee:1995:ADD, 892(0)76--z
Chaudhuri, S., 903(0)206--z, 911(0)207--z, 944(0)244--z
Chaudhuri:1995:PGT, 903(0)206--z
Chaudhuri:1995:PRR, 911(0)207--z
Chaudhuri:1995:SPQ, 944(0)244--z
Chaum, David, 950(0)86--91
Chaum:1995:DCS, 950(0)86--91
Chazarain, J., 914(0)420--z
Chazarain:1995:LSA, 914(0)420--z
checked, Machine-, 933(0)369--z
Checking, 910(0)193--z, 923(0)171--z, 923(0)185--z, 923(0)247--z, 928(0)127--z, 935(0)374--z, 936(0)322--z, 939(0)54--z, 939(0)84--z, 939(0)141--z, 939(0)142--z, 939(0)211--z, 939(0)309--z, 939(0)353--z
checkpoint, 938(0)111--z
Chee, S., 917(0)107--z
Chee:1995:SBF, 917(0)107--z
Chemical, 948(0)4--z
Chemistry, 929(0)105--z
chemistry, quantum-, 919(0)488--z
Chen, J., 905(0)302--z
Chen, J., see Sato, Y.
Chen, Lidong, 921(0)39--z, 950(0)140--155, 950(0)171--181
Chen, T., 914(0)414--z
Chen, W., 893(0)252--z, 903(0)121--z
Chen, W., see Turau, V.
Chen, Z.- Z., 944(0)99--z
Chen, Z.-Z., 903(0)232--z
Chen:1995:EGS, 921(0)39--z
Chen:1995:MDS, 903(0)232--z
Chen:1995:NAF, 944(0)99--z
Chen:1995:NGS, 950(0)171--181
Chen:1995:PDP, 950(0)140--155
Chen:1995:SHS, 893(0)252--z
Chen:1995:SMO, 914(0)414--z
Chenadec, P., Le, 909(0)135--z
Cheneval, Y., 930(0)673--z
Cheneval:1995:PIE, 930(0)673--z
Cheng, A., 936(0)322--z
Cheng, E., 920(0)65--z
Cheng:1995:PNT, 936(0)322--z
Cheng:1995:SPS, 920(0)65--z
Chentouf, R., 930(0)519--z
Chentouf:1995:ILS, 930(0)519--z
Chepoi, V. D., 903(0)65--z
Chepoi, V. D., see Brandstaedt, A.
Cherian, S., 929(0)691--z
Cherian:1995:IFM, 929(0)691--z
Cherkassky, B. V., 920(0)157--z
Cherkassky:1995:IPR, 920(0)157--z
Cheron, O., 919(0)526--z
Cheron, O., see Brezany, P.
Cherubino, P., 934(0)251--z
Cherubino, P., see Nguyen, D. T.
Cheung, W. P., 930(0)868--z
Cheung:1995:SRI, 930(0)868--z
Chevalier, L., 905(0)23--z
Chevalier, L., see Peria, O.
CHI, 896(0)93--z
Chiaberge, M., 930(0)666--z
Chiaberge:1995:SDE, 930(0)666--z
Chicken, 937(0)17--z
Children, 934(0)407--z, 952(0)127--z
Chimera, R., 896(0)9--z, 896(0)28--z
Chimera:1995:PIG, 896(0)28--z
Chimera:1995:WGE, 896(0)9--z
CHIP, 923(0)225--z
Chip, 930(0)815--z
Chittaro, L., 934(0)79--z
Chittaro:1995:MMR, 934(0)79--z
Cho, J. D., 903(0)343--z
Cho, J. D., see Kajitani, Y.
Cho, J.-W., 930(0)926--z
Cho:1995:LHC, 930(0)926--z
Choi, J.-D., 892(0)234--z
Choi, J.-D., see Burke, M.
Choice, 893(0)82--z, 899(0)169--z, 902(0)47--z, 929(0)490--z, 935(0)298--z
Cholewinski, P., 928(0)273--z, 933(0)456--z
Cholewinski:1995:RSD, 928(0)273--z
Cholewinski:1995:SDT, 933(0)456--z
Cholvy, L., 946(0)125--z
Cholvy:1995:ARM, 946(0)125--z
Chomicki, J., 893(0)322--z
Chomicki, J., see Baudinet, M.
Choose, 945(0)611--z
Choosing, 931(0)273--z
Choppella, V., 911(0)112--z
Choppella, V., see Bradford, P. G.
Chor--Rivest, 921(0)1--z
Chordal, 944(0)123--z
chosen-content, 950(0)254--265
Christensen, S., 935(0)201--z
Christensen:1995:MSS, 935(0)201--z
Christi, C., 895(0)449--z
Christi, C., see Almstrum, V. L.
Christodoulou, C., 930(0)223--z
Christodoulou, E., 934(0)421--z
Christodoulou:1995:HAK, 934(0)421--z
Christodoulou:1995:RSF, 930(0)223--z
Chrobak, M., 894(0)104--z
Chrobak:1995:MWG, 894(0)104--z
Chroust, G., 913(0)144--z
Chroust:1995:IPM, 913(0)144--z
Chua, L. O., 888(0)53--z
Chua:1995:CNN, 888(0)53--z
Chubb, D., 951(0)196--z
Chubb, D., see Shekhar, S.
Church--Rosser, 900(0)313--z
ChyPro, 952(0)449--z
Ciabattoni, A., 953(0)81--z
Ciabattoni, A., see Asperti, A.
Ciancarini, P., 924(0)77--z
Ciancarini:1995:OSC, 924(0)77--z
Cicu, A., 926(0)148--z
Cicu:1995:PQP, 926(0)148--z
Cid, 892(0)376--z
Cignoni, G. A., 913(0)197--z
Cignoni, G. A., see Ambriola, V.
Cimatti, A., 890(0)71--z
Cimatti:1995:MAR, 890(0)71--z
Cindio, F., De, 935(0)84--z
Cinotti, T., Salmon, 919(0)124--z
Cinquin, P., 905(0)212--z, 905(0)476--z
Cinquin, P., see Dessenne, V., see Hamadeh, A.
Ciphers, 950(0)439--444
ciphertexts, 921(0)147--z
circuit, 900(0)26--z, 900(0)71--z, 900(0)83--z, 900(0)628--z, 901(0)92--z, 901(0)165--z, 904(0)112--z, 911(0)60--z, 930(0)838--z, 935(0)374--z, 939(0)1--z, 939(0)180--z, 944(0)196--z
Circuits, Benchmark-, 901(0)1--z
Circumscribing, 946(0)344--z
Circumscription, 900(0)205--z
Circumscriptive, 928(0)344--z
Clair, D. C., St., 951(0)259--z
Clark, A., 917(0)427--z
Clark, A., see Carter, G.
Clark, K. L., 890(0)324--z
Clark, K. L., see McCabe, F. G.
Clarkson, T., 930(0)223--z, 930(0)441--z
Clarkson, T., see Christodoulou, C., see Guan, Y.
class, 900(0)60--z, 900(0)583--z, 902(0)335--z, 907(0)300--z, 915(0)439--z, 921(0)311--318, 928(0)358--z, 932(0)96--z, 935(0)84--z, 935(0)103--z, 939(0)42--z, 939(0)423--z, 943(0)123--z, 943(0)150--z, 944(0)111--z, 948(0)194--z, 951(0)67--z, 952(0)77--z, 952(0)102--z
class, First-, 907(0)235--z
Class-and, 952(0)127--z
Class-Driven, 912(0)335--z
Classen, A., 915(0)791--z
Classen, A., see Steffen, B.
Classical, 918(0)247--z, 928(0)302--z, 945(0)389--z, 946(0)44--z
Classical, Quasi-, 946(0)44--z
Classification, 912(0)343--z, 912(0)347--z, 912(0)364--z, 929(0)657--z, 930(0)404--z, 930(0)441--z, 930(0)696--z, 930(0)704--z, 930(0)948--z, 946(0)107--z
Classifier, 912(0)271--z, 929(0)920--z, 930(0)330--z, 930(0)559--z
Classroom, 895(0)123--z
Clausal, 897(0)40--z
Clean, 925(0)183--z
Cleaveland, R., 944(0)648--z
Cleaveland, R., see Natarajan, V.
Clematis, A., 919(0)67--z
Clematis:1995:PPH, 919(0)67--z
Cliff, D., 929(0)200--z
Cliff:1995:TRQ, 929(0)200--z
climate, 919(0)142--z
Climbing, 923(0)247--z
Clinckemaillie, J., 919(0)856--z
Clinckemaillie, J., see Lonsdale, G.
Clinical, 905(0)476--z, 934(0)231--z, 934(0)307--z, 934(0)397--z, 934(0)399--z, 934(0)415--z
Clique, 920(0)40--z
Clock, 944(0)417--z, 950(0)450--455
clock-controlled, 950(0)230--243
clocked, 921(0)248--z
Cloete, I., 930(0)374--z, 930(0)382--z, 930(0)611--z
Cloete, I., see Engelbrecht, A. P., see Viktor, H. L.
Clones, 912(0)283--z
Closed, 930(0)130--z, 933(0)427--z
Closure, 929(0)77--z, 944(0)75--z, 944(0)348--z
Closure-Condition, 939(0)293--z
Closures, GLB-, 903(0)121--z
Clouds, 929(0)148--z
CLP, 910(0)68--z, 910(0)209--z, 923(0)85--z
CLP-Languages, 910(0)108--z
clp(FD), 910(0)39--z
club, 919(0)472--z
Cluet, S., 893(0)54--z
Cluet:1995:CGO, 893(0)54--z
cluster, 892(0)31--z, 919(0)384--391, 919(0)570--581, 919(0)606--z, 949(0)319--z
Cluster-Based, 946(0)395--z
Clustering, 905(0)195--z, 929(0)329--z, 930(0)513--z
CM-5, 919(0)110--z, 919(0)709--z
CMM-Based, 895(0)117--z
CMU, 895(0)65--z
CNN, 930(0)882--z
Co-Evolution, 929(0)246--z, 929(0)261--z
Co-Evolutionary, 929(0)200--z
Co-Occurrences, 898(0)203--z
Co-operative, 912(0)319--z
Co-Registration, 905(0)262--z
Coalgebras, 906(0)307--z, 936(0)245--z
coarse-mesh, 919(0)318--z
Coatrieux, J.-L., 905(0)295--z, 905(0)523--z
Coatrieux, J.-L., see Hamitouche, C.
Coatrieux:1995:MAD, 905(0)295--z
coaxial, 919(0)434--z
Cobbs, A. L., 937(0)41--z
Cobbs:1995:FAM, 937(0)41--z
COBRA, 934(0)393--z
Cochlear, 930(0)121--z, 930(0)462--z
CodA, 952(0)190--z
Codani, J.-J., 919(0)787--z
Codani:1995:PLL, 919(0)787--z
code, 892(0)406--z, 900(0)640--z, 915(0)605--z, 915(0)741--z, 917(0)238--z, 917(0)424--z, 919(0)312--z, 919(0)318--z, 919(0)378--z, 919(0)526--z, 919(0)640--z, 919(0)806--z, 919(0)831--z, 919(0)837--z, 919(0)844--z, 919(0)856--z, 921(0)289--z, 921(0)311--318, 944(0)256--z, 944(0)581--z, 948(0)1--z, 948(0)96--z, 948(0)120--z, 948(0)158--z, 948(0)194--z, 948(0)262--z, 948(0)279--z, 948(0)312--z, 948(0)341--z, 950(0)131--139, 950(0)254--265, 950(0)456--460
Coded, 937(0)27--z
Codenotti, B., 944(0)547--z
Codenotti, B., see Blum, M.
codes, {A}-, 917(0)211--z
Codes, -, 921(0)311--318, 950(0)456--460
Codewords, 948(0)96--z
coding, 888(0)75--z, 900(0)373--z, 900(0)385--z, 904(0)237--z, 913(0)94--z, 930(0)121--z
Codognet, C., 923(0)39--z
Codognet, P., 910(0)39--z, 923(0)39--z
Codognet, P., see Codognet, C.
Codognet:1995:ECS, 910(0)39--z
Codognet:1995:GSC, 923(0)39--z
Coe, M. L., 901(0)33--z
Coe, M. L., see Windley, P. J.
Coevolution, 929(0)219--z, 929(0)234--z, 929(0)801--z
Coffin, L. M. F., Carneiro-, 896(0)141--z
Cofree, 936(0)245--z
Cog, 929(0)383--z
Cognitive, 890(0)56--z, 929(0)463--z, 930(0)130--z
Cognodynamics, 931(0)247--z
Cohen, G., 948(0)96--z
Cohen, G., see Ashikhmin, A.
Cohen, L. D., 905(0)319--z
Cohen, L. D., see Bardinet, E.
Cohen, M. E., 945(0)473--z
Cohen, R. F., 894(0)1--z
Cohen, W. E., 892(0)31--z
Cohen, W. E., see Dietz, H. G.
Cohen:1995:ICA, 945(0)473--z
Cohen:1995:TDG, 894(0)1--z
Coherence, 945(0)62--z
Coherent, 913(0)94--z
coin, 921(0)220--z, 950(0)306--319
Cokljat, D., 919(0)434--z
Cokljat, D., see Carter, J. G.
Colbrook, A., 919(0)869--z
Colbrook:1995:EEE, 919(0)869--z
Colchester, A. C. F., 905(0)40--z, 905(0)47--z
Colchester, A. C. F., see Henri, C. J., see Zhao, J.
Coletta, A., 926(0)49--z
Coletta:1995:SPI, 926(0)49--z
Colin, A., 948(0)169--z
Colin:1995:FCG, 948(0)169--z
Collaboration, 896(0)232--z
Collaboratory, 889(0)102--z, 889(0)190--z
Collaboratory, ``{E}-, 889(0)140--z
Collado, J. A., Pastor-, 932(0)40--z
Collapse, 944(0)196--z
Collard, P., 912(0)271--z
Collard, P., see Escazut, C.
Collavizza, Hélère, 952(0)215--z, see Arditi, Laurent
Collection, 907(0)346--z, 914(0)132--z, 952(0)235--z
collections, 916(0)65--z, 936(0)546--z
Collective, 930(0)298--z
Collette, P., 936(0)353--z
Collette:1995:LFC, 936(0)353--z
Collignon, A., 905(0)195--z
Collignon:1995:MMM, 905(0)195--z
Collinearity, 909(0)196--z
Collision, 917(0)307--321, 929(0)614--z
Collorec, R., 905(0)295--z
Collorec, R., see Coatrieux, J.-L.
Colodro, F., 930(0)789--z
Colodro, F., see Torralba, A.
Colombet, L., 919(0)600--z
Colombet, L., see Calvin, C.
Colony, 929(0)772--z, 929(0)784--z
Color, 930(0)890--z
COLOR-X, 932(0)26--z
Colored, 911(0)16--z, 935(0)218--z, 944(0)87--z
Coloring, {Xt}-, 900(0)409--z
Coloured, 935(0)201--z, 935(0)278--z
Colouring, Edge-, 911(0)286--z
Colourings, 920(0)373--z
Columnar, 930(0)37--z
Combelles, A., Kuntzmann-, 926(0)16--z
Combi, C., 934(0)397--z
Combi:1995:TND, 934(0)397--z
combination, 897(0)40--z, 912(0)323--z, 914(0)352--z, 915(0)379--z, 930(0)906--z
Combinatorial, 917(0)55--z, 917(0)211--z, 920(0)212--z, 921(0)289--z, 931(0)157--z
Combinatorics, 948(0)4--z
combinators, 902(0)154--z, 907(0)393--z
Combined, 934(0)405--z, 951(0)279--z
Combining, 905(0)184--z, 906(0)1--z, 913(0)49--z, 920(0)124--z, 920(0)438--z, 923(0)247--z, 934(0)401--z, 940(0)24--z
combustion, 919(0)306--z
Comfortable, 932(0)327--z
comment, 950(0)433--438
commerce, 919(0)360--z
Commitment, 890(0)86--z
Commitment, Assumption-, 939(0)54--z
Commitment, Two-Phase-, 893(0)162--z
Common, 896(0)241--z, 898(0)101--z, 900(0)397--z, 911(0)332--z, 937(0)55--z, 937(0)340--z
communicating, 890(0)145--z, 894(0)25--z, 906(0)170--z, 924(0)49--z, 947(0)197--z
communication, 892(0)266--z, 892(0)283--z, 892(0)316--z, 900(0)38--z, 900(0)350--z, 900(0)361--z, 903(0)130--z, 911(0)427--z, 913(0)189--z, 918(0)338--z, 919(0)86--z, 919(0)428--z, 928(0)189--z, 929(0)396--z, 932(0)140--z, 938(0)64--z, 947(0)423--z, 952(0)399--z
Communication-Free, 892(0)92--z
communications, 919(0)54--59, 919(0)600--z
Communities, 896(0)93--z
Commutations, 944(0)75--z
Commutative, 906(0)1--z
Commutative, Associative-, 914(0)414--z
Commutativity, 908(0)33--z
Comon, H., 910(0)62--z
Comon:1995:CTA, 910(0)62--z
Comonad, 914(0)210--z
compact, 900(0)205--z, 950(0)112--130
Compactness, 944(0)444--z
Compagnoni, A. B., 933(0)46--z
Compagnoni:1995:DHO, 933(0)46--z
Comparability, 903(0)26--z
Comparative, 891(0)21--z, 912(0)138--z, 930(0)308--z, 936(0)475--z
Comparing, 902(0)1--z, 915(0)561--z, 930(0)771--z, 937(0)177--z
comparison, 905(0)219--z, 905(0)242--z, 913(0)65--z, 919(0)110--z, 934(0)251--z, 937(0)78--z, 937(0)366--z, 951(0)368--z
compArisons, 919(0)787--z
Compartimentation, 929(0)116--z
Compartmental, 930(0)45--z, 934(0)115--z
Compass, 929(0)602--z
Compatibility, 937(0)17--z
Compatible, 920(0)307--z
Competition, 930(0)308--z
Compilation, 892(0)155--z, 892(0)283--z
compiler, 892(0)31--z, 915(0)807--z, 919(0)14--z, 919(0)176--z, 919(0)526--z, 933(0)369--z
Compilers, 892(0)141--z
Compiling, 892(0)16--z
complete, 902(0)312--z, 906(0)453--z, 909(0)135--z, 914(0)41--z, 915(0)187--201, 920(0)252--z, 929(0)784--z, 936(0)400--z, 948(0)106--z
Complete, NP-, 900(0)95--z, 933(0)190--z
completeness, 900(0)26--z, 902(0)414--z, 914(0)2--z, 915(0)394--z, 933(0)264--z, 933(0)309--z, 936(0)385--z, 940(0)47--z
Completeness, Semi-, 915(0)379--z
completion, 909(0)154--z, 914(0)71--z, 914(0)438--z, 920(0)292--z
complex, 912(0)315--z, 913(0)138--z, 919(0)407--z, 919(0)441--z, 932(0)243--z, 945(0)545--z
complexity, 893(0)54--z, 894(0)218--z, 894(0)286--z, 900(0)38--z, 900(0)143--z, 900(0)350--z, 900(0)583--z, 900(0)597--z, 900(0)628--z, 903(0)93--z, 903(0)130--z, 903(0)219--z, 904(0)154--z, 904(0)169--z, 904(0)196--z, 904(0)404--z, 911(0)332--z, 911(0)346--z, 911(0)427--z, 912(0)360--z, 917(0)80--z, 920(0)277--z, 928(0)1--z, 929(0)105--z, 929(0)179--z, 933(0)486--z, 937(0)177--z, 941(0)27--z, 941(0)123--z, 944(0)208--z, 948(0)33--z, 948(0)408--z, 950(0)77--85, 950(0)223--229, 950(0)223--z
Component, 907(0)369--z, 934(0)319--z
Component-Based, 934(0)3--z
Composable, 935(0)103--z
composed, 921(0)367--z, 921(0)367--z--1
composing, 928(0)57--z, 947(0)399--z
composition, 888(0)227--z, 901(0)92--z, 924(0)147--z, 929(0)843--z, 932(0)96--z
compositional, 890(0)102--z, 901(0)92--z, 936(0)353--z, 939(0)166--z, 939(0)293--z, 947(0)197--z
Compositive, 945(0)248--z
comprehension, 902(0)154--z
Comprehensions, {V}-, 953(0)220--z
Comprehensive, 895(0)339--z
Compressing, 944(0)99--z, 951(0)385--z
Compression, 916(0)181--z
Computability, 900(0)550--z
computation, 888(0)9--z, 892(0)391--z, 900(0)467--z, 903(0)193--z, 907(0)1--z, 915(0)334--z, 915(0)711--z, 919(0)241--z, 919(0)293--z, 919(0)434--z, 919(0)606--z, 919(0)723--z, 921(0)168--z, 927(0)127--z, 927(0)156--z, 927(0)181--z, 929(0)555--z, 930(0)1--z, 930(0)268--z, 935(0)121--z, 936(0)127--z, 938(0)242--z, 944(0)171--z, 944(0)183--z, 948(0)106--z, 948(0)169--z, 948(0)262--z, 948(0)365--z, 948(0)456--z
Computation-Universal, 929(0)544--z
computational, 894(0)286--z, 914(0)210--z, 914(0)438--z, 917(0)182--z, 919(0)248--z, 919(0)413--419, 919(0)658--z, 920(0)80--z, 920(0)277--z, 921(0)194--z, 921(0)341--z, 930(0)90--z, 933(0)486--z
Computationally, 929(0)784--z
compute, 919(0)748--z, 921(0)95--z, 946(0)352--z
computer, 895(0)15--z, 895(0)87--z, 895(0)403--z, 895(0)449--z, 905(0)247--z, 905(0)267--z, 905(0)272--z, 905(0)476--z, 907(0)346--z, 912(0)33--z, 917(0)164--z, 918(0)310--z, 919(0)86--z, 919(0)118--z, 919(0)287--z, 919(0)306--z, 919(0)318--z, 919(0)441--z, 919(0)448--z, 919(0)502--z, 919(0)837--z, 919(0)850--z, 929(0)934--z, 934(0)407--z, 939(0)70--z, 948(0)4--z, 949(0)200--z, 949(0)219--z
Computer-Aided, 905(0)77--z
Computer-aided, 947(0)50--z
Computer-Integrated, 905(0)212--z
Computerized, 905(0)170--z
computing, 889(0)140--z, 892(0)316--z, 895(0)187--z, 896(0)174--z, 907(0)320--z, 911(0)332--z, 915(0)288--z, 919(0)21--z, 919(0)54--59, 919(0)118--z, 919(0)142--z, 919(0)293--z, 919(0)366--z, 919(0)496--z, 919(0)582--z, 919(0)652--z, 927(0)205--z, 928(0)113--z, 928(0)401--z, 929(0)876--z, 937(0)1--z, 937(0)162--z, 938(0)58--z, 944(0)75--z, 945(0)108--z, 947(0)50--z
Concatenation, 933(0)294--z
Concept, 894(0)452--z, 912(0)161--z, 912(0)200--z, 932(0)341--z, 933(0)471--z, 934(0)17--z, 934(0)411--z, 946(0)293--z
concepts, 914(0)210--z, 919(0)407--z, 922(0)10--z, 934(0)67--z, 943(0)14--z
Conceptual, 932(0)12--z, 932(0)40--z, 932(0)231--z, 934(0)331--z, 940(0)101--z
concerning, 904(0)298--z
Concurrency, 910(0)171--z, 915(0)711--z, 936(0)277--z, 940(0)172--z
Concurrent, 890(0)129--z, 890(0)386--z, 897(0)86--z, 897(0)118--z, 900(0)349--z, 900(0)467--z, 907(0)1--z, 907(0)70--z, 907(0)137--z, 907(0)187--z, 907(0)229--z, 907(0)300--z, 907(0)356--z, 907(0)393--z, 910(0)171--z, 914(0)132--z, 915(0)590--z, 923(0)39--z, 924(0)176--z, 935(0)141--z, 936(0)307--z, 936(0)353--z, 936(0)531--z, 944(0)15--z
Conde, I. M., 930(0)979--z
Conde, I. M., see Bandera, C.
Condition, Closure-, 939(0)293--z
Conditional, 909(0)196--z, 914(0)179--z, 945(0)200--z
Conditioning, 930(0)471--z
Conditions, 915(0)409--z, 929(0)477--z, 934(0)407--z
Cone, 920(0)252--z
conference, 950(0)275--286
configuration, 903(0)164--z, 913(0)193--z
Confirmation, 946(0)387--z
Confirmer, 950(0)86--91
Conflict, 924(0)49--z, 946(0)301--z
Confluence, 914(0)194--z, 915(0)217--z, 936(0)531--z
Confluence, Level-, 914(0)179--z
Confluent, 903(0)180--z
Conforti, D., 919(0)366--z
Conforti, M., 920(0)321--z
Conforti:1995:MMD, 920(0)321--z
Conforti:1995:OME, 919(0)366--z
Congenital, 934(0)393--z
Conheeney, K., 932(0)283--z
Conheeney, K., see Gibson, M. D.
Conigliaro, S., 901(0)286--z
Conigliaro, S., see Bezzi, G.
conjecture, 900(0)609--z, 909(0)214--z, 953(0)59--z
Conjunction, 915(0)501--z
Connected, 920(0)414--z
Connected, Two-, 920(0)414--z
connection, 894(0)64--z, 899(0)103--z, 918(0)1--z, 918(0)63--z, 918(0)122--z, 919(0)110--z, 920(0)426--z, 930(0)246--z
Connectionist, 930(0)433--z, 930(0)454--z, 930(0)979--z
Connectionist-Symbolic, 930(0)658--z
Connective, 945(0)360--z, 946(0)60--z
Connectivity, 930(0)15--z, 944(0)159--z, 944(0)405--z
Connectivity, Edge-, 920(0)403--z
conquer, divide-and-, 919(0)717--z, 947(0)97--z
Conradi, R., 913(0)65--z, 913(0)98--z, 913(0)240--z
Conradi, R., see Totland, T.
Conradi:1995:PML, 913(0)98--z
Conradi:1995:SCM, 913(0)240--z
Conroy, G. V., 912(0)275--z
Conroy:1995:ENE, 912(0)275--z
Consciousness, 930(0)584--z
consequence, 900(0)255--z, 903(0)14--z, 906(0)336--z, 928(0)245--z, 930(0)130--z, 944(0)196--z, 946(0)107--z, 946(0)171--z
Conserving, Non-Work-, 949(0)165--z
consistency, 923(0)121--z, 930(0)589--z, 938(0)224--z, 945(0)200--z
Consistency, Arc-, 923(0)157--z
Consistency, Path-, 910(0)39--z
Consistent, 935(0)21--z
Consistent, Self-, 930(0)158--z
Constans, J. M., 905(0)341--z
Constans, J. M., see Ruan, S.
Constant, 915(0)651--z, 922(0)38--z
Constant-Space, 937(0)78--z
constrained, 905(0)495--z, 919(0)392--z
constraint, 892(0)1--z, 893(0)368--z, 893(0)425--z, 894(0)340--z, 897(0)58--z, 897(0)103--z, 905(0)309--z, 910(0)1--z, 910(0)22--z, 910(0)62--z, 910(0)90--z, 910(0)108--z, 910(0)128--z, 910(0)147--z, 910(0)171--z, 910(0)193--z, 910(0)231--z, 910(0)293--z, 911(0)469--z, 912(0)267--z, 914(0)56--z, 914(0)352--z, 914(0)438--z, 915(0)42--z, 918(0)201--z, 923(0)39--z, 923(0)51--z, 923(0)67--z, 923(0)139--z, 923(0)171--z, 923(0)205--z, 923(0)267--z, 928(0)43--z, 928(0)57--z, 936(0)531--z, 939(0)114--126, 939(0)293--z, 945(0)263--z, 945(0)584--z
Constraint-Generating, 893(0)322--z
Constraint-Solving, 910(0)39--z
Constructible, 948(0)427--z
Constructing, 925(0)183--z, 944(0)256--z, 946(0)217--z
construction, 900(0)455--z, 914(0)86--z, 929(0)555--z, 930(0)619--z, 932(0)297--z, 936(0)518--z, 944(0)111--z, 947(0)49--z, 947(0)257--z, 947(0)351--z, 948(0)262--z, 950(0)23--34, 950(0)23--z, 953(0)96--z
Constructive, 910(0)68--z, 930(0)822--z, 936(0)546--z
constructors, 902(0)428--z
Contained, 933(0)242--z
containing, 919(0)526--z
Conte, G., 919(0)709--z, 935(0)181--z
Conte, G., see Caselli, S.
Contemporary, 914(0)101--z, 929(0)893--z
Content, 916(0)165--z
content, chosen-, 950(0)254--265
Contest, 894(0)143--z
Context, 890(0)71--z, 915(0)62--z, 934(0)423--z
Context-Free, 933(0)205--z, 936(0)214--z
context-free, 900(0)445--z, 904(0)404--z
Context-Sensitive, 900(0)313--z, 911(0)180--z
Contextual, 929(0)368--z, 945(0)595--z
Conti, P., 948(0)183--z
Conti:1995:CAT, 948(0)183--z
continental, 919(0)455--z
Continuation, 907(0)300--z, 915(0)726--z
Continuous, 911(0)195--z, 912(0)307--z, 912(0)335--z, 930(0)144--z, 930(0)419--z, 936(0)292--z, 945(0)473--z
Contour, 930(0)890--z
Contradictory, 946(0)125--z
contrast, 919(0)275--z, 930(0)61--z
Contributions, 914(0)1--z
Control, 890(0)203--z, 892(0)170--z, 892(0)217--z, 892(0)316--z, 912(0)323--z, 912(0)351--z, 916(0)33--z, 929(0)625--z, 929(0)668--z, 929(0)946--z, 930(0)100--z, 930(0)151--z, 930(0)315--z, 931(0)175--z, 934(0)165--z, 934(0)185--z, 934(0)295--z, 935(0)84--z, 939(0)279--z, 939(0)381--z, 940(0)172--z, 945(0)418--z, 945(0)483--z, 945(0)605--z, 949(0)239--z, 953(0)1--z
Control-Rule, 912(0)138--z
Controlled, 950(0)450--455
controlled, clock-, 950(0)230--243
Controller, 900(0)229--z, 929(0)640--z, 930(0)666--z, 931(0)205--z, 935(0)218--z
Controlling, 907(0)70--z, 914(0)382--z, 930(0)283--z
Controlling, Self-, 935(0)25--z
Convection, 919(0)678--z
Convenience, 945(0)210--z
Convenient, 953(0)3--z
Convergence, 921(0)13--z, 933(0)228--z
Convergent, 936(0)199--z
Conversion, 916(0)65--z, 931(0)11--z
convex, 900(0)550--z, 903(0)242--z, 904(0)222--z, 920(0)244--z, 953(0)117--z
Convexly, 894(0)76--z
Convicted, 933(0)151--z
COO, 913(0)220--z
Cooperating, 910(0)231--z, 930(0)24--z
Cooperation, 889(0)60--z, 889(0)74--z, 889(0)102--z, 929(0)668--z, 929(0)749--z, 930(0)330--z, 944(0)429--z
Cooperative, 896(0)196--z, 930(0)15--z, 932(0)140--z, 934(0)173--z, 934(0)379--z
coordinate, 894(0)282--z, 948(0)312--z
Coordinated, 890(0)203--z
Coordinating, 934(0)17--z
Coordination, 913(0)189--z, 913(0)205--z, 913(0)209--z, 924(0)1--z, 924(0)14--z, 924(0)77--z, 924(0)125--z, 924(0)162--z, 924(0)176--z, 929(0)657--z, 929(0)784--z
Coprocessor, 930(0)752--z
coproducts, 902(0)171--z
Coq, 902(0)124--z, 902(0)312--z, 936(0)230--z
Coquand, T., 902(0)47--z, 947(0)49--z
Coquand, T., see Berardi, S.
Coquand:1995:PCI, 947(0)49--z
Corana, A., 919(0)748--z
Corana:1995:PAC, 919(0)748--z
Corbacho, F. J., 930(0)412--z
Corbacho:1995:SBL, 930(0)412--z
Cordes, D., 895(0)279--z
Cordes, D., see Parrish, A.
Cordier, M.-O., 946(0)133--z, 946(0)142--z
Cordier:1995:LTB, 946(0)133--z
Cordier:1995:PTU, 946(0)142--z
core, 895(0)65--z, 921(0)356--366, 921(0)356--z
Core, B., 915(0)805--806
Core:1995:BTD, 915(0)805--806
Corneil, D. G., 944(0)292--z
Corneil:1995:LTA, 944(0)292--z
Cornell, 949(0)304--z
Corno, F., 919(0)39--44
Corno:1995:PTA, 919(0)39--44
Cornuejols, G., 920(0)321--z, 920(0)438--z
Cornuejols, G., see Ceria, S., see Conforti, M.
Coronado, J. L., Lopez, 930(0)471--z, 930(0)934--z
Corpus, 916(0)165--z
Corradini, A., 914(0)225--z, 936(0)368--z
Corradini:1995:CMI, 936(0)368--z
Corradini:1995:RTC, 914(0)225--z
correcting, error-, 917(0)238--z, 917(0)424--z, 950(0)131--139
Correcting, Self-, 944(0)547--z
correction, 905(0)513--z, 944(0)581--z
Correctness, 901(0)33--z, 901(0)165--z, 915(0)681--z, 933(0)369--z, 936(0)152--z, 938(0)164--z
Correctness-Preserving, 924(0)29--z
Corredor Lacha, D., 930(0)942--z
Corredor Lacha, D., see Ibarra-Pico, F.
Correia, L., 929(0)625--z
Correia:1995:UAV, 929(0)625--z
correlation, 917(0)67--z, 921(0)248--z, 950(0)230--243, 950(0)366--375
Correspondence, 944(0)63--z
Corresponding, 934(0)282--z
Cortadella, J., 935(0)374--z
Cortadella, J., see Roig, O.
Cortes, U., 912(0)315--z
Cortes, U., see Martin, M.
Cortex, 930(0)108--z
cortical, 905(0)177--z, 919(0)420--z, 930(0)7--z, 930(0)37--z
Corvi, M., 919(0)588--593
Corvi, M., see Appiani, E.
Coscheduling, 949(0)106--z
Coscoy, Y., 902(0)109--z
Coscoy:1995:ETP, 902(0)109--z
Cosmo, R., Di, 902(0)139--z
Cosnard, M., 944(0)570--z
Cosnard:1995:CEE, 944(0)570--z
Cost, 920(0)329--z, 929(0)876--z, 936(0)307--z, 944(0)256--z, 946(0)52--z
Cost, Low-, 930(0)689--z
Cost-Effectiveness, 934(0)295--z
Costa, J. F., 906(0)273--z
Costa, J. F., see Fiadeiro, J. L.
Costantini, S., 927(0)156--z
Costantini:1995:SSP, 927(0)156--z
Coulson, G., 924(0)162--z
Coulson, G., see Papathomas, M.
Count, 892(0)487--z
Countable, 936(0)489--z
Counter, 918(0)31--z
counterexamples, 904(0)380--z
Counting, 900(0)60--z, 911(0)60--z, 921(0)79--z
Couple, 953(0)200--z
Coupled, 893(0)40--z
coupled, tightly-, 938(0)242--z
Courcelle, B., 909(0)74--z, 933(0)163--z
Courcelle:1995:GRB, 909(0)74--z
Courcelle:1995:MSO, 933(0)163--z
Course, 888(0)1--z, 895(0)167--z, 895(0)279--z, 895(0)437--z
Courtenage, S., 940(0)24--z
Courtenage:1995:CIP, 940(0)24--z
Cousot, P., 939(0)293--z
Cousot, R., 939(0)293--z
Cousot, R., see Cousot, P.
Cousot:1995:CIS, 939(0)293--z
Coutaz, J., 896(0)35--z
Coutaz:1995:ETE, 896(0)35--z
Couvreur, J. M., 935(0)25--z
Couvreur, J. M., see Barkaoui, K.
cover, 903(0)130--z, 920(0)452--z
cover, Semi-, 930(0)948--z
Covering, 903(0)93--z, 920(0)228--z, 948(0)21--z, 948(0)312--z, 948(0)341--z
Coverings, Delta-, 920(0)228--z
Cowan, D. D., 896(0)141--z, 936(0)461--z
Cowan, D. D., see Bumbulis, P., see Carneiro-Coffin, L. M. F.
Cox, J., 905(0)481--z
Cox, J., see Karron, D. B.
Coyne, R. F., 895(0)339--z
Coyne:1995:TMC, 895(0)339--z
Cozzi, M. D., 919(0)646--z
Cozzi:1995:HPD, 919(0)646--z
CPO, 915(0)439--z, 936(0)368--z
CPOs, 953(0)117--z
CPUs, 907(0)121--z
CPWM, 930(0)830--z
CRAFT, 919(0)618--z
Craigen, D., 936(0)41--z
Craigen, D., see Ralston, T.
Crama, Y., 920(0)277--z, 931(0)157--z
Crama:1995:LSC, 931(0)157--z
Crama:1995:SJE, 920(0)277--z
CRASH, PAM-, 919(0)856--z
crashworthiness, 919(0)856--z
CRAY, 919(0)618--z, 919(0)658--z
Cray, 919(0)110--z, 919(0)318--z, 919(0)347--z, 919(0)488--z, 919(0)690--z, 919(0)723--z, 919(0)799--z
Creation, 890(0)277--z, 894(0)376--z
creativity, 904(0)1--z
Crépeau, Claude, 921(0)133--z
Crepeau:1995:QOM, 921(0)133--z
Crescenzi, P., 894(0)307--z, 903(0)130--z
Crescenzi:1995:MVC, 903(0)130--z
Crescenzi:1995:OAU, 894(0)307--z
Crescenzo, G., Di, 917(0)21--32, 921(0)367--z--1
Crescenzo, Giovanni Di, 921(0)367--z, 921(0)413--z, 950(0)156--170
Crescenzo, Giovanni Di, see D'Amiano, Stefano
Crescenzo:1995:RRB, 921(0)367--z
Crestani, F., 930(0)597--z
Crestani:1995:IER, 930(0)597--z
Cresti, Antonella, 921(0)194--z, 950(0)287--298
Cresti, Antonella, see Blundo, Carlo, see Béguin, Philippe
Criteria, 888(0)189--z, 950(0)376--388
Criterion, 930(0)519--z
Critic, 934(0)427--z
critical, 919(0)634--z, 939(0)367--z
Crivelli, E., 926(0)192--z, 935(0)84--z
Crivelli, E., see Battiston, E., see Spinelli, A.
Crochemore, M., 900(0)181--z, 911(0)220--z
Crochemore:1995:LTA, 911(0)220--z
Crochemore:1995:TDP, 900(0)181--z
Croix, E. V., De St., 911(0)449--z
Crole, R. L., 933(0)339--z
Crole:1995:SMS, 933(0)339--z
Crosby, M. E., 940(0)64--z
Crosby, M. E., see Nordbotten, J. C.
cross, 893(0)54--z, 919(0)554--z, 937(0)191--z
Cross, J. H., 895(0)295--z
Cross, J. H., see Scott, T. J.
Cross, S. S., 934(0)239--z
Cross, S. S., see Downs, J.
Crossing, 894(0)131--z, 903(0)256--z
Cruciate, 905(0)476--z
Cruse, H., 929(0)668--z
Cruse:1995:HPF, 929(0)668--z
Cruz, C., Santa, 930(0)291--z
Cruz, I. F., 894(0)404--z
Cruz:1995:DGE, 894(0)404--z
cryptanalysis, 917(0)278--z, 917(0)293--z, 917(0)387--z, 921(0)24--z, 950(0)47--57, 950(0)341--355, 950(0)356--365
crypto-accelerators, 921(0)404--z
cryptographic, 917(0)119--z, 917(0)133--z, 917(0)415--z, 950(0)1--12, 950(0)13--22, 950(0)23--34, 950(0)35--46, 950(0)47--57, 950(0)58--66, 950(0)67--76, 950(0)77--85, 950(0)86--91, 950(0)92--111, 950(0)112--130, 950(0)131--139, 950(0)140--155, 950(0)156--170, 950(0)171--181, 950(0)182--193, 950(0)194--204, 950(0)205--214, 950(0)215--222, 950(0)223--229, 950(0)230--243, 950(0)244--253, 950(0)254--265, 950(0)266--274, 950(0)275--286, 950(0)287--298, 950(0)299--305, 950(0)306--319, 950(0)320--331, 950(0)332--340, 950(0)341--355, 950(0)356--365, 950(0)366--375, 950(0)376--388, 950(0)389--399, 950(0)400--409, 950(0)410--418, 950(0)419--424, 950(0)425--427, 950(0)428--432, 950(0)433--438, 950(0)439--444, 950(0)445--449, 950(0)450--455, 950(0)456--460, 950(0)461--467, 950(0)468--472
cryptography, 917(0)21--32, 948(0)146--z, 950(0)1--12, 950(0)468--472
cryptology, 950(0)1--12, 950(0)13--22, 950(0)23--34, 950(0)35--46, 950(0)47--57, 950(0)58--66, 950(0)67--76, 950(0)77--85, 950(0)86--91, 950(0)92--111, 950(0)112--130, 950(0)131--139, 950(0)140--155, 950(0)156--170, 950(0)171--181, 950(0)182--193, 950(0)194--204, 950(0)205--214, 950(0)215--222, 950(0)223--229, 950(0)230--243, 950(0)244--253, 950(0)254--265, 950(0)266--274, 950(0)275--286, 950(0)287--298, 950(0)299--305, 950(0)306--319, 950(0)320--331, 950(0)332--340, 950(0)341--355, 950(0)356--365, 950(0)366--375, 950(0)376--388, 950(0)389--399, 950(0)400--409, 950(0)410--418, 950(0)419--424, 950(0)425--427, 950(0)428--432, 950(0)433--438, 950(0)439--444, 950(0)445--449, 950(0)450--455, 950(0)456--460, 950(0)461--467, 950(0)468--472
cryptosystem, 917(0)357--z, 921(0)1--z, 921(0)341--z, 944(0)147--z, 950(0)131--139
CS-2, 919(0)241--z, 919(0)672--z, 919(0)684--z
CSCW, 889(0)7--z, 896(0)93--z, 896(0)241--z, 913(0)154--z, 938(0)64--z
Csirmaz, László, 950(0)13--22
Csirmaz:1995:SSM, 950(0)13--22
CSL, 891(0)55--z
CSP, 947(0)67--z, 947(0)180--z
CT, 905(0)219--z, 905(0)506--z, 905(0)542--z
Cuartero, F., 935(0)490--z
Cuartero, F., see Valero, V.
Cubes, 905(0)535--z
cubic, 921(0)329--340
Cubillo, S., 945(0)329--z
Cubillo, S., see Trillas, E.
Cudjoe, K., 894(0)262--z
Cudjoe, K., see Manning, J.
Cuellar, J., 891(0)151--z
Cuellar:1995:T, 891(0)151--z
Cues, 916(0)129--z
Culik, K., 944(0)51--z
Culik:1995:FST, 944(0)51--z
Cumm, H., 895(0)403--z
Cumm, H., see Bayman, S.
Cunningham, W. H., 920(0)65--z
Cunningham, W. H., see Cheng, E.
Curien, P.-L., 902(0)32--z
Curien, P.-L., see Bellucci, R.
Current, 913(0)197--z, 930(0)815--z
Curricula, 895(0)51--z
Curriculum, 895(0)65--z, 895(0)87--z, 895(0)99--z, 895(0)257--z
Curtis, S., 947(0)214--z
Curtis:1995:GC, 947(0)214--z
curve, 900(0)539--z, 904(0)272--z, 911(0)36--z, 917(0)376--383, 921(0)79--z, 921(0)329--340, 948(0)285--z
Curved, 905(0)385--z, 905(0)399--z
Curvilinear, 905(0)372--z
Customising, 913(0)70--z
CUT, 920(0)1--z
Cut, 920(0)252--z, 920(0)438--z, 933(0)136--z, 944(0)280--z
Cuts, Multi-, 920(0)14--z
cycle, 903(0)387--z
Cyclic, 911(0)398--z
Cyr, F., Dupin de Saint, 945(0)263--z
Cyr, F., Dupin de St.-, 946(0)162--z
Cyrluk, D., 901(0)203--z
Cyrluk:1995:ETP, 901(0)203--z
Cytron, R. K., 937(0)144--z
Cytron, R. K., see Hanks, L.