Index file section C for tcs2010.bib

Last update: Fri Oct 18 02:04:30 MDT 2024

Return to index directory

C

C1160, 174(1)203--216
C4220, 174(1)203--216
CA, 559(z)108--117
Cabessa, Jérémie, 436(1)23--34
Cabessa:2012:EPA, 436(1)23--34
Cache-oblivious, 412(29)3579--3588
CafeOBJ, 464(1)90--112
Cai, Jin-Yi, 411(4)739--750, 412(23)2468--2485, 461(1)2--16, 494(z)63--74
Cai, Mao-cheng, 412(4)391--401
Cai, Mao-cheng, see Brandenburg, Franz J.
Cai, Zhipeng, 412(3)240--245, 507(z)2--16
Cai, Zhipeng, see He, Jing (Selena)
Cai:2010:BSS, 411(4)739--750
Cai:2011:CPC, 412(23)2468--2485
Cai:2011:SCT, 412(3)240--245
Cai:2012:SSR, 461(1)2--16
Cai:2013:PFI, 494(z)63--74
Caillaud, Benoît, 412(34)4373--4404
Caillaud:2011:CMC, 412(34)4373--4404
Caires, Luís, 411(51)4399--4440
Caires:2010:CT, 411(51)4399--4440
Calamoneri, T., 468(z)23--36, 524(z)34--40, 602(z)158--159
Calamoneri, Tiziana, 547(z)82--89
Calamoneri:2013:EPC, 468(z)23--36
Calamoneri:2014:PCGa, 524(z)34--40, 602(z)158--159
Calamoneri:2014:PCGb, 547(z)82--89
Calamoneri:2015:CPC, 524(z)34--40, 602(z)158--159
calculating, 479(z)127--149
calculi, 411(11)1521--1541, 412(44)6193--6207, 431(1)2--3, 431(1)181--206
calculus, 411(7)1182--1191, 411(19)1928--1948, 411(19)1949--1973, 411(50)4273--4290, 411(51)4358--4378, 412(11)1027--1032, 412(28)3122--3128, 412(28)3129--3139, 412(43)5976--6001, 412(47)6585--6611, 417(1)74--94, 431(1)75--95, 431(1)117--136, 431(1)165--180, 435(1)106--138, 446(1)1--19, 458(1)76--112, 464(1)48--71, 464(1)113--129, 474(z)98--116, 546(z)188--224, 560(z)292--306
calculus, -, 435(1)106--138
calculus, lambda-, 411(37)3301--3327, 412(20)1979--1997
calculus, pi-, 411(22)2223--2238
Calder, M., 488(z)15--45
Calder, M., see Degasperi, A.
Calder, Muffy, 456(1)30--50
Calder, Muffy, see Donaldson, Robin
Caleiro, Carlos, 412(31)4007--4043
Caleiro, Carlos, see Basin, David
call, 411(31)2871--2877
call-by-need, 435(1)21--42
Calude, Cristian, 504(z)3--4
Calude, Cristian S., 412(1)178--182, 412(22)2253--2261, 412(41)5668--5677, 454(1)72--80
Calude, Elena, 454(1)72--80
Calude, Elena, see Calude, Cristian S.
Calude:2011:FSC, 412(41)5668--5677
Calude:2011:SPU, 412(1)178--182
Calude:2011:URE, 412(22)2253--2261
Calude:2012:CEI, 454(1)72--80
Calude:2013:DMS, 504(z)3--4
Calvert, Wesley, 412(25)2766--2775
Calvert:2011:MSP, 412(25)2766--2775
Camacho, Erika, 412(3)265--269
Camacho, Erika, see Wang, Feng
Camellia, 527(z)102--122
cameras, 557(z)1--27
Cameron, Kathie, 428(1)10--17
Cameron, Peter J., 498(z)1--9
Cameron, Peter J., see Araújo, João
Cameron:2012:CVG, 428(1)10--17
Campagna, Dario, 411(20)2037--2051
Campagna:2010:HAR, 411(20)2037--2051
Campello, Ricardo J. G. B., 412(42)5854--5870
Campello, Ricardo J. G. B., see Horta, Danilo
Campêlo, Manoel, 533(z)15--25
Campelo:2014:HIC, 533(z)15--25
Campos, Marcelino, 456(1)18--29
Campos, V., 475(z)1--12
Campos, V., see Araujo, J.
Campos, Victor, 487(z)50--64
Campos:2012:ANG, 456(1)18--29
Campos:2013:BCT, 487(z)50--64
Canadian, 487(z)1--16, 530(z)80--88
canalizing, 481(z)24--36
Canavoi, Felix, 560(z)235--250
Canavoi:2014:DSI, 560(z)235--250
Candia-Véjar, Alfredo, 412(3)257--264, see Álvarez-Miranda, Eduardo
Cannata, Nicola, 411(20)1997--1998
Cannata:2010:PHA, 411(20)1997--1998
canonical, 411(2)566--580, 411(22)2155--2166, 412(25)2714--2723, 412(52)7122--7132
canonicity, 412(25)2714--2723
Cantone, Domenico, 483(z)85--95, 495(z)1--16, 560(z)307--325
Cantone:2013:ESM, 483(z)85--95
Cantone:2013:FAR, 495(z)1--16
Cantone:2014:DTS, 560(z)307--325
Cao, Jianqiu, 412(22)2409--2417
Cao, Jianqiu, see Yang, Xiaofan
Cao, Qian, 411(31)2890--2898, 412(29)3731--3737, 457(1)35--44
Cao, Yongzhi, 433(1)43--59
Cao, Yongzhi, see Huang, Shuqin
Cao, Zhigang, 412(50)7049--7058, 470(z)53--92, 540(z)169--181, 554(z)191--206
Cao, Zining, 446(1)1--19
Cao:2010:OSR, 411(31)2890--2898
Cao:2011:SC, 412(50)7049--7058
Cao:2011:SOS, 412(29)3731--3737
Cao:2012:MBH, 446(1)1--19
Cao:2012:SSO, 457(1)35--44
Cao:2013:CCM, 470(z)53--92
Cao:2014:FGN, 540(z)169--181
Cao:2014:SMP, 554(z)191--206
capacity, 422(1)39--51, 496(z)113--124, 553(z)57--63, 554(z)109--118
Capiluppi, Marta, 493(z)15--29
Capiluppi, Marta, see Bresolin, Davide
Capobianco, Silvio, 412(30)3822--3837
Capobianco:2011:GBW, 412(30)3822--3837
Cappelle, Márcia R., 521(z)1--7
Cappelle:2014:RSC, 521(z)1--7
Capretta, Venanzio, 412(38)5006--5024
Capretta:2011:CFP, 412(38)5006--5024
Capture, 522(z)13--23
car, 411(38)3507--3515, 450(1)54--67
Caraiman, Simona, 529(z)46--60
Caraiman:2014:HBS, 529(z)46--60
Carathéodory, 510(z)127--135
Caravagna, Giulio, 419(1)26--49, 431(1)96--116
Caravagna, Giulio, see Barbuti, Roberto
Caravagna:2012:BPN, 419(1)26--49
Carbone, A., 412(23)2486--2495
Carbone:2011:CEI, 412(23)2486--2495
card, 495(z)81--95
Cardelli, Luca, 431(1)40--55
Cardelli:2012:PS, 431(1)40--55
Cardinal, Jean, 411(16)1855--1876, 411(26)2581--2590
Cardinal:2010:CVC, 411(26)2581--2590
Cardinal:2010:NCF, 411(16)1855--1876
cardinality, 414(1)38--46, 495(z)66--80, 527(z)50--60
Carmona, Josep, 484(z)1--15
Carmona:2013:CMC, 484(z)1--15
Carnino, Vincent, 450(1)31--42
Carnino:2012:SDK, 450(1)31--42
Caron, P., 450(1)2--2
Caron, P., see Bouchou-Markhoff, B.
Caron, Pascal, 411(38)3423--3435, 412(29)3795--3796, 450(1)1--1
Caron, Pascal, see Bouchou-Markhoff, Béatrice
Caron:2010:AAS, 411(38)3423--3435, 412(29)3795--3796
Caron:2011:EAA, 411(38)3423--3435, 412(29)3795--3796
Carpentier, Alexandra, 558(z)77--106
Carpentier:2014:MNS, 558(z)77--106
Carpi, Arturo, 411(44)3932--3937, 412(27)2909--2910
Carpi:2010:FSS, 411(44)3932--3937
Carpi:2011:CW, 412(27)2909--2910
Carraher, James, 463(1)54--61
Carraher:2012:LRG, 463(1)54--61
Carrasco, Nicolás, 487(z)23--36
Carrasco:2013:EEC, 487(z)23--36
Carreiro, Facundo, 537(z)72--86
Carreiro, Facundo, see Areces, Carlos
carrier-based, 509(z)113--121
Carroll, Douglas E., 500(z)44--56
Carroll, Douglas E., see Bartal, Yair
Cartade, Colin, 412(36)4805--4813
Cartade, Colin, see Esbelin, Henri-Alex
Cartesian, 477(z)1--5, 546(z)17--29
Carvalho, Alda, 527(z)37--49
Carvalho, Catarina, 411(34)3188--3208
Carvalho, D. de, 412(20)1884--1902
Carvalho:2010:CDT, 411(34)3188--3208
Carvalho:2014:LCG, 527(z)37--49
cascades, 468(z)37--49
case, 411(1)148--163, 411(16)1698--1713, 411(22)2174--2201, 411(38)3414--3422, 412(27)3010--3018, 412(29)3418--3439, 412(51)7075--7086, 435(1)21--42, 449(1)54--63, 468(z)102--113, 469(z)92--104, 479(z)163--173, 496(z)2--16, 527(z)37--49, 558(z)77--106, 560(z)108--120
case, Average-, 411(16)1685--1697, 530(z)23--41
case, average-, 434(1)35--44
Case, John, 411(29)2741--2756, 473(z)100--123
Case, John, see Becerra-Bonache, Leonor
case, worst-, 412(39)5176--5186
Case:2013:MLN, 473(z)100--123
Caskurlu, Bugra, 412(39)5298--5314
Caskurlu, Bugra, see Anshelevich, Elliot
Cassez, F., 474(z)1--20
Cassez, F., see Bérard, B.
Castagna, Giuseppe, 411(51)4357--4357
Castagna, Giuseppe, see Boyland, John Tang
Castañeda, Armando, 512(z)41--48, see Attiya, Hagit
Castaño, José M., 450(1)92--108
Castaño, Rodrigo, 450(1)92--108, see Castaño, José M.
Castano:2012:FSI, 450(1)92--108
Castel-Taleb, Hind, 452(1)12--20
Castel-Taleb:2012:AAB, 452(1)12--20
Castiglione, G., 411(38)3414--3422, 450(1)81--91
Castiglione:2010:ECH, 411(38)3414--3422
Castiglione:2012:NMA, 450(1)81--91
Castrillón, Marco, 412(27)2942--2954, see Domínguez, Manuel
Castro, Rodrigo, De, 528(z)40--56
Castro, Jorge, 473(z)46--60
Castro, Jorge, see Balle, Borja
Castro, Pablo F., 455(1)98--122
Castro:2012:EDB, 455(1)98--122
cat, 552(z)13--25
Catalan, 502(z)239--248
catch, 554(z)82--94
categorial, 450(1)22--30, 452(1)21--38
categorical, 411(2)341--359, 412(42)5902--5908, 515(z)19--45, 546(z)99--119
category, 412(28)3323--3336, 430(1)3--22, 488(z)46--65, 523(z)37--55, 546(z)17--29, 546(z)120--131, 546(z)145--163
Category-based, 514(z)96--104
category-theoretic, 411(47)4102--4122
Caterina, Gianluca, 411(43)3877--3881
Caterina:2010:OPP, 411(43)3877--3881
Cattaneo, G., 436(1)35--53
Cattaneo:2012:SPP, 436(1)35--53
Cattani, Gian Luca, 546(z)1--2
Cattani:2014:P, 546(z)1--2
Catusse, Nicolas, 412(22)2425--2433
Catusse:2011:ERP, 412(22)2425--2433
Caucal, 400(1)19--45, 475(z)126--127
Causality, 546(z)10--16
Cavalcanti, Ana, 455(1)1--1
Cavalcanti:2012:SII, 455(1)1--1
Cavaliere, Matteo, 412(1)113--123
Cavaliere:2011:COS, 412(1)113--123
CCA-secure, 491(z)83--93
CCS, 411(11)1311--1337, 433(1)43--59
Ceccherini-Silberstein, Tullio, 412(4)300--306, 506(z)79--101
Ceccherini-Silberstein:2011:RCI, 412(4)300--306
Ceccherini-Silberstein:2013:CAB, 506(z)79--101
Cechlárová, Katarína, 411(16)1750--1762, see Borbel'ová, Viera
Celebrating, 504(z)1--2
Celi, Alessandro, 514(z)21--35
Celi, Alessandro, see Bilò, Vittorio
cell, 412(21)2108--2127, 546(z)32--51, 546(z)52--62
cell, inter-, 412(30)3917--3931
cell-inspired, 429(1)258--264
cellular, 411(1)131--137, 411(1)266--276, 411(7)1075--1084, 411(31)2871--2877, 411(38)3507--3515, 411(38)3516--3526, 411(43)3877--3881, 412(1)2--21, 412(1)33--56, 412(4)300--306, 412(8)703--713, 412(21)2128--2141, 412(29)3616--3628, 412(30)3800--3821, 412(30)3856--3865, 412(30)3881--3905, 412(30)3906--3916, 412(30)3917--3931, 412(52)7169--7170, 429(1)180--184, 436(1)35--53, 450(1)54--67, 466(z)64--86, 468(z)1--11, 470(z)23--35, 504(z)26--37, 504(z)38--51, 506(z)79--101, 516(z)40--59, 559(z)1--2, 559(z)42--72, 559(z)73--90, 559(z)91--107
Cenk, 428(1)91--91
Cenk, Murat, 412(29)3451--3462
Cenk:2011:MPM, 412(29)3451--3462, 428(1)91--91
Centenary, 560(z)107--107
Centeno, Carmen C., 412(29)3693--3700
Centeno:2011:ICG, 412(29)3693--3700
center, 426(1)13--24, 445(1)25--35
central, 411(1)70--90, 507(z)83--99
centrality, 412(52)7147--7168
centroid, 421(1)56--61
Cepek, Ondrej, 510(z)111--126
Cepek, Ondrej, see Boros, Endre
Cerný, 412(39)5487--5491
Cerný, Anton, 491(z)33--46
Cerný, Pavol, 413(1)21--35, 560(z)348--363
Cerny:2012:SD, 413(1)21--35
Cerny:2013:PSE, 491(z)33--46
Cerny:2014:ISD, 560(z)348--363
Cerone, Antonio, 537(z)1--2
Cerone:2014:TAC, 537(z)1--2
certain, 440(0)1--13, 469(z)119--126, 501(z)34--40
certificate, 411(31)2773--2783
Certificateless, 412(8)662--674, 412(39)5446--5457
certification, 412(35)4493--4503, 523(z)86--100
certifying, 412(39)5351--5373, 452(1)117--131
Cesa-Bianchi, Nicolò, 412(19)1791--1804
Cesa-Bianchi:2011:PLU, 412(19)1791--1804
CF, 479(z)120--126
chain, 411(44)3917--3922, 412(32)4200--4211, 412(34)4373--4404, 450(1)31--42, 452(1)12--20, 454(1)5--22, 457(1)174--180, 497(z)55--67, 501(z)52--61, 509(z)97--112
chain-complete, 430(1)43--50
Chairungsee, Supaporn, 450(1)109--116
Chairungsee:2012:UMA, 450(1)109--116
Chakarov, Aleksandar, 432(1)21--27
Chakarov, Aleksandar, see Blanchet-Sadri, F.
Chakraborty, Soudipta, 555(z)9--22
Chakraborty, Soudipta, see Bhattacharya, Binay
Challita, Khalil, 440(0)29--38
Challita:2012:SDA, 440(0)29--38
Chalopin, Jérémie, 509(z)70--85
Chalopin:2013:TBB, 509(z)70--85
Champarnaud, J.-M., 450(1)2--2
Champarnaud, J.-M., see Bouchou-Markhoff, B.
Champarnaud, Jean-Marc, 411(38)3423--3435, 412(29)3795--3796, 449(1)54--63, 450(1)1--1
Champarnaud, Jean-Marc, see Bouchou-Markhoff, Béatrice, see Caron, Pascal
Champarnaud:2012:GRL, 449(1)54--63
Chan, Aldar C.-F., 489(z)21--36
Chan, David Yu Cheng, 553(z)74--90
Chan, Ho-Leung, 423(1)11--18
Chan, Hung-Chang, 556(z)25--33
Chan, Hung-Chang, see Wu, Ro-Yu
Chan, Sze-Hang, 470(z)93--104
Chan:2012:NSB, 423(1)11--18
Chan:2013:OCK, 489(z)21--36
Chan:2013:SWF, 470(z)93--104
Chan:2014:MPA, 553(z)74--90
Chandran, L. Sunil, 554(z)119--134
Chandran, L. Sunil, see Babu, Jasine
Chang, Ching-Lueh, 411(16)1742--1749, 426(1)1--12, 468(z)37--49
Chang, Gerard J., 459(1)89--99
Chang, Gerard Jennhwa, 476(z)84--93
Chang, Gerard Jennhwa, see Lan, James K.
Chang, Jian, 476(z)16--23, 526(z)120--129
Chang, Jou-Ming, 412(35)4504--4512, 556(z)25--33, 557(z)59--65, 651(z)87--88
Chang, Jou-Ming, see Pai, Kung-Jui, see Wu, Ro-Yu
Chang, Maw-Shang, 412(23)2496--2502, 412(39)5351--5373
Chang, Maw-Shang, see Hung, Ruo-Wei
Chang, Nai-Wen, 475(z)82--91
Chang, Nai-Wen, see Kuo, Che-Nan
Chang, Shu-Hao, 542(z)63--70
Chang, Shu-Hao, see Ju, Ming-Yi
Chang, Soo Y., 412(39)5211--5224
Chang, Soo Y., see Lim, Kyungkuk
Chang, Ying-Hsuan, 443(1)63--69
Chang, Ying-Hsuan, see Hsieh, Sun-Yuan
Chang:2010:OBF, 411(16)1742--1749
Chang:2011:BGW, 412(23)2496--2502
Chang:2012:CDP, 459(1)89--99
Chang:2012:SRA, 426(1)1--12
Chang:2013:BSD, 468(z)37--49
Chang:2013:TCP, 476(z)16--23
Chang:2014:TCP, 526(z)120--129
change, 411(7)976--985, 489(z)37--47
changeable, 418(1)106--115
changeover, 540(z)40--52
changing, 412(45)6420--6431, 482(z)96--110
channel, 411(19)1918--1927, 412(24)2577--2587, 433(1)43--59, 560(z)46--61, 560(z)91--106
channel, multi-, 497(z)123--130
Chao, Kun-Mao, 432(1)28--37, 544(z)1--2
Chao, Kun-Mao, see Chen, Kuan-Yu
Chao:2014:ACI, 544(z)1--2
chaotic, 551(z)116--131
Chaouiya, Claudine, 412(21)2207--2218
Chaouiya, Claudine, see Naldi, Aurélien
character, 454(1)51--63, 513(z)129--136
character, per-, 539(z)38--67
characterisations, 452(1)47--55
characteristic, 411(31)2827--2846, 412(16)1470--1483, 412(27)2942--2954, 440(0)39--51, 448(1)41--46, 454(1)199--205, 501(z)52--61
characterizability, 485(z)85--106
characterization, 411(48)4149--4161, 412(12)1169--1183, 414(1)55--75, 419(1)73--91, 469(z)69--76, 481(z)37--50, 515(z)1--18, 522(z)95--114, 526(z)90--96, 529(z)96--110, 534(z)45--52, 537(z)72--86, 546(z)244--256
characterize, 488(z)78--95
characterizing, 411(26)2433--2453, 486(z)50--60
Charlier, Émilie, 412(39)5400--5408
Charlier:2011:GFR, 412(39)5400--5408
Charrier, Émilie, 412(36)4814--4823
Charrier:2011:CEL, 412(36)4814--4823
chasm, 448(1)56--65
Chassignet, Philippe, 540(z)133--142
Chassignet, Philippe, see Tran, Van Du T.
Chatterjee, Krishnendu, 458(1)49--60, 547(z)104--116
Chatterjee:2012:EPG, 458(1)49--60
Chatterjee:2014:AMC, 547(z)104--116
Chattopadhyay, Swarup, 551(z)22--38
Chattopadhyay:2014:FTG, 551(z)22--38
Chatzigiannakis, Ioannis, 412(22)2434--2450, 412(46)6469--6483, 512(z)98--118
Chatzigiannakis, Ioannis, see Michail, Othon
Chatzigiannakis:2011:PMC, 412(46)6469--6483
Chatzigiannakis:2013:CPS, 512(z)98--118
Chaudhary, Amitabh, 412(39)5247--5275
Chaudhary, Amitabh, see Wang, Haitao
Chauve, Cedric, 412(8)753--764
Chauve, Cedric, see Ouangraoua, Aïda
Chebolu, Prasad, 437(1)35--68
Chebolu:2012:CAC, 437(1)35--68
Chechik, Shiri, 543(z)9--23
Chechik:2014:RFT, 543(z)9--23
check, 411(22)2174--2201
checkable, 511(z)66--76
checking, 411(2)301--323, 411(20)1999--2018, 411(22)2174--2201, 411(22)2298--2316, 411(37)3372--3385, 412(21)2162--2187, 412(44)6193--6207, 412(49)6795--6808, 419(1)2--16, 461(1)76--85, 503(z)61--88, 534(z)69--85
checking, Model-, 493(z)2--14, 560(z)326--347
checking, model-, 467(z)89--108, 549(z)127--145
checking, type-, 492(z)88--116
checkpoint, 452(1)88--99
Chee, Yeow Meng, 418(1)106--115
Chee, Yeow Meng, see Zhang, Zhifang
Cheilaris, Panagiotis, 444(1)40--51, 470(z)23--35
Cheilaris, Panagiotis, see Bar-Noy, Amotz
chemical, 499(z)51--87
Chen, Bob, 524(z)41--47
Chen, Bob, see Blanchet-Sadri, F.
Chen, Chiuyuan, 411(16)1669--1684, 412(22)2237--2252
Chen, Chiuyuan, see Chou, Well Y., see Liu, Yi-Jiun
Chen, Chun-Yu, 412(8)876--891
Chen, Chun-Yu, see Chuan, Wai-Fong
Chen, Danny Z., 412(39)5247--5275, 447(1)13--25, 508(z)41--53
Chen, Danny Z., see Wang, Haitao
Chen, Enhong, 411(3)672--676, 412(12)1122--1139, 420(1)89--98
Chen, Enhong, see Tian, Wanyong, see Wu, Weiwei
Chen, Fei, 552(z)13--25
Chen, Guoliang, 411(6)926--934, 436(1)54--70
Chen, Guoliang, see Chen, Tianshi
Chen, Hong, 447(1)100--106
Chen, Hong, see Li, Deying
Chen, Hubie, 411(2)445--453
Chen, Hubie, see Bodirsky, Manuel
Chen, Hung-Hsun, 547(z)34--45
Chen, Jheng-Cheng, 501(z)62--71
Chen, Jheng-Cheng, see Tsai, Chang-Hsiung
Chen, Jianer, 411(40)3736--3756, 411(44)4005--4009, 412(18)1745--1753, 412(23)2457--2458, 412(23)2503--2512, 461(1)45--54, 470(z)105--119, 511(z)2--12, 518(z)32--41, 522(z)85--94, 554(z)207--216, 560(z)158--171
Chen, Jianer, see Feng, Qilong, see Liu, Yunlong, \see{Luo, Weizhong, see Shi, Feng, \see{Wang, Jianxin
Chen, Jie, 543(z)79--89
Chen, Jingshu, 496(z)17--33
Chen, Kuan-Yu, 432(1)28--37, 521(z)42--50
Chen, Kuan-Yu, see Wang, Hung-Lung
Chen, Lei, 448(1)1--8
Chen, Li, 412(32)4110--4122
Chen, Li-Jui, 412(4)339--344
Chen, Lily, 412(35)4531--4535, 481(z)18--23
Chen, Lin, 497(z)1--12
Chen, Lusheng, 513(z)85--95
Chen, Lusheng, see Liu, Jian
Chen, Tao, 468(z)50--58
Chen, Tao, see Chen, Yebin
Chen, Taolue, 412(28)3035--3044
Chen, Taolue, see Aceto, Luca
Chen, Tianshi, 411(6)926--934, 436(1)54--70
Chen, Tzu-Lung, 516(z)28--39
Chen, Tzu-Lung, see Duh, Dyi-Rong
Chen, Wei, 412(52)7147--7168, 503(z)89--108
Chen, Wei, see Bei, Xiaohui
Chen, WenBin, 411(26)2513--2519
Chen, Wenbin, 478(z)127--131, 530(z)1--11
Chen, Wenping, 447(1)100--106, 497(z)173--180
Chen, Wenping, see Li, Deying
Chen, Xiaofeng, 412(39)5498--5512
Chen, Xin, 412(45)6269--6278
Chen, Xujin, 412(3)257--264, 447(1)26--37, 482(z)9--19, 507(z)17--33, 554(z)191--206
Chen, Xujin, see Cao, Zhigang, see Álvarez-Miranda, Eduardo
Chen, Yebin, 468(z)50--58
Chen, Yen-Chiu, 411(31)2878--2889
Chen, Ying-ping, 411(21)2101--2115, 412(17)1614--1628
Chen, Ying-ping, see Jiang, Pei
Chen, Yong, 491(z)94--102
Chen, Yong, see Dong, Jianming
Chen, Yu, 542(z)1--16
Chen, Yu, see Zhang, Jiang
Chen, Yu-Fang, 552(z)26--43
Chen, Yu-Fang, see Abdulla, Parosh Aziz
Chen, Zhenbang, 455(1)31--65
Chen, Zhengzhang, 411(26)2513--2519, 530(z)1--11
Chen, Zhengzhang, see Chen, WenBin, see Chen, Wenbin
Chen, Zhi-Zhong, 556(z)85--93
Chen, Zhixiang, 497(z)39--54, 550(z)59--65
Chen:2010:API, 411(21)2101--2115
Chen:2010:BCA, 411(31)2878--2889
Chen:2010:CSP, 411(6)926--934
Chen:2010:IRE, 411(26)2513--2519
Chen:2010:IUB, 411(40)3736--3756
Chen:2011:ACC, 412(23)2457--2458
Chen:2011:CDR, 412(35)4531--4535
Chen:2011:IBT, 412(39)5498--5512
Chen:2011:IDA, 412(23)2503--2512
Chen:2011:LST, 412(32)4110--4122
Chen:2011:MMD, 412(4)339--344
Chen:2011:OAO, 412(45)6269--6278
Chen:2012:CFT, 447(1)13--25
Chen:2012:ERA, 432(1)28--37
Chen:2012:FDS, 455(1)31--65
Chen:2012:LPS, 436(1)54--70
Chen:2012:NCA, 448(1)1--8
Chen:2012:PCS, 447(1)26--37
Chen:2013:AAB, 497(z)1--12
Chen:2013:AIS, 508(z)41--53
Chen:2013:FHR, 481(z)18--23
Chen:2013:IRM, 478(z)127--131
Chen:2013:MFA, 496(z)17--33
Chen:2013:MML, 482(z)9--19
Chen:2013:OFT, 468(z)50--58
Chen:2013:PBO, 503(z)89--108
Chen:2013:PTI, 470(z)105--119
Chen:2013:RPA, 507(z)17--33
Chen:2013:TMM, 497(z)39--54
Chen:2014:AEA, 550(z)59--65
Chen:2014:DSE, 543(z)79--89
Chen:2014:NPW, 547(z)34--45
Chen:2014:PAA, 556(z)85--93
Chen:2014:PDG, 552(z)13--25
Chen:2014:SMD, 530(z)1--11
Cheng, Baolei, 412(29)3440--3450
Cheng, Baolei, see Fan, Jianxi
Cheng, Dongqin, 510(z)94--101
Cheng, Eddie, 412(45)6279--6289, 472(z)1--8, 491(z)71--77, 557(z)101--114
Cheng, Eddie, see Angjeli, Ariana
Cheng, Jingde, 554(z)2--21
Cheng, Jingde, see Gao, Hongbiao
Cheng, Qi, 412(39)5458--5465, 560(z)121--130
Cheng, Qi, see Bi, Jingguo
Cheng, T. C. E., 411(31)2978--2986, 411(40)3578--3586, 412(22)2380--2386, 412(29)3731--3737, 457(1)35--44, 531(z)37--46
Cheng, T. C. E., see Cao, Qian, \see{Ng, C. T., see Nong, Q. Q., \see{Tian, Ji, see Wu, Yong
Cheng, Xiuzhen, 445(1)52--62
Cheng, Xiuzhen, see Hu, Chunqiang
Cheng, Yukun, 411(7)1038--1044, 497(z)154--163
Cheng:2010:PNW, 411(7)1038--1044
Cheng:2011:CMP, 412(45)6279--6289
Cheng:2011:MGB, 412(39)5458--5465
Cheng:2013:CEF, 510(z)94--101
Cheng:2013:SMP, 491(z)71--77
Cheng:2013:SPA, 497(z)154--163
Cheng:2014:CDM, 557(z)101--114
Cheong, O., 554(z)254--262
Cheong:2014:FAD, 554(z)254--262
Chepoi, Victor, 412(22)2425--2433
Chepoi, Victor, see Catusse, Nicolas
Chernov, Alexey, 411(29)2647--2669
Chernov:2010:SPE, 411(29)2647--2669
Cheval, Vincent, 492(z)1--39
Cheval:2013:DEB, 492(z)1--39
Chevalier, Yannick, 411(10)1261--1282
Chevalier:2010:SPA, 411(10)1261--1282
Chevillard, S., 412(16)1523--1543
Chevillard:2011:EAC, 412(16)1523--1543
Chèze, Guillaume, 412(35)4493--4503
Cheze:2011:SMC, 412(35)4493--4503
Chiang, Hui-Ju Katherine, 523(z)86--100
Chiang, Hui-Ju Katherine, see Balabanov, Valeriy
Chiang, Sheng-Hao, 412(35)4558--4569
Chiang:2011:DRG, 412(35)4558--4569
Chicano, Francisco, 412(43)6002--6019, 545(z)59--75, 545(z)76--93
Chicano, Francisco, see Whitley, Darrell
Chicano:2011:ELD, 412(43)6002--6019
Chicano:2014:ECE, 545(z)76--93
Chierichetti, Flavio, 412(24)2602--2610, 530(z)89--101
Chierichetti:2011:RSS, 412(24)2602--2610
Chierichetti:2014:CLF, 530(z)89--101
Chilton, Chris, 549(z)146--174
Chilton:2014:ATI, 549(z)146--174
Chin, Francis Y. L., 505(z)11--18, 518(z)10--21, 554(z)135--149
Chin, Francis Y. L., see Zhang, Yong
Chin:2013:NAC, 505(z)11--18
China, 560(z)107--107
Chinese, 513(z)124--128
Chiniforooshan, Ehsan, 411(43)3834--3844, 454(1)81--87
Chiniforooshan, Ehsan, see Bonato, Anthony
Chiniforooshan:2012:ORC, 454(1)81--87
Chitturi, Bhadrachalam, 421(1)15--24
Chitturi:2012:BPT, 421(1)15--24
Chlebík, Miroslav, 554(z)109--118
Chlebik:2014:CBC, 554(z)109--118
Chlebíková, Janka, 554(z)109--118, see Chlebík, Miroslav
Chmelík, Martin, 560(z)348--363, see Cerný, Pavol
Chmielowiec, Andrzej, 411(1)288--292
Chmielowiec:2010:FPR, 411(1)288--292
Cho, Da-Jung, 550(z)90--99
Cho:2014:DIH, 550(z)90--99
chocolate, 560(z)82--90
Choffrut, Christian, 454(1)88--94
Choffrut:2012:RRH, 454(1)88--94
Choi, Byung-Cheon, 543(z)37--45
Choi, Ilkyoo, 412(29)3752--3758, 463(1)54--61
Choi, Ilkyoo, see Blanchet-Sadri, F., see Carraher, James
Choi, Kwok Pui, 476(z)94--108
Choi, Kwok Pui, see Li, Si
Choi, Young-ri, 458(1)61--75
Choi:2012:SBM, 458(1)61--75
Choi:2014:TAS, 543(z)37--45
choice, 545(z)20--38
choice, Dense-, 542(z)17--31
Chollet, Agathe, 466(z)2--19
Chollet:2012:FAM, 466(z)2--19
Chomsky, 436(1)2--22
choose, 468(z)1--11
Chooser, Picker-, 411(40)3757--3762
Chooser--Picker, 475(z)21--33
Choosing, 411(6)926--934, 440(0)52--59
chord, 411(7)1221--1234, 476(z)16--23, 518(z)124--127, 520(z)124--129
chordal, 411(26)2591--2601, 411(40)3601--3613, 411(40)3635--3641, 444(1)17--27, 445(1)82--92, 463(1)73--83
chordless, 411(7)1212--1220
Chosen-ciphertext, 462(1)39--58, 539(z)87--105
Chou, Hsin-Hung, 475(z)82--91
Chou, Hsin-Hung, see Kuo, Che-Nan
Chou, Well Y., 411(16)1669--1684, 412(22)2237--2252
Chou, Well Y., see Liu, Yi-Jiun
Chou:2010:AAP, 411(16)1669--1684
Christ, Marie G., 556(z)71--84
Christ:2014:OCE, 556(z)71--84
Christianson, Bruce, 513(z)25--37
Christianson, Bruce, see Dash, Santanu Kumar
Christodoulakis, Manolis, 525(z)3--9
Christodoulakis:2014:ANR, 525(z)3--9
Christodoulou, George, 438(1)13--27, 489(z)88--98
Christodoulou:2012:CAP, 438(1)13--27
Christodoulou:2013:TCA, 489(z)88--98
Christoffel, 412(4)402--418, 412(27)2942--2954, 495(z)17--24
Christou, M., 483(z)171--181
Christou, Michalis, 525(z)3--9
Christou, Michalis, see Christodoulakis, Manolis
Christou:2013:ESC, 483(z)171--181
Chrobak, Marek, 411(1)131--137, 412(7)594--601, 412(39)5121--5131, 475(z)92--102, 514(z)75--83
Chrobak, Marek, see Bienkowski, Marcin
Chrobak:2010:TRF, 411(1)131--137
Chrobak:2011:BBI, 412(7)594--601
Chrobak:2013:BBI, 514(z)75--83
chromatic, 411(7)1221--1234, 423(1)1--10, 509(z)40--50
Chu, Cheng-Kang, 539(z)87--105
Chu, Cheng-Kang, see Liang, Kaitai
Chu, Chengbin, 412(39)5225--5231, 438(1)55--61
Chu, Chengbin, see Liu, Ming
Chu, Xiaowen, 411(1)174--187
Chu, Xiaowen, see Li, Xiang-Yang
Chuan, Wai-Fong, 411(31)2827--2846, 412(8)876--891, 437(1)69--81, 440(0)39--51
Chuan:2010:FCW, 411(31)2827--2846
Chuan:2011:WRO, 412(8)876--891
Chuan:2012:FWP, 437(1)69--81
Chuan:2012:LFC, 440(0)39--51
Chun, Jinhee, 555(z)71--84
Chun:2014:BOL, 555(z)71--84
Chung, Jibok, 543(z)37--45
Chung, Jibok, see Choi, Byung-Cheon
Church, 549(z)17--35
Church--Rosser, 411(3)677--690, 454(1)129--135
church-style, 435(1)77--105
churn, 453(1)29--43, 512(z)84--97
churn-prone, 512(z)28--40
Chwa, Kyung-Yong, 513(z)1--24
Chwa, Kyung-Yong, see Jo, Shinhaeng
Ciabattoni, Agata, 412(47)6612--6623, 480(z)26--42
Ciabattoni, Agata, see Baaz, Matthias
Ciabattoni:2013:PTL, 480(z)26--42
Ciancaglini, Mariangiola, Dezani-, 431(1)165--180, 464(1)113--129
Ciancarini, Paolo, 411(40)3563--3577
Ciancarini:2010:PPK, 411(40)3563--3577
Cibulka, Josef, 412(8)695--702, 412(8)822--834, 494(z)49--62
Cibulka, Josef, see Labarre, Anthony
Cibulka:2011:AHN, 412(8)822--834
Cibulka:2013:GSG, 494(z)49--62
Cicalese, Ferdinando, 412(50)6879--6896, 459(1)100--112, 525(z)130--137, 535(z)1--15
Cicalese:2011:CST, 412(50)6879--6896
Cicalese:2012:BIP, 459(1)100--112
Cicalese:2014:AMC, 525(z)130--137
Cicalese:2014:LBT, 535(z)1--15
Cicerone, Serafino, 411(7)1013--1037
Cicerone:2010:PDE, 411(7)1013--1037
Cicho{\'n}, Jacek, 453(1)75--87
Cichon:2012:KPK, 453(1)75--87
ciliate, 411(6)897--905, 411(6)919--925
Cimini, Matteo, 412(28)3045--3071, 458(1)1--28
Cimini, Matteo, see Aceto, Luca
Cincotti, Alessandro, 411(34)3224--3234, 412(41)5678--5683, 459(1)113--119
Cincotti:2010:PPG, 411(34)3224--3234
Cincotti:2011:GPC, 412(41)5678--5683
Cincotti:2012:LSP, 459(1)113--119
Ciobanu, Gabriel, 431(1)2--3
Ciobanu:2012:MAB, 431(1)2--3
cipher, 527(z)102--122
ciphertext, Chosen-, 462(1)39--58, 539(z)87--105
ciphertexts, 422(1)15--38, 539(z)87--105
circadian, 412(21)2108--2127
circle, 411(1)259--265, 412(15)1364--1377, 412(46)6464--6468, 506(z)1--16
circuit, 411(1)266--276, 411(11)1501--1520, 411(16)1723--1733, 411(31)2864--2870, 411(44)3938--3946, 412(8)773--782, 412(18)1646--1651, 448(1)56--65, 462(1)59--69, 501(z)20--33, 505(z)74--80, 524(z)90--102
circulant, 412(35)4636--4649
circular, 411(48)4149--4161, 412(27)2922--2930, 445(1)63--74, 468(z)92--101, 550(z)66--78, 556(z)55--62
circular-arc, 412(39)5351--5373
circulating, 412(33)4312--4324
Ciri{\'c}, Miroslav, 534(z)86--100, see Damljanovi{\'c}, Nada
Cîrstea, Corina, 412(38)5025--5042
Cirstea:2011:MTP, 412(38)5025--5042
Ciungu, Lavinia Corina, 412(35)4738--4741
Ciungu, Lavinia Corina, see Cusick, Thomas W.
Çivril, A., 421(1)1--14
Civril:2012:CSS, 421(1)1--14
clan-popular, 544(z)3--13
Clarridge, Adam, 411(38)3507--3515
Clarridge:2010:ACA, 411(38)3507--3515
class, 411(2)301--323, 411(3)617--630, 411(22)2174--2201, 411(31)2912--2924, 411(34)3073--3089, 412(17)1614--1628, 412(18)1705--1717, 412(19)1805--1820, 412(39)5409--5419, 417(1)36--49, 429(1)30--35, 433(1)60--97, 440(0)1--13, 449(1)134--144, 454(1)206--221, 475(z)1--12, 475(z)73--81, 477(z)6--31, 487(z)82--94, 497(z)164--172, 502(z)16--29, 511(z)54--65, 511(z)172--180, 532(z)51--63, 535(z)59--64, 540(z)89--102, 618(z)135--141
classical, 411(19)1900--1917, 486(z)61--72, 499(z)98--112
classification, 412(6)534--542, 412(25)2724--2745, 412(35)4650--4660, 412(42)5834--5853, 412(42)5871--5884, 412(42)5909--5925, 473(z)77--99
Classifications, 412(30)3881--3905
classifier, 425(1)126--141, 456(1)89--99, 529(z)2--10
classifying, 482(z)73--85
Claude, Francisco, 412(32)4200--4211
Claude, Francisco, see Arroyuelo, Diego
clause-sets, 492(z)70--87
Clausen, Christian, 546(z)244--256
Clausen:2014:CMS, 546(z)244--256
clauses, 411(16)1723--1733
claw-free, 412(50)6982--7000
cleaning, 463(1)123--132, 557(z)76--86
Cleemput, Nico, Van, 502(z)16--29
Cleve, Richard, 486(z)11--19
Cleve:2013:QEC, 486(z)11--19
clients, 540(z)82--88
Clifford, Raphaël, 483(z)68--74
Clifford:2013:SLB, 483(z)68--74
climbing, 547(z)90--103
clique, 411(26)2520--2536, 412(29)3487--3500, 412(51)7075--7086, 434(1)87--97, 459(1)77--88, 506(z)29--42
clique-width, 412(39)5466--5486, 485(z)69--84, 535(z)16--24
cliquewidth, 429(1)30--35
clock, 412(21)2108--2127, 412(40)5631--5647, 413(1)87--105
clonal, 412(6)502--516
closed, 411(3)691--700, 412(4)300--306, 439(1)16--29, 496(z)125--153, 546(z)17--29
closer, 558(z)51--61
closest, 520(z)62--74, 533(z)26--36
closing, 516(z)40--59
closure, 412(27)2974--2987, 412(35)4742--4746, 412(41)5808--5813, 512(z)2--14, 533(z)37--45
cloud, 496(z)113--124, 547(z)90--103
Clouser, Thomas, 428(1)18--35
Clouser:2012:TSS, 428(1)18--35
cluster, 428(1)58--79, 429(1)36--45
cluster, one-, 412(39)5487--5491
clustering, 411(7)1202--1211, 412(27)3019--3032, 412(42)5854--5870, 429(1)36--45, 500(z)1--24, 540(z)27--39, 542(z)71--82, 558(z)51--61
CNF, 412(35)4613--4618, 481(z)85--99, 510(z)111--126
co-comparability, 412(45)6261--6268
co-cycle, 420(1)48--55
co-decomposition, 469(z)77--91
Co-evolution, 412(23)2486--2495
co-training, 519(z)68--87
coalgebraic, 411(22)2239--2259, 412(38)5025--5042, 412(38)5070--5094, 430(1)88--116, 546(z)188--224, 549(z)36--60
coalgebraically, 412(38)5095--5110
coalgebras, 412(38)4989--5005, 412(38)5006--5024
coalitions, 470(z)53--92
Cobb, Jorge A., 412(40)5562--5579
Cobb:2011:SMM, 412(40)5562--5579
Cockett, Robin, 515(z)19--45, 523(z)37--55
Cockett, Robin, see Burrell, Mike
Cockett:2014:RCE, 523(z)37--55
COCOON'2011, 461(1)1--1
code, 411(1)228--238, 411(16)1785--1792, 411(16)1809--1817, 412(30)3822--3837, 429(1)54--64, 440(0)60--72, 443(1)70--81, 502(z)30--45, 502(z)46--54, 520(z)111--123, 550(z)79--89
coding, 411(31)2925--2944, 412(46)6455--6463, 473(z)124--148, 520(z)51--61
Coelho, Francisco, 527(z)37--49
Coelho, Francisco, see Carvalho, Alda
coercions, 417(1)74--94
Cograph, 461(1)45--54
cographs, 412(8)686--694, 414(1)38--46, 469(z)15--23, 487(z)103--105, 522(z)1--12
Cohen, Asaf, 553(z)2--17
Cohen, Hagai, 411(40)3795--3800
Cohen, Nachshon, 489(z)67--74
Cohen, Nathann, 412(35)4675--4687
Cohen:2010:FSI, 411(40)3795--3800
Cohen:2011:TPS, 412(35)4675--4687
Cohen:2013:IAA, 489(z)67--74
Cohen:2014:SND, 553(z)2--17
coherence, 412(20)1998--2014
coin, 456(1)51--64, 560(z)7--11
Cojocaru, Liliana, 537(z)87--96
Cojocaru:2014:SDM, 537(z)87--96
Colazzo, D., 492(z)88--116
Colazzo:2013:EAI, 492(z)88--116
Colcombet, Thomas, 411(4)751--764
Colcombet:2010:FFI, 411(4)751--764
collapse, 424(1)20--45, 560(z)292--306
Collard, Philippe, 425(1)34--57
Collard, Philippe, see Vanneschi, Leonardo
collated, 548(z)25--53
Collatz, 412(39)5409--5419, 618(z)135--141
collecting, 475(z)92--102
collection, 554(z)254--262
collections, 483(z)134--148
Collective, 547(z)1--17
College, 411(34)3136--3153
Colloquium, 455(1)1--1
colony, 411(25)2406--2413, 412(17)1629--1644
color, 412(36)4795--4804, 510(z)62--86, 547(z)34--45
color-preserving, 411(4)716--729
colorable, 411(26)2619--2622
colored, 412(4)375--382, 483(z)36--50, 497(z)20--30
coloring, 411(16)1734--1741, 411(26)2619--2622, 411(43)3873--3876, 412(18)1696--1704, 412(23)2513--2523, 412(29)3487--3500, 412(35)4704--4714, 412(35)4721--4728, 412(45)6261--6268, 412(46)6464--6468, 414(1)9--19, 418(1)1--13, 428(1)10--17, 444(1)28--39, 444(1)40--51, 462(1)23--38, 465(z)21--27, 472(z)9--27, 476(z)16--23, 485(z)49--60, 486(z)20--26, 491(z)119--126, 494(z)86--98, 511(z)42--53, 516(z)133--138, 518(z)1--9, 518(z)124--127, 520(z)124--129, 522(z)54--61, 526(z)120--129, 532(z)51--63, 540(z)89--102, 553(z)37--56, 554(z)22--39, 554(z)40--49, 557(z)59--65, 558(z)18--34, 651(z)87--88
coloring, -, 553(z)37--56, 554(z)22--39, 554(z)40--49
coloring, max-edge-, 411(34)3055--3067
coloring, multi-, 418(1)1--13
colour, minimum-, 553(z)74--90
coloured, 411(1)148--163
coloured, multi-, 411(34)3123--3128
colouring, 487(z)50--64, 495(z)81--95, 502(z)64--75, 522(z)34--43
Colton, Martín, Farach-, 472(z)60--80
column, 412(4)281--299, 421(1)1--14
Colussi, 618(z)135--141
Colussi, Livio, 412(39)5409--5419
Colussi:2011:CCC, 412(39)5409--5419, 618(z)135--141
combination, 412(45)6261--6268, 460(1)10--15
combinatorial, 174(1)203--216, 411(34)3255--3273, 411(44)4017--4022, 412(15)1392--1405, 412(23)2524--2535, 428(1)92--97, 452(1)56--74, 454(1)178--188, 471(z)84--106, 476(z)109--117, 487(z)82--94, 502(z)1--3, 502(z)98--117, 513(z)96--108, 527(z)37--49, 536(z)62--69, 540(z)1--1, 551(z)66--83, 556(z)1--1
combinatoric, 411(11)1452--1483, 412(27)2909--2910, 412(29)3604--3615, 412(35)4469--4470, 454(1)136--163, 528(z)85--100, 554(z)1--1
combinatory, 412(37)4905--4918
combined, 412(22)2451--2456, 437(1)82--102, 457(1)35--44, 503(z)61--88, 510(z)87--93, 550(z)79--89
Combining, 411(6)897--905, 411(10)1261--1282, 519(z)29--45
Comellas, Francesc, 412(8)865--875
Comellas, Francesc, see Zhang, Zhongzhi
Comi, Marco, 457(1)45--58
Comi:2012:CPC, 457(1)45--58
Comini, M., 411(37)3348--3371
Comini, M., see Alpuente, M.
Comito, M., 436(1)35--53
Comito, M., see Cattaneo, G.
comment, 412(39)5409--5419, 618(z)135--141
commitment, 411(10)1251--1260, 412(39)5498--5512
commodities, 412(7)602--613
common, 411(26)2475--2486, 411(34)3136--3153, 470(z)10--22, 513(z)25--37, 522(z)44--53, 542(z)98--107, 543(z)90--111
communicating, 412(1)124--135, 412(4)458--477, 412(46)6469--6483
communication, 411(38)3460--3468, 411(38)3516--3526, 412(1)2--21, 412(23)2524--2535, 412(24)2611--2622, 412(29)3616--3628, 412(30)3906--3916, 412(33)4285--4296, 412(52)7169--7170, 418(1)37--47, 429(1)87--97, 429(1)185--192, 457(1)45--58, 486(z)11--19, 486(z)43--49, 501(z)101--108, 503(z)109--114, 512(z)130--142, 524(z)68--77, 528(z)79--84
community, 412(8)892--900
commutative, 412(15)1419--1433
commuting, shift-, 174(1)203--216
compact, 411(34)3293--3300, 411(37)3348--3371, 411(38)3481--3492, 414(1)76--91, 447(1)62--73, 550(z)51--58
comparability, co-, 412(45)6261--6268
Comparative, 553(z)64--73
Comparing, 411(3)602--616, 411(16)1734--1741, 411(19)1900--1917, 412(48)6634--6652
comparison, 411(47)4123--4147, 412(41)5771--5788, 429(1)46--53, 430(1)88--116, 462(1)1--11, 483(z)51--67, 531(z)47--53, 532(z)2--13, 538(z)103--123
compartments, 431(1)75--95
compass, 553(z)106--113
compatibility, 468(z)23--36, 484(z)1--15, 513(z)129--136, 524(z)34--40, 547(z)82--89, 602(z)158--159
compensation, 560(z)91--106
competition, 540(z)103--114
competitive, 412(39)5121--5131, 412(39)5420--5432, 475(z)92--102, 489(z)75--87, 496(z)184--194, 530(z)12--22, 555(z)43--54
competitive, -, 475(z)92--102
competitive, Constant-, 518(z)10--21
competitiveness, 462(1)12--22
competitiveness-based, 476(z)24--37
complementary, 470(z)53--92, 521(z)1--7
complementation, 416(1)71--86
complete, 411(48)4149--4161, 412(1)68--82, 412(8)654--661, 412(31)3975--3991, 412(31)4044--4072, 456(1)18--29, 458(1)76--112, 484(z)16--40, 497(z)84--107, 517(z)75--101, 546(z)164--175
complete, chain-, 430(1)43--50
complete, -, 412(1)68--82
complete, coNP-, 426(1)49--65
complete, E-, 521(z)92--106
complete, NL-, 412(20)1941--1957
complete, NP-, 411(6)837--853, 412(12)1099--1110, 412(47)6612--6623, 421(1)25--55, 538(z)2--15
completely, 465(z)28--34
completeness, APX-, 448(1)1--8
Completeness, NP-, 411(7)995--1003
completeness, NP-, 423(1)25--29, 448(1)1--8
completeness, PSPACE-, 420(1)56--63
Completing, 428(1)92--97
completion, 411(48)4162--4178, 412(12)1081--1091, 412(29)3629--3638, 412(48)6712--6719, 430(1)73--87, 487(z)95--102, 494(z)75--85, 507(z)34--40, 518(z)117--123
completion, Dcpo-, 411(22)2167--2173
completions, -, 430(1)73--87
complex, 411(26)2454--2458, 412(1)97--112, 412(8)865--875, 412(39)5111--5120, 412(43)6036--6057, 412(50)7029--7043, 455(1)66--97, 461(1)2--16, 499(z)23--37, 505(z)11--18, 511(z)137--146
complex-weighted, 447(1)120--135, 461(1)86--105
complexity, -, 469(z)24--52
component, 411(43)3801--3813, 412(45)6340--6350, 458(1)29--48, 545(z)59--75
component, multi-, 484(z)1--15
Component-based, 412(26)2840--2853
componentwise, 411(44)3883--3893
composed, 411(44)3905--3916
composition, 411(34)3287--3292, 412(48)6736--6749, 480(z)1--25, 557(z)101--114
Compositional, 412(29)3701--3716, 551(z)1--21
Compositions, 411(1)228--238
compound, 412(42)5960--5973, 498(z)28--45
comprehensive, 411(1)285--287, 481(z)24--36, 497(z)31--38
compressed, 412(27)2964--2973, 459(1)26--41, 475(z)113--119, 483(z)22--35, 550(z)51--58
compressing, 483(z)115--133, 513(z)109--123
compression, 411(7)1045--1053, 422(1)1--14, 525(z)10--22, 525(z)42--54, 525(z)55--59, 557(z)87--100
Compressive, 412(15)1325--1337
Comput, 412(29)3795--3796, 412(43)6112--6113, 412(52)7169--7170, 423(1)75--75, 428(1)91--91, 475(z)126--127, 487(z)103--105, 491(z)136--136, 492(z)117--122, 547(z)122, 562(z)660--661, 602(z)158--159, 648(z)116, 651(z)87--88, 683(z)31--32
computability, 412(11)971--1004, 420(1)64--79, 457(1)101--110, 460(1)54--69, 501(z)1--10
computable, 412(18)1652--1668, 438(1)62--73, 460(1)54--69, 469(z)127--133, 473(z)149--156
computation, 411(7)935--957, 411(11)1501--1520, 412(1)57--67, 412(16)1523--1543, 412(18)1645--1645, 412(24)2642--2656, 412(25)2766--2775, 412(28)3226--3241, 412(32)4212--4225, 412(42)5939--5959, 413(1)106--141, 425(1)2--3, 425(1)17--33, 429(1)202--212, 430(1)51--72, 431(1)13--39, 434(1)53--86, 448(1)80--93, 483(z)171--181, 491(z)1--32, 497(z)68--83, 505(z)1--1, 515(z)1--18, 522(z)77--84, 525(z)138--149, 542(z)98--107, 544(z)1--2, 545(z)1--1, 545(z)76--93, 546(z)10--16, 551(z)116--131, 560(z)107--107, 560(z)131--146
computational, 344(2)279--297, 411(2)377--409, 411(2)542--565, 411(6)888--896, 411(40)3774--3786, 412(1)183--190, 412(20)2048--2071, 412(23)2457--2458, 412(23)2468--2485, 412(35)4721--4728, 412(41)5760--5770, 412(41)5771--5788, 412(43)6112--6113, 412(48)6736--6749, 436(1)106--117, 477(z)48--56, 504(z)83--88, 512(z)98--118, 540(z)156--168, 559(z)3--19
computationally, 456(1)18--29
compute, 412(22)2262--2267, 457(1)45--58
computer, 454(1)95--108, 503(z)115--115
computer, selfish-, 411(26)2459--2466
computer-verified, 411(37)3386--3402
computing, 411(25)2359--2367, 411(40)3601--3613, 411(44)3894--3904, 412(1)113--123, 412(3)225--232, 412(4)352--364, 412(8)773--782, 412(12)1184--1195, 412(12)1275--1297, 412(16)1492--1507, 412(21)2095--2107, 412(32)4092--4099, 412(35)4493--4503, 412(36)4814--4823, 412(41)5808--5813, 412(42)5816--5819, 412(50)7009--7017, 425(1)58--74, 431(1)2--3, 432(1)1--9, 444(1)17--27, 447(1)13--25, 452(1)56--74, 454(1)240--260, 455(1)1--1, 457(1)86--100, 461(1)17--26, 479(z)150--162, 493(z)66--79, 497(z)68--83, 499(z)51--87, 505(z)74--80, 509(z)3--24, 513(z)25--37, 514(z)84--95, 524(z)59--67, 531(z)66--76, 534(z)53--68, 535(z)59--64, 537(z)1--2, 539(z)106--111, 554(z)1--1
concatenated, 482(z)1--8
concatenation, 429(1)273--281
concave, 445(1)36--51
concavity, 432(1)64--76
concentric, 506(z)1--16
concept, 412(45)6420--6431, 482(z)96--110
concerned, 412(12)1081--1091
concerning, 450(1)3--9, 501(z)11--19, 557(z)115--119
concretely, 435(1)56--76
concurrency, 412(28)3101--3121, 546(z)225--236
concurrent, 411(43)3823--3833, 411(51)4379--4398, 412(12)1243--1262, 412(28)3072--3089, 412(32)4123--4135, 496(z)125--153, 548(z)54--67
condition, 411(1)285--287, 411(50)4323--4332, 412(22)2312--2330, 418(1)82--91, 440(0)73--84, 444(1)113--127, 475(z)66--72, 515(z)64--95, 557(z)66--75
conditional, 411(37)3301--3327, 412(45)6279--6289, 412(46)6570--6584, 452(1)132--147, 462(1)39--58, 464(1)72--89, 472(z)46--59, 501(z)93--100, 510(z)94--101, 531(z)47--53, 539(z)87--105, 548(z)79--97, 548(z)98--116, 557(z)101--114
conditionally, 461(1)106--114
Confident, 558(z)5--17
confidentiality-preserving, 412(31)4044--4072
configuration, 412(45)6371--6381
Confining, 469(z)92--104
conflict, 424(1)46--68, 522(z)24--33
conflict-free, 412(4)320--338
confluence, 411(37)3301--3327, 424(1)46--68, 464(1)20--34, 538(z)103--123
confluence, Non-, 411(6)878--887
confluent, almost-, 411(3)677--690
congestion, 514(z)21--35
congruence, 412(28)3283--3302, 413(1)58--72
congruent, 507(z)72--82
congruential, 454(1)129--135
Conidis, Chris J., 428(1)36--46
Conidis:2012:EAM, 428(1)36--46
conjecture, 412(8)729--735, 412(15)1301--1312, 412(27)2931--2941, 412(27)3010--3018, 412(39)5487--5491, 412(41)5649--5655, 432(1)94--97, 443(1)35--45, 448(1)94--96, 465(z)73--74, 475(z)120--125, 482(z)111--114, 546(z)225--236
conjecture, -, 432(1)94--97
conjugate, 522(z)77--84
conjunction, 411(16)1723--1733, 491(z)47--70
conjunctive, 411(26)2559--2571, 412(11)1005--1021, 554(z)109--118
Connamacher, Harold, 421(1)25--55
Connamacher:2012:ETD, 421(1)25--55
connected, 410(8)812--817, 411(26)2581--2590, 411(31)2784--2797, 411(34)3247--3254, 411(49)4242--4252, 412(3)198--208, 412(23)2536--2543, 412(41)5700--5713, 412(45)6451--6454, 412(48)6761--6769, 426(1)13--24, 428(1)80--90, 429(1)144--154, 438(1)96--101, 447(1)38--43, 447(1)62--73, 449(1)54--63, 465(z)28--34, 497(z)131--138, 511(z)2--12, 532(z)80--90, 535(z)54--58, 557(z)66--75, 562(z)660--661
connected, edge-, 520(z)75--86
Connectedness, 412(29)3598--3603
Connecting, 554(z)119--134
connection, 412(3)257--264, 412(29)3440--3450, 412(36)4770--4777, 454(1)189--198, 457(1)101--110, 554(z)109--118
connection, vertex-, 412(35)4531--4535, 481(z)18--23
connectivity, 412(35)4613--4618, 412(45)6390--6408, 453(1)2--13, 463(1)26--34, 472(z)46--59, 493(z)46--65, 494(z)49--62, 496(z)2--16, 555(z)35--42, 560(z)292--306
connectivity, bridge-, 411(31)2878--2889
connectivity, edge-, 411(26)2502--2512, 489(z)67--74
connectivity-based, 412(50)6897--6912
coNP, 412(8)853--864
coNP-complete, 426(1)49--65
conquer, divide-and-, 548(z)25--53
cons, 411(21)2140--2154
conscious, network-, 546(z)188--224
consecutive, 525(z)130--137, 532(z)64--72
consensus, 411(14)1558--1566, 411(34)3031--3041, 412(33)4260--4272, 412(35)4721--4728, 412(39)5239--5246, 412(40)5602--5630, 429(1)36--45, 468(z)92--101, 542(z)71--82
consequence, 547(z)1--17
conservation, 494(z)86--98
Conservative, 412(42)5885--5901
conserved, 543(z)90--111
conserving, number-, 412(29)3616--3628
consistency, 411(2)301--323, 411(2)445--453, 444(1)113--127, 454(1)178--188
consistent, 412(21)2207--2218, 412(31)4044--4072, 519(z)140--154, 558(z)5--17
consists, 411(22)2174--2201
constant, 449(1)23--36, 489(z)67--74, 489(z)88--98, 502(z)46--54, 540(z)82--88
Constant-competitive, 518(z)10--21
Constant-factor, 412(32)4100--4109
constant-size, 422(1)15--38, 469(z)1--14, 539(z)87--105
constant-space, 483(z)2--9
Constants, 411(6)865--877
constrained, 411(31)2818--2826, 411(34)3073--3089, 412(8)901--912, 412(32)4081--4091, 432(1)1--9, 434(1)11--22, 447(1)100--106, 457(1)1--9, 483(z)10--21, 521(z)123--134, 527(z)50--60, 551(z)55--65
constrained, Size-, 412(3)240--245
constraint, 411(16)1877--1882, 411(26)2591--2601, 411(31)2878--2889, 412(4)275--280, 412(12)1081--1091, 412(21)2108--2127, 412(29)3650--3657, 412(29)3717--3730, 412(32)4187--4199, 412(34)4373--4404, 412(39)5211--5224, 412(39)5225--5231, 412(52)7087--7098, 422(1)39--51, 434(1)87--97, 439(1)16--29, 440(0)29--38, 445(1)36--51, 447(1)38--43, 457(1)174--180, 461(1)86--105, 469(z)24--52, 472(z)81--89, 492(z)1--39, 495(z)66--80, 523(z)1--36, 526(z)18--27, 551(z)55--65
constraint-based, 412(33)4228--4246
construct, 465(z)61--72
constructing, 412(22)2237--2252, 432(1)21--27, 483(z)134--148, 540(z)40--52
construction, 411(10)1236--1250, 412(8)662--674, 412(8)922--930, 412(26)2840--2853, 415(1)39--59, 453(1)54--64, 469(z)1--14, 496(z)154--169, 503(z)109--114, 507(z)2--16, 520(z)130--132, 524(z)103--125, 526(z)108--119, 528(z)12--31, 542(z)1--16, 556(z)2--12
Constructive, 412(11)931--961
constructors, 474(z)46--59
contain, 412(4)482--486
contained, 481(z)1--8
containing, 520(z)124--129
containing, fault-, 412(33)4361--4371
containment, 411(6)897--905, 412(33)4297--4311, 412(50)7018--7028, 429(1)155--163, 438(1)89--95
content, 475(z)103--112
contention, 412(32)4151--4160
context, 411(11)1521--1541, 469(z)69--76, 475(z)66--72, 488(z)2--14, 514(z)21--35, 516(z)127--132, 546(z)7--9
context-free, 412(8)805--821, 412(19)1821--1831, 412(45)6432--6450, 414(1)47--54, 416(1)17--32, 502(z)177--194, 518(z)80--95
contextual, 411(29)2741--2756, 411(51)4358--4378, 449(1)2--22, 449(1)64--73
contextual, Non-, 560(z)82--90
contiguity, 522(z)1--12
contiguous, 412(6)517--533
continuation, 412(16)1492--1507
continued, 412(22)2312--2330
continued-fraction, 479(z)120--126
Continuity, 412(28)3378--3403
continuous, 411(29)2670--2683, 411(34)3031--3041, 411(40)3625--3634, 412(21)2142--2161, 412(26)2827--2839, 412(28)3378--3403, 412(45)6235--6251, 463(1)114--122, 517(z)1--33, 546(z)176--187
continuous-armed, 412(19)1832--1852
continuous-time, 467(z)53--67
Contract-based, 411(37)3328--3347
contracting, 476(z)38--46
contraction, 380(1)143--163, 411(16)1742--1749, 481(z)74--84, 492(z)117--122
contracts, 452(1)56--74
contributor, 425(1)104--116
control, 411(31)2871--2877, 412(3)257--264, 412(4)458--477, 412(21)2108--2127, 412(25)2776--2796, 412(44)6208--6234, 412(49)6809--6842, 435(1)56--76, 456(1)100--111, 493(z)116--138, 498(z)115--123, 553(z)64--73
controlled, 411(40)3527--3552, 412(41)5789--5795, 448(1)66--79, 449(1)134--144, 469(z)69--76
controlled, regular-, 412(35)4604--4612, 477(z)67--75
controllers, 493(z)116--138
convergence, 411(34)3154--3168, 412(36)4805--4813, 412(39)5409--5419, 428(1)80--90, 438(1)13--27, 444(1)77--86, 456(1)2--17, 488(z)66--77, 618(z)135--141
convergent, 468(z)37--49
Conversation, 411(51)4399--4440
converse, 412(22)2393--2397
conversion, 412(29)3693--3700
convertible, 476(z)67--83
convex, 411(14)1648--1667, 411(16)1842--1854, 411(34)3123--3128, 412(28)3323--3336, 412(35)4504--4512, 475(z)73--81, 508(z)66--73, 532(z)80--90, 533(z)15--25, 540(z)62--69, 556(z)55--62
convex, -, 475(z)73--81
convex, non-, 412(27)3002--3009
convexities, 510(z)127--135
Convexity, 472(z)81--89
convexity, time-, 467(z)89--108
convolution, 457(1)149--157
cool, 412(28)3283--3302
Cooper, Colin, 411(14)1638--1647, 509(z)51--69
Cooper, S. B., 412(18)1669--1685
Cooper, S. B., see Arslanov, M. M.
Cooper, S. Barry, 412(23)2457--2458, 560(z)107--107
Cooper, S. Barry, see Barmpalias, George, see Chen, Jianer
Cooper:2010:LRF, 411(14)1638--1647
Cooper:2013:CTR, 509(z)51--69
cooperating, 411(40)3661--3667
cooperation, 447(1)26--37, 470(z)53--92
cooperative, 411(31)2847--2863, 457(1)59--75
cooperative, Non-, 411(16)1855--1876
coordinate, 453(1)44--53, 494(z)112--121
Coordinated, 422(1)39--51
coordination, 491(z)94--102
Coornaert, Michel, 412(4)300--306, 506(z)79--101
Coornaert, Michel, see Ceccherini-Silberstein, Tullio
Cop--robber, 412(4)383--390
Copeland, 498(z)115--123
copies, 412(12)1263--1274
Coppo, Mario, 431(1)75--95
Coppo:2012:STC, 431(1)75--95
cops, 411(43)3834--3844, 463(1)133--147, 477(z)48--56, 481(z)100--120
Coq, 412(11)962--970
Cordasco, Gennaro, 535(z)1--15
Cordasco, Gennaro, see Cicalese, Ferdinando
Cordero, Francesca, 412(43)6036--6057
Cordero:2011:SCS, 412(43)6036--6057
Cording, Patrick Hagge, 550(z)51--58
Cording, Patrick Hagge, see Bille, Philip
Cordón-Franco, Andrés, 495(z)81--95
Cordon-Franco:2013:CPG, 495(z)81--95
core, 411(7)935--957, 412(7)614--625, 553(z)18--26
core, many-, 497(z)68--83
Corel, Eduardo, 462(1)1--11
Corel, Eduardo, see Didier, Gilles
Corless, Robert M., 479(z)70--80
Corless:2013:PEM, 479(z)70--80
Cormode, Graham, 552(z)44--51, 683(z)31--32
Cormode:2014:SLC, 552(z)44--51
Cormode:2017:CSL, 552(z)44--51, 683(z)31--32
Corne, David, 411(21)2081--2083
Corne, David, see Bonabeau, Eric
Cornelis, Chris, 412(42)5871--5884
Cornelis, Chris, see Jensen, Richard
corner, 445(1)36--51
Corolli, Luca, 454(1)95--108
Corolli:2012:ERS, 454(1)95--108
Corona, 512(z)119--129
Corradini, Andrea, 449(1)2--22
Corradini, Andrea, see Baldan, Paolo
Corradini, Flavio, 411(20)1999--2018
Corradini, Flavio, see Bartocci, Ezio
Correa, F., 411(47)4055--4101
Correa, F., see Alpuente, M.
Corrected, 412(39)5433--5445
correction, 411(47)4055--4101, 519(z)103--126, 520(z)130--132
correctness, 412(20)1941--1957, 412(20)1958--1978, 412(25)2701--2713, 412(28)3242--3261, 451(1)1--37, 496(z)125--153
correlation-immune, 487(z)23--36
correspondence, 411(22)2223--2238
corrigendum, 218(1)95--106, 411(34)3048--3054, 412(4)487--492, 423(1)75--75, 429(1)144--154, 448(1)94--96, 465(z)73--74, 469(z)15--23, 487(z)103--105, 503(z)115--115, 524(z)34--40, 547(z)122, 552(z)44--51, 557(z)59--65, 562(z)660--661, 602(z)158--159, 648(z)116, 651(z)87--88, 683(z)31--32
Cortes, Corinna, 519(z)103--126
Cortes:2014:DAS, 519(z)103--126
Cortese, Pier Francesco, 514(z)2--20
Cortese, Pier Francesco, see Angelini, Patrizio
Cortier, Véronique, 492(z)1--39, see Cheval, Vincent
Cosme-Llópez, E., 536(z)1--20, see Ballester-Bolinches, A.
Cosnard, Michel, 504(z)1--2, 504(z)5--11
Cosnard, Michel, see Bermond, Jean-Claude
Cosnard:2013:CBE, 504(z)1--2
cost, 411(3)660--671, 412(12)1066--1080, 412(35)4482--4492, 412(52)7109--7121, 413(1)142--159, 445(1)36--51, 447(1)38--43, 448(1)47--55, 460(1)42--53, 481(z)100--120, 482(z)9--19, 495(z)37--49, 497(z)173--180, 510(z)102--110, 539(z)38--67, 540(z)40--52
cost, minimum-, 489(z)67--74
cost, size-, 449(1)23--36
cost-effective, 412(3)257--264
cost-sensitive, 538(z)2--15
Costa, José Félix, 499(z)2--22
Costa:2013:AMR, 499(z)2--22
Cottret, Ludovic, 457(1)1--9
Cottret, Ludovic, see Acuña, Vicente
Coudert, David, 412(35)4675--4687, 444(1)3--16
Coudert, David, see Bermond, Jean-Claude, see Cohen, Nathann
Couëtoux, Basile, 412(32)4081--4091, see Bazgan, Cristina
countable, 411(4)751--764, 412(22)2356--2369
counter, 439(1)58--68, 454(1)81--87, 519(z)155--169, 523(z)1--36, 542(z)17--31
counter, one-, 411(22)2298--2316
counterexamples, 549(z)61--100
counterfeit, 456(1)51--64
counting, 411(22)2331--2342, 411(26)2591--2601, 411(31)2987--2998, 411(34)3001--3030, 411(43)3823--3833, 412(4)419--429, 412(23)2468--2485, 417(1)2--11, 417(1)36--49, 437(1)35--68, 439(1)58--68, 447(1)120--135, 458(1)29--48, 461(1)86--105, 474(z)80--97, 492(z)88--116, 502(z)4--15, 526(z)41--57, 544(z)60--73, 552(z)44--51, 552(z)83--98, 552(z)99--108, 683(z)31--32
counts, 411(26)2454--2458
coupled, 412(21)2108--2127
couplings, 502(z)143--152
Cournier, Alain, 412(33)4285--4296, 496(z)89--112
Cournier:2011:HIS, 412(33)4285--4296
Cournier:2013:SSM, 496(z)89--112
Cousot, Patrick, 412(44)6135--6192
Cousot, Radhia, 412(44)6135--6192
Cousot, Radhia, see Cousot, Patrick
Cousot:2011:GSA, 412(44)6135--6192
Couturier, Jean-François, 487(z)82--94
Couturier:2013:MDS, 487(z)82--94
cover, 410(8)812--817, 411(1)174--187, 411(7)967--975, 411(16)1889--1894, 411(26)2502--2512, 411(26)2581--2590, 411(40)3736--3756, 412(12)1033--1053, 412(23)2513--2523, 412(24)2623--2641, 412(33)4361--4371, 412(35)4513--4530, 412(35)4636--4649, 412(45)6451--6454, 412(50)7009--7017, 412(50)7044--7048, 423(1)19--24, 425(1)117--125, 438(1)96--101, 452(1)39--46, 460(1)10--15, 483(z)171--181, 491(z)103--118, 506(z)115--121, 509(z)51--69, 511(z)85--108, 512(z)15--27, 513(z)1--24, 516(z)60--70, 531(z)26--36, 535(z)54--58, 555(z)2--8
cover, hyperplane-, 411(44)4005--4009
coverability, 467(z)12--29
coverage, 412(35)4661--4674, 518(z)32--41, 544(z)14--31
covering, 411(1)277--284, 411(1)v--x, 411(16)1855--1876, 412(33)4247--4259, 412(42)5820--5833, 412(46)6517--6530, 412(50)7049--7058, 412(52)7087--7098, 506(z)1--16, 506(z)102--114, 507(z)72--82, 527(z)50--60, 530(z)80--88, 531(z)37--46, 556(z)71--84
covers, -, 423(1)19--24
Cowen-Morton, Dena S., 535(z)31--37
Cowen-Morton, Dena S., see Abrams, Lowell
Cox, Anthony J., 483(z)134--148
Cox, Anthony J., see Bauer, Markus J.
CPS-translation, 411(2)324--340
Crain, Tyler, 496(z)154--169
Crain:2013:TUC, 496(z)154--169
Crammer, Koby, 558(z)107--124
Crammer, Koby, see Moroshko, Edward
Cranen, Sjoerd, 412(28)3129--3139
Cranen:2011:LTC, 412(28)3129--3139
Cranston, Daniel W., 463(1)35--53
Cranston, Daniel W., see Butterfield, Jane V.
crash-recovery, 412(33)4350--4360
Crescenzi, Pierluigi, 457(1)1--9
Crescenzi, Pierluigi, see Acuña, Vicente
Crescenzi, Pilu, 514(z)84--95
Crescenzi:2013:CDR, 514(z)84--95
Crespelle, Christophe, 494(z)75--85, 522(z)1--12
Crespelle:2013:TAM, 494(z)75--85
Crespelle:2014:NTB, 522(z)1--12
Cristofaro, Salvatore, 483(z)85--95
Cristofaro, Salvatore, see Cantone, Domenico
Criteria, 411(16)1818--1827
criteria, Bi-, 540(z)115--132
criterion, 412(29)3775--3787, 412(35)4592--4603
critical, 412(30)3964--3974, 424(1)46--68, 454(1)199--205, 548(z)117--122
Croce, F. Della, 459(1)77--88
Croce, F. Della, see Bourgeois, N.
Croce, Federico Della, 540(z)13--26
Croce, Federico Della, see Boria, Nicolas
Crochemore, M., 483(z)171--181, 521(z)29--41
Crochemore, M., see Christou, M.
Crochemore, Maxime, 412(27)2931--2941, 434(1)23--34, 450(1)109--116, 525(z)3--9, 525(z)55--59
Crochemore, Maxime, see Chairungsee, Supaporn, see Christodoulakis, Manolis
Crochemore:2011:RC, 412(27)2931--2941
Crochemore:2012:IAR, 434(1)23--34
Crochemore:2014:EPP, 521(z)29--41
Crochemore:2014:NGP, 525(z)55--59
Crole, Roy L., 433(1)1--19
Crole:2012:AEE, 433(1)1--19
cross, 412(7)563--572
cross-talk, 456(1)30--50
crossing, 412(39)5156--5166, 554(z)74--81
crossover, 425(1)4--16, 425(1)17--33, 429(1)213--221, 471(z)12--26, 545(z)76--93
Crowston, R., 513(z)53--64
Crowston, Robert, 511(z)77--84
Crowston:2013:MBS, 513(z)53--64
Crowston:2013:PCM, 511(z)77--84
cryptanalytic, 501(z)52--61
cryptographic, 411(10)1236--1250, 411(10)1283--1310, 489(z)21--36, 501(z)49--51, 560(z)62--81
cryptography, 412(39)5446--5457, 491(z)47--70, 510(z)62--86, 560(z)7--11, 560(z)27--32, 560(z)33--45, 560(z)82--90
cryptosystem, 426(1)91--117, 478(z)76--100
Csaba, Béla, 500(z)68--89
Csaba:2013:ORM, 500(z)68--89
Csajbók, Zoltán, 412(42)5820--5833
Csajbok:2011:ASB, 412(42)5820--5833
Csernenszky, András, 411(40)3757--3762
Csernenszky:2010:PCD, 411(40)3757--3762
CSP, 411(11)1311--1337, 411(34)3188--3208, 503(z)31--60, 511(z)109--116
CSPs, 447(1)120--135
Csuhaj-Varjú, Erzsébet, 411(4)701--701, 412(1)124--135
Csuhaj-Varju:2010:P, 411(4)701--701
Csuhaj-Varju:2011:GCS, 412(1)124--135
CTL, 412(26)2854--2883, 549(z)127--145
CTL*, 412(28)3129--3139
CTMDPs, 467(z)53--67
CTRL, 412(26)2854--2883
cube, 411(40)3763--3773, 412(22)2237--2252, 412(22)2418--2424, 412(35)4513--4530, 412(35)4747--4753, 412(46)6570--6584, 443(1)63--69, 460(1)34--41, 465(z)61--72, 491(z)71--77, 491(z)78--82, 491(z)103--118, 510(z)94--101, 524(z)68--77
cube-like, dual-, 472(z)1--8
cubic, 477(z)6--31
Cui, Bo, 412(8)714--728, 437(1)82--102
Cui, Cewei, 498(z)58--75
Cui, Zhenhua, 460(1)10--15
Cui, Zhenhua, see Wang, Zhenbo
Cui:2011:BID, 412(8)714--728
Cui:2012:SCC, 437(1)82--102
Cui:2013:SLP, 498(z)58--75
Cuijpers, P. J. L., 446(1)20--47
Cuijpers, P. J. L., see Khadim, U.
Curien, Pierre-Louis, 412(20)1853--1859, 546(z)99--119
Curien:2011:P, 412(20)1853--1859
Curien:2014:RCI, 546(z)99--119
Currie, James, 412(35)4742--4746, 482(z)1--8
Currie:2011:LLW, 412(35)4742--4746
Currie:2013:ITS, 482(z)1--8
Curry, 549(z)17--35
curve, 412(30)3800--3821, 412(36)4805--4813, 414(1)20--37, 479(z)81--98, 479(z)99--119, 491(z)1--32, 491(z)47--70, 494(z)24--35, 547(z)18--33, 556(z)34--44
Cusick, Thomas W., 412(35)4738--4741
Cusick:2011:SDS, 412(35)4738--4741
customers, 411(7)1038--1044
cut, 411(14)1599--1612, 411(44)3956--3964, 412(45)6340--6350, 412(49)6843--6854, 417(1)2--11, 465(z)49--60, 484(z)41--55, 549(z)1--16
cut, free-, 412(39)5433--5445
cut, max-, 438(1)89--95
Cut-and-Join, 439(1)30--40
Cutcake, 412(41)5678--5683
cuts, -, 417(1)2--11
cutting, 412(32)4123--4135, 508(z)66--73
Cuyt, Annie, 412(16)1445--1456
Cuyt:2011:SIM, 412(16)1445--1456
cycle, 411(1)285--287, 411(7)1221--1234, 411(40)3774--3786, 412(4)383--390, 412(4)419--429, 412(21)2108--2127, 412(29)3501--3509, 412(35)4570--4578, 412(35)4579--4591, 412(35)4747--4753, 412(39)5351--5373, 412(39)5487--5491, 412(48)6786--6793, 420(1)28--35, 426(1)49--65, 434(1)1--10, 456(1)2--17, 457(1)158--165, 465(z)21--27, 469(z)15--23, 476(z)16--23, 487(z)103--105, 491(z)78--82, 502(z)55--63, 511(z)117--136, 516(z)133--138, 518(z)22--31, 518(z)124--127, 520(z)124--129, 547(z)104--116, 554(z)22--39, 559(z)34--41, 559(z)108--117
Cycle, Bounded-, 412(40)5580--5601
cycle, co-, 420(1)48--55
cyclic, 412(30)3856--3865, 448(1)66--79, 450(1)3--9, 480(z)1--25
cyclic, Pseudo-, 412(39)5387--5399
cyclical, 555(z)9--22
Cygan, Marek, 411(40)3701--3713, 412(50)6982--7000
Cygan:2010:EAB, 411(40)3701--3713
Cygan:2011:DSF, 412(50)6982--7000
cylinder, 497(z)68--83, 542(z)108--115
cylindrical, 479(z)43--69
Czeizler, Elena, 411(3)617--630
Czeizler, Eugen, 499(z)23--37
Czeizler:2010:SCP, 411(3)617--630
Czeizler:2013:SMT, 499(z)23--37
Czyzowicz, J., 412(18)1696--1704
Czyzowicz, Jurek, 412(50)6926--6937, 440(0)52--59, 444(1)60--76
Czyzowicz:2011:ADR, 412(50)6926--6937
Czyzowicz:2011:LCP, 412(18)1696--1704
Czyzowicz:2012:CBA, 440(0)52--59
Czyzowicz:2012:MEP, 444(1)60--76