Index file section C for jcompsyssci.bib

Last update: Wed Oct 1 02:05:31 MDT 2025

Return to index directory

C

C, 27(2)141--144, 117(z)49--49
C, V-, 53(2)161--170
C-grammars, 15(1)111--120
c.e, 73(5)769--787
C1--C2, 66(2)z--z
C2, 66(3)z--z, 66(4)z--z, 67(1)z--z, 68(1)z--z, 68(2)z--z, 68(3)z--z, 68(4)z--z, 69(1)z--z, 69(2)z--z, 69(3)z--z, 69(4)z--z, 70(1)z--z, 70(2)z, 70(3)z, 70(4)z, 71(1)z, 71(2)z, 71(3)z, 71(4)z, 72(1)z, 72(2)z, 72(3)z
C2, C1-, 66(2)z--z
C3, 65(3)z--z, 65(4)z--z, 66(2)z--z, 66(3)z--z, 66(4)z--z, 67(1)z--z, 67(2)z--z, 67(4)z--z, 68(1)z--z
C4, 65(3)z--z, 65(4)z--z, 66(2)z--z, 66(3)z--z, 66(4)z--z, 67(1)z--z, 67(2)z--z, 67(4)z--z, 68(1)z--z, 68(2)z--z, 68(3)z--z, 68(4)z--z, 69(1)z--z, 69(3)z--z, 69(4)z--z, 70(1)z--z, 70(2)z, 70(3)z, 70(4)z, 71(1)z, 71(2)z, 71(3)z, 71(4)z, 72(1)z, 72(2)z, 72(3)z
C90, 53(3)344--356
CA, 59(3)521--536
Caballer, Miguel, 79(8)1341--1351
Caballer:2013:EEC, 79(8)1341--1351
Caballero, David, 136(z)1--16, 138(z)z--99999999
Caballero, David, see Alaniz, Robert M.
Caballero:2023:CVS, 136(z)1--16
Cabessa, Jérémie, 82(8)1232--1250, 101(z)86--99
Cabessa:2016:EPF, 82(8)1232--1250
Cabessa:2019:CCA, 101(z)86--99
CAC, 72(7)1183--1200
Cáceres, Manuel, 117(z)1--22, see Belazzougui, Djamal
cache, 63(1)80--126, 79(2)175--186
caching, 67(1)92--126
Cadoli, Marco, 48(2)255--310
Cadoli:1994:CPC, 48(2)255--310
Cai, Guangya, 97(z)83--93
Cai, Jin-Yi, 38(1)68--85, 57(2)125--125, 58(2)280--296, 59(2)221--239, 73(1)25--35, 77(1)1--2, 77(1)41--61, 80(1)217--236, 82(5)690--711, 132(z)1--15, 135(z)15--31
Cai, Jin-Yi, see Govorov, Artem
Cai, Jin-yi, 48(1)183--193, 49(3)605--619
Cai, Liming, 54(3)465--474, 67(4)789--807
Cai:1989:POR, 38(1)68--85
Cai:1994:HTD, 49(3)605--619
Cai:1994:PPT, 48(1)183--193
Cai:1997:FPT, 54(3)465--474
Cai:1998:EF, 57(2)125--125
Cai:1999:ASW, 59(2)221--239
Cai:1999:SHS, 58(2)280--296
Cai:2003:ESP, 67(4)789--807
Cai:2007:Z, 73(1)25--35
Cai:2011:F, 77(1)1--2
Cai:2011:HAA, 77(1)41--61
Cai:2014:CCW, 80(1)217--236
Cai:2016:BHS, 82(5)690--711
Cai:2018:OSE, 97(z)83--93
Cai:2023:BRC, 135(z)15--31
Caicedo, Xavier, 88(z)53--74
Caicedo:2017:DOB, 88(z)53--74
Caillaud, Benoît, 78(3)877--910, see Benveniste, Albert
Calabro, Chris, 74(3)386--393
Calabro:2008:CUS, 74(3)386--393
Calasanz, Rafael, Tolosana-, 76(6)403--415, 78(5)1300--1315
calculation, 7(5)469--480
calculi, 33(1)2--46, 105(z)54--86
calculus, 20(1)96--110, 29(1)8--35, 38(2)326--340, 45(1)49--75, 47(1)121--156, 62(1)1--14, 62(2)267--289, 65(2)295--331, 77(4)597--620
calculus, lambda-, 23(3)383--424
Calculus, Mu-, 59(3)537--556
Calculus, Process-, 62(1)73--122
Calera-Rubio, Jorge, 95(z)19--34
Calera-Rubio, Jorge, see Gallego, Antonio-Javier
calibration, 74(1)115--130
Calinescu, Gruia, 60(3)564--574
Calinescu:2000:IAA, 60(3)564--574
Call, 67(4)707--722
Callaghan, Scott, 76(6)428--446
Callaghan:2010:SWB, 76(6)428--446
Calude, Cristian S., 77(4)812--819
Calude:2011:RLC, 77(4)812--819
Calvanese, Diego, 64(3)443--465, 78(1)26--46, 79(6)816--834, 79(6)835--872
Calvanese, Diego, see Kharlamov, Evgeny
Calvanese:2002:RRE, 64(3)443--465
Calvanese:2012:VBQ, 78(1)26--46
Calvanese:2013:SSM, 79(6)816--834
Calvès, Christophe, 76(5)283--301
Calves:2010:MAE, 76(5)283--301
Calvin, 27(2)141--144
Caminero, Agustín, 77(2)262--281
Caminero, Blanca, 77(2)262--281
Caminero, Blanca, see Caminero, Agustín
Caminero:2011:NAH, 77(2)262--281
campaigns, 155(z)z--99999999
cancellation, 29(2)153--159
Candidate, 17(2)270--279
Canetti, Ran, 94(z)63--97
Canetti:2018:TSP, 94(z)63--97
Canini, Marco, 127(z)91--121
Canini:2022:RSS, 127(z)91--121
cannot, 22(3)265--279, 48(1)1--8, 53(3)513--524
canonical, 29(3)338--358, 35(1)1--22, 81(1)208--218
canonicalizing, 76(7)663--685
canonization, 76(7)509--523
Cantone, D., 34(1)1--18
Cantone:1987:DPE, 34(1)1--18
Cao, Cheng, 89(z)41--50
Cao, Cheng, see Wang, Zhiwei
Cao, Jie, 78(5)1345--1358
Cao, Jie, see He, Jing
Cao, Jinde, 60(1)38--46, 60(1)179--186, 62(3)528--534, 69(4)688--700
Cao, Jinde, see Huang, He
Cao, Jinli, 76(6)475--489
Cao, Jinli, see Ma, Jiangang
Cao, Man, 79(2)175--186
Cao, Man, see Ye, John M.
Cao, Yixin, 95(z)109--121
Cao, Yixin, see Ke, Yuping
Cao, Yongzhi, 79(1)152--172
Cao:2000:EDA, 60(1)179--186
Cao:2000:GES, 60(1)38--46
Cao:2001:EDA, 62(3)528--534
Cao:2013:PAC, 79(1)152--172
capability, 11(2)252--261, 14(1)49--72, 101(z)86--99, 102(z)18--39
capacity, 33(2)234--274, 43(2)317--327, 72(1)16--33, 81(1)145--157, 124(z)214--233, 126(z)1--20, 148(z)z--99999999
capacity, unit-, 66(3)567--611
Capannini, Gabriele, 79(2)230--244
Capannini, Gabriele, see Baraglia, Ranieri
Capelli, Florent, 101(z)21--30
Capelli, Florent, see Bergougnoux, Benjamin
Capitani di Vimercati, Sabrina, De, 64(3)496--541
Capone, Rebecca, 80(5)901--901
Capone:2014:PN, 80(5)901--901
capping, 118(z)28--52
Capresi, Chiara, 144(z)z--99999999
Capresi, Chiara, see Bocci, Cristiano
capture, 45(1)127--151
captured, 81(7)1252--1277
Capturing, 79(6)835--872
Caragiannis, Ioannis, 117(z)40--48
Caragiannis:2021:APN, 117(z)40--48
Carapelle, Claudia, 82(5)826--855
Carapelle:2016:SEC, 82(5)826--855
Carathéodory, 83(1)207--214
carbon, 118(z)28--52
Carchiolo, Vincenza, 66(2)293--315
Carchiolo:2003:TML, 66(2)293--315
card, 74(7)1160--1172
Card, H. C., 33(3)473--480
Card:1986:ABL, 33(3)473--480
cardinal, 75(7)371--387
cardinality, 96(z)33--49, 112(z)34--49
Cardona, Gabriel, 114(z)84--104
Cardona:2020:CET, 114(z)84--104
cares, 76(2)115--124
Carl, 74(4)407--407, 74(4)408--408
Carlo, 50(2)296--308
Carlo, Monte-, 78(5)1423--1443
Carlson, David A., 26(1)65--81
Carlson:1983:SST, 26(1)65--81
Carlstrom, Ian F., 45(3)367--384
Carlstrom:1992:FA, 45(3)367--384
Carlucci, Lorenzo, 74(4)409--430, 78(5)1623--1636
Carlucci:2008:NUS, 74(4)409--430
Carlucci:2012:LOB, 78(5)1623--1636
Carlyle, J. W., 5(1)26--40
Carlyle, Jack W., 6(2)i--i
Carlyle:1971:RSF, 5(1)26--40
Carlyle:1972:EAS, 6(2)i--i
Carmi, Paz, 93(z)41--53
Carmi, Paz, see Abu-Affash, A. Karim
Carmona-Cejudo, José M., 80(1)3--15, see Baena-García, Manuel
carpooling, 81(3)568--584
Carrillo, Dan García, 81(8)1452--1463, see Hernández-Ramos, José L.
Carrión, Carmen, 77(2)262--281, see Caminero, Agustín
Carro, Rosa M., 80(1)57--71
Carro, Rosa M., see Ortigosa, Alvaro
Carter, J. Lawrence, 18(2)143--154, 22(3)265--279
Carter, J. Lawrence, see Wegman, Mark N.
Carter:1979:UCH, 18(2)143--154
Cartesian, 81(2)376--382, 82(5)767--781, 148(z)z--99999999
Carton, Olivier, 73(1)1--24, 81(8)1592--1613, 103(z)1--17
Carton, Olivier, see Becher, Verónica, see Bruyère, Véronique, see Álvarez, Nicolás
Carvalho, André C. P. L. F. de, 80(1)39--56, see Cerri, Ricardo
Carvalho, Iago A., 115(z)246--263
Carvalho, Margarida, 127(z)122--145
Carvalho, Margarida, see Nabli, Adel
Carvalho, Nuno, 80(1)257--276
Carvalho, Nuno, see Romano, Paolo
Carvalho:2021:FDP, 115(z)246--263
Casado, Rubén, 79(7)1057--1076
Casado:2013:MDC, 79(7)1057--1076
Casanova, Marco A., 28(1)29--59
Casanova:1984:IDT, 28(1)29--59
cascade, 14(2)257--263, 64(2)284--307
cascading, 68(2)269--284
case, 15(3)280--299, 30(2)209--221, 35(2)163--191, 42(3)346--398, 44(2)193--219, 51(1)110--134, 52(2)308--327, 74(4)598--627, 74(4)628--655, 79(6)835--872, 80(1)27--38, 81(3)585--598, 82(8)1268--1282, 85(z)74--92, 86(z)181--190, 89(z)432--449, 106(z)80--93, 118(z)108--118, 138(z)z--99999999
Case, Average-, 60(2)302--335
case, Average-, 79(8)1287--1301
Case, J., 51(2)273--285
Case, J., see Baliga, G.
Case, John, 17(2)253--269, 49(2)189--207, 53(1)26--32, 55(1)183--196, 58(1)211--214, 60(2)234--257, 62(3)413--441, 69(2)123--165, 71(3)308--332, 74(4)409--430, 80(4)806--820
Case, John, see Baliga, Ganesh, see Carlucci, Lorenzo, \see{Moore, Dan
case, Worst-, 75(8)465--485
Case-factor, 74(1)84--96
Case:1994:VLN, 49(2)189--207
Case:1997:LRF, 55(1)183--196
Case:1999:MML, 58(1)211--214
Case:2000:RLA, 60(2)234--257
Case:2001:SLT, 62(3)413--441
Case:2004:RLR, 69(2)123--165
Case:2005:LCR, 71(3)308--332
Case:2014:ALF, 80(4)806--820
Casel, Katrin, 136(z)157--170, 150(z)z--99999999
Casel, Katrin, see Bazgan, Cristina, see Behrendt, Lukas
Casino, Fran, 81(6)1000--1011
Casino:2015:AAP, 81(6)1000--1011
Casolari, Sara, 80(4)821--836
Casolari, Sara, see Tosi, Stefania
Cassaigne, Julien, 84(z)288--301
Cassaigne:2017:SMA, 84(z)288--301
Casteigts, Arnaud, 121(z)1--17
Casteigts:2021:TCA, 121(z)1--17
Castellani, Ilaria, 34(2)210--235
Castellani:1987:BAH, 34(2)210--235
Castiglione, Aniello, 81(8)1464--1478
Castiglione, Aniello, see Castiglione, Arcangelo
Castiglione, Arcangelo, 81(8)1464--1478
Castiglione:2015:MEE, 81(8)1464--1478
Castillo-Ramirez, Alonso, 109(z)1--21
Castillo-Ramirez, Alonso, see Bridoux, Florian
Castro, Jorge, 64(1)2--21, 73(6)924--940
Castro, Jorge, see Balcázar, José L.
Catalan, 78(5)1606--1622
Catalano, Costanza, 148(z)z--99999999
Catalano, Costanza, see Bubboloni, Daniela
Catalano, Dario, 61(1)51--80
Catalano:2000:NES, 61(1)51--80
Cate, Balder ten, 79(6)739--762
Cate, Balder ten, see Abiteboul, Serge
categorial, 124(z)214--233
categorical, 95(z)143--150, 136(z)171--194
category, 10(1)1--43, 21(3)281--291, 39(3)343--375, 80(6)1067--1086, 81(2)376--382
category, Multi-, 82(8)1223--1231
category, multi-, 89(z)450--473
Cau, Antonio, 77(4)597--620
Cau, Antonio, see Siewe, François
causal, 10(2)253--265, 76(7)579--592, 82(4)594--609
causality, 77(2)372--378
causality, non-, 80(7)1191--1213
Caussinus, Hervé, 57(2)200--212
Caussinus:1998:NNC, 57(2)200--212
Cautis, Bogdan, 75(6)336--358
Cautis:2009:RAX, 75(6)336--358
Cayley, 73(8)1232--1239
Cazals, Pierre, 150(z)z--99999999
Cazals, Pierre, see Bazgan, Cristina
Cazaux, Bastien, 104(z)165--183
Cazaux:2019:LID, 104(z)165--183
CCS, 72(8)1397--1412
CD, 150(z)z--99999999
CD-systems, 78(3)780--806
CDPS, 89(z)80--91
Cederbaum, Mila, Majster-, 60(1)187--231
ceiling, 76(8)741--750
Cejudo, José M., Carmona-, 80(1)3--15
celebration, 94(z)1--1
cell, 17(2)176--193, 22(3)384--406, 64(4)873--896, 74(3)364--385, 81(2)473--484
Cell-probe, 69(3)435--447
cellular, 6(3)233--253, 7(5)481--496, 11(2)150--170, 11(2)171--185, 11(2)237--251, 11(3)382--391, 12(1)1--5, 15(2)213--231, 17(2)237--252, 18(1)47--64, 22(1)29--41, 27(1)125--140, 30(3)291--317, 32(1)15--78, 33(3)473--480, 36(2)125--147, 38(3)452--473, 44(1)114--140, 48(1)149--182, 49(1)18--23, 49(1)83--95, 49(3)718--725, 56(1)60--67, 58(3)597--610, 60(1)38--46, 67(1)174--182, 70(2)201--220, 72(8)1368--1385, 74(5)910--918, 74(7)1095--1102, 75(7)421--421, 78(4)1115--1126, 78(6)1883--1898, 79(5)586--595, 79(7)1126--1143, 80(7)1404--1414, 81(2)415--442, 81(8)1623--1647, 91(z)1--32, 122(z)63--71, 134(z)20--41
Censor-Hillel, Keren, 112(z)85--96
Censor-Hillel:2020:DRM, 112(z)85--96
centdian, 97(z)94--105
center, 82(2)174--190, 92(z)92--112, 114(z)36--47, 118(z)28--52
center, 1-, 82(5)782--792
centre, 80(5)994--1007, 89(z)328--348
centric, Consumer-, 74(2)211--231
centric, Process-, 86(z)82--107
centric, server-, 108(z)10--28
Cerný, Anton, 79(5)658--668, see Alazemi, Hamed M. K.
Cerri, Ricardo, 80(1)39--56
Cerri:2014:HML, 80(1)39--56
certain, 1(1)44--54, 4(3)281--297, 7(3)288--299, 15(2)121--145, 22(3)265--279, 30(3)343--358, 71(4)506--519, 72(2)239--251, 73(6)892--907
certificate, 74(3)313--322
certification, 154(z)z--99999999
Cervený, Radovan, 144(z)z--z
Cerveny:2024:KPV, 144(z)z--z
Cervonenkis, Vapnik-, 58(1)177--182
Cesa-Bianchi, Nicolò, 59(3)392--411, 64(1)48--75, 78(5)1404--1422, see Auer, Peter
Cesa-Bianchi:1999:ATG, 59(3)392--411
Cesa-Bianchi:2012:CB, 78(5)1404--1422
Cesati, Marco, 67(4)654--685
Cesati:2003:TWP, 67(4)654--685
CFG, 80(4)796--805
CFS, QD-, 81(2)458--467
Chabin, Jacques, 104(z)131--148
Chabin, Jacques, see Boichut, Yohan
Chadha, Rohit, 100(z)70--95
Chadha, Rohit, see Ben, Yue
Chadwick, David W., 78(5)1359--1373, 80(5)935--952
Chadwick, David W., see Bailey, Christopher
Chadwick:2012:PPA, 78(5)1359--1373
chain, 79(7)1181--1198, 95(z)55--68, 108(z)118--136, 136(z)113--134, 140(z)z--99999999
Chaining, 61(3)362--399
Chaitin, 82(8)1283--1299
Chakraborty, Dipayan, 147(z)z--z
Chakraborty, Sankardeep, 90(z)63--79, 123(z)1--19, 131(z)1--12
Chakraborty:2017:BNO, 90(z)63--79
Chakraborty:2022:FDP, 123(z)1--19
Chakraborty:2023:SRN, 131(z)1--12
Chakraborty:2025:LAR, 147(z)z--z
Chakroun, I., 81(1)72--84
Chakroun:2015:THA, 81(1)72--84
Chalasani, Prasad, 56(2)209--222
Chalasani, Prasad, see Blum, Avrim
Chalopin, Jérémie, 113(z)76--100, 126(z)80--105, 127(z)1--28, see Bénéteau, Laurine
Chalopin:2020:CTC, 113(z)76--100
Chalopin:2022:USC, 127(z)1--28
Chamorro, I. A., Nepomuceno-, 80(1)118--136
Champeaux, Dennis de, 32(1)79--90
Chan, Edward P. F., 44(1)1--22
Chan, Tat-Hung, 37(3)269--291
Chan, Timothy M., 124(z)159--169
Chan:1988:PAR, 37(3)269--291
Chan:1992:CTF, 44(1)1--22
Chan:2022:MCM, 124(z)159--169
Chana, Inderveer, 82(5)712--738
Chana, Inderveer, see Chawla, Priyanka
Chandra, A., 50(2)189--189
Chandra, A., see Halpern, J.
Chandra, Ashok, 16(2)123--123, 25(1)99--128
Chandra, Ashok K., 21(2)156--178, 30(2)222--234, 47(1)1--1
Chandra:1978:EF, 16(2)123--123
Chandra:1980:CQR, 21(2)156--178
Chandra:1982:SCR, 25(1)99--128
Chandra:1985:UFC, 30(2)222--234
Chandra:1993:EF, 47(1)1--1
Chandrashekharapuram, Arun, 73(2)156--170
Chandrashekharapuram, Arun, see Alur, Rajeev
Chandy, John A., 82(2)282--309
Chandy, John A., see Karakoyunlu, Cengiz
Chang, Ching-Lueh, 84(z)44--51
Chang, Elizabeth, 77(4)687--704
Chang, Elizabeth, see Dong, Hai
Chang, F. H., 73(7)1090--1094
Chang, F. H., see Hwang, F. K.
Chang, Jik H., 38(3)452--473
Chang, Jik H., see Ibarra, Oscar H.
Chang, Kevin, 72(6)1077--1093
Chang, Kevin, see Aspnes, James
Chang, Nai-Wen, 79(5)669--688
Chang, R., 50(3)359--373
Chang, Richard, 49(1)24--39, 53(2)298--313
Chang, Shan, 81(6)1027--1041
Chang, Victor, 89(z)41--50
Chang, Victor, see Wang, Zhiwei
Chang:1994:ROH, 49(1)24--39
Chang:1995:UST, 50(3)359--373
Chang:1996:QCC, 53(2)298--313
Chang:2013:EHL, 79(5)669--688
Chang:2015:VAG, 81(6)1027--1041
Chang:2017:LBM, 84(z)44--51
change, 74(4)513--526, 81(5)901--910
change-making, 124(z)159--169
changing, 86(z)181--190
channel, 62(1)152--177, 63(4)573--596, 73(8)1121--1130, 74(6)1033--1042, 79(2)269--278, 79(4)440--456, 99(z)27--52, 119(z)21--33, 133(z)1--22, 138(z)z--99999999
channel, multi-, 87(z)84--103
channel, Secure-, 114(z)107--125
Chao, Han-Chieh, 80(3)602--617
Chao, Han-Chieh, see Han, Guangjie
Chao, Kun-Mao, 65(3)570--586
Chao, Kun-Mao, see Lin, Yaw-Ling
Chao, Kuo-Ming, 72(7)1226--1237, 74(2)131--132, 74(2)211--231, 77(2)223--243
Chao, Kuo-Ming, see Lin, Wei-Li, see Younas, Muhammad
chaos, 33(3)394--414, 88(z)271--289
Chaovalitwongse, Wanpracha, 75(5)287--302
Chaovalitwongse, Wanpracha, see Ashley, Mary
Chapelle, Mathieu, 97(z)182--198
Chapelle, Mathieu, see Becker, Florent
Chaplin, Andrew, Rau-, 67(4)691--706
character, 19(3)211--221, 75(3)155--162
characterisation, 43(3)467--483, 78(4)1026--1044, 104(z)82--101
Characterising, 90(z)115--128
characteristic, 14(3)265--317, 14(3)318--343, 30(3)291--317, 64(3)542--578
characterization, 2(4)464--467, 4(4)299--307, 4(6)523--538, 5(2)88--117, 5(4)353--364, 7(2)168--188, 7(4)404--447, 7(6)579--582, 12(2)198--221, 13(1)74--89, 14(1)150--155, 15(2)169--184, 15(2)209--212, 20(1)1--17, 25(3)377--401, 27(2)165--199, 38(2)380--404, 39(1)51--83, 49(1)1--17, 49(1)133--147, 51(2)324--337, 53(2)210--217, 54(3)383--392, 63(3)305--354, 66(4)775--808, 72(7)1134--1143, 73(1)137--152, 74(3)323--334, 78(5)1444--1459, 80(6)1152--1162, 82(2)229--259, 97(z)14--27, 122(z)63--71, 136(z)302--326, 137(z)20--36, 139(z)z--99999999
characterize, 43(2)380--404, 73(6)892--907
characterized, 7(3)300--305
Characterizing, 1(4)317--322, 49(1)96--107, 55(1)140--160, 57(3)366--375, 58(1)129--136, 126(z)59--79
Charalampopoulos, Panagiotis, 115(z)73--85, 124(z)97--111
Charalampopoulos:2021:CPM, 115(z)73--85
Charalampopoulos:2022:SSS, 124(z)97--111
charges, 33(3)473--480
Chari, Suresh, 53(3)545--555, 61(1)81--107
Chari:1996:CUR, 53(3)545--555
Chari:2000:IAA, 61(1)81--107
Charikar, Moses, 60(3)630--659, 64(4)785--819, 65(1)129--149, 68(2)417--441, 71(3)360--383, 72(5)785--785
Charikar, Moses, see Broder, Andrei Z.
Charikar:2002:CFA, 65(1)129--149
Charikar:2002:QSP, 64(4)785--819
Charikar:2004:CMS, 68(2)417--441
Charikar:2005:CQI, 71(3)360--383
Charikar:2006:GEF, 72(5)785--785
Charles, Denis Xavier, 73(6)962--972
Charles:2007:CLV, 73(6)962--972
Charlier, Émilie, 77(4)743--759
Charlier:2011:RRN, 77(4)743--759
charts, 5(3)254--285
chase, 83(1)180--206
Chasing, 62(2)323--355
Chatterjee, Krishnendu, 78(2)394--413, 79(5)640--657, 82(5)878--911, 84(z)144--170, 88(z)236--259, 129(z)1--21
Chatterjee, Krishnendu, see Brázdil, Tomás
Chatterjee, Siddhartha, 63(1)80--126
Chatterjee, Siddhartha, see Hanlon, Philip J.
Chatterjee:2012:SSR, 78(2)394--413
Chatterjee:2013:SIC, 79(5)640--657
Chatterjee:2016:WDA, 82(5)878--911
Chatterjee:2017:HST, 88(z)236--259
Chatterjee:2022:GPE, 129(z)1--21
chatting, 79(5)556--572
Chatzimilioudis, Georgios, 79(3)349--368
Chatzimilioudis:2013:NDF, 79(3)349--368
Chaudhary, Juhi, 148(z)z--99999999
Chaudhary:2025:PRA, 148(z)z--99999999
Chaudhri, Vinay K., 57(3)260--271
Chaudhri:1998:SLP, 57(3)260--271
Chaudhuri, Pranay, 59(1)84--93
Chaudhuri, Surajit, 54(1)61--78, 55(2)355--369
Chaudhuri:1997:CDA, 55(2)355--369
Chaudhuri:1997:ERN, 54(1)61--78
Chaudhuri:1999:SSA, 59(1)84--93
Chaum, David, 37(2)156--189
Chaum, David, see Brassard, Gilles
Chawla, Deepak, 69(2)196--234
Chawla, Priyanka, 82(5)712--738
Chawla:2004:AWS, 69(2)196--234
Chawla:2016:CBA, 82(5)712--738
Chazelle, Bernard, 32(2)156--182, 68(2)269--284
Chazelle:1986:RCS, 32(2)156--182
Chazelle:2004:LBI, 68(2)269--284
cheatable, 46(3)349--362
Chebolu, Prasad, 78(5)1579--1605
Chebolu:2012:CAC, 78(5)1579--1605
Chebyshev, 1(1)29--43
check, 72(1)180--203, 76(5)283--301
checkable, 68(3)546--597
Checkers, Spot-, 60(3)717--751
checking, 3(2)196--217, 5(6)549--559, 18(1)18--34, 20(3)379--395, 26(1)82--91, 51(3)523--535, 62(1)43--72, 70(2)258--281, 72(4)547--575, 78(2)414--429, 78(5)1345--1358, 79(7)1181--1198, 80(7)1448--1489, 89(z)361--371, 91(z)82--103, 116(z)1--21
checking, Model-, 72(4)617--647, 78(2)461--490, 88(z)126--144
checking, model-, 80(1)139--156, 80(1)180--194
checkpointing, 76(6)403--415
Chee, Yeow Meng, 78(4)1142--1157
Chee, Yeow Meng, see Beimel, Amos
Cheetham, James, 67(4)691--706
Cheetham:2003:SLF, 67(4)691--706
Chekuri, Chandra, 72(2)205--205
Chekuri:2006:SIF, 72(2)205--205
Chen, Bing-Chang, 68(3)598--610
Chen, Bing-Chang, see Sun, Hung-Min
Chen, Chi-Yeh, 123(z)20--36
Chen, Chia-Mei, 61(3)457--477
Chen, Chia-Mei, see Cheng, Sheng-Tzong
Chen, Danwei, 80(3)546--553
Chen, Danwei, see Wang, Zhiwei
Chen, Fang, 82(4)594--609
Chen, Fang, see Chu, Victor W.
Chen, Gang, 79(2)201--215
Chen, Hong, 78(6)1775--1792
Chen, Hsing-Chung, 86(z)3--32
Chen, Hsing-Chung, see Sharma, Vishal
Chen, Hubie, 76(7)579--592, 76(8)847--860, 81(2)443--457
Chen, Hubie, see Bova, Simone
Chen, Jianer, 54(3)465--474, 58(3)622--640, 67(4)653--653, 67(4)833--847, 72(8)1346--1367, 73(6)892--907, 74(7)1188--1198, 78(1)211--220, 78(5)1637--1650, 79(5)609--621, 97(z)28--44
Chen, Jianer, see Cai, Liming, \see{Shi, Feng, see Wang, Jianxin
Chen, Jiang, 74(4)546--556, 75(1)60--77
Chen, Jiang, see Angluin, Dana
Chen, Jiangzhuo, 72(3)468--489
Chen, Jiehua, 81(4)766--782
Chen, Jiehua, see Bredereck, Robert
Chen, Jinjun, 76(6)389--389, 76(6)464--474, 78(5)1279--1279, 78(5)1316--1329, 78(5)1374--1381, 79(5)542--555, 80(5)902--902, 80(5)994--1007, 80(5)1008--1020, 80(8)1563--1583, 83(1)22--42
Chen, Jinjun, see Puthal, Deepak, see Qi, Lianyong, \see{Yang, Chi, see Zhang, Gaofeng, \see{Zhang, Xuyun, see Zhao, Jiaqi
Chen, Li-Hsuan, 92(z)92--112
Chen, Lin, 56(3)320--331, 59(3)450--475, 96(z)1--32
Chen, Ning, 69(4)675--687
Chen, Pei-Jung, 82(5)782--792
Chen, Pei-Jung, see Wang, Biing-Feng
Chen, Riqing, 95(z)1--18
Chen, Riqing, see Lin, Limei
Chen, Tianzhou, 79(2)175--186, 81(1)57--71
Chen, Tianzhou, see Ma, Jianliang, see Ye, John M.
Chen, Ting-Yu, 75(7)371--387
Chen, Tsong Yueh, 29(1)58--79, 52(1)80--86
Chen, Wenbin, 120(z)137--148
Chen, Wenzhi, 82(8)1316--1328
Chen, Wenzhi, see Liu, Xuejiao
Chen, Xi, 81(1)311--329
Chen, Xiaofeng, 81(8)1532--1541
Chen, Xiaofeng, see Li, Jin
Chen, Xueguang, 79(8)1214--1229
Chen, Xueguang, see Shi, Xuanhua
Chen, Yu, 79(5)556--572
Chen, Yu, see Yan, Zheng
Chen, Yu-Chi, 89(z)400--409
Chen, Yu-Chi, see Huang, Kaibin
Chen, Zhi, 79(5)518--529
Chen, Zhi, see Qiu, Meikang
Chen, Zhi-Zhong, 65(3)465--480, 78(1)164--178
Chen, Zhi-Zhong, see Lin, Guohui
Chen, Zhide, 80(8)1534--1548
Chen, Zhixiang, 59(1)70--83
Chen, Zhiyuan, 66(1)98--132
Chen, Zhuangjian, 74(2)196--210
Chen, Zhuangjian, see Zang, Binyu
Chen, Zongqing, 115(z)64--72
Chen, Zongqing, see Zhao, Shuang
Chen:1984:FNR, 29(1)58--79
Chen:1996:SPS, 52(1)80--86
Chen:1998:OCA, 56(3)320--331
Chen:1999:GII, 59(3)450--475
Chen:1999:LUT, 59(1)70--83
Chen:1999:TBJ, 58(3)622--640
Chen:2003:CMV, 67(4)833--847
Chen:2003:FGE, 67(4)653--653
Chen:2003:GSS, 66(1)98--132
Chen:2004:CSM, 69(4)675--687
Chen:2006:MMA, 72(3)468--489
Chen:2006:SCL, 72(8)1346--1367
Chen:2007:GCC, 73(6)892--907
Chen:2008:IAF, 74(7)1188--1198
Chen:2009:IVF, 75(7)371--387
Chen:2010:CGS, 76(7)579--592
Chen:2010:CSS, 76(8)847--860
Chen:2010:LTC, 76(6)464--474
Chen:2010:SIS, 76(6)389--389
Chen:2012:KKC, 78(1)211--220
Chen:2012:MTV, 78(5)1637--1650
Chen:2012:SIC, 78(5)1279--1279
Chen:2012:SUP, 78(6)1775--1792
Chen:2012:TSA, 78(1)164--178
Chen:2013:THC, 79(2)201--215
Chen:2014:DSW, 80(8)1534--1548
Chen:2014:SID, 80(5)902--902
Chen:2015:CAC, 81(1)311--329
Chen:2018:AIS, 92(z)92--112
Chen:2018:OEA, 96(z)1--32
Chen:2021:LBU, 120(z)137--148
Chen:2022:IAS, 123(z)20--36
Cheng, Albert M. K., 79(5)530--541
Cheng, Albert M. K., see Belwal, Chaitanya
Cheng, Chia-Wen, 82(5)767--781, 108(z)1--9
Cheng, Dun-Wei, 92(z)92--112
Cheng, Dun-Wei, see Chen, Li-Hsuan
Cheng, Quan Jia, 79(7)1005--1016
Cheng, Quan Jia, see Ng, Joseph Kee-Yin
Cheng, Sheng-Tzong, 61(3)457--477, 73(1)123--136
Cheng:2000:FTM, 61(3)457--477
Cheng:2007:QCS, 73(1)123--136
Cheng:2016:EFT, 82(5)767--781
Cheng:2020:VSE, 108(z)1--9
Chepoi, Victor, 113(z)76--100, 126(z)80--105, 127(z)1--28, 144(z)z--99999999
Chepoi, Victor, see Bénéteau, Laurine, see Chalopin, Jérémie
Chepoi:2024:LSC, 144(z)z--99999999
Cheraghchi, Mahdi, 97(z)45--59
Cheraghchi:2018:AML, 97(z)45--59
Cherubini, Alessandra, 52(1)61--79
Cherubini:1996:PTP, 52(1)61--79
chess, 27(1)77--100
Cheung, Ling, 94(z)63--97
Cheung, Ling, see Canetti, Ran
Cheung, To-yat, 7(3)306--322
Cheung:1973:ASE, 7(3)306--322
Chew, L. Paul, 39(2)205--219
Chew, Leroy, 104(z)82--101
Chew, Leroy, see Beyersdorff, Olaf
Chew, Paul, 22(1)53--59
Chew:1981:NSL, 22(1)53--59
Chew:1989:TPG, 39(2)205--219
Chi, Chi-Hung, 82(4)565--565
Chi, X., 77(4)665--676
Chi, X., see Wang, Jie
Chi:2016:SIT, 82(4)565--565
Chiba, Norishige, 30(1)54--76
Chiba:1985:LAE, 30(1)54--76
Chien, Steve, 67(2)263--290
Chien:2003:CAA, 67(2)263--290
Chierichetti, Flavio, 93(z)11--29
Chierichetti:2018:DPC, 93(z)11--29
child, tree-, 114(z)84--104, 144(z)z--99999999
Chin, Francis, 16(3)333--344
Chin:1978:AUM, 16(3)333--344
Chinese, 84(z)107--119
Ching, W. S., 14(3)360--368
Ching:1977:DRP, 14(3)360--368
Chip, Network-on-, 79(4)421--439
Chip, Networks-on-, 79(4)475--491
chip, on-, 73(8)1221--1231, 79(4)492--513
chip, systems-on-, 80(4)860--900
Chirkova, Rada, 77(6)1079--1107, 82(3)395--465
Chirkova, Rada, see Afrati, Foto
Chirkova:2016:CSE, 82(3)395--465
Chitnis, Rajesh, 88(z)195--207
Chitnis:2017:FEA, 88(z)195--207
Chlebus, Bogdan S., 32(3)374--392, 72(8)1262--1281, 99(z)27--52, 114(z)48--64
Chlebus, Bogdan S., see Anantharamu, Lakshmi
Chlebus:1986:DTG, 32(3)374--392
Chlebus:2006:RGA, 72(8)1262--1281
Chlebus:2020:USM, 114(z)48--64
Chmelík, Martin, 82(5)878--911, see Chatterjee, Krishnendu
Cho, Sungjin, 81(3)568--584
Cho, Sungjin, see Knapen, Luk
Chodil, Miroslav, 139(z)z--99999999
Chodil:2024:SPQ, 139(z)z--99999999
Choi, Kwok Pui, 68(1)22--40
Choi, Sung-Soon, 77(6)1039--1053
Choi, Y. W., 74(2)146--157
Choi, Y. W., see Chua, H. N.
Choi:2004:SAE, 68(1)22--40
Choi:2011:ATU, 77(6)1039--1053
choice, 18(2)143--154, 32(3)370--373, 66(3)515--548
choice, free-, 76(7)532--537
Cholvi, Vicent, 114(z)48--64
Cholvi, Vicent, see Chlebus, Bogdan S.
Chomicki, J., 51(3)523--535
Chomicki, Jan, 59(1)94--115
Chomicki, Jan, see Baudinet, Marianne
Chomicki:1995:FCT, 51(3)523--535
Choo, Kim-Kwang Raymond, 83(1)1--2, 89(z)51--63, 90(z)1--13, 102(z)40--41
Choo, Kim-Kwang Raymond, see Ding, Yong, see Huang, Cheng
Choo:2017:SIC, 83(1)1--2
Choo:2019:SIC, 102(z)40--41
choosing, 155(z)z--99999999
Chopin, Morgan, 80(7)1285--1297, 82(3)503--520
Chopin, Morgan, see Abu-Khzam, Faisal N., see Bazgan, Cristina
Chor, Benny, 44(2)193--219, 49(1)24--39
Chor, Benny, see Ben-David, Shai, see Chang, Richard
Chordality, 33(2)179--202
Choudhary, Pratibha, 144(z)z--z
Choudhary, Pratibha, see Cervený, Radovan
Choudhury, Anamitra Roy, 91(z)42--68
Choudhury:2018:RJM, 91(z)42--68
Choueka, Yaacov, 8(2)117--141, 17(1)81--97
Choueka:1974:TAT, 8(2)117--141
Choueka:1978:FAD, 17(1)81--97
Chow, Timothy Y., 77(4)728--737
Chow:2011:ANP, 77(4)728--737
Christodoulou, Filippos, 155(z)z--99999999
Christodoulou:2026:MIM, 155(z)z--99999999
Chrobak, Marek, 30(1)77--85, 37(2)144--155, 67(1)183--197
Chrobak:1985:VTD, 30(1)77--85
Chrobak:1988:KBT, 37(2)144--155
Chrobak:2003:PSO, 67(1)183--197
chromatic, 49(3)667--682, 55(3)504--521, 57(2)187--199, 74(4)598--627, 84(z)120--131
Chu, Victor W., 82(4)594--609
Chu, Xiaowen, 79(2)216--229
Chu, Xiaowen, see Li, You
Chu:2016:SRC, 82(4)594--609
Chua, H. N., 74(2)146--157
Chua:2008:EDI, 74(2)146--157
Chung, Dean, 63(1)80--126
Chung, Dean, see Hanlon, Philip J.
Chung, F. R. K., 36(2)148--157
Chung, Fan, 63(3)432--448, 72(8)1309--1316
Chung, Moon Jung, 39(1)2--20
Chung:1988:SOS, 36(2)148--157
Chung:1989:SNT, 39(1)2--20
Chung:2001:DRP, 63(3)432--448
Chung:2006:MDL, 72(8)1309--1316
chunking, 76(3)154--203
Chunlin, Li, 72(4)706--726
Chunlin:2006:DMD, 72(4)706--726
churn, 135(z)89--124
Chwa, Kyung-Yong, 82(6)1044--1063
Chwa, Kyung-Yong, see Hasan, Mohammad Khairul
Ciampi, Michele, 135(z)55--72
Ciampi, Michele, see Andrews, John
Ciciani, Bruno, 61(3)400--427
Ciciani, Bruno, see Quaglia, Francesco
Cienciala, Ludek, 81(2)473--484
Cienciala, Ludek, see Sosík, Petr
Cigno, Renato, Lo, 80(3)670--685
Ciotti, Robert, 74(6)965--982
Ciotti, Robert, see Saini, Subhash
Cipher, 61(3)362--399
circuit, 2(3)251--287, 5(2)129--162, 13(2)161--171, 17(1)108--115, 18(2)155--193, 20(2)118--132, 22(3)365--383, 30(2)222--234, 31(2)169--181, 32(2)222--229, 44(2)302--323, 46(2)129--154, 50(3)441--455, 51(2)307--313, 54(1)199--212, 55(3)385--401, 57(2)127--143, 58(1)129--136, 58(2)326--335, 60(2)368--394, 60(2)395--421, 60(2)422--441, 62(3)385--397, 63(2)288--303, 65(4)695--716, 69(4)593--616, 70(1)53--72, 71(2)185--212, 73(8)1131--1144, 74(3)358--363, 75(1)27--36, 75(1)60--77, 77(6)1023--1038, 80(2)496--497, 80(4)860--900, 82(5)793--801, 84(z)132--143, 86(z)108--116, 86(z)136--158, 105(z)87--103, 129(z)90--105
circulant, 3(1)8--23
circular, 56(3)320--331, 78(4)1099--1114, 115(z)73--85
circumscription, 48(2)255--310
circumventing, 74(5)823--830
{\'C}iri{\'c}, Miroslav, 76(7)609--633
Ciric:2010:FRE, 76(7)609--633
Cirlos, Sonya C., 138(z)z--99999999
Cirlos, Sonya C., see Alaniz, Robert M.
Cisternino, Antonio, 78(3)939--959
Cisternino, Antonio, see Börger, Egon
Çivril, A., 80(4)849--859, 84(z)32--43
Civril:2014:CSS, 80(4)849--859
Civril:2017:SAP, 84(z)32--43
clarifications, 10(1)77--82
class, 3(1)24--36, 4(6)523--538, 5(2)88--117, 5(3)286--303, 6(6)603--624, 8(1)84--116, 9(1)69--87, 9(2)213--229, 10(1)44--61, 10(1)62--76, 10(2)183--199, 11(1)129--147, 12(2)147--178, 14(1)73--99, 14(1)100--129, 17(3)300--318, 17(3)388--413, 18(2)110--127, 18(2)143--154, 18(3)294--303, 21(3)317--353, 22(2)178--197, 22(3)265--279, 25(2)214--238, 28(3)439--466, 29(1)99--117, 30(3)395--413, 31(1)40--62, 32(3)363--369, 33(3)394--414, 34(1)55--74, 35(3)285--310, 36(2)254--276, 39(1)84--100, 41(3)307--320, 41(3)402--429, 42(1)76--96, 42(2)237--248, 43(3)425--440, 43(3)484--508, 44(2)324--342, 48(1)116--148, 48(2)357--381, 50(3)382--390, 50(3)391--411, 52(3)589--612, 55(2)199--209, 58(1)183--192, 58(1)211--214, 60(2)465--479, 65(2)169--223, 65(2)257--277, 69(2)166--195, 69(2)259--280, 69(4)688--700, 70(1)140--156, 74(1)16--34, 74(6)942--964, 75(3)155--162, 76(5)324--332, 78(5)1557--1578, 78(6)1910--1927, 80(1)207--216, 80(4)777--795, 82_1A_69_90, 84(z)219--242, 85(z)18--37, 85(z)38--56, 87(z)16--57, 92(z)9--21, 100(z)70--95, 108(z)64--91, 120(z)162--176, 127(z)1--28, 136(z)280--301, 138(z)z--99999999, 145(z)z--99999999, 148(z)z--99999999, 154(z)z--99999999, 155(z)z--99999999
class, multi-, 77(5)898--916
class, two-, 74(6)942--964
class-encoding, Complexity-, 13(1)100--118
classical, 62(2)376--391, 69(3)448--484, 80(6)1102--1118, 136(z)17--62, 154(z)z--z
classification, 5(1)41--53, 45(1)20--48, 52(2)349--356, 71(3)333--359, 71(4)406--439, 79(1)111--121, 79(2)256--268, 79(5)573--585, 80(1)39--56, 119(z)97--124
classified, 112(z)66--84
classifier, 65(2)415--438, 73(5)725--734, 81(6)1012--1026, 82(8)1223--1231, 89(z)450--473
classifying, 25(3)360--376, 77(4)687--704, 104(z)297--322
Claude, Francisco, 118(z)53--74
Claude:2021:GCI, 118(z)53--74
clause-variable, 69(4)656--674
claw-free, 113(z)60--75
Clearing, 102(z)57--68
Cleave, J. P., 6(3)254--266
Cleave, John, 3(4)447--455
Cleave:1969:PRA, 3(4)447--455
Cleave:1972:CSC, 6(3)254--266
Clegg, Richard G., 77(5)861--868
Clegg:2011:CMP, 77(5)861--868
Clemente, Lorenzo, 117(z)202--241
Clemente:2021:RRT, 117(z)202--241
Clementi, Andrea, 81(1)219--233
Clementi, Andrea E. F., 75(4)213--230
Clementi:2009:BDR, 75(4)213--230
Clementi:2015:PFG, 81(1)219--233
Clempner, Julio B., 95(z)35--54
Clempner, Julio B., see Trejo, Kristal K.
Cleve, Richard, 52(3)421--433
Cleve, Richard, see Bshouty, Nader H.
Clifford, 67(2)263--290
Clifford, Raphaël, 76(2)115--124
Clifford:2010:PMD, 76(2)115--124
Climbing, 57(3)389--398
clique, 51(2)261--272, 53(2)298--313, 67(3)633--651, 113(z)1--17, 121(z)1--17, 129(z)72--89
clique-width, 104(z)202--215, 108(z)64--91
clock, 32(2)230--250, 82(5)929--956
Clocked, 121(z)34--48
clocking, 80(4)860--900
clone, 73(7)1090--1094, 80(3)654--669, 84(z)52--78
clones, co-, 74(7)1103--1115
close, 18(2)143--154
close-packed, 2(2)169--176
closed, 10(1)1--43, 26(1)82--91, 35(2)145--152, 48(2)255--310, 50(2)191--202, 77(3)542--571, 81(2)376--382
closed, Recursion-, 23(1)69--105
closeness, 46(3)349--362
closest, 14(2)175--186, 78(1)164--178, 78(4)1045--1098
closure, 2(2)148--168, 17(3)414--423, 45(3)316--339, 46(3)295--325, 50(3)412--432, 53(2)171--179, 55(3)441--453, 60(3)660--716, 65(1)150--167, 82(2)357--365, 84(z)11--31, 95(z)143--150, 100(z)1--29, 120(z)75--96, 120(z)162--176
closure, transitive-, 47(3)459--500
cloud, 78(5)1279--1279, 78(5)1280--1299, 78(5)1300--1315, 78(5)1316--1329, 78(5)1330--1344, 78(5)1345--1358, 78(5)1359--1373, 78(5)1374--1381, 78(5)1382--1402, 79(5)542--555, 79(8)1199--1199, 79(8)1200--1213, 79(8)1214--1229, 79(8)1230--1242, 79(8)1341--1351, 80(3)546--553, 80(5)994--1007, 80(5)1008--1020, 80(8)1518--1533, 80(8)1549--1562, 80(8)1563--1583, 81(1)85--96, 81(8)1415--1416, 81(8)1479--1495, 82(2)173--173, 82(2)174--190, 82(2)191--212, 82(2)282--309, 89(z)24--40, 90(z)14--27, 90(z)28--45, 90(z)46--62, 117(z)130--153, 126(z)119--137
cloud-assisted, 89(z)51--63
Cloud-based, 82(5)712--738
Cloud-integrated, 82_1B_113_129
Clouston, Ranald, 80(6)1067--1086
Clouston:2014:NLT, 80(6)1067--1086
cluster, 68(2)417--441, 73(8)1240--1251, 74(6)939--941, 78(1)211--220, 79(2)201--215, 79(8)1341--1351, 80(7)1430--1447, 81(1)38--56, 85(z)1--17, 113(z)150--162, 144(z)z--99999999, 150(z)z--99999999
Cluster-based, 79(4)475--491
Clustered, 65(2)224--256
clustering, 68(2)417--441, 70(4)555--569, 71(3)360--383, 72(7)1144--1155, 74(5)671--696, 77(6)988--1008, 80(1)27--38, 80(5)1021--1036, 106(z)94--128, 117(z)50--74, 122(z)72--93, 130(z)43--70, 134(z)1--19, 136(z)171--194, 142(z)z--z
clustering, re-, 77(2)282--292
clutter-aware, 79(3)369--382
CNFs, 74(3)386--393
co-browsing, 74(2)146--157
co-clones, 74(7)1103--1115
co-design, 73(8)1221--1231
Co-Finite, 53(1)26--32
coal, 78(4)997--1005
coalgebra, 81(5)880--900, 81(5)911--939
coarse-grained, 67(4)691--706
Cockayne, E. J., 18(1)76--85
Cockayne, E. J., see Mitchell, S. L.
code, 2(2)169--176, 12(3)352--367, 43(3)484--508, 54(2)317--331, 61(3)362--399, 68(4)733--752, 69(3)395--420, 72(5)786--812, 89(z)190--208
Codeterministic, 19(2)203--210
codifications, tree-, 15(1)111--120
coding, 69(1)45--67
coding, color-, 95(z)69--85
Coding, Hash-, 15(3)280--299
Codish, Michael, 82(3)551--563, 84(z)185--204, 104(z)184--201
Codish, Michael, see Bundala, Daniel
Codish:2016:SNI, 82(3)551--563
Codish:2019:SNE, 104(z)184--201
coefficient, 77(6)1039--1053
Coffman, E. G., 12(3)319--335, 38(1)2--35
Coffman, E. G., see Bruno, J.
Coffman, Edward G., 1(3)287--298
Coffman, Edward G., see Kleinrock, Leonard
Coffman:1989:PEA, 38(1)2--35
Coghill, Colin, 80(3)591--601
Coghill, Colin, see Rehman, Saeed Ur
Cohen, 29(3)312--329
Cohen, David, 74(5)721--743
Cohen, David A., 81(7)1127--1143
Cohen, Edith, 55(3)441--453, 67(1)92--126, 68(4)701--701, 69(3)383--394, 73(3)265--288, 80(7)1214--1244
Cohen, Edith, see Azar, Yossi
Cohen, Joëlle, 46(3)271--294
Cohen, Nachshon, 98(z)53--64
Cohen, Nathann, 76(7)650--662, 89(z)315--327
Cohen, Rina, 7(1)66--96
Cohen, Rina, see Culik, Karel
Cohen, Rina S., 4(3)260--280, 4(3)281--297, 5(1)1--16, 15(2)169--184, 15(2)185--208, 16(3)275--300
Cohen, Sara, 73(4)648--668, 74(7)1147--1159
Cohen, Simona R., 47(1)2--44
Cohen:1970:GPS, 4(3)260--280
Cohen:1970:SHC, 4(3)281--297
Cohen:1971:DDS, 5(1)1--16
Cohen:1977:TLC, 15(2)169--184
Cohen:1977:TLI, 15(2)185--208
Cohen:1978:CDP, 16(3)275--300
Cohen:1993:EPT, 46(3)271--294
Cohen:1993:WSP, 47(1)2--44
Cohen:1997:SEF, 55(3)441--453
Cohen:2003:CCM, 67(1)92--126
Cohen:2004:GEF, 68(4)701--701
Cohen:2007:IAC, 73(4)648--668
Cohen:2007:SDA, 73(3)265--288
Cohen:2008:GAM, 74(7)1147--1159
Cohen:2008:UTS, 74(5)721--743
Cohen:2010:AFV, 76(7)650--662
Cohen:2014:AES, 80(7)1214--1244
Cohen:2015:VVE, 81(7)1127--1143
Cohen:2017:PTA, 89(z)315--327
Cohen:2018:AST, 98(z)53--64
coherent, 84(z)32--43
coimplications, 80(2)410--425
coin, 66(4)671--687, 68(2)398--416
coincidence, 39(3)376--387
Colajanni, Michele, 80(4)821--836
Colajanni, Michele, see Tosi, Stefania
Cole, R., 51(2)286--300
Cole, Richard, 72(3)444--467
Cole, Richard J., 62(1)152--177
Cole:1995:EAA, 51(2)286--300
Cole:2001:BSV, 62(1)152--177
Cole:2006:HMC, 72(3)444--467
collaboration, 76(6)475--489, 82_1B_130_143
collaborative, 74(1)49--69, 74(8)1271--1288, 76(6)416--427, 77(6)988--1008, 80(3)571--590, 80(7)1323--1338, 81(6)1000--1011, 81(8)1479--1495, 102(z)42--56
Collages, 53(1)33--60
collapses, 39(3)299--322
Collapsing, 37(2)247--268, 46(3)363--380
Collatz, L., 2(4)333--341
Collatz:1968:MEP, 2(4)333--341
colleague, 22(3)262--264, 120(z)75--96
collection, 52(3)495--505, 139(z)z--99999999
collective, 74(6)1082--1093
Collins, Michael, 74(1)84--96
Collins, Michael, see McAllester, David
collision, 102(z)69--86
Collision-free, 86(z)70--81
Colloquium, 117(z)49--49
Collotta, Mario, 82(2)173--173
Collotta, Mario, see Palesi, Maurizio
colony, 78(6)1686--1702, 79(8)1230--1242, 81(4)734--746
color-coding, 95(z)69--85
colorable, 67(2)441--471
colored, vertex-, 77(4)799--811
coloring, 77(2)439--447, 79(8)1287--1301, 91(z)33--41, 99(z)91--105, 104(z)342--358, 120(z)97--115, 123(z)171--185, 124(z)140--158, 147(z)z--z, 150(z)z--99999999
colorings, H-, 74(5)919--937
colors, 120(z)75--96
colour, 78(4)1258--1277
colourable, H-, 73(5)691--702
colouring, 89(z)410--431, 106(z)60--79, 154(z)z--99999999, 155(z)z--z
Colton, Martin, Farach-, 73(7)1035--1044
column, 24(2)197--208, 80(4)849--859
combination, 73(5)725--734
combinatorial, 3(1)8--23, 6(3)254--266, 9(3)256--278, 11(1)68--85, 15(2)241--241, 43(3)441--466, 47(2)322--349, 48(2)337--346, 62(3)398--412, 64(1)2--21, 74(3)323--334, 78(1)15--25, 78(5)1404--1422, 79(1)68--78, 82(3)503--520, 85(z)74--92, 89(z)328--348, 99(z)53--71, 123(z)143--156
Combinatorics, 63(1)80--126
combinators, 106(z)1--22
combinatory, 124(z)214--233
Combined, 65(2)415--438
Combined-semantics, 82(3)395--465
Combining, 58(1)83--99, 63(1)62--79, 65(3)481--493, 79(7)1113--1125
Comer, Douglas, 26(1)1--13
Comer:1983:EUO, 26(1)1--13
comment, 4(5)385--405, 8(2)238--242, 81(1)125--131, 82(5)756--757
commerce, 61(2)236--269, 66(1)40--65
commit, 72(7)1226--1237
common, 7(1)97--118, 21(1)46--62, 65(3)465--480, 67(4)757--771, 84(z)205--218, 115(z)235--245, 144(z)z--99999999
Commoner, F., 5(5)511--523
Commoner:1971:MDG, 5(5)511--523
communicating, 21(2)179--194, 115(z)22--53
communication, 19(3)290--308, 28(2)260--269, 33(1)106--123, 35(1)23--58, 41(3)402--429, 44(2)324--342, 45(3)296--315, 47(2)322--349, 47(3)405--423, 49(2)247--257, 51(2)301--306, 51(2)307--313, 56(1)90--95, 57(1)37--49, 57(3)399--401, 62(2)323--355, 63(2)148--185, 63(3)449--473, 63(4)573--596, 65(4)612--625, 68(4)702--732, 69(2)259--280, 72(2)252--285, 72(3)490--506, 73(6)973--985, 73(8)1131--1144, 76(3)222--232, 79(6)739--762, 79(7)1101--1112, 82(6)1064--1074
Communication-efficient, 78(4)1142--1157
Communication-optimal, 81(2)383--397
communications, 74(6)1082--1093, 79(2)269--278, 79(5)515--517, 81(8)1464--1478, 127(z)91--121
community, 79(1)50--67, 79(2)291--308, 80(1)72--87, 81(8)1479--1495
commutatif, 6(3)283--289, 18(3)307--333
Commutation, 65(2)278--294
commutative, 6(3)283--289, 14(3)360--368, 29(1)54--57, 35(3)311--320, 42(2)186--198, 47(3)405--423, 56(1)125--129, 58(3)648--659, 78(2)504--516
Commutatively, 26(1)82--91
Commutativity-based, 41(1)65--156
commute, 40(2)125--135
compact, 14(3)265--317, 14(3)318--343, 66(4)809--851, 74(5)697--720, 74(5)775--795, 154(z)z--99999999
compaction, 68(3)473--496, 71(4)406--439, 155(z)z--99999999
comparabilities, 146(z)z--99999999
Comparable, 59(2)270--280
comparative, self-, 155(z)z--99999999
compare, 29(3)378--394
compared, 22(3)265--279
comparing, 9(2)213--229, 65(3)545--569, 74(6)1067--1081, 76(7)593--608
comparison, 51(3)456--459, 54(1)3--33, 61(1)1--50, 74(6)1000--1012, 75(5)303--322, 80(1)88--100, 82(3)551--563, 155(z)z--99999999
compatibility, 35(1)72--95
compatible, 76(8)759--777, 79(1)7--22
competency, 71(3)308--332
competing, 117(z)130--153
Competitive, 48(3)410--428, 50(2)244--258, 51(3)341--358, 62(3)385--397, 64(2)219--248, 74(8)1271--1288
compiler, 3(3)248--275, 7(6)597--614, 10(3)370--383
complement, 16(1)56--66, 35(2)145--152, 48(1)9--57
complementary, 78(3)720--730, 80(7)1350--1358
complementation, 80(2)457--467
Complementing, 35(1)59--71
complete, 6(3)205--216, 16(3)418--422, 23(1)11--21, 25(2)130--143, 28(3)439--466, 29(1)8--35, 33(3)313--332, 39(2)205--219, 39(3)343--375, 49(1)1--17, 53(2)155--160, 54(3)437--440, 58(1)177--182, 58(3)483--511, 64(2)396--418, 67(4)686--690, 71(4)406--439, 76(7)538--560, 78(4)1045--1098, 78(5)1444--1459, 81(7)1311--1332, 82(2)260--281, 108(z)92--103, 109(z)1--21, 121(z)49--56, 138(z)z--99999999
complete, -, 53(2)155--160, 58(1)177--182, 67(4)686--690
Complete, NP-, 16(2)168--184, 53(2)180--193, 57(2)172--186
complete, NP-, 10(3)384--393, 20(2)219--230
complete, PPAD-, 122(z)34--62
Complete, PSPACE-, 63(2)288--303
complete, PSPACE-, 80(7)1415--1429
complete, Turing-, 39(3)282--298
completed, 38(2)360--379
completely, 1(4)362--370, 79(1)144--151
completeness, 4(2)137--176, 9(1)31--47, 11(3)323--357, 12(1)36--48, 12(2)179--197, 23(1)1--10, 25(2)144--170, 25(3)267--284, 25(3)402--417, 34(1)27--42, 37(3)349--366, 42(3)346--398, 52(3)522--536, 53(3)545--555, 54(3)502--519, 66(3)549--566, 72(4)783--783, 77(3)491--504, 82(8)1268--1282
Completeness, Instance-, 52(2)357--373
Completeness, NP-, 61(3)335--361
completeness, PPA-, 115(z)146--168
completion, 23(1)11--21, 82(6)1100--1111, 132(z)45--67
complex, 14(2)210--221, 38(2)326--340, 40(3)444--449, 43(1)170--218, 47(1)77--120, 47(1)121--156, 49(3)726--768, 51(2)149--167, 55(2)322--343, 68(2)442--470, 74(2)133--145, 77(2)293--304, 80(1)217--236, 89(z)114--129, 105(z)199--241, 107(z)1--27, 126(z)80--105, 144(z)z--99999999
Complex-valued, 67(3)623--632
complexity, Minimum-, 45(3)285--295
complexity, tape-, 11(2)203--211
complexity, time-, 45(1)104--126
Complexity-class-encoding, 13(1)100--118
component, 28(3)420--438, 54(2)227--242, 73(2)171--185, 83(1)121--131, 88(z)260--270, 95(z)134--142, 144(z)z--99999999
composite, 47(3)376--404, 72(7)1226--1237
composition, 1(1)55--85, 40(2)125--135, 64(2)350--395, 78(5)1316--1329, 79(6)763--784
composition-based, 74(5)870--874
compressed, 65(2)332--350, 86(z)171--180, 131(z)86--104
compressed, Grammar-, 118(z)53--74
compressed, grammar-, 78(5)1651--1669
Compressed, Z-, 52(2)299--307
compressible, 120(z)162--176
compression, 38(2)405--430, 51(2)261--272, 63(1)127--145, 72(4)760--782, 75(1)37--59, 75(5)303--322, 76(3)154--203, 76(3)278--280, 77(1)91--106, 80(8)1563--1583, 101(z)31--41, 105(z)87--103, 127(z)1--28, 144(z)z--99999999
Compression-based, 72(8)1386--1396
Compteur, 26(1)14--33
Compton, Kevin, 44(3)478--499
Compton, Kevin, see Barrington, David A. Mix
Compton, Kevin J., 53(2)283--297
Compton:1996:LDC, 53(2)283--297
Comput, 72(4)783--783, 74(3)404--405, 75(7)421--421, 76(3)278--280, 80(2)496--497, 81(7)1413--1413, 82(5)756--757, 82(5)957--957, 140(z)z--z, 145(z)z--99999999
computability, 26(3)410--471, 52(1)100--124, 76(5)356--372, 112(z)1--12
computable, 6(6)603--624, 19(2)133--144, 21(2)156--178, 22(1)53--59, 41(3)307--320, 44(2)168--192, 62(3)413--441, 122(z)63--71
computable, left-, 77(4)812--819
computation, 1(4)362--370, 2(2)117--135, 4(1)1--14, 5(2)118--128, 6(1)1--8, 8(2)167--189, 11(3)285--294, 13(1)1--24, 15(2)213--231, 16(3)275--300, 17(1)35--55, 18(1)86--91, 22(1)9--28, 23(2)108--126, 24(3)362--372, 25(3)285--331, 26(1)65--81, 26(2)269--277, 26(3)311--338, 28(2)216--230, 29(3)303--311, 30(1)130--145, 32(1)15--78, 36(3)278--302, 36(3)351--378, 42(1)119--137, 42(3)254--266, 44(2)272--286, 46(1)60--90, 46(3)363--380, 47(2)250--286, 48(1)90--115, 50(1)1--10, 50(3)441--455, 54(1)199--212, 54(3)424--436, 55(3)522--528, 55(3)547--560, 57(2)200--212, 59(2)240--252, 60(1)109--144, 64(2)329--349, 70(2)201--220, 72(6)1043--1076, 78(1)348--369, 79(5)714--724, 80(1)207--216, 80(4)744--765, 82(2)174--190, 82(7)1180--1200, 82(8)1283--1299, 88(z)1--2, 92(z)1--8, 97(z)182--198, 114(z)105--106, 120(z)177--178, 144(z)z--99999999
Computation, Secure-Multiparty-, 77(6)965--987
computational, 4(2)129--136, 5(1)17--25, 5(2)118--128, 5(2)163--191, 6(5)389--396, 12(1)80--107, 12(1)122--131, 13(3)278--285, 22(3)454--470, 24(2)209--223, 29(2)225--242, 37(3)395--399, 39(1)51--83, 40(1)70--87, 58(3)572--596, 59(2)253--269, 60(1)161--178, 60(2)302--335, 62(2)216--235, 64(1)22--47, 68(3)473--496, 69(4)593--616, 70(4)433--434, 71(4)406--439, 72(4)706--726, 72(8)1346--1367, 73(7)1023--1023, 73(8)1176--1190, 73(8)1191--1206, 74(5)898--909, 77(1)14--40, 77(1)122--128, 81(8)1623--1647, 82(2)310--332, 101(z)86--99, 101(z)100--111, 111(z)1--21, 136(z)17--62
compute, 9(2)196--212, 74(6)1033--1042, 77(6)1079--1107
compute-intensive, 85(z)1--17
computer, 2(1)13--75, 3(4)387--408, 4(3)220--249, 7(6)597--614, 18(2)143--154, 22(3)265--279, 23(2)205--222, 29(2)183--197, 33(1)47--65, 34(2)266--292, 47(3)501--548, 52(3)453--470, 72(7)1119--1120, 77(5)835--836, 79(2)173--174, 80(7)1323--1338, 81(8)1415--1416, 82_1A_1_2, 89(z)1--3, 94(z)1--1, 94(z)2--10, 155(z)z--99999999
computing, 2(1)102--116, 7(4)333--333, 9(3)231--231, 12(2)133--133, 14(1)49--72, 20(1)18--31, 20(1)77--95, 20(2)118--132, 24(1)1--14, 39(2)220--235, 43(3)509--512, 45(3)471--492, 48(2)231--254, 49(2)175--188, 50(2)309--335, 50(2)336--355, 52(3)453--470, 53(1)112--128, 57(3)366--375, 61(1)108--143, 67(2)244--262, 68(2)285--302, 69(3)305--305, 70(2)128--144, 70(2)176--200, 73(1)137--152, 73(4)648--668, 73(8)1119--1120, 74(6)939--941, 74(6)1082--1093, 76(8)879--883, 77(1)154--166, 77(4)595--596, 77(4)774--789, 78(1)2--14, 78(5)1279--1279, 78(5)1280--1299, 78(5)1374--1381, 79(1)152--172, 79(2)230--244, 79(4)403--405, 79(5)515--517, 79(5)518--529, 79(8)1199--1199, 79(8)1200--1213, 79(8)1230--1242, 79(8)1341--1351, 80(3)546--553, 80(5)902--902, 80(5)994--1007, 80(5)z--99999999, 80(8)1491--1492, 80(8)1549--1562, 81(1)1--2, 81(8)1415--1416, 82_1B_91_92, 82(3)477--487, 83(1)159--179, 89(z)4--23, 89(z)114--129, 90(z)14--27, 92(z)152--170, 94(z)98--117, 117(z)75--98, 123(z)37--63, 128(z)71--85, 137(z)1--19, 144(z)z--99999999, 146(z)z--99999999, 148(z)z--99999999, 149(z)z--z
concatenable, 14(2)157--174
concealment, 74(2)243--254
concept, 5(1)17--25, 10(1)77--82, 14(2)187--209, 48(3)464--497, 50(1)41--52, 52(2)239--254, 55(2)229--240, 67(3)546--607, 73(6)1012--1022, 74(1)16--34
conceptual, 33(2)179--202, 82(4)610--626
concerning, 4(1)74--88, 5(3)304--314, 7(3)288--299, 18(1)18--34, 65(2)278--294
concise, 81(2)359--375
CONCUR, 119(z)19--20
concurrency, 19(3)290--308, 29(2)207--224, 33(2)297--310, 36(2)158--224, 43(1)25--61, 47(1)157--184, 51(1)53--63, 77(6)1009--1022, 119(z)19--20
concurrent, 27(1)29--50, 33(2)275--296, 34(2)422--461, 35(1)23--58, 38(3)474--493, 44(3)447--477, 53(1)61--78, 62(1)73--122, 79(5)640--657, 80(6)1119--1137
Conde, Ana B., Alonso-, 73(8)1164--1175
condition, 1(3)235--240, 4(1)15--28, 10(2)237--247, 12(1)108--121, 27(1)1--13, 68(1)123--133, 75(7)388--420
Condition-Action, Event-, 77(4)621--636
conditional, 15(3)354--371, 32(3)323--362, 76(1)21--33, 95(z)1--18, 96(z)74--106
Condon, A., 50(3)506--518
Condon, Anne, 36(3)452--489, 48(1)183--193, 57(2)172--186, 69(1)1--2
Condon, Anne, see Bach, Eric, \see{Cai, Jin-yi
Condon:1988:PGA, 36(3)452--489
Condon:1995:IPS, 50(3)506--518
Condon:2004:GEF, 69(1)1--2
cone, 3(2)218--220, 25(3)377--401
Cônes, 18(3)307--333
Conference, 53(2)233--233, 60(2)302--335, 80(5)z--99999999, 104(z)1--4
Confident, Self-, 64(1)48--75
configuration, 7(5)481--496, 10(1)77--82, 15(3)243--261, 23(2)166--204, 81(6)981--999, 82(5)739--755, 120(z)42--61
conflict, 53(1)104--111, 58(1)13--28, 82(2)366--379
conflict-free, 37(3)349--366
conflicting, 80(8)1493--1503
confluence, 32(3)323--362, 35(3)285--310
confluent, 72(3)468--489
congested, 113(z)1--17
congestion, 82_1B_93_112, 117(z)40--48
congestion-aware, 79(4)421--439
Congress, 4(1)89--92
congruence, 9(1)109--128, 27(2)200--220, 35(3)285--310, 60(1)13--37
congruential, 30(3)343--358, 31(3)332--342
congruity, 29(1)36--47
Conitzer, Vincent, 78(1)2--14
Conitzer:2012:COO, 78(1)2--14
conjecture, 25(2)130--143, 45(2)154--179, 53(2)267--282, 54(3)412--423, 58(2)280--296, 70(2)101--127, 77(1)3--13, 77(6)1023--1038, 113(z)76--100, 118(z)108--118, 123(z)186--201, 146(z)z--z
conjugacy, 81(8)1648--1664
conjugate, 11(3)295--322, 80(2)410--425
conjunctive, 28(1)167--189, 58(3)512--534, 77(3)450--472, 77(3)572--594, 78(1)47--85, 79(6)892--909, 79(6)984--1001, 80(1)277--296, 82(3)395--465, 82(8)1329--1359, 88(z)3--26, 88(z)145--163, 104(z)359--374, 119(z)97--124
Conjunctive-Query, 61(2)302--332
connected, 17(1)65--80, 32(3)265--279, 36(1)25--65, 54(2)227--242, 67(1)198--208, 71(4)467--479, 76(8)709--726, 77(4)799--811, 80(1)157--179, 81(4)702--716, 95(z)134--142, 105(z)158--170, 113(z)101--124, 123(z)64--75, 144(z)z--99999999, 155(z)z--99999999
connected, edge-, 108(z)1--9, 115(z)64--72
connected, vertex-, 133(z)23--40
connected-hereditary, 74(7)1147--1159
connection, 29(3)338--358, 33(2)179--202, 67(1)92--126, 80(7)1266--1284, 111(z)22--41, 124(z)77--96
Connection-trap-free, 44(1)1--22
connectives, 58(1)54--68, 88(z)103--125
connectivity, 20(2)118--132, 42(3)288--306, 46(1)91--128, 47(2)350--373, 49(1)57--82, 50(2)259--273, 51(3)503--510, 53(3)395--416, 54(2)305--316, 62(2)376--391, 64(4)820--842, 66(1)169--206, 72(2)239--251, 72(5)838--867, 74(5)662--670, 80(4)837--848, 88(z)208--219, 95(z)1--18, 101(z)1--20, 124(z)97--111, 145(z)z--z, 146(z)z--99999999
connectivity, Edge-, 35(1)96--144
connectors, 104(z)17--40
Connor, Matthew, 150(z)z--z
Connor:2025:TMR, 150(z)z--z
Connors, Tim, 33(2)234--274
Connors:1986:EVQ, 33(2)234--274
Conquer, Divide-and-, 50(2)203--208
consecutive, 13(3)335--379, 73(7)1095--1117, 76(3)204--221
Consens, Mariano P., 57(3)272--288
Consens:1998:AQT, 57(3)272--288
consensus, 65(3)545--569, 67(1)26--45, 72(8)1262--1281, 74(5)671--696, 74(5)823--830, 76(8)884--900, 77(2)223--243, 81(7)1210--1220, 95(z)218--231, 107(z)54--71, 117(z)75--98
consequence, 39(1)101--124
conservative, 52(3)495--505, 81(1)311--329, 82(2)347--356
conservativity, 67(1)127--173, 109(z)95--125
consider, 33(1)75--87
consideration, 3(4)409--422, 82_1A_45_68
consistency, 29(1)118--132, 40(1)2--18, 59(1)29--69, 62(4)537--564, 64(2)329--349, 80(7)1448--1489, 91(z)104--114
Consistency, Linear-, 62(4)589--607
consistent, 88(z)164--194, 155(z)z--99999999
Consistently, 52(3)471--492
consolidation, 82(2)191--212
conspiracy, 23(3)333--347
Constable, R. L., 6(6)480--537
Constable, Robert L., 5(3)315--334, 12(2)133--133
Constable:1971:SPL, 5(3)315--334
Constable:1972:SPS, 6(6)480--537
Constable:1976:SSI, 12(2)133--133
constant, 18(3)254--266, 20(1)77--95, 22(3)265--279, 44(2)259--271, 54(2)371--380, 67(1)63--91, 67(2)291--310, 69(3)330--353, 74(5)808--822, 77(1)3--13, 90(z)99--114, 105(z)116--129, 105(z)130--157, 117(z)165--181
constant-depth, 65(4)695--716, 80(2)496--497
Constant-Factor, 58(1)101--108, 65(1)129--149
constant-factor, 97(z)14--27, 126(z)44--58, 149(z)z--99999999
constant-round, 75(2)91--112
constrained, 4(6)570--605, 11(3)295--322, 51(1)53--63, 67(4)833--847, 70(3)381--398, 72(4)706--726, 74(7)1139--1146, 78(3)689--697
constrained, length-, 65(3)570--586
constrained, resource-, 78(6)1716--1736
constrained, storage-, 139(z)z--99999999
constraint, 20(3)310--329, 28(3)420--438, 49(3)726--768, 51(1)26--52, 51(2)197--210, 51(3)523--535, 52(3)589--612, 58(3)428--452, 59(1)1--28, 60(1)1--12, 61(2)146--193, 61(2)194--216, 61(2)302--332, 64(3)628--654, 66(1)169--206, 66(1)254--291, 72(4)576--591, 73(3)316--361, 73(5)691--702, 74(2)232--242, 74(3)404--405, 74(5)721--743, 74(6)1000--1012, 75(6)336--358, 75(8)451--464, 76(2)103--114, 76(6)464--474, 76(8)847--860, 78(1)119--141, 78(1)151--163, 78(1)179--191, 78(1)245--259, 79(1)79--100, 79(5)725--736, 80(7)1448--1489, 81(7)1127--1143, 81(7)1221--1251, 82(2)347--356, 82(5)826--855, 82(5)912--928, 89(z)246--269, 91(z)104--114, 92(z)48--64, 94(z)11--40, 96(z)33--49, 104(z)149--164, 112(z)34--49, 115(z)187--213, 117(z)23--39, 132(z)45--67, 136(z)171--194, 155(z)z--99999999
Constraint-Generating, 59(1)94--115
construct, 34(2)340--376, 62(1)15--42, 132(z)16--44
constructibility, 7(5)481--496
constructing, 51(3)503--510, 72(8)1282--1308, 86(z)136--158
construction, 12(3)305--318, 15(2)213--231, 22(3)407--420, 24(1)114--146, 27(2)148--164, 37(2)130--143, 39(2)153--165, 47(3)437--458, 52(1)143--156, 53(3)371--379, 55(1)44--69, 55(3)402--413, 56(3)320--331, 58(1)148--173, 58(2)336--375, 71(2)213--247, 72(2)286--320, 72(8)1368--1385, 80(1)101--117, 83(1)101--120, 104(z)165--183, 114(z)107--125
construction'', -, 27(2)148--164
constructors, 25(2)239--266, 40(2)125--135
consumer, 83(1)84--100
Consumer-centric, 74(2)211--231
consumption, 81(6)958--965, 88(z)126--144, 128(z)86--106
Contagion, 155(z)z--99999999
contain, 16(3)301--322, 22(3)265--279, 55(3)385--401
containment, 11(1)1--55, 12(2)222--268, 28(1)167--189, 59(1)1--28, 61(2)302--332, 66(1)20--39, 77(3)450--472, 92(z)65--91, 119(z)78--96
content, 66(1)133--168, 69(4)499--524, 77(2)322--331, 78(4)1185--1203, 78(4)1248--1257
Content-based, 78(4)1258--1277
Content-dependent, 76(3)154--203
contention, 58(1)232--258, 133(z)1--22
Contention, Low-, 53(3)417--442
contentless, 11(1)118--128
Contents, 69(2)z--z, 72(6)z, 72(7)z, 72(8)z, 72_8_III_VII, 73(3)z, 73(4)z--z, 73(5)z--z, 73(6)z--z, 73(7)z--z, 73(8)z--z, 74(1)z--z, 74(2)z--z, 74(3)z--z, 74(4)z--z, 74(5)z--z, 74(7)z--z, 74(8)z--z, 75(1)z--z, 75(2)z--z, 75(3)z--z, 75(4)z--z, 75(5)z--z, 75(6)z--z, 75(7)z--z, 75(8)z--z, 76(1)z--z, 76(2)z--z, 76(3)z--z, 76(5)z--z, 76(6)z--z, 76(7)z--z, 76(8)z--z, 77(1)z--z, 77(2)z--z, 77(3)z--z, 77(4)z--z, 77(5)z--z, 77(6)z--z, 78(1)z--z, 78(2)z--z, 78(3)z--z, 78(4)z--z, 78(5)z--z, 78(6)z--z, 79(1)z--z, 79(2)z--z, 79(3)z--z, 79(4)z--z, 79(5)z--z, 79(6)z--z, 79(7)z--z, 79(8)z--z, 80(1)z--z, 80(2)z--z, 80(3)z--z, 80(4)z--z, 80(5)z--z, 80(6)z--z, 80(7)z--z, 81(1)z--z, 81(3)z--z, 81(6)z--z, 81(7)z--z, 81(8)z--z, 82_1A_z_z, 82_1B_z_z, 82(2)z--z, 82(3)z--z, 82(4)z--z, 82(5)z--z, 82(6)z--z, 82(7)z--z, 82(8)z--z, 83(1)z--z, 84(z)z--z, 85(z)z--z, 86(z)z--z, 87(z)z--z, 88(z)z--z
context, 3(3)233--247, 5(4)337--352, 26(1)34--46, 53(2)171--179, 60(2)234--257, 82(4)610--626
context, bounded-, 22(2)178--197
context-aware, 77(4)597--620, 78(4)1232--1247, 81(3)485--486
Context-Free, 50(1)11--19, 56(1)125--129, 64(2)308--310, 65(2)393--414
context-free, 1(1)1--23, 1(4)317--322, 2(4)427--463, 4(5)492--508, 5(4)353--364, 6(3)217--232, 7(5)463--468, 10(2)308--315, 11(1)86--117, 11(3)358--374, 12(2)222--268, 13(1)90--99, 13(3)318--334, 14(3)344--359, 15(1)35--98, 15(2)169--184, 15(3)262--279, 21(1)110--135, 23(1)1--10, 26(3)295--310, 30(3)249--273, 35(3)311--320, 43(2)328--360, 49(1)57--82, 53(3)556--574, 55(3)477--488, 55(3)489--503, 76(8)837--846, 78(1)293--304, 80(2)346--362, 81(5)911--939, 81(7)1333--1356, 104(z)278--296
context-freeness, 78(6)1899--1909
context-freeness, non-, 108(z)104--117
context-independent, 11(2)203--211
Context-Sensitive, 10(1)83--87
context-sensitive, 3(4)456--461, 4(5)492--508, 33(3)456--472
contextual, 104(z)359--374
Contextuality, 107(z)156--165
Conti, M., 80(3)654--669
Conti, R., 4(1)38--49
Conti:1970:CPP, 4(1)38--49
Conti:2014:CWD, 80(3)654--669
contingency, 67(2)291--310
continuation, 16(3)301--322, 29(3)378--394
continuous, 1(1)91--116, 1(4)362--370, 12(1)6--12, 24(1)114--146, 27(2)148--164, 51(3)460--471, 62(3)528--534, 74(6)1013--1032, 77(4)637--651, 81(5)834--858, 81(8)1429--1440, 92(z)113--151
Continuous-Media, 64(2)219--248
continuous-time, 45(1)1--19
Continuously, 6(5)397--418
contraction, 27(2)225--255, 44(1)23--42, 88(z)145--163, 120(z)62--74, 129(z)22--38, 136(z)63--87
contraction, Edge-, 26(2)197--208
contractions, Path-, 101(z)1--20
control, 3(1)24--36, 4(1)29--37, 4(1)38--49, 4(6)570--605, 15(1)35--98, 22(2)107--143, 29(2)207--224, 29(3)312--329, 33(2)297--310, 40(3)405--443, 43(1)25--61, 47(1)157--184, 51(2)168--176, 60(1)109--144, 67(4)707--722, 71(1)1--33, 72(7)1238--1248, 73(2)156--170, 77(6)1009--1022, 78(5)1280--1299, 78(6)1751--1774, 80(5)953--972, 80(8)1493--1503, 80(8)1518--1533, 81(4)632--660, 81(4)661--670, 82_1B_93_112, 89(z)432--449, 112(z)13--33, 127(z)91--121, 138(z)z--99999999
control, admission-, 73(2)225--241
controllability, 77(3)572--594, 83(1)180--206
controlled, 22(2)144--177, 29(3)366--408, 40(2)188--228, 78(4)1258--1277
controlled, graph-, 13(1)90--99
Controlling, 77(5)898--916, 136(z)195--219
convergence, 3(1)1--7, 3(2)128--146, 12(1)108--121, 13(2)213--222, 38(2)341--359, 56(2)174--190, 60(1)179--186, 62(3)528--534, 65(3)481--493, 72(7)1144--1155, 129(z)39--61, 130(z)1--25, 140(z)z--z
Converging, 83(1)180--206
Conversion, 7(6)597--614
convert, 33(1)75--87
convex, 1(4)323--329, 4(1)38--49, 21(1)136--153, 39(2)166--204, 49(2)325--333, 49(2)391--407, 55(1)161--170, 72(2)392--417, 73(7)1078--1089, 74(5)850--869, 74(7)1199--1225, 120(z)42--61, 140(z)z--99999999, 150(z)z--z
convexes, 1-, 6(3)283--289
convolution, 76(1)63--76, 119(z)125--132, 129(z)62--71
Cook, 41(3)389--401
Cook, Stephen, 13(1)25--37, 57(1)3--19, 58(2)259--259
Cook, Stephen, see Agarwal, Pankaj K., see Beame, Paul
Cook, Stephen A., 7(4)343--353, 7(4)354--375, 9(3)308--316, 58(2)326--335
Cook, Stephen A., see Haken, Armin
Cook:1973:HNT, 7(4)343--353
Cook:1973:TBR, 7(4)354--375
Cook:1974:OTS, 9(3)308--316
Cook:1976:SRD, 13(1)25--37
Cooper, Colin, 81(1)159--185
Cooper, Colin, see Berenbrink, Petra
Cooper, Gerald, 5(5)455--464, 10(1)77--82
Cooper, Gerald, see Amoroso, Serafino
Cooper, Martin C., 81(7)1127--1143
Cooper, Martin C., see Cohen, David A.
cooperating, 148(z)z--99999999
Cooperation, 58(3)611--621
cooperative, 73(1)123--136, 113(z)125--149
Cooperman, G., 50(2)296--308
Cooperman, G., see Babai, L.
coordinate, 71(3)308--332, 115(z)121--145
coordinated, 86(z)3--32
coordination, 93(z)11--29, 142(z)z--99999999
cop, 144(z)z--99999999
Coping, 20(3)396--404
Coppersmith, Susan, 69(4)562--592
Coppersmith, Susan, see Bach, Eric
Coproducts, 7(3)278--287
copying, 25(3)418--435, 53(1)148--152, 56(1)27--45
Copyless, 100(z)1--29
Cordasco, Gennaro, 128(z)18--34
Cordasco:2022:DDP, 128(z)18--34
Cording, Patrick Hagge, 86(z)171--180
Cording, Patrick Hagge, see Bille, Philip
Cordón, Óscar, 80(1)16--26, see Shelokar, Prakash
core, 76(8)709--726, 132(z)68--88
core, many-, 79(2)175--186
core, multi-, 77(1)154--166
Core, Out-of-, 54(2)332--344
coresets, 142(z)z--z
corner, 127(z)1--28, 128(z)35--70
corollaries, 18(2)143--154
Corradini, Flavio, 59(3)412--449
Corradini:1999:MNR, 59(3)412--449
correct, 9(3)332--354, 10(3)370--383, 23(1)49--68
correcting, Hamming-error-, 2(2)169--176
correcting, self-, 49(1)83--95
correction, 22(3)454--470, 37(3)395--399, 58(3)535--571, 88(z)164--194, 155(z)z--99999999
correctness, 3(2)119--127, 5(3)239--253, 8(3)333--365, 19(1)1--17, 23(1)11--21, 27(2)268--290, 56(1)68--82
corrector, predictor-, 2(2)203--218
correlated, 77(5)898--916, 81(1)132--144
correlation, 44(1)63--93, 69(1)28--44, 73(2)207--224, 74(5)671--696, 80(4)821--836, 80(5)953--972, 89(z)130--141
correspondence, 24(2)167--179, 80(7)1359--1373
corresponding, 80(3)502--519
corridor, 150(z)z--99999999
corrigendum, 23(1)106--106, 24(3)378--378, 42(2)249--251, 59(3)557--562, 65(4)695--716, 66(3)549--566, 72(4)783--783, 75(1)37--59, 76(3)278--280, 76(5)324--332, 78(3)807--821, 80(2)496--497, 81(7)1413--1413, 82_1B_144_155, 82(5)957--957, 140(z)z--z, 145(z)z--99999999
corrupted, 83(1)58--72
Cortez, Miguel Núñez del Prado, 80(8)1597--1614, see Gambs, Sébastien
Cortiñas, Roberto, 81(2)383--397, see Lafuente, Alberto
Cosmadakis, S. S., 51(2)177--196
Cosmadakis, S. S., see Afrati, F.
Cosmadakis, Stavros, 64(3)466--495
Cosmadakis, Stavros S., 33(2)203--233
Cosmadakis:1986:PSR, 33(2)203--233
Cosmadakis:2002:ICR, 64(3)466--495
cost, 3(1)24--36, 12(3)319--335, 18(2)143--154, 22(3)421--441, 30(3)274--290, 52(3)550--569, 63(1)21--41, 84(z)79--96, 118(z)28--52
cost, low-, 79(4)440--456
cost, minimum-, 72(5)838--867
cost-register, 100(z)1--29
Costa, Gerardo, 27(3)389--399
Costa, Gerardo, see Astesiano, Egidio
Costa, Isnard Lopes, 144(z)z--99999999
Costa:2024:CLT, 144(z)z--99999999
Coste, L., Saloff-, 57(1)20--36
Cotta, Carlos, 67(4)686--690
Cotta:2003:FSP, 67(4)686--690
count, 67(2)291--310, 80(2)450--456, 113(z)42--59
countable, 136(z)302--326
counter, 6(2)138--150, 10(2)237--247, 19(2)145--162, 37(3)269--291, 45(3)316--339, 104(z)244--257, 120(z)149--161
counter, One-, 29(1)54--57
counter, one-, 10(3)340--350, 23(3)366--382, 80(4)720--743
Counter, One-, 26(1)14--33
counter, stack-, 8(2)243--269
counter, weak-stack-, 20(1)59--76
counterexample, 43(2)299--316, 52(2)201--213, 62(3)463--515, 74(4)431--456, 113(z)76--100
Counterfactuals, 53(3)497--512
countering, 80(3)618--643
countermeasures, 121(z)18--33
counting, 28(2)231--243, 31(2)182--209, 32(2)156--182, 42(1)76--96, 43(1)145--169, 48(1)116--148, 53(1)61--78, 53(2)283--297, 54(3)400--411, 56(1)96--111, 59(2)164--181, 69(2)259--280, 73(6)962--972, 74(5)919--937, 76(7)634--649, 78(1)192--197, 78(3)698--706, 78(5)1579--1605, 79(1)7--22, 79(6)958--983, 79(6)984--1001, 80(1)277--296, 81(1)311--329, 81(4)702--716, 82(2)310--332, 82(6)1144--1160, 101(z)21--30, 109(z)95--125, 114(z)84--104, 115(z)187--213, 117(z)154--164, 126(z)138--164, 135(z)15--31, 148(z)z--99999999
counting, step-, 16(1)1--22
Courcelle, Bruno, 12(2)179--197, 17(3)388--413, 46(2)218--270
Courcelle:1976:CRE, 12(2)179--197
Courcelle:1978:SCI, 17(3)388--413
Courcelle:1993:HRH, 46(2)218--270
Couso, Inés, 80(1)88--100, see Otero, José
cover, 29(2)225--242, 49(3)454--477, 54(2)332--344, 67(4)833--847, 72(1)16--33, 74(3)335--349, 77(6)1159--1171, 78(1)221--244, 78(5)1637--1650, 80(2)468--495, 81(1)186--207, 82(5)802--816, 89(z)246--269, 106(z)80--93, 107(z)108--123, 133(z)23--40, 136(z)63--87, 144(z)z--z, 149(z)z--99999999, 154(z)z--99999999
cover, set-, 69(4)547--561
coverability, 72(1)180--203, 104(z)258--277
covering, 12(2)222--268, 15(1)99--110, 39(2)166--204, 40(1)19--48, 56(2)223--252, 75(5)287--302, 79(1)23--38, 102(z)57--68, 130(z)26--42, 134(z)42--72, 151(z)z--99999999
covering, disk-, 65(3)481--493
covering/packing, 71(4)495--505
Cowen, Lenore, 65(1)1--1
Cowen, Lenore J., 74(5)775--795
Cowen, Lenore J., see Arias, Marta
Cowen:2002:GEF, 65(1)1--1
CPU, 81(1)57--71
CPU-GPU, 81(1)38--56
Crane, 70(2)101--127
crash-recovery, 75(3)178--189
Cray, 53(3)344--356
creates, 44(1)141--159
Creating, 58(3)648--659
Creation, 52(2)357--373, 54(1)34--47
Creignou, N., 51(3)511--522
Creignou, Nadia, 74(7)1103--1115, 80(2)427--449
Creignou:1995:DTM, 51(3)511--522
Creignou:2008:SIB, 74(7)1103--1115
Creignou:2014:BRW, 80(2)427--449
Cremers, A. B., 8(2)158--166
Cremers, Armin, 11(1)86--117, 15(3)262--279
Cremers:1974:VL, 8(2)158--166
Cremers:1975:CFG, 11(1)86--117
Cremers:1977:SCF, 15(3)262--279
Crépeau, Claude, 37(2)156--189, see Brassard, Gilles
Crescenzi, P., 50(3)382--390
Crescenzi, P., see Bovet, D. P.
Crescenzi, Pierluigi, 81(7)1333--1356, 155(z)z--99999999
Crescenzi, Pierluigi, see Christodoulou, Filippos
Crescenzi:2015:SCF, 81(7)1333--1356
Crestin, J. P., 8(1)36--40
Crestin:1974:SGA, 8(1)36--40
CREW, 48(2)231--254, 54(2)227--242
criteria, 79(7)1057--1076
criteria, multi-, 79(2)230--244
critical, 70(1)86--106, 83(1)1--2, 83(1)3--21, 98(z)1--26, 99(z)1--26, 102(z)40--41, 127(z)122--145
Criticisms, 77(5)861--868
Crochemore, M., 78(6)1828--1836
Crochemore, Maxime, 74(5)796--807, 82(3)477--487
Crochemore, Maxime, see Badkobeh, Golnaz
Crochemore:2008:MRS, 74(5)796--807
Crochemore:2012:MNC, 78(6)1828--1836
cross, 81(3)516--532
cross, double-, 86(z)117--135
cross-platform, 78(5)1316--1329
crossing, 68(2)285--302, 76(7)593--608
crossing, single-, 69(2)166--195
Crowston, R., 80(4)687--696
Crowston:2014:SMT, 80(4)687--696
CRT, 64(4)768--784
Cruz-Filipe, Luís, 82(3)551--563, 84(z)185--204, 104(z)184--201, see Bundala, Daniel, \see{Codish, Michael
Cryan, Mary, 67(2)291--310
Cryan:2003:PTA, 67(2)291--310
Cryptanalysis, 74(5)657--661
cryptographic, 50(3)600--610, 71(2)185--212, 72(2)286--320, 75(1)2--12, 80(8)1518--1533, 89(z)80--91
cryptography, 22(3)265--279, 22(3)280--311, 44(2)287--301
Cseresnyes, Ehud, 125(z)1--24
Cseresnyes:2022:REL, 125(z)1--24
Csikós, Mónika, 150(z)z--99999999
Csikos:2025:FPT, 150(z)z--99999999
CSL, 89(z)361--371
CSP, 85(z)38--56
CSP, 2-, 78(1)305--335, 82(3)536--550
CSPs, 81(1)311--329, 87(z)104--118, 97(z)14--27, 109(z)95--125
CSPs, MAX-, 67(2)212--243
CTMCs, 89(z)361--371
Cubature, 3(2)218--220
cube, 56(2)223--252, 82(2)260--281, 126(z)80--105
cubic, 10(2)308--315, 20(2)255--276, 58(3)641--647, 78(6)1828--1836, 81(7)1298--1310
Cui, Yun, 73(7)1045--1059
Cui:2007:AAU, 73(7)1045--1059
Culberson, Joseph, 39(2)166--204
Culberson:1989:OCC, 39(2)166--204
Culik, K., 17(2)163--175, 24(2)167--179
Culik, K., see Albert, J.
Culík, K., 5(1)41--53, see Brzozowski, J. A.
Culik, Karel, 7(1)66--96, 20(3)379--395
Culík, Karel, 5(6)596--606
Culik:1971:AFR, 5(6)596--606
Culik:1973:LRG, 7(1)66--96
Culik:1978:DHE, 17(2)163--175
Culik:1980:TSC, 20(3)379--395
Cunha, Luís, 151(z)z--99999999
Cunha:2025:ITC, 151(z)z--99999999
curve, 3(2)128--146, 55(1)140--160, 58(2)297--325, 67(2)325--340, 95(z)177--192
CUT, 60(3)564--574
cut, 58(3)453--482, 80(4)837--848, 82(6)1044--1063, 86(z)191--206, 113(z)60--75, 123(z)76--102, 126(z)21--43
CUT, MAX-, 63(4)531--541
Cut, Max-, 80(7)1384--1403
Cut, Max-3-, 68(2)442--470
cut-and-paste, 78(4)1099--1114
cutback, 32(1)1--14
cutset, 148(z)z--99999999
Cutting, 4(6)570--605, 128(z)35--70
cutwidth, 75(4)231--244
Cuzzocrea, Alfredo, 77(6)933--935, 77(6)965--987, 79(3)309--311, 79(3)349--368
Cuzzocrea, Alfredo, see Chatzimilioudis, Georgios
Cuzzocrea:2011:DXP, 77(6)933--935
Cuzzocrea:2011:PPO, 77(6)965--987
Cuzzocrea:2013:TPA, 79(3)309--311
CVP, 124(z)129--139
CYBer, 98(z)27--52
cyber, 83(1)1--2, 98(z)1--26
cyber-physical, 79(3)383--401
cyber-security, 115(z)54--63
cybersecurity, 80(5)973--993, 102(z)40--41
CYBEX, 98(z)27--52
cycle, 26(3)392--409, 29(3)378--394, 32(3)265--279, 46(2)155--197, 58(3)641--647, 59(1)84--93, 68(3)473--496, 85(z)18--37, 93(z)41--53, 128(z)71--85, 143(z)z--99999999, 148(z)z--99999999
Cycle, No-{Z}-, 61(3)400--427
cyclic, 9(1)56--68, 29(3)338--358, 43(1)145--169, 44(1)141--159, 135(z)125--144
Cyclic-routing, 103(z)18--45
cycling, 5(2)118--128
Cygan, Marek, 80(7)1285--1297
Cygan, Marek, see Bazgan, Cristina
cylindric, 28(1)80--102
Cylindrical, 6(3)254--266
Cypher, Robert, 47(3)501--548
Cypher:1993:DSN, 47(3)501--548
Czeizler, Eugen, 80(1)297--319
Czeizler, Eugen, see Göös, Mika
Czerner, Philipp, 140(z)z--99999999
Czerner:2024:FSP, 140(z)z--99999999
Czerwi{\'n}ski, Wojciech, 88(z)75--89, 151(z)z--z
Czerwinski:2017:DDD, 88(z)75--89
Czerwinski:2025:LGF, 151(z)z--z
Czygrinow, Andrzej, 82(8)1251--1267
Czygrinow:2016:DCS, 82(8)1251--1267
Czyzowicz, Jurek, 86(z)70--81, 103(z)46--60, 130(z)1--25
Czyzowicz, Jurek, see Akrida, Eleni C.
Czyzowicz:2017:CFN, 86(z)70--81
Czyzowicz:2022:CTP, 130(z)1--25