Index file section C for tcs2005.bib

Last update: Sun Apr 13 02:04:41 MDT 2025

Return to index directory

C

C, 351(1)74--81
C++, 351(1)74--81, 351(1)111--118
C\#, 336(2)235--284, 343(3)482--508, 368(1)1--29
C-sharp, 336(2)235--284
Caballero-Gil, P., 409(3)530--536
Caballero-Gil, P., see Fúster-Sabater, A.
Cacciagrano, D., 386(3)218--235
Cacciagrano:2007:SSA, 386(3)218--235
cache-friendly, 410(27)2649--2658
cache-oblivious, 402(2)221--233
Cachera, David, 342(1)56--78
Cachera:2005:EDF, 342(1)56--78
caches, 331(1)73--96
Cachin, Christian, 410(18)1617--1617
Cachin, Christian, see Arge, Lars
cacti, 355(3)354--363
cactus, 378(3)237--252
cage, 410(15)1440--1447
Cai, Jiansheng, 369(1)250--255
Cai, Jiansheng, see Hou, Jianfeng
Cai, Jin-Yi, 384(1)22--32, 410(18)1618--1628
Cai, Mao-cheng, 363(3)248--256
Cai, Ying, 410(24)2316--2322
Cai, Zhipeng, 410(52)5415--5424
Cai:2006:CAF, 363(3)248--256
Cai:2007:VHT, 384(1)22--32
Cai:2009:AAC, 410(52)5415--5424
Cai:2009:BSO, 410(24)2316--2322
Cai:2009:HAP, 410(18)1618--1628
Cain, Alan J., 410(47)5022--5038
Cain:2009:AS, 410(47)5022--5038
Caires, Luís, 358(2)293--314, 402(2)120--141
Caires:2006:EQU, 358(2)293--314
Caires:2008:SBT, 402(2)120--141
Calamoneri, Tiziana, 399(1)38--53
Calamoneri:2008:MEB, 399(1)38--53
calculation, 378(2)190--197
calculi, 330(3)501--551, 333(1)91--125, 333(1)265--296, 356(3)356--373, 356(3)387--421, 371(1)83--105, 375(1)76--108, 388(1)267--289, 398(1)1--11, 398(1)183--202, 402(2)102--119, 404(1)19--25, 409(1)59--93
calculus, 330(3)439--473, 331(2)325--365, 331(2)367--396, 335(2)373--404, 337(1)278--304, 338(1)64--95, 342(1)79--103, 343(3)443--481, 346(1)135--160, 348(2)321--333, 350(2)275--291, 353(1)1--25, 353(1)118--164, 354(1)153--168, 354(2)173--186, 356(3)440--467, 357(1)186--201, 360(1)289--326, 364(2)146--165, 364(3)338--356, 365(1)109--142, 366(1)121--143, 371(3)183--199, 379(1)166--209, 390(2)171--196, 390(2)248--270, 398(1)16--31, 398(1)32--50, 398(1)95--113, 398(1)114--128, 400(1)144--158, 404(1)127--141, 408(1)17--30, 410(42)4190--4203
calculus, -, 390(2)171--196
calculus, mu-, 342(2)316--350
calculus, pi-, 398(1)217--242
Calder, M., 404(3)235--255
Calder, Muffy, 408(1)3--3
Calder:2008:AAT, 404(3)235--255
Calder:2008:P, 408(1)3--3
Calders, Toon, 394(1)84--111
Calders:2008:IFS, 394(1)84--111
Caleiro, Carlos, 367(1)88--122
Caleiro:2006:SAS, 367(1)88--122
calibrated, Well-, 364(1)10--26
calibration, 364(1)3--9, 387(1)77--89, 410(19)1781--1795
call, 359(1)418--429
call-by-name, 343(1)207--236
Calude, Cristian S., 383(2)111--114, 410(24)2323--2335
Calude, Cristian S., see Burgin, Mark
Calude:2009:TW, 410(24)2323--2335
Calvanese, Diego, 336(1)33--56, 371(3)169--182
Calvanese:2005:DCR, 336(1)33--56
Calvanese:2007:VBQ, 371(3)169--182
Calvès, Christophe, 403(2)285--306
Calves:2008:PNU, 403(2)285--306
Calvin, James M., 383(2)132--139
Calvin:2007:LBC, 383(2)132--139
Camacho, María-Inés, Fernández-, 355(3)327--353
Caminiti, Saverio, 382(2)97--108
Caminiti:2007:CLT, 382(2)97--108
camp, 410(36)3391--3405
Câmpeanu, Cezar, 330(1)23--34, 363(2)135--148, 410(24)2336--2344, 410(35)3187--3187
Campeanu:2005:MSL, 330(1)23--34
Campeanu:2006:ICM, 363(2)135--148
Campeanu:2009:IRL, 410(24)2336--2344
Campeanu:2009:P, 410(35)3187--3187
Campero, Francisco J., Romero-, 371(1)54--61
can, how-, 403(1)71--88
Cancellation, 391(1)61--64
candidate, 410(52)5425--5442
Cangelosi, Davide, 410(43)4327--4340
Cangelosi, Davide, see Battaglia, Giovanni
Cannata, Nicola, 410(33)3037--3038
Cannata:2009:P, 410(33)3037--3038
cannot, 331(1)3--21, 333(1)127--169, 350(2)164--173
Cano, Antonio, 410(47)4961--4974
Cano, Antonio, see García, Pedro
canonical, 356(1)46--57, 357(1)53--69, 370(1)60--73, 378(3)223--236, 389(1)73--81
Cansell, Dominique, 364(3)318--337
Cansell:2006:FIC, 364(3)318--337
Cantelli, Borel-, 410(21)2207--2222
Cao, Cungen, 368(1)149--160
Cao, Cungen, see Zhang, Zaiyue
Cao, Jianfa, 410(47)5182--5187
Cao, Jianfa, see Li, Wenjie
Cao, Liping, 367(3)273--285
Cao, Liping, see Liu, Yiguang
Cao, Yi, 407(1)532--544
Cao, Yi, see Yang, Boting
Cao, Zhigang, 410(27)2732--2745
Cao:2009:PPB, 410(27)2732--2745
capacitated, 385(1)202--213, 390(1)81--91, 410(52)5415--5424
capacity, 337(1)119--133, 381(1)44--56
Capecchi, Sara, 410(2)142--167
Capecchi:2009:ASM, 410(2)142--167
capercaillie, 410(30)xi--xi
Capobianco, Silvio, 403(1)71--88
Capobianco, Silvio, see Toffoli, Tommaso
Caragiannis, Ioannis, 384(2)152--160, 402(2)142--155
Caragiannis:2007:TBO, 384(2)152--160
Caragiannis:2008:SMP, 402(2)142--155
Caravagna, Giulio, 410(33)3085--3109
Caravagna, Giulio, see Barbuti, Roberto
Carayol, Arnaud, 330(3)439--473
Carayol:2005:RMA, 330(3)439--473
Carbone, Marco, 410(41)4001--4005
Carbone:2009:FFM, 410(41)4001--4005
Cardelli, Luca, 391(3)190--215, 404(1)5--18, 410(33)3166--3185
Cardelli:2008:BMS, 404(1)5--18
Cardelli:2008:PRS, 391(3)190--215
Cardelli:2009:PMR, 410(33)3166--3185
cardiac, 410(33)3149--3165
Cardinal, Jean, 332(1)405--415, 410(8)949--957
Cardinal:2005:DSK, 332(1)405--415
Cardinal:2009:IAB, 410(8)949--957
care, 336(2)235--284, 362(1)248--254, 410(43)4327--4340
Carli, F., De, 410(27)2701--2713
Carmi, Paz, 410(21)2174--2183
Carmi, Paz, see Beimel, Amos
Carnell, Andrew, 386(1)57--72
Carnell:2007:PCS, 386(1)57--72
Caron, A. C., 385(1)11--33
Caron, A. C., see André, Y.
Caron, Emmanuelle, 410(33)3166--3185
Caron, Emmanuelle, see Cardelli, Luca
Carpentieri, Marco, 367(3)324--335
Carpentieri:2006:GSB, 367(3)324--335
Carpi, Arturo, 330(1)35--57, 340(2)220--239, 385(1)137--151
Carpi:2005:CCS, 340(2)220--239
Carpi:2005:CML, 330(1)35--57
Carpi:2007:DCL, 385(1)137--151
carrier, 402(1)16--28
carrying, Proof-, 364(3)273--291
Cartesian, 410(8)727--735
Carton, Olivier, 354(3)405--420, 376(1)52--59, 382(2)109--119, 410(30)2811--2822
Carton, Olivier, see Berstel, Jean
Carton:2007:CRS, 382(2)109--119
Carton:2007:GRS, 376(1)52--59
case, 331(1)3--21, 335(1)109--125, 336(2)209--234, 337(1)105--118, 347(1)214--238, 351(1)101--110, 368(1)1--29, 369(1)44--66, 378(3)271--291, 405(1)176--187
Case, John, 364(1)115--131, 397(1)1--3, 410(19)1863--1875
case, worst-, 361(2)200--209, 363(1)28--42, 378(2)165--174, 401(1)27--35, 410(30)2811--2822
case-based, 348(1)58--69
Case:2006:LSR, 364(1)115--131
Case:2008:F, 397(1)1--3
Case:2009:PII, 410(19)1863--1875
Cases, Blanca, 341(1)247--262
Cases, Rafel, 381(1)197--217
Cases, Rafel, see Àlvarez, Carme
Cases:2005:TPD, 341(1)247--262
CASL, 331(1)215--247
{CASL, CSP}-, 354(1)42--71
Cassaigne, J., 380(3)304--316
Cassaigne, Julien, 410(24)2345--2351, 410(30)2823--2833
Cassaigne, Julien, see Blondel, Vincent D.
Cassaigne:2007:ACS, 380(3)304--316
Cassaigne:2009:CFB, 410(24)2345--2351
Cassez, F., 403(2)202--220
Cassez, F., see Bérard, B.
Castagna, Giuseppe, 398(1)217--242
Castagna:2008:SSP, 398(1)217--242
Castellanos, Juan, 330(2)205--220
Castellanos:2005:SCH, 330(2)205--220
Castiglione, G., 347(1)336--352, 410(43)4372--4381
Castiglione, Giusi, 356(1)58--72
Castiglione:2005:ECP, 347(1)336--352
Castiglione:2006:RAC, 356(1)58--72
Castiglione:2009:CSW, 410(43)4372--4381
Catalano, Dario, 370(1)186--200, 374(1)229--260
Catalano:2007:CDS, 370(1)186--200
Catalano:2007:HCT, 374(1)229--260
Cataldo, Enrico, 408(1)66--82
Cataldo, Enrico, see Bracciali, Andrea
catalysts, 330(2)251--266
catalytic, 363(2)149--161, 372(2)125--135
categorial, 388(1)173--180, 403(2)406--408
categorical, 350(2)252--274, 353(1)1--25, 364(2)146--165
categories, 2-, 333(1)297--327
categories, -, 373(1)142--160, 388(1)1--25
category, 353(1)272--290, 354(1)131--141, 360(1)77--95, 365(3)216--236, 373(1)142--160, 388(1)1--25, 403(2)409--415, 405(1)88--100
category-theoretic, 366(1)3--59
caterpillar, 363(3)266--277, 410(37)3438--3446
Caucal, 400(1)19--45, 475(z)126--127
Causal, 405(1)188--197, 410(41)4094--4110
causality, 386(3)169--187, 405(1)50--63
causes, 368(1)1--29
Cavaliere, Matteo, 372(2)136--151, 391(3)216--238, 404(1)26--39, 404(1)40--51, 410(24)2352--2364
Cavaliere, Matteo, see Brijder, Robert
Cavaliere:2007:MRC, 372(2)136--151
Cavaliere:2008:DPM, 404(1)40--51
Cavaliere:2008:MBM, 391(3)216--238
Cavaliere:2009:ASN, 410(24)2352--2364
Cavity, 408(2)151--162
Cayley, 347(1)353--369
Cazals, F., 349(3)484--490, 407(1)564--568
Cazals:2005:ARM, 349(3)484--490
Cazals:2008:NPR, 407(1)564--568
Cazzaniga, Paolo, 372(2)242--266
Cazzaniga, Paolo, see Muskulus, Michael
CCP, 330(3)577--607
CCS, 330(3)377--405
Ceccherini-Silberstein, Tullio, 400(1)225--229
Ceccherini-Silberstein:2008:GCH, 400(1)225--229
Cégielski, Patrick, 364(2)143--145, see Queiroz, Ruy de
cell, 330(2)325--338, 379(3)405--417, 404(1)76--87, 404(1)127--141, 410(45)4580--4587
cellular, 330(2)325--338, 334(1)3--33, 345(2)235--247, 349(3)318--336, 352(1)97--107, 352(1)226--231, 356(1)170--185, 362(1)1--16, 369(1)142--156, 372(1)46--68, 374(1)127--148, 377(1)205--228, 378(1)54--77, 395(1)101--131, 400(1)1--18, 403(1)71--88, 410(38)3685--3693, 410(38)3962--3974, 410(47)4823--4833, 410(47)4844--4855
cellular, multi-, 391(3)276--290
center, 332(1)1--17, 361(2)188--199, 378(3)237--252
central, 340(2)220--239
centralized, 383(1)5--22, 383(1)45--58
centroid, 410(47)5128--5137
Cereceda, Luis, 410(50)5215--5226
Cereceda, Luis, see Bonsma, Paul
CERES, 403(2)160--175
Cerioli, Maura, 376(3)137--138
Cerioli:2007:F, 376(3)137--138
{\v{C}}ern{\'a}, I., 410(33)3128--3148, see Barnat, J.
Cerone, Antonio, 346(1)1--2
Cerone:2005:P, 346(1)1--2
certain, 340(2)188--203, 351(1)101--110, 362(1)222--231, 374(1)1--24, 410(38)3725--3732
certification, 345(1)83--100, 354(1)153--168
certified, 351(1)39--51, 364(3)273--291
Cervelle, J., 349(3)318--336
Cervelle, J., see Blanchard, F.
Cervelle, Julien, 381(1)1--28
Cervelle:2007:SSA, 381(1)1--28
Cervesato, Iliano, 367(1)57--87
Cervesato, Iliano, see Butler, Frederick
Cesa-Bianchi, Nicolò, 350(1)1--2, 382(3)221--231
Cesa-Bianchi:2006:F, 350(1)1--2
Cesa-Bianchi:2007:ARL, 382(3)221--231
Chadha, R., 379(1)142--165
Chadha, Rohit, 410(42)4169--4179
Chadha:2007:RAP, 379(1)142--165
Chadha:2009:DBT, 410(42)4169--4179
Chai, Eldad, 410(21)2174--2183
Chai, Eldad, see Beimel, Amos
chain, 334(1)35--69, 361(1)72--110, 363(3)278--288, 381(1)260--265, 392(1)37--65, 410(6)467--480, 410(15)1417--1427, 410(36)3391--3405, 410(37)3513--3519
Chair FOSSACS 2003, Andrew D., Gordon, Programme, 333(1)1--1
Chaitin, 385(1)193--201
challenges, 410(4)294--301
Chalopin, Jérémie, 399(1)54--70
Chalopin:2008:ERI, 399(1)54--70
Champarnaud, J.-M., 327(3)241--253, 347(1)437--440
Champarnaud, Jean-Marc, 330(2)221--235
Champarnaud:2004:NRA, 327(3)241--253, 347(1)437--440
Champarnaud:2005:ENR, 327(3)241--253, 347(1)437--440
Champarnaud:2005:RGD, 330(2)221--235
Chan, Chi-Yuan, 410(8)867--876
Chan, Ho-Leung, 410(45)4580--4587
Chan, Ho-Leung, see Bansal, Nikhil
Chan, Joseph Wun-Tat, 409(3)521--529
Chan, Wun-Tat, 359(1)430--439
Chan:2006:NRA, 359(1)430--439
Chan:2008:DPU, 409(3)521--529
Chan:2009:EAT, 410(8)867--876
Chandler, David B., 396(1)212--222
Chandler:2008:PPC, 396(1)212--222
Chandran, L. Sunil, 370(1)218--228
Chandran:2007:RBA, 370(1)218--228
Chang, Ching-Lueh, 401(1)228--235, 410(27)2714--2724
Chang, F. H., 352(1)232--239
Chang, Gerard J., 370(1)121--130, 374(1)82--90
Chang, Gerard J., see Pan, Jun-Jie
Chang, Jou-Ming, 355(3)303--314, 410(21)2001--2010
Chang, Jou-Ming, see Wu, Ro-Yu, see Yang, Jinn-Shyong
Chang, Kevin L., 410(19)1765--1780
Chang, Maw-Shang, 341(1)411--440, 396(1)212--222
Chang, Maw-Shang, see Chandler, David B., see Hung, Ruo-Wei
Chang, Soo Y., 410(8)963--967
Chang, Soo Y., see Hong, Sung-Pil
Chang, Yan-Cheng, 341(1)39--54
Chang--Roberts, 369(1)442--447
Chang:2005:OPE, 341(1)39--54
Chang:2006:WSN, 352(1)232--239
Chang:2007:AGC, 374(1)82--90
Chang:2008:CTF, 401(1)228--235
Chang:2009:MPS, 410(19)1765--1780
Chang:2009:SM, 410(27)2714--2724
change, 346(2)189--199, 392(1)37--65
changeover, 369(1)323--337
Changing, 410(36)3428--3435
channel, 330(1)101--116, 379(3)348--360, 410(21)2223--2233
Chao, Kun-Mao, 362(1)162--170, 389(1)182--189, 407(1)349--358, 407(1)524--531
Chao, Kun-Mao, see Cheng, Chih-Huai, see Liu, Hsiao-Fei, \see{Wang, Hung-Lung
chaotic, 349(3)318--336
characteristic, 337(1)169--182, 352(1)31--46, 356(3)325--355, 410(4)426--442, 410(30)2840--2859, 410(30)2860--2863
characterization, 347(1)419--422, 352(1)329--331, 356(1)118--125, 358(1)88--103, 360(1)147--171, 369(1)300--313, 372(1)108--114, 374(1)214--228, 380(3)286--303, 387(2)187--195, 391(1)51--60, 410(43)4391--4401, 410(47)4937--4960
characterizing, 341(1)276--292, 356(1)136--152, 358(2)255--272, 398(1)114--128, 410(38)3589--3596
Charts, 410(41)4094--4110
chasing, 399(1)12--37
Chattaraj, Abhijit, 335(1)3--14
Chattaraj:2005:IST, 335(1)3--14
Chatterjee, Krishnendu, 365(1)67--82, 388(1)181--198
Chatterjee:2006:GSE, 365(1)67--82
Chatterjee:2007:CGT, 388(1)181--198
Chatzikokolakis, Konstantinos, 367(1)123--138, 389(3)512--527
Chatzikokolakis:2006:PIR, 367(1)123--138
Chatzikokolakis:2007:FAP, 389(3)512--527
Chaubard, Laura, 356(1)73--89
Chaubard:2006:AWP, 356(1)73--89
Chaudhary, Amitabh, 339(2)315--332
Chaudhary, Amitabh, see Bagchi, Amitabha
Chaudhuri, Kamalika, 410(44)4489--4503
Chaudhuri:2009:PRA, 410(44)4489--4503
Chavanon, Frédéric, 346(2)226--253
Chavanon:2005:GED, 346(2)226--253
Chávez, Edgar, 352(1)266--279, see Navarro, Gonzalo
Chayes, Jennifer, 379(3)306--316
Chayes, Jennifer, see Berger, Noam
Che, Ada, 410(47)5188--5190
Che:2009:NQA, 410(47)5188--5190
cheating, 408(2)199--207
Chebihi, Nadia, Takki-, 331(1)23--36
check, 336(2)235--284
checkers, 372(2)136--151
checking, 345(1)139--170, 346(1)58--95, 351(1)111--118, 353(1)249--271, 358(2)273--292, 360(1)352--372, 368(1)64--87, 379(1)286--297, 382(1)24--41, 382(1)42--70, 391(3)239--257, 404(3)186--201, 404(3)256--274, 404(3)293--307, 410(2)254--280, 410(33)3128--3148, 410(42)4180--4189, 410(42)4241--4261
checking, type-, 371(3)183--199
Chemical, 408(1)31--40
Chen, Chien-Liang, 410(24)2442--2452
Chen, Chien-Liang, see Yen, Hsu-Chun
Chen, Chiuyuan, 359(1)69--76
Chen, Enhong, 410(27)2619--2631
Chen, Enhong, see Wu, Weiwei
Chen, Erdong, 378(3)223--236
Chen, Gen-Huey, 341(1)196--215, 407(1)554--563, 409(3)450--460, 410(8)766--775
Chen, Gen-Huey, see Hong, Jin-Ju, see Lai, Cheng-Nan, \see{Tsai, Ping-Ying
Chen, Hubie, 382(3)209--220, 410(18)1684--1693
Chen, Hubie, see Bodirsky, Manuel, see Bulatov, Andrei
Chen, J., 332(1)63--81
Chen, J., see Seiden, Steven S.
Chen, Jianer, 337(1)305--318, 363(3)278--288, 410(8)818--829, 410(27)2641--2648
Chen, Jiang, 407(1)310--317
Chen, Jing, 407(1)370--388
Chen, Jing, see Yang, Guomin
Chen, Jing-Chao, 369(1)44--66
Chen, Jingsen, 377(1)229--237
Chen, Jingsen, see Bengtsson, Fredrik
Chen, Kuan-Yu, 362(1)162--170
Chen, Kuan-Yu, see Cheng, Chih-Huai
Chen, Lei, 410(47)5063--5071, 410(47)5072--5081
Chen, Mingxia, 381(1)124--133
Chen, Peter P., 332(1)63--81
Chen, Peter P., see Seiden, Steven S.
Chen, Rongjun, 407(1)389--399
Chen, Shihyen, 410(24)2365--2376
Chen, Wei, 377(1)43--54, 410(47)4905--4919
Chen, Wei, see Uchida, Jiro, see Zhao, Yingchao
Chen, Wei-Mei, 341(1)398--410, 369(1)442--447
Chen, WenBin, 396(1)1--9
Chen, Wenbin, 374(1)191--195, 410(21)2024--2032
Chen, Xi, 370(1)240--253, 410(17)1573--1580, 410(44)4448--4456
Chen, Xi, see Cheng, Yongxi
Chen, Xingyu, 410(47)5047--5062
Chen, Yi-Xiang, 368(1)124--148
Chen, Yijia, 339(2)167--199, 351(3)314--336
Chen, Ying-You, 396(1)191--199
Chen, Yongzhu, 385(1)71--77
Chen, Yongzhu, see Wang, Weifan
Chen, Zhi-Zhong, 363(1)43--59, 378(3)209--210, 401(1)52--61, 410(45)4543--4553, 410(52)5415--5424
Chen, Zhi-Zhong, see Cai, Zhipeng, see Tsukiji, Tatsuie
Chen:2005:AMV, 337(1)305--318
Chen:2005:MBM, 339(2)167--199
Chen:2005:PAA, 341(1)398--410
Chen:2006:CDC, 369(1)442--447
Chen:2006:EAF, 359(1)69--76
Chen:2006:ESS, 369(1)44--66
Chen:2006:LAS, 368(1)124--148
Chen:2006:MPP, 351(3)314--336
Chen:2006:PCT, 363(3)278--288
Chen:2007:HAM, 374(1)191--195
Chen:2007:LIS, 378(3)223--236
Chen:2007:P, 378(3)209--210
Chen:2007:SAA, 381(1)124--133
Chen:2008:DDS, 407(1)310--317
Chen:2008:DOS, 407(1)389--399
Chen:2008:ILB, 396(1)1--9
Chen:2008:ODC, 401(1)52--61
Chen:2008:WVP, 396(1)191--199
Chen:2009:AME, 410(45)4543--4553
Chen:2009:CDF, 410(44)4448--4456
Chen:2009:DPD, 410(47)5072--5081
Chen:2009:HRA, 410(47)5063--5071
Chen:2009:MEH, 410(17)1573--1580
Chen:2009:PAN, 410(8)818--829
Chen:2009:PCM, 410(21)2024--2032
Chen:2009:PET, 410(27)2641--2648
Chen:2009:SMD, 410(24)2365--2376
Chen:2009:SOM, 410(47)5047--5062
Chencinski, Eran, 395(2)298--310
Chencinski, Eran, see Amir, Amihood
Cheng, Chih-Huai, 362(1)162--170
Cheng, Christine, 400(1)84--99
Cheng, Eddie, 410(52)5481--5490
Cheng, Eddie, see Shen, Zhizhang
Cheng, Gang, 378(2)190--197
Cheng, T. C. E., 362(1)115--126, 362(1)273--281, 374(1)159--169, 410(8)776--792, 410(38)3761--3768
Cheng, T. C. E., see Ji, Min, \see{Liu, L. L., see Ng, C. T.
Cheng, T. C. Edwin, 337(1)134--146, 347(1)288--298
Cheng, T. C. Edwin, see Liu, Zhaohui
Cheng, Xiaochun, 341(1)150--161
Cheng, Yongxi, 370(1)240--253, 374(1)66--73, 390(1)120--125, 396(1)180--190
Cheng, Yongxi, see Wang, Chen
Cheng:2005:IMB, 341(1)150--161
Cheng:2005:SLM, 337(1)134--146
Cheng:2006:IAM, 362(1)162--170
Cheng:2006:MAS, 362(1)273--281
Cheng:2007:LGP, 374(1)66--73
Cheng:2007:NAB, 378(2)190--197
Cheng:2007:STC, 370(1)240--253
Cheng:2008:CNU, 390(1)120--125
Cheng:2008:UAF, 400(1)84--99
Chepoi, Victor, 390(1)56--69, 401(1)131--143
Chepoi, Victor D., 347(1)54--75
Chepoi:2005:ASS, 347(1)54--75
Chepoi:2008:AAF, 401(1)131--143
Chepoi:2008:RAA, 390(1)56--69
Cherubini, A., 410(21)2135--2147
Cherubini, Alessandra, 356(1)90--103
Cherubini:2006:PLT, 356(1)90--103
Cherubini:2009:CWP, 410(21)2135--2147
Chess, 349(2)140--157
Cheung, Ling, 365(1)83--108
Cheung, T. Y., 332(1)461--485
Cheung, T. Y., see Huang, H. J.
Cheung:2006:SPP, 365(1)83--108
Chevaleyre, Yann, 396(1)113--144
Chevaleyre, Yann, see Dunne, Paul E.
Chevalier, Yannick, 338(1)247--274
Chevalier:2005:NDP, 338(1)247--274
Chiarandini, M., 407(1)274--277
Chiarandini:2008:HAH, 407(1)274--277
Chirikjian, Gregory S., 409(2)211--228
Chirikjian, Gregory S., see Leibon, Gregory
Chitturi, B., 410(36)3372--3390
Chitturi:2009:UBS, 410(36)3372--3390
Chlamtac, Eden, 341(1)22--38
Chlamtac:2005:IAM, 341(1)22--38
Chlebík, Miroslav, 354(3)320--338, 406(3)207--214
Chlebik:2006:CAB, 354(3)320--338
Chlebik:2008:STP, 406(3)207--214
Chlebíková, Janka, 354(3)320--338, 406(3)207--214, see Chlebík, Miroslav
Chlebus, Bogdan S., 383(1)5--22
Chlebus:2007:CAB, 383(1)5--22
Choffrut, 356(1)v--ix
Choffrut, Christian, 340(2)364--380, 381(1)274--279, 410(1)16--34, 410(30)2870--2884
Choffrut:2005:CTD, 340(2)364--380
Choffrut:2007:SSC, 381(1)274--279
Choffrut:2009:ELL, 410(30)2870--2884
Choffrut:2009:FTA, 410(1)16--34
Choi, Hyeong-Ah, 369(1)323--337
Choi, Hyeong-Ah, see Arora, Amrinder
Choi, Young-ri, 410(6)467--480
Choi, Young-ri, see Bazzi, Rida A.
choice, 335(2)373--404, 351(1)101--110
Chomsky, 354(1)118--130
choosing, 351(1)101--110
Choquette, Philippe, 341(1)293--310
Choquette, Philippe, see Berthé, Valérie
chord, 347(1)432--436, 349(3)337--346
chordal, 349(1)52--66, 351(3)407--424, 381(1)57--67, 381(1)248--259, 389(1)295--306, 410(47)5072--5081
Chordless, 351(3)360--371
Chosen, 367(3)308--323
chosen-ciphertext, 410(47)5093--5111
Chou, Arthur W., 337(1)360--369
Chou:2005:CCD, 337(1)360--369
Choudhary, Vinay, 384(1)22--32
Choudhary, Vinay, see Cai, Jin-Yi
Choy, Charles, 335(1)93--107
Choy:2005:CMA, 335(1)93--107
Christodoulou, George, 410(36)3327--3336
Christodoulou:2009:CM, 410(36)3327--3336
Christoffel, 410(38)3782--3791
chromatic, 332(1)447--460, 349(1)40--51, 407(1)242--249
chromosomal, 395(2)193--202
Chu, Chengbin, 410(21)2099--2109, 410(38)3875--3881, 410(47)5039--5046
Chu, Chengbin, see Liu, Ming
Chuan, Wai-Fong, 337(1)169--182, 349(3)429--442
Chuan:2005:FCW, 337(1)169--182
Chuan:2005:LFI, 349(3)429--442
Chudnovsky, 352(1)293--305
Chung, Fu-Lai, 344(2)103--119
Chung, Fu-Lai, see Lu, Hongtao
Chvátal, 410(27)2774--2778
Chwa, Kyung-Yong, 363(1)1--1
Chwa:2006:P, 363(1)1--1
Ciabattoni, Agata, 403(2)328--346
Ciabattoni:2008:DE, 403(2)328--346
Ciaffaglione, Alberto, 351(1)39--51
Ciaffaglione:2006:CCI, 351(1)39--51
Ciancaglini, Dezani-, 398(1)1--11
Ciancaglini, Mariangiola, Dezani-, 355(2)108--126, 373(1)41--69, 402(2)156--171, 410(2)142--167
Cicho{\'n}, J., 402(1)16--28
Cichon:2008:AIA, 402(1)16--28
CiE, 371(1)1--3, 394(3)141--143
Cieliebak, Mark, 349(3)361--381, 409(3)351--363
Cieliebak:2005:PDH, 349(3)361--381
Cieliebak:2008:SVP, 409(3)351--363
ciliates, 356(1)26--45
Cimato, S., 374(1)261--276
Cimato, Stelvio, 369(1)169--182
Cimato, Stelvio, see Blundo, Carlo
Cimato:2007:CVC, 374(1)261--276
Cincotti, A., 332(1)367--389
Cincotti:2005:TPP, 332(1)367--389
Ciobanu, Gabriel, 373(3)163--181, 378(1)117--130
Ciobanu, Gabriel, see Andrei, Oana
Ciobanu:2007:PSM, 378(1)117--130
Ciocchetta, Federica, 408(1)41--54, 410(33)3065--3084
Ciocchetta:2008:MCT, 408(1)41--54
Ciocchetta:2009:BPF, 410(33)3065--3084
ciphertext, 367(3)308--323
ciphertext, chosen-, 410(47)5093--5111
Ciraulo, Francesco, 405(1)11--23
Ciraulo:2008:FFT, 405(1)11--23
circle, 396(1)97--112
circuit, 332(1)487--496, 341(1)150--161, 347(1)415--418, 348(1)95--127, 359(1)176--187, 367(3)336--346, 369(1)211--229, 383(2)115--131, 389(1)172--181, 396(1)258--263, 403(1)130--131, 404(3)293--307, 407(1)474--487, 408(2)143--150, 408(2)208--212, 409(3)617--622, 410(26)2489--2510, 410(38)3988--3994
circulant, 390(1)70--80, 407(1)274--277, 410(21)2001--2010
circular, 332(1)447--460, 332(1)573--581, 391(1)90--98, 401(1)17--26, 410(21)1982--1985, 410(43)4372--4381, 410(47)4937--4960
Cirstea:2007:MCC, 388(1)83--108
Çivril, Ali, 410(47)4801--4811
Civril:2009:SMV, 410(47)4801--4811
clarifications, 347(1)432--436
Clark, E., 403(1)11--32
Clark, E., see Timmis, J.
class, 333(1)265--296, 338(1)350--392, 339(2)200--240, 339(2)272--292, 344(2)103--119, 345(1)122--138, 345(2)173--189, 346(2)307--334, 346(2)388--417, 350(1)40--48, 350(1)49--62, 350(1)91--102, 352(1)8--30, 352(1)181--189, 352(1)215--225, 352(1)342--346, 356(1)46--57, 358(1)88--103, 359(1)369--377, 360(1)147--171, 360(1)352--372, 363(3)289--300, 369(1)142--156, 370(1)74--93, 372(2)242--266, 377(1)93--109, 379(1)53--83, 380(3)330--354, 382(2)139--150, 382(2)151--156, 382(3)209--220, 382(3)232--246, 384(1)49--65, 384(1)66--76, 385(1)71--77, 389(1)12--25, 389(1)219--236, 393(1)240--259, 395(1)47--56, 396(1)35--49, 397(1)129--149, 410(4)332--346, 410(11)1042--1053, 410(19)1796--1806, 410(20)1942--1951, 410(30)2870--2884, 410(43)4327--4340, 410(52)5505--5514
classical, 344(2)335--345, 364(2)146--165, 410(26)2463--2477, 410(46)4747--4768
classification, 349(1)67--81, 382(3)221--231, 385(1)214--225, 397(1)114--128
Classifying, 374(1)181--190, 410(21)2162--2173
clause, 401(1)36--51, 410(30)2920--2934
Clavel, Manuel, 373(1)70--91
Clavel:2007:RME, 373(1)70--91
Claw, 410(50)5285--5297
claw-free, 396(1)151--157
Cleaning, 399(3)191--205
Cleary, Sean, 377(1)277--281
Cleary:2007:RUB, 377(1)277--281
cleavage, 408(1)41--54
Cleaveland, Rance, 342(2)316--350
Cleaveland:2005:PTL, 342(2)316--350
Clément, Julien, 340(2)432--442
Clement:2005:PFD, 340(2)432--442
Clementi, Andrea E. F., 343(1)27--41, 384(2)161--167, 399(1)38--53
Clementi, Andrea E. F., see Ambühl, Christoph, see Calamoneri, Tiziana
Clementi:2007:BHM, 384(2)161--167
Clerbout, Mireille, 363(2)108--123
Clerbout, Mireille, see Bailly, Arnaud
clique, 349(1)40--51, 349(3)484--490, 355(1)37--47, 363(1)28--42, 370(1)229--239, 374(1)149--158, 381(1)124--133, 385(1)226--240, 386(1)114--131, 389(1)295--306, 396(1)290--293, 407(1)564--568, 410(21)2072--2083, 410(52)5384--5397
clique-width, 359(1)188--199, 377(1)260--267
clock, 345(1)27--59
Clos, 372(1)103--107
Close, 348(2)294--310
closed, 354(1)72--81
closed, intersection-, 382(3)209--220
closed, upward-, 410(24)2442--2452
closest, 393(1)294--300, 410(18)1648--1665
closure, 352(1)97--107, 354(1)72--81, 354(1)82--97, 362(1)282--300, 379(1)53--83
closure, transitive-, 336(1)125--151
Cloth, Lucia, 382(1)24--41
Cloth, Lucia, see Remke, Anne
cluster, 410(8)718--726, 410(19)1749--1764, 410(52)5467--5480
clustering, 361(2)172--187, 407(1)85--96, 407(1)359--369, 410(6)581--594
CNF, 347(1)325--335
CNN, 359(1)58--68
co-transcriptional, 408(1)41--54
coagnostic, 350(1)24--39
coalgebra, 351(2)276--294, 360(1)1--22, 360(1)415--439, 366(1)82--97, 410(41)4044--4066
coalgebraic, 331(2)325--365, 365(1)2--22, 366(1)121--143, 388(1)83--108, 390(2)230--247
coarse, 361(1)111--129
Cobham, 410(18)1694--1703
Cobham--Semenov, 391(1)20--38
Cockshott, Paul, 394(3)159--174
Cockshott:2008:PCH, 394(3)159--174
cocomplete, 373(1)142--160
code, 330(1)81--99, 334(1)99--113, 340(2)220--239, 340(2)240--256, 340(2)322--333, 340(2)381--393, 351(1)74--81, 356(1)6--13, 356(1)245--254, 359(1)440--448, 359(1)449--454, 364(3)273--291, 366(3)182--193, 368(1)1--29, 374(1)82--90, 378(1)3--16, 379(3)348--360, 381(1)266--273, 389(1)237--249, 389(3)341--410, 391(1)90--98, 396(1)35--49, 401(1)17--26, 410(24)2345--2351, 410(38)3925--3941, 410(43)4423--4431
codeletable, non-, 406(1)97--118
Codenotti, Bruno, 408(2)188--198
Codenotti:2008:CEH, 408(2)188--198
coding, 330(1)81--99, 369(1)396--405, 382(2)97--108, 410(38)3743--3750
coefficient, 346(2)418--438, 401(1)217--227, 409(2)269--281
Coeurjolly, David, 406(1)72--79
Coeurjolly:2008:FMM, 406(1)72--79
Cohen, David A., 401(1)36--51, 409(1)137--153
Cohen, Edith, 331(1)73--96
Cohen, Irun R., 391(3)276--290
Cohen, Irun R., see Amir-Kroll, Hila
Cohen, Reuven, 399(1)71--82
Cohen:2005:PAD, 331(1)73--96
Cohen:2008:EPV, 409(1)137--153
Cohen:2008:GSH, 401(1)36--51
Cohen:2008:LSA, 399(1)71--82
coherent, 410(21)2135--2147
coinductive, 343(3)443--481, 360(1)440--458
coiteration, 333(1)3--66
COL, 3-, 404(1)76--87
Col, M.-A. Jacob-Da, 410(21)2126--2134
Col:2009:QLT, 410(21)2126--2134
Colcombet, Thomas, 350(2)164--173, 352(1)190--196
Colcombet, Thomas, see Boja{\'n}czyk, Mikolaj
Colcombet:2006:PDE, 352(1)190--196
Cole, Richard, 382(2)86--96
Cole, Richard, see B{\u{a}}doiu, Mihai
Collage, 340(2)364--380
collapse, 345(2)248--259, 385(1)167--178, 409(1)137--153
collapsing, 391(1)99--108, 410(21)2135--2147, 410(35)3261--3271
Collard, P., 378(1)54--77
Collard, P., see Verel, S.
Collatz, 407(1)596--600
Collatz-like, 390(1)92--101
Collins, Pieter, 341(1)162--195
Collins:2005:CCR, 341(1)162--195
collisions, 410(27)2767--2773
colony, 344(2)243--278, 410(6)514--532
color, 337(1)319--330, 374(1)261--276, 410(38)3733--3742
colorability, 331(1)37--52, 401(1)62--76
colored, 374(1)261--276, 408(2)129--142
colored, edge-, 409(3)497--510
coloring, 349(1)1--1, 349(1)22--30, 349(1)82--91, 349(1)99--111, 349(3)462--474, 351(3)407--424, 363(1)11--17, 363(1)18--27, 369(1)250--255, 378(1)78--86, 400(1)100--112, 407(1)21--28, 407(1)203--212, 410(11)1022--1029, 410(21)1982--1985, 410(21)2135--2147, 410(21)2234--2240, 410(47)5196--5200
coloring, 2-, 410(45)4543--4553
coloring, 3-, 396(1)151--157
coloring, 4-, 389(1)330--335
coloring, -, 349(1)82--91
coloring, edge-, 410(38)3733--3742
Coloring, H-, 349(1)31--39
colouring, 349(1)112--120, 384(2)152--160, 407(1)134--154, 410(4)302--309, 410(14)1388--1400, 410(50)5215--5226
colouring, Edge-, 355(3)364--370, 389(1)91--99
colours, 407(1)134--154
Colson, Loïc, 410(42)4190--4203
Colson:2009:PSO, 410(42)4190--4203
Colton, Martin, Farach-, 382(2)85--85, 409(3)486--496
column, 347(1)336--352, 387(3)273--283, 410(21)2174--2183
combination, 410(18)1730--1745
combinatorial, 330(1)35--57, 346(2)388--417, 347(1)239--275, 349(3)347--360, 349(3)452--461, 352(1)306--317, 361(2)241--256, 380(1)87--99, 387(3)236--248, 396(1)35--49, 407(1)1--20, 410(11)1081--1092, 410(51)5317--5333
combinatorics, 331(1)23--36, 359(1)200--213, 391(1)1--2, 409(3)394--404, 410(50)5227--5235
combinatory, 410(42)4204--4215
combined, 368(1)1--29, 383(2)140--152, 410(35)3272--3280
combining, 336(2)209--234, 354(2)187--210, 357(1)70--99, 375(1)20--40
Comin, Matteo, 395(2)158--170
Comin:2008:DSV, 395(2)158--170
comma-free, 401(1)17--26
commands, 346(1)96--112
Commitment, 408(2)213--223
commitments, 374(1)229--260
commodity, 410(8)745--755
common, 343(1)4--26, 345(2)206--234, 357(1)4--22, 362(1)33--53, 369(1)230--238, 369(1)456--462, 370(1)1--18, 380(1)37--46, 395(2)255--267, 396(1)145--150, 407(1)302--309, 410(8)900--913, 410(11)1099--1108, 410(27)2759--2766, 410(51)5347--5353, 410(51)5374--5381
commonly, 351(1)74--81, 351(1)82--100
communicating, 358(1)142--147, 372(2)242--266, 387(2)136--146, 403(2)382--405, 404(1)170--184
communication, 330(2)325--338, 361(2)257--274, 363(2)108--123, 369(1)348--360, 381(1)197--217, 383(1)59--85, 386(3)218--235, 401(1)107--119, 406(3)240--247, 407(1)511--523, 410(14)1346--1354, 410(26)2463--2477, 410(27)2549--2561, 410(30)2972--2981
communications, 333(3)401--413, 384(2)184--200
commutation, 337(1)105--118, 340(2)322--333
commutative, 400(1)144--158, 410(12)1143--1158
commutativity, 401(1)27--35
commuting, 356(1)200--211
Comon, Hubert, 331(1)143--214
Comon:2005:TAO, 331(1)143--214
compact, 361(1)57--71, 373(1)115--141, 407(1)290--301, 409(3)486--496, 410(30)2834--2839
compactness, 405(1)3--10
Compagnoni, Adriana, 398(1)203--216, 410(2)114--127
Compagnoni, Adriana, see Bidinger, Philippe
Compagnoni:2008:RBA, 398(1)203--216
companion, 381(1)134--147
comparability, 396(1)212--222
comparable, 336(2)235--284
comparative, 398(1)183--202
comparator, 410(14)1369--1376
compare, 410(2)221--253
comparing, 358(2)315--333, 380(1)100--114, 403(1)33--41
comparison, 336(2)403--435, 347(1)214--238, 351(1)111--118, 355(2)228--242, 368(1)88--123, 386(1)73--93, 387(1)51--66, 396(1)247--253, 410(1)101--107, 410(26)2455--2462, 410(52)5384--5397
comparison-based, 382(2)86--96
compartments, 410(33)3039--3064, 410(33)3110--3127
Compatibility, 351(3)296--302
Compatible, 362(1)255--272
competitive, 354(3)367--378, 393(1)1--13, 393(1)72--80, 396(1)200--211, 401(1)120--130, 405(3)285--296, 410(38)3631--3639
competitiveness, 341(1)216--246
competitivity, 359(1)58--68
compilation, re-, 368(1)1--29
complementary, 410(4)417--425
complementation, 345(1)83--100, 376(1)112--126, 382(2)109--119
Complementing, 330(2)349--360
complete, 343(3)482--508, 349(1)67--81, 349(1)99--111, 353(1)93--117, 363(3)278--288, 366(1)163--179, 377(1)126--138, 387(2)187--195, 388(1)1--25, 388(1)83--108, 394(1)112--133, 399(1)128--140, 407(1)591--595, 410(21)2045--2053, 410(35)3188--3197, 410(52)5505--5514
complete, almost-, 410(14)1377--1387
complete, -, 349(1)99--111
complete, EXPTIME-, 407(1)330--341
complete, NP-, 357(1)186--201, 363(1)43--59, 395(1)31--46, 407(1)258--273, 410(21)2295--2300
completely, 352(1)57--70
completeness, 337(1)278--304, 339(2)272--292, 359(1)369--377
completeness, DPTAS-, 339(2)272--292
completeness, NP-, 381(1)248--259, 407(1)591--595
completeness, \#P-, 407(1)97--109
completeness, PSPACE-, 343(1)72--96, 410(50)5215--5226
Completing, 356(1)245--254, 359(1)449--454, 391(1)90--98, 410(43)4423--4431
completion, 330(1)35--57, 341(1)385--397, 347(1)288--298, 410(1)1--15, 410(1)35--43, 410(4)417--425, 410(38)3875--3881
complex, 355(1)37--47, 355(1)48--64, 355(1)80--95, 391(3)239--257, 400(1)100--112, 410(50)5244--5251
complex-value, 364(2)212--240
complexity, State-, 410(35)3223--3235
Component, 363(2)108--123, 388(1)243--266
component-oriented, 382(1)3--23
components, 330(2)195--204, 331(2)457--483, 351(2)276--294, 356(3)291--324, 365(1)2--22, 379(1)1--19, 387(2)136--146, 406(1)15--23
composable, 410(11)1099--1108
composition, 331(2)367--396, 341(1)344--363, 343(3)285--304, 343(3)305--331, 359(1)282--298, 363(2)108--123, 365(1)83--108, 388(1)319--336, 407(1)330--341, 409(3)417--431, 410(43)4360--4371
compositional, 331(2)397--428, 354(2)211--229, 367(1)33--56, 373(3)273--302, 376(3)164--184, 395(1)77--100
Compositionality, 354(3)421--440
Compositions, 366(3)248--271
Compound, 410(21)2033--2044
compressed, 352(1)240--249, 385(1)127--136, 387(3)313--331, 410(8)900--913, 410(8)958--962, 410(30)2804--2810, 410(43)4414--4422, 410(51)5354--5364
compressed, grammar-, 363(2)196--210
Compressing, 387(3)273--283
compression, 332(1)293--311, 361(1)57--71, 364(1)10--26, 364(3)273--291, 387(3)200--219, 387(3)220--235
Comput, 343(3)482--508, 347(1)437--440, 352(1)347--348, 368(1)168--194, 377(1)282--283, 378(1)131--131, 395(1)132--133, 403(1)130--131, 403(2)409--415, 412(43)6112--6113, 475(z)126--127, 492(z)117--122
computability, 341(1)162--195, 357(1)100--135, 371(1)115--146, 379(1)20--52, 391(3)216--238, 394(3)141--143, 398(1)170--182
computable, 348(2)130--147, 351(1)14--26, 351(1)27--38, 352(1)159--180, 359(1)28--42, 364(1)27--41, 377(1)126--138, 409(1)126--136
computation, 330(1)15--21, 334(1)227--258, 343(1)72--96, 343(1)97--113, 343(1)114--132, 343(3)482--508, 344(2)134--207, 344(2)226--242, 345(1)2--26, 345(2)206--234, 346(1)113--134, 347(1)130--166, 347(3)441--464, 349(2)184--201, 351(1)52--60, 351(1)111--118, 352(1)8--30, 355(2)105--107, 356(3)291--324, 357(1)202--214, 358(1)34--55, 363(3)248--256, 374(1)277--290, 378(1)17--31, 379(1)120--141, 384(1)1--1, 384(1)v--ix, 386(1)57--72, 394(3)187--196, 394(3)208--222, 395(2)235--254, 407(1)458--473, 408(2)199--207, 409(2)158--179, 409(2)318--331, 410(1)62--77, 410(4)376--383, 410(8)988--993, 410(11)1001--1002, 410(43)4382--4390, 410(46)4672--4691
computational, 330(3)501--551, 337(1)360--369, 340(1)57--81, 342(1)149--172, 344(2)279--297, 347(1)214--238, 351(1)74--81, 354(3)391--404, 357(1)230--240, 362(1)63--85, 363(1)28--42, 364(2)254--269, 365(3)184--198, 366(1)144--162, 368(3)205--216, 374(1)91--110, 383(2)200--243, 384(1)111--125, 390(2)127--128, 392(1)128--140, 393(1)182--195, 394(1)112--133, 404(1)61--75, 404(1)88--96, 405(1)35--40, 405(1)50--63, 407(1)448--457, 410(4)286--293, 410(4)294--301, 410(4)323--331, 410(21)2064--2071, 410(27)2746--2753, 410(37)3520--3529, 410(47)4878--4891, 410(52)5384--5397, 410(52)5455--5466, 412(43)6112--6113
computationally, 330(2)251--266, 410(35)3188--3197
compute, 371(1)4--19, 410(8)900--913, 410(51)5300--5316
computer, 343(1)1--3, 394(3)197--207, 403(1)121--129, 405(1)116--163, 409(2)269--281
computing, 332(1)337--366, 335(1)93--107, 337(1)331--346, 337(1)347--359, 341(1)55--72, 346(2)418--438, 348(2)334--356, 351(1)101--110, 351(1)111--118, 355(2)197--214, 356(1)200--211, 360(1)373--385, 363(1)43--59, 367(3)273--285, 371(1)1--3, 371(1)106--114, 372(2)123--124, 374(1)1--24, 377(1)126--138, 378(2)143--152, 389(3)337--340, 393(1)294--300, 395(1)101--131, 395(2)255--267, 395(2)268--282, 404(1)19--25, 404(1)88--96, 408(2)224--240, 409(2)269--281, 410(4)355--375, 410(6)595--613, 410(6)629--659, 410(21)2064--2071, 410(27)2685--2700, 410(27)2759--2766, 410(43)4303--4314
concatenation, 345(2)425--447, 356(1)73--89, 369(1)406--426
concept, 348(1)15--40, 350(1)40--48, 350(1)49--62, 351(1)2--13, 354(3)391--404, 410(38)3640--3654, 410(52)5384--5397
conceptual, 374(1)277--290
concerning, 343(3)482--508, 353(1)53--62, 407(1)591--595
Conchon, Sylvain, 354(2)187--210
Conchon:2006:SCD, 354(2)187--210
concise, 367(3)273--285
conclude, 351(1)82--100
conclusive, 410(14)1369--1376
concordance, 349(2)202--229
concurrency, 330(3)375--376, 343(3)482--508, 350(2)234--251, 357(1)241--278, 358(2)200--228, 358(2)293--314, 375(1)271--307, 402(2)120--141, 410(2)128--141
concurrency, True-, 390(2)129--170
concurrency, true-, 386(3)169--187
concurrent, 331(2)429--455, 333(3)373--400, 338(1)17--63, 351(2)203--220, 356(3)356--373, 364(3)338--356, 365(1)23--66, 375(1)227--270, 386(3)188--217, 388(1)181--198, 404(3)275--292, 408(1)66--82
condensation, 349(3)452--461
condensing, 388(1)53--82
condition, 330(2)267--285, 330(2)361--373, 332(1)233--250, 346(2)335--357, 350(2)345--372, 385(1)71--77, 400(1)1--18, 404(3)275--292, 410(21)2135--2147, 410(47)5145--5157
conditional, 384(1)77--86, 388(1)319--336, 396(1)151--157, 407(1)318--329, 409(3)450--460, 410(8)766--775, 410(27)2632--2640
Condon, Anne, 410(4)294--301
Condon:2009:CPN, 410(4)294--301
conference, 359(1)418--429
confidence, 364(1)3--9
configuration, 378(3)316--330, 410(41)4111--4159
configuring, 351(2)146--166
confinement, 340(1)3--56
confirm, 347(1)214--238
confirmation, 384(1)33--48
conflict-free, 347(3)465--497
conflicts, 396(1)158--179
confluence, 410(42)4204--4215
congestion, 410(17)1552--1563, 410(36)3337--3347, 410(47)4989--4999
congruence, 335(2)331--372, 404(1)156--169, 410(37)3471--3480
conjecture, 339(1)61--67, 339(1)103--128, 344(1)3--14, 349(1)112--120, 385(1)137--151, 410(30)2864--2869, 410(30)2885--2888
Conjugacy, 380(3)393--400, 410(24)2345--2351
Conjunction, 373(1)19--40
conjunctive, 348(1)84--94, 371(3)155--168
connected, 352(1)1--7, 381(1)241--247, 385(1)49--59, 385(1)101--114, 410(8)661--669, 410(8)812--817, 410(38)3804--3813, 410(47)4834--4843, 410(52)5398--5402, 412(45)6451--6454
connected, path-, 351(1)119--128
connection, 340(2)188--203, 349(2)123--139, 377(1)55--64, 381(1)183--196, 394(3)208--222
Connectionist, 358(1)34--55, 371(1)34--53
connectives, 330(3)475--499
connectivity, 339(2)257--271, 381(1)218--229, 393(1)81--89, 410(27)2592--2618
connectivity, 3-vertex-, 372(1)81--93
connectivity-based, 344(1)47--68
connectors, 366(1)98--120
coNP, 385(1)167--178
coNP-hard, 345(2)345--358
conquer, 352(1)8--30
consecutive, 410(21)1986--1992
consensus, 395(2)158--170
consequence, 346(2)189--199, 363(1)76--84, 410(12)1143--1158
Consequently, 368(1)1--29
conservation, 393(1)81--89, 410(38)3685--3693
consideration, 394(3)197--207
considering, 410(27)2619--2631
consistency, 331(1)73--96, 405(3)256--273, 410(46)4769--4783
consistent, 348(2)187--206, 370(1)240--253
consists, 351(1)101--110
consolidation, 410(8)963--967
constant, 334(1)71--98, 380(1)47--68, 407(1)134--154, 409(3)617--622
constant-depth, 407(1)474--487
Constantinescu, Sorin, 339(1)49--60
Constantinescu:2005:GFW, 339(1)49--60
constrained, 385(1)241--263, 389(1)1--11, 393(1)240--259, 399(3)158--168, 401(1)107--119, 410(8)837--846, 410(38)3901--3924
constrained, Degree-, 355(3)389--395
constrained, energy-, 344(1)30--46
constrained, length-, 407(1)349--358
constrained, subdivision-, 410(8)877--885
constrained, weight-, 407(1)349--358
constraint, 331(1)143--214, 336(1)57--87, 336(1)125--151, 340(2)381--393, 343(1)72--96, 345(1)122--138, 346(1)135--160, 348(2)187--206, 360(1)96--123, 360(1)327--351, 362(1)115--126, 371(3)200--226, 374(1)41--48, 385(1)11--33, 391(1)14--19, 391(3)258--275, 393(1)1--13, 393(1)37--53, 394(3)159--174, 403(2)192--201, 406(1)43--54, 406(1)63--71, 407(1)203--212, 407(1)496--510, 408(1)55--65, 409(1)24--40, 409(1)137--153, 410(18)1629--1647, 410(18)1684--1693, 410(27)2663--2674, 410(38)3792--3803, 410(38)3856--3874, 410(38)3975--3981, 410(47)5039--5046
constraint, 2-, 348(2)357--365
constructibility, 394(3)144--158, 394(3)197--207
constructing, 341(1)1--21, 342(1)3--27, 359(1)306--328, 385(1)101--114, 410(8)926--932, 410(21)2207--2222
construction, 330(1)81--99, 334(1)99--113, 352(1)293--305, 355(3)382--388, 363(1)76--84, 363(2)135--148, 364(3)318--337, 365(3)199--205, 377(1)126--138, 385(1)34--48, 385(1)127--136, 388(1)83--108, 394(1)1--38, 407(1)213--230, 407(1)290--301, 407(1)511--523, 410(8)661--669, 410(18)1704--1729, 410(19)1749--1764, 410(20)1916--1922, 410(20)1923--1931, 410(30)2999--3005, 410(37)3553--3562
constructive, 342(1)56--78, 369(1)361--376, 392(1)174--178, 410(21)2207--2222
consumption, 382(3)170--182, 410(6)533--545
contact, 347(3)498--512, 348(2)294--310
contact, randomized-, 408(2)241--261
contain, 331(1)3--21, 332(1)573--581, 401(1)165--171, 407(1)545--553
Containers, 342(1)3--27
containment, 336(1)33--56, 336(1)57--87
content, 357(1)230--240
content-addressable, 355(1)65--79
contention, 410(6)533--545
contention, low-, 333(3)373--400
context, 330(2)361--373, 351(1)82--100, 372(2)136--151, 376(3)185--204, 389(1)73--81, 410(1)108--112, 410(21)1961--1969
Context-dependent, 376(1)101--111
context-free, 330(2)339--348, 330(3)553--575, 337(1)119--133, 337(1)183--216, 339(2)344--371, 347(1)167--190, 347(1)191--213, 354(1)82--97, 354(1)118--130, 356(1)104--117, 381(1)274--279, 388(1)173--180, 395(2)235--254, 400(1)62--69, 403(2)406--408, 409(3)565--577, 410(35)3198--3208, 410(37)3530--3538, 410(47)5158--5181
context-sensitive, 358(1)88--103, 375(1)76--108
contextual, 366(3)272--296, 369(1)436--441
Continuant, 410(30)2811--2822
continuants, 347(1)353--369
continuations, 375(1)20--40
continued, 380(3)220--237, 392(1)158--173, 409(2)292--310, 410(38)3655--3669
continuity, 341(1)162--195, 381(1)148--161, 410(42)4234--4240
continuous, 365(3)216--236, 373(1)142--160, 379(3)329--347, 398(1)170--182, 402(1)56--66, 404(1)97--111, 405(1)176--187
continuous-time, 345(1)2--26, 410(42)4262--4291
continuum, 372(1)46--68
contours, 346(2)439--454
contract-signing, 367(1)33--56
contraction, 380(1)143--163, 492(z)117--122
contracts, 363(2)108--123
control, 342(2)229--261, 350(2)234--251, 358(2)229--254, 388(1)199--226, 394(1)64--83, 398(1)183--202, 398(1)203--216, 402(2)120--141, 410(27)2746--2753, 410(33)3110--3127, 410(52)5425--5442
controllable, non-, 353(1)291--316
controlled, 351(1)74--81, 410(35)3261--3271
convenient, 351(1)74--81
convergence, 334(1)35--69, 351(2)167--183, 364(1)27--41, 367(3)286--307, 378(1)87--100, 396(1)97--112, 401(1)1--16, 410(15)1417--1427
converse, 400(1)230--233
conversion, 391(1)138--149, 409(2)311--317
converting, 347(1)325--335
convex, 346(2)307--334, 346(2)439--454, 381(1)260--265, 389(1)143--151, 406(1)55--62, 406(1)80--89
convex, L-, 347(1)336--352, 356(1)58--72
convex, Q-, 332(1)19--45, 347(1)393--414
Conway, 349(3)443--451, 409(3)557--564
Cook, Byron, 388(1)227--242
Cook, William R., 402(2)234--248
Cook, William R., see Wehrman, Ian
Cook:2007:VBP, 388(1)227--242
Cooper, Barry, 384(1)1--1
Cooper, C., 369(1)239--249
Cooper, C., see Bebek, G.
Cooper, Colin, 406(3)248--262, 410(27)2549--2561
Cooper, Colin, see Berenbrink, Petra
Cooper, Martin C., 401(1)36--51
Cooper, Martin C., see Cohen, David A.
Cooper, S. Barry, 410(4)283--284, 410(11)1001--1002
Cooper, S. Barry, see Bonizzoni, Paola
Cooper:2007:PTA, 384(1)1--1
Cooper:2008:RAJ, 406(3)248--262
Cooper:2009:PAC, 410(11)1001--1002
cooperating, 330(2)195--204
cooperative, 358(2)229--254
cooperative, Non-, 343(1)97--113
Coordinating, 377(1)243--259
coordination, 331(2)457--483, 336(2)367--401, 346(1)28--57, 410(2)221--253, 410(17)1589--1598, 410(27)2581--2591, 410(36)3327--3336, 410(47)4856--4863
Coornaert, Michel, 400(1)225--229
Coornaert, Michel, see Ceccherini-Silberstein, Tullio
cop-robber, 399(3)179--190
Copower, 410(12)1129--1142
Coppo, 398(1)1--11
Coppo, Mario, 410(2)142--167
Coppo, Mario, see Capecchi, Sara
Coppo--Dezani, 398(1)114--128
Copty, Shady, 404(3)219--234
Copty:2008:PAR, 404(3)219--234
copulas, 378(2)190--197
copy, 351(2)167--183, 393(1)1--13
Coquand, 392(1)113--127
Cordasco, Gennaro, 410(47)4975--4988
Cordasco:2009:NSW, 410(47)4975--4988
Cordy, Brendan, 387(2)125--135
Cordy:2007:ERA, 387(2)125--135
Core, 375(1)193--200
corecursive, 351(1)39--51
cores, 407(1)274--277
Corless, R. M., 381(1)134--147
Corless, R. M., see Amiraslani, A.
corners, 336(2)235--284
corona, 402(1)2--15
coroutines, 350(2)275--291
Corradini, F., 335(2)187--213, 356(3)291--324, 386(3)218--235, 410(33)3149--3165
Corradini, F., see Bartocci, E., see Cacciagrano, D.
Corradini, Flavio, 330(3)375--376, 356(3)263--264
Corradini, Flavio, see Baeten, Jos
Corradini:2005:MPA, 335(2)187--213
Corradini:2005:SPT, 330(3)375--376
Corradini:2006:FCS, 356(3)291--324
Correa, José R., 393(1)14--22, see Bein, Wolfgang
correct, 351(1)111--118
correcting, 377(1)126--138
correction, 354(3)354--366, 410(47)5145--5157
correctness, 343(1)97--113, 351(2)221--239, 386(1)151--166, 410(2)114--127
correlation, 361(2)172--187, 382(2)157--166, 407(1)587--590
correspondence, 342(1)149--172, 375(1)76--108, 408(2)188--198, 410(30)2957--2960
corresponding, 336(2)235--284, 367(3)273--285
corrigendum, 366(1)3--59, 403(2)406--408, 403(2)409--415
corrupt, 387(1)32--50
Cortes, Corinna, 405(3)223--236
Cortes, Corinna, see Kontorovich, Leonid (Aryeh)
Cortier, Véronique, 331(1)143--214, 367(1)2--32, see Abadi, Martín, see Comon, Hubert
cost, 333(3)373--400, 347(1)36--53, 361(2)342--355, 363(3)289--300, 369(1)116--135, 369(1)269--284, 369(1)442--447, 372(1)81--93, 393(1)231--239, 397(1)77--93, 401(1)52--61, 401(1)96--106, 410(6)533--545, 410(14)1346--1354, 410(27)2619--2631
cost, element-, 410(43)4315--4326
cost, Minimum-, 409(3)417--431
cost, Subjective-, 378(2)175--189
Costa, José Carlos, 401(1)206--216
Costa, José Félix, 374(1)277--290, see Mycka, Jerzy
Costa:2008:BIV, 401(1)206--216
Costagliola, Gennaro, 337(1)51--104
Costagliola:2005:ASI, 337(1)51--104
Cottenceau, Bertrand, 351(1)119--128
Cottenceau, Bertrand, see Delanoue, Nicolas
Couceiro, Miguel, 396(1)71--87
Couceiro:2008:QOB, 396(1)71--87
Coudert, David, 384(2)139--151
Coudert, David, see Bermond, Jean-Claude
Could, 355(1)96--103
Coulon, F., 327(3)241--253, 347(1)437--440
Coulon, F., see Champarnaud, J.-M.
count, 333(1)225--263
countable, 394(1)1--38, 397(1)77--93
counter, 330(1)59--79, 330(2)311--324, 334(1)275--297, 339(2)344--371
Counterexample-guided, 354(2)250--271
counterexamples, 389(1)190--218, 410(27)2562--2580
counting, 332(1)265--291, 340(2)273--279, 353(1)291--316, 356(1)104--117, 364(3)318--337, 378(3)211--222, 384(1)111--125, 391(1)109--125, 395(2)220--234, 410(18)1666--1683, 410(38)3814--3825, 410(47)5158--5181
Courcelle, Bruno, 342(2)173--228, 394(1)1--38
Courcelle:2005:RSG, 342(2)173--228
Courcelle:2008:MDC, 394(1)1--38
Couso, José-Ramón, Sánchez-, 355(3)327--353
Cousot, Patrick, 410(46)4724--4746
Cousot, Radhia, 410(46)4724--4746
Cousot, Radhia, see Cousot, Patrick
Cousot:2009:AIR, 410(46)4724--4746
COVER, 332(1)497--513
cover, 337(1)305--318, 341(1)22--38, 348(2)240--250, 355(3)354--363, 363(1)99--105, 363(2)135--148, 370(1)218--228, 374(1)203--213, 380(1)2--22, 381(1)183--196, 381(1)260--265, 399(1)38--53, 410(1)94--100, 410(8)812--817, 410(21)2184--2195, 410(50)5261--5272, 410(52)5398--5402, 412(45)6451--6454
coverage, 332(1)1--17, 410(52)5515--5528
covering, 339(2)293--314, 355(1)37--47, 359(1)400--417, 363(3)278--288, 372(1)69--80, 377(1)181--204, 396(1)10--27, 400(1)159--168, 410(21)2045--2053, 410(47)5047--5062, 410(52)5403--5414
covering, multi-, 410(38)3882--3892
covering, vertex-, 332(1)83--108
Cox, David A., 392(1)23--36
Cox:2008:MCI, 392(1)23--36
CPO, 409(1)110--125
cpos, 365(3)216--236
CPS, 333(1)199--224, 356(3)422--439
Cramer-Damgård, 370(1)186--200
crash, 410(6)614--628
creation, 371(1)54--61, 388(1)227--242
Credi, A., 408(1)17--30
Credi:2008:NCM, 408(1)17--30
Cremers, C. J. F., 367(1)139--161
Cremers:2006:ISE, 367(1)139--161
Creol, 365(1)23--66
Crick, Watson-, 358(1)142--147, 410(35)3250--3260
criteria, 350(1)140--162
criterion, 364(1)3--9, 383(2)244--259, 395(1)47--56
criterium, 339(1)88--102
critical, 336(2)235--284, 346(2)265--280, 376(1)70--88, 381(1)177--182, 385(1)179--192
Crochemore, 410(43)4293--4294
Crochemore, M., 410(37)3471--3480
Crochemore, Maxime, 332(1)567--572, 362(1)248--254, 395(2)283--297, 410(50)5227--5235
Crochemore:2005:NBW, 332(1)567--572
Crochemore:2006:LRB, 362(1)248--254
Crochemore:2008:AIP, 395(2)283--297
Crochemore:2009:NCS, 410(37)3471--3480
Crochemore:2009:RSA, 410(50)5227--5235
crossed, 407(1)110--116
crossing, 332(1)417--446, 369(1)463--469
crossover, 358(1)121--141, 367(3)324--335
crowdedness, 399(3)220--235
Crutchfield, James P., 359(1)306--328
Crutchfield, James P., see McTague, Carl S.
Cruz-Filipe, L., 379(1)142--165
Cruz-Filipe, L., see Chadha, R.
Cryan, Mary, 382(2)85--85
Cryan:2007:P, 382(2)85--85
cryptographic, 331(1)143--214, 333(1)67--90, 353(1)118--164, 394(1)39--63
Cryptographically-masked, 402(2)82--101
cryptography, 341(1)55--72, 367(3)308--323, 369(1)169--182, 374(1)261--276
CSC-solving, 388(1)243--266
CSL, 382(1)24--41
CSP-CASL, 354(1)42--71
CSPs, 410(46)4769--4783
Csuhaj-Varjú, E., 330(2)193--193
Csuhaj-Varjú, Erzsébet, 372(2)152--164, 374(1)74--81, 404(1)52--60, 410(35)3188--3197, see Alhazov, Artiom
Csuhaj-Varju:2005:P, 330(2)193--193
Csuhaj-Varju:2007:SAS, 374(1)74--81
Csuhaj-Varju:2007:SUA, 372(2)152--164
Csuhaj-Varju:2008:MBA, 404(1)52--60
CTL, 331(2)397--428, 346(1)135--160, 353(1)208--227
CTL-like, 356(1)136--152
Cuartero, Fernando, 338(1)350--392
Cuartero, Fernando, see Bueno, Antonio
cube, 363(1)85--98, 369(1)427--435, 401(1)181--190, 407(1)110--116, 407(1)318--329, 410(8)926--932
cubic, 349(1)112--120
Cubical, 365(3)199--205
cubically, 365(3)199--205
C{\u\i}rstea, Corina, 388(1)83--108
Cunial, Fabio, 410(43)4360--4371
Cunial, Fabio, see Apostolico, Alberto
Curien, Pierre-Louis, 404(1)61--75
Curien--Herbelin, 398(1)114--128
Curien:2008:CSA, 404(1)61--75
currently, 343(3)482--508
Currie, James, 410(30)2885--2888
Currie, James D., 332(1)573--581, 339(1)7--18, 396(1)254--257, 409(3)432--437, 410(1)44--52
Currie, James D., see Aberkane, Ali
Currie:2005:PAT, 339(1)7--18
Currie:2008:LBP, 409(3)432--437
Currie:2008:PPT, 396(1)254--257
Currie:2009:CBM, 410(1)44--52
Currie:2009:DCH, 410(30)2885--2888
Curtis--Hedlund, 400(1)225--229
Curtis--Hedlund--Lyndon, 410(38)3606--3615
curve, 348(2)334--356, 377(1)65--72, 378(3)253--270, 381(1)148--161, 392(1)23--36, 392(1)141--157
cut, 353(1)63--70, 366(3)272--296, 377(1)35--42, 385(1)78--87, 410(27)2725--2731, 410(51)5300--5316
CUT, MAX-, 377(1)271--276
cut, min-, 352(1)318--321
cutsets, 407(1)574--582
Cuyt, Annie, 409(2)180--185
Cuyt:2008:NAS, 409(2)180--185
cycle, 333(3)401--413, 347(1)54--75, 370(1)218--228, 372(2)242--266, 381(1)230--233, 392(1)128--140, 407(1)21--28, 407(1)318--329, 410(21)1982--1985, 410(47)5138--5144
cycles, 4-, 369(1)250--255
cyclic, 351(3)425--436, 370(1)1--18, 407(1)496--510, 410(1)44--52, 410(27)2675--2684
cyclic, 2-, 410(8)973--976, 410(47)5188--5190
Czeizler, Elena, 345(2)296--303, 358(1)142--147, 391(1)14--19, 410(30)2889--2909, 410(35)3250--3260
Czeizler, Eugen, 358(1)142--147, 380(1)23--36, 410(35)3250--3260
Czeizler, Eugen, see Czeizler, Elena
Czeizler:2005:NPW, 345(2)296--303
Czeizler:2006:PPC, 358(1)142--147
Czeizler:2007:TLB, 380(1)23--36
Czeizler:2008:MCT, 391(1)14--19
Czeizler:2009:DCW, 410(35)3250--3260
Czeizler:2009:SWE, 410(30)2889--2909
Czumaj, Artur, 331(1)37--52, 380(1)37--46
Czumaj:2005:THC, 331(1)37--52
Czumaj:2007:FAF, 380(1)37--46
Czyzowicz, J., 410(14)1388--1400
Czyzowicz, Jurek, 363(2)124--134, 376(1)42--51, 410(6)481--499
Czyzowicz, Jurek, see Bastien, Cédric
Czyzowicz:2009:GFF, 410(6)481--499
Czyzowicz:2009:LEC, 410(14)1388--1400