Index file section C for tcs2015.bib

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

Return to index directory

C

C, 741(z)1--2, 781(z)3--23
Caballero, Ricard, 600(z)98--106
Caballero, Ricard, see Alabert, Aureli
Cabarle, Francis George C., 736(z)iii--iii
Cabarle, Francis George C., see Buño, Kelvin C.
Cabello, Sergio, 702(z)77--96
Cabello:2017:ISS, 702(z)77--96
Cabrera, Luis, Valencia-, 608(z)57--65, 623(z)146--159, 701(z)216--225, 701(z)226--234, 724(z)1--2, 736(z)1--14, 777(z)443--453
cacti, 639(z)14--25
cactus, 630(z)43--62, 725(z)31--51, 749(z)59--65
cadences, 698(z)4--8
Cai, Jiansheng, 661(z)1--7
Cai, Jiansheng, see Wang, Jihui
Cai, Jin-Yi, 745(z)150--162
Cai, Leizhen, 607(z)49--59, 607(z)60--67, 795(z)275--284
Cai, Leizhen, see Guo, Chengwei
Cai, Song-Ruei, 609(z)143--161
Cai, Song-Ruei, see Yang, Ching-Nung
Cai, Zhipeng, 607(z)381--390, 609(z)515, 749(z)17--25, 749(z)26--35, 774(z)1--13, 788(z)2--11
Cai, Zhipeng, see He, Zaobo, \see{Liu, Xianmin, see Miao, Dongjing, \see{Zhang, Kejia
Cai:2015:PCF, 607(z)49--59
Cai:2016:SIC, 609(z)515
Cai:2018:CGH, 745(z)150--162
Cai:2019:TED, 795(z)275--284
Cain, Alan J., 674(z)1--15
Cain, Alan J., see Brough, Tara
Cairo, Massimo, 797(z)2--16
Cairo:2019:DCS, 797(z)2--16
Calabia, Marj Darrel, 736(z)iii--iii
Calabia, Marj Darrel, see Buño, Kelvin C.
Calamoneri, T., 524(z)34--40, 602(z)158--159
Calamoneri, Tiziana, 718(z)46--57, 764(z)2--14, 791(z)62--75
Calamoneri, Tiziana, see Baiocchi, Pierluigi
Calamoneri:2014:PCG, 524(z)34--40, 602(z)158--159
Calamoneri:2015:CPC, 524(z)34--40, 602(z)158--159
Calamoneri:2018:DTG, 718(z)46--57
Calamoneri:2019:SLT, 764(z)2--14
calculi, 563(z)99--143, 577(z)98--124, 587(z)73--103, 696(z)11--51, 768(z)99--116, 781(z)24--38
calculus, 606(z)2--24, 606(z)42--56, 612(z)102--125, 614(z)63--96, 625(z)25--84, 685(z)65--82, 685(z)83--103, 691(z)81--106, 727(z)37--100, 737(z)40--61, 747(z)26--32, 796(z)286--293
calculus, mu-, 564(z)30--62
Calder, Muffy, 577(z)43--73
Calder, Muffy, see Sevegnani, Michele
Caleiro, Carlos, 603(z)84--110, 781(z)39--62
Caleiro:2015:BSG, 603(z)84--110
Caleiro:2019:GPS, 781(z)39--62
Calinescu, Gruia, 562(z)419--435, 795(z)285--300
Calinescu:2015:BPA, 562(z)419--435
Calinescu:2019:IAA, 795(z)285--300
call-by-value, 606(z)2--24
calls, 654(z)11--25
Calude, Cristian S., 701(z)54--69
Calude:2017:QFG, 701(z)54--69
Campadelli, Paola, 664(z)1--1, 664(z)2--11
Campadelli:2017:ABS, 664(z)2--11
Campadelli:2017:P, 664(z)1--1
Campbell, Brian, 741(z)ii--ii
Campbell, Brian, see Hofmann, Martin
Campos, Victor, 609(z)287--295
Campos, Victor, see Benevides, Fabrício
Canadian, 732(z)14--25
canalizing, 675(z)1--14, 791(z)116--122
Canard, S., 723(z)51--72
Canard:2018:NTC, 723(z)51--72
Canaval, Sandra, Gómez-, 682(z)22--29
Cancellation-free, 590(z)17--26
candidate-sequential, 678(z)14--21
Cano, Rafael G., 789(z)77--92
Cano:2019:SDL, 789(z)77--92
canonical, 604(z)81--101, 609(z)544--560
Canonicity, 777(z)184--191
Cantor, 679(z)145--161
Cantor-like, 616(z)100--110
Cao, Huabin, 714(z)27--35
Cao, Qian, 652(z)1--17
Cao, Yixin, 573(z)63--70, 745(z)63--74
Cao, Yixin, see Liu, Yunlong
Cao, Yongzhi, 612(z)45--62, 727(z)24--36
Cao, Yongzhi, see Chen, Taolue, see Pan, Haiyu
Cao, Zhenfu, 572(z)25--49
Cao, Zhenfu, see Zhang, Zongyang
Cao:2016:SOS, 652(z)1--17
Cao:2018:OOD, 714(z)27--35
Cao:2018:VDP, 745(z)63--74
capability, 758(z)1--8, 760(z)1--14, 781(z)39--62, 799(z)59--70
capacitated, 566(z)12--25, 613(z)79--93
capacity, 575(z)42--55, 633(z)100--111, 697(z)98--109, 778(z)61--72
capacity, SINR-, 608(z)166--177
Capdevielle, Claire, 715(z)86--96
Capdevielle:2018:CBA, 715(z)86--96
capture, 588(z)96--113
Caragiannis, Ioannis, 589(z)53--60, 610(z)149--157
Caragiannis:2015:IAK, 589(z)53--60
Caragiannis:2016:SLB, 610(z)149--157
Caralp, Mathieu, 578(z)13--29
Caralp:2015:TVP, 578(z)13--29
Carapezza, G., 599(z)102--117
Carapezza, G., see Angione, C.
Carayol, Arnaud, 787(z)1--1
Carayol:2019:SII, 787(z)1--1
Carbone, Marco, 722(z)19--51
Carbone, Marco, see Bravetti, Mario
Carbonell, Jaime, 716(z)124--140
Carbonell, Jaime, see Yang, Liu
card, 675(z)43--55
Card-based, 622(z)34--44
Cardelli, Luca, 765(z)47--66, 777(z)132--154
Cardelli:2019:CCR, 765(z)47--66
Cardelli:2019:SCD, 777(z)132--154
cardiac, 765(z)158--169
cardinality, 609(z)500--510, 658(z)190--204, 699(z)53--62, 707(z)77--81
cares, 710(z)74--87
Carey, Norman, 743(z)38--52
Carey:2018:PFC, 743(z)38--52
Carlo, 644(z)53--62, 644(z)114--126
Carlo, Monte-, 644(z)92--105, 644(z)106--113
Carlson, Joshua, 795(z)142--153
Carlson, Joshua, see Brimkov, Boris
Carmi, Paz, 784(z)133--141
Carmi:2019:ACC, 784(z)133--141
Carnielli, Walter, 606(z)42--56
Carnielli:2015:MPR, 606(z)42--56
Caron, Pascal, 679(z)95--106, 800(z)15--30
Caron:2017:HGO, 679(z)95--106
Caron:2019:SCC, 800(z)15--30
Carotenuto, Dario, 656(z)1--26
Carotenuto:2016:OMS, 656(z)1--26
carpenter, 586(z)12--25
Carpi, Arturo, 664(z)67--77
Carpi:2017:ISF, 664(z)67--77
Carrieri, Anna Paola, 568(z)72--83, 658(z)60--73
Carrieri, Anna Paola, see Bonizzoni, Paola, see Bulteau, Laurent
Carta, Alfonso, 599(z)47--63
Carta, Alfonso, see Chaves, Madalena
Carter, Rebekah, 642(z)1--23
Carter, Rebekah, see Navarro-López, Eva M.
cartesian, 565(z)16--29, 594(z)143--150, 609(z)262--271, 615(z)1--11, 669(z)22--32, 687(z)62--69, 691(z)1--9
Carufel, Jean-Lou, De, 569(z)24--42, 616(z)70--93, 703(z)1--17
Carufel, Julien de, 732(z)1--13
Carufel, Julien de, see Massé, Alexandre Blondin
Caruso, Antonio, 764(z)1--1
Caruso, Antonio, see Bilò, Vittorio
Carvalho-Segundo, Washington de, 781(z)3--23
Carvalho-Segundo, Washington de, see Ayala-Rincón, Mauricio
Casagrande, Alberto, 587(z)26--48
Casagrande:2015:UBS, 587(z)26--48
Casal, Filipe, 781(z)39--62
Casal, Filipe, see Caleiro, Carlos
cascade, 593(z)62--69, 786(z)78--87
cascaded, 795(z)81--99
cascading, 607(z)306--319
case, 562(z)304--319, 572(z)1--24, 573(z)71--89, 586(z)12--25, 589(z)121--140, 596(z)23--40, 596(z)149--154, 609(z)211--225, 655(z)41--57, 681(z)167--175, 705(z)75--83, 771(z)9--22, 777(z)192--203, 792(z)117--130
Case, Adam, 731(z)68--87
case, Average-, 609(z)76--86
case, average-, 576(z)18--29, 597(z)40--61
Case, John, 620(z)33--45, 733(z)55--70
case, worst-, 567(z)46--73, 584(z)67--79
case-based, 589(z)61--75
Case:2016:TSI, 620(z)33--45
Case:2018:EQK, 733(z)55--70
Case:2018:MDR, 731(z)68--87
Casel, Katrin, 717(z)2--25
Casel, Katrin, see Bazgan, Cristina
Cassaigne, Julien, 792(z)154--160
Cassaigne, Julien, see Avgustinovich, Sergey
Cassez, Franck, 631(z)16--42
Cassez:2016:CSN, 631(z)16--42
Castañeda, Armando, 709(z)2--19
Castaneda:2018:CRM, 709(z)2--19
Casteigts, A., 780(z)20--28
Casteigts, Arnaud, 590(z)27--37
Casteigts:2015:ETV, 590(z)27--37
Casteigts:2019:COH, 780(z)20--28
Castelli, Mauro, 646(z)16--25, 653(z)108--110, 796(z)272--285
Castelli, Mauro, see Beretta, Stefano
Castelli:2019:CIS, 796(z)272--285
Castiglione, G., 601(z)58--66
Castiglione, Giusi, 658(z)74--84, 664(z)54--66
Castiglione, Giusi, see Brocchi, Stefano
Castiglione:2015:SSW, 601(z)58--66
Castiglione:2017:CLH, 658(z)74--84
Castronuovo, Niccolò, 635(z)51--63, see Barnabei, Marilena
Catalan, 777(z)69--92
Catalano, Dario, 592(z)143--165
Catalano:2015:ATO, 592(z)143--165
catalytic, 623(z)65--74
Catastrophic, 607(z)306--319
catch, 627(z)107--111, 794(z)3--11
Categorial, 579(z)33--63
categorical, 588(z)81--95, 765(z)47--66
category, 567(z)21--45, 594(z)143--150, 669(z)22--32, 763(z)1--11
catenation, 800(z)15--30
caterpillar, 732(z)1--13
Cauchy--Riemann, 564(z)89--106
causal, 574(z)39--77, 587(z)73--103, 768(z)43--53
causalities, 623(z)114--145
causally, 706(z)54--82
Cauwet, Marie-Liesse, 617(z)12--27
Cauwet, Marie-Liesse, see Astete-Morales, Sandra
Cavalcanti, Ana, 563(z)1--42, 756(z)19--63
Cavalcanti, Ana, see Ribeiro, Pedro
Cavalcanti:2015:TST, 563(z)1--42
Cavalheiro, Simone André da Costa, 686(z)25--77
Cavalheiro:2017:TPG, 686(z)25--77
Cayley, 571(z)10--20
Cazenave, Tristan, 644(z)43--52
Cazenave:2016:PPA, 644(z)43--52
CCA, 795(z)57--80, 795(z)570--597
CCA2-secure, 640(z)104--114
CDS, 615(z)102--119
Ceccherini-Silberstein, Tullio, 600(z)19--33
Ceccherini-Silberstein:2015:MAG, 600(z)19--33
Cechlárová, Katarína, 653(z)15--25
Cechlarova:2016:SMT, 653(z)15--25
Celebrity, 648(z)56--71
cell, 608(z)57--65, 736(z)25--40, 784(z)133--141
Cell-like, 623(z)180--189
cell-probe, 779(z)72--87
cellular, 579(z)9--32, 580(z)14--27, 605(z)80--94, 623(z)2--14, 633(z)19--27, 641(z)2--10, 659(z)36--52, 664(z)131--143, 666(z)21--35, 673(z)19--29
Censor-Hillel, Keren, 751(z)74--90
Censor-Hillel:2018:FRI, 751(z)74--90
center, 566(z)12--25, 592(z)135--142, 602(z)114--124, 627(z)13--25, 639(z)72--90, 705(z)58--74, 707(z)36--45, 749(z)59--65, 766(z)16--29, 774(z)31--43, 774(z)95--102, 776(z)138--147, 789(z)2--12, 799(z)94--103
center, -, 566(z)12--25
centerpoint, 615(z)61--70
central, 596(z)109--123, 785(z)83--116
centrality, 699(z)33--52
century, 591(z)3--4
Cenzer, Douglas, 673(z)1--18
Cenzer, Douglas, see Barmpalias, George
certain, 562(z)46--56, 601(z)21--28, 778(z)47--60, 795(z)183--193, 797(z)42--76
certificate, 591(z)5--14, 622(z)66--78, 698(z)40--66, 762(z)1--12
certificate-based, 711(z)1--10
certificateless, 639(z)42--59
Ceterchi, Rodica, 701(z)146--160, 724(z)45--60
Ceterchi, Rodica, see Gheorghe, Marian, see Krishna, Shankara Narayanan
ceteris, 658(z)375--390
Chai, Xing, 740(z)68--75
Chai, Xing, see Li, Wenhua
chain, 636(z)66--76, 650(z)109--122, 699(z)63--74, 714(z)1--14, 719(z)1--20, 721(z)54--69, 747(z)48--74
Chak, Christopher Hanrui, 609(z)272--285
Chak:2016:BPL, 609(z)272--285
Chakraborty, Sourav, 654(z)92--112
Chakraborty:2016:UBF, 654(z)92--112
Chalk, Cameron T., 667(z)1--15
Chalk:2017:CIR, 667(z)1--15
challenge, Post-, 572(z)25--49
Chambart, Pierre, 637(z)1--29
Chambart:2016:FAM, 637(z)1--29
Chamoin, Ludovic, 750(z)53--68
Chamoin, Ludovic, see Le Coënt, Adrien
Chan, De-Sheng, 708(z)75--90
Chan, De-Sheng, see Tseng, Kuo-Tsung
Chan, Shang-Ju, 602(z)132--148
Chan, Shang-Ju, see Hung, Ruo-Wei
Chan, T.-H. Hubert, 784(z)46--64
Chan, Timothy M., 583(z)51--56
Chan:2015:FMR, 583(z)51--56
Chan:2019:DOS, 784(z)46--64
Chang, Ching-Lueh, 593(z)62--69, 602(z)149--157
Chang, Fei-Huang, 609(z)262--271
Chang, Jou-Ming, 557(z)59--65, 651(z)87--88, 652(z)28--37, 766(z)38--45, 784(z)65--74
Chang, Jou-Ming, see Pai, Kung-Jui
Chang, Ruay-Shiung, 784(z)65--74
Chang, Ruay-Shiung, see Pai, Kung-Jui
Chang, Yi-Jun, 607(z)320--336, 757(z)11--26
Chang:2015:CF, 607(z)320--336
Chang:2015:DST, 602(z)149--157
Chang:2015:TCS, 593(z)62--69
Chang:2016:AAB, 609(z)262--271
Chang:2019:CCA, 766(z)38--45
Chang:2019:HRF, 757(z)11--26
change, 561(z)37--56, 620(z)119--133
changeover, 621(z)22--36
Changing, 610(z)135--148
channel, 584(z)155--176, 599(z)34--46, 636(z)17--26, 643(z)1--37, 692(z)72--89, 755(z)29--37, 796(z)34--50
channel, multi-, 615(z)23--44, 695(z)74--82, 723(z)51--72
channel, side-, 781(z)39--62
Chapelle, Mathieu, 676(z)33--41
Chapelle:2017:EEA, 676(z)33--41
Chaplick, Steven, 590(z)86--95
Chaplick:2015:LCH, 590(z)86--95
character, 658(z)60--73
characterisation, 585(z)3--24
characteristic, 583(z)27--39, 657(z)3--10, 658(z)159--174, 681(z)54--74, 777(z)3--31
characterization, 561(z)88--95, 569(z)24--42, 581(z)1--8, 584(z)80--90, 588(z)73--80, 598(z)64--86, 612(z)63--82, 641(z)11--24, 658(z)46--59, 676(z)92--96, 679(z)31--52, 694(z)21--33, 713(z)31--41, 728(z)29--99, 746(z)136--150, 750(z)2--23, 764(z)80--99, 786(z)78--87, 790(z)131--137, 798(z)2--22
characterized, 596(z)23--40, 724(z)35--44
Characterizing, 568(z)97--102, 585(z)41--54, 594(z)82--105, 744(z)56--77
Charalambidis, Angelos, 668(z)27--42
Charalambidis:2017:ETF, 668(z)27--42
Charalampopoulos, Panagiotis, 792(z)85--95
Charalampopoulos, Panagiotis, see Almirantis, Yannis
Chardin, Brice, 658(z)357--374
Chardin:2017:RQL, 658(z)357--374
Charron-Bost, Bernadette, 793(z)100--112
Charron-Bost:2019:FSP, 793(z)100--112
Chateau, A., 595(z)92--106
Chateau:2015:CAF, 595(z)92--106
Chatterjee, Kingshuk, 705(z)113--117, 782(z)107--112
Chatterjee, Krishnendu, 573(z)71--89
Chatterjee, Tanima, 775(z)53--67
Chatterjee:2015:ACA, 573(z)71--89
Chatterjee:2018:NRU, 705(z)113--117
Chatterjee:2019:CCT, 775(z)53--67
Chatterjee:2019:UWC, 782(z)107--112
Chatzikokolakis, Konstantinos, 777(z)32--54
Chatzikokolakis, Konstantinos, see Alvim, Mário S.
Chau, Sid Chi-Kin, 761(z)34--50
Chau, Sid Chi-Kin, see Khonji, Majid
Chau, Vincent, 630(z)1--12
Chau, Vincent, see Angel, Eric
Chaudhuri, Kamalika, 716(z)1--3
Chaudhuri, Kaustuv, 781(z)24--38
Chaudhuri:2018:SIA, 716(z)1--3
Chaudhuri:2019:FMT, 781(z)24--38
Chauhan, Himanshu, 688(z)24--48
Chauhan, Himanshu, see Natarajan, Aravind
Chaves, Madalena, 599(z)47--63
Chaves:2015:ACU, 599(z)47--63
cheapest, 613(z)51--64
cheaters, 675(z)43--55
Chebyshev, 795(z)119--127
Chechik, Shiri, 566(z)12--25, 580(z)94--100
Chechik, Shiri, see Braunschvig, Gilad
Chechik:2015:FTC, 566(z)12--25
checkability, 709(z)48--63
checking, 576(z)1--17, 594(z)24--43, 599(z)4--33, 609(z)544--560, 612(z)45--62, 623(z)103--113, 637(z)1--29, 649(z)1--24, 738(z)ii--ii, 756(z)1--18, 764(z)125--144, 774(z)65--81, 774(z)82--94
checking, model-, 735(z)2--23
chemical, 632(z)21--42, 765(z)3--46, 765(z)47--66, 765(z)67--96, 777(z)431--442
Chen, Chiuyuan, 700(z)23--36
Chen, Chiuyuan, see Lo, Shih-Ming
Chen, Danny Z., 592(z)135--142, 607(z)126--134
Chen, Danyang, 734(z)3--14
Chen, Danyang, see Chen, Zihe
Chen, Gaolin, 796(z)147--153
Chen, Gaolin, see Lian, Guanqin
Chen, Guanrong, 767(z)16--25
Chen, Guanrong, see Xiao, Yuzhi
Chen, Guihai, 607(z)363--380, 749(z)66--79, 788(z)39--52
Chen, Guihai, see Gao, Xiaofeng, see Huang, Jiapeng
Chen, Haibin, 607(z)471--479
Chen, Haibin, see Song, Liang
Chen, Haiming, 682(z)57--66
Chen, Jian-Jia, 595(z)46--64
Chen, Jianer, 562(z)496--512, 573(z)63--70, 595(z)82--91, 607(z)125, 657(z)11--19, 657(z)20--27, 670(z)33--44, 774(z)113--123, 776(z)117--124, 786(z)67--77, 790(z)152--166
Chen, Jianer, see Li, Wenjun, \see{Lin, Mugang, see Liu, Yunlong, \see{Wang, Jianxin, see Wu, Guangwei, \see{Xu, Chao
Chen, Jie, 755(z)65--80, 795(z)20--35
Chen, Jie, see Zeng, Ming, \see{Zhang, Kai
Chen, Jiehua, 589(z)99--120, 717(z)26--36
Chen, Jiehua, see Bredereck, Robert, see Bulteau, Laurent
Chen, Jin, 616(z)100--110, 780(z)66--73
Chen, Jin, see Lü, Xiao-Tao
Chen, Jing, 777(z)155--183
Chen, Jr-Chang, 644(z)63--75
Chen, Jr-Chang, see Hsueh, Chu-Hsuan
Chen, Ke, 586(z)12--25
Chen, Kun-Tze, 609(z)296--305
Chen, Lanxiang, 609(z)421--433
Chen, Lanxiang, see Zhou, Shuming
Chen, Lichao, 677(z)1--11
Chen, Lichao, see Li, Jing
Chen, Lin, 607(z)446--454, 695(z)74--82, 754(z)107--121
Chen, Lin, see Abed, Fidaa, see Zhang, Shurong
Chen, Mi, 582(z)48--59
Chen, Mi, see Song, Sulin
Chen, Po-An, 721(z)16--26
Chen, Po-An, see Cheng, Chu-Han
Chen, Qinyang, 786(z)88--95
Chen, Qinyang, see Han, Xin
Chen, Rongmao, 714(z)15--26
Chen, Rongmao, see Lai, Jianchang
Chen, Ruiwen, 654(z)2--10
Chen, Shang, 652(z)47--63
Chen, Shang, see Bell, Paul C.
Chen, Sheng, 778(z)1--18
Chen, Sheng, see Zhao, Xiao
Chen, Taolue, 727(z)24--36
Chen, Tiantian, 694(z)1--9
Chen, Tiantian, see Li, Weian
Chen, Tzu-Chun, 669(z)33--58
Chen, Tzu-Chun, see Bocchi, Laura
Chen, Wei, 786(z)78--87
Chen, Wenbin, 609(z)434--442, 634(z)47--54
Chen, Xiaofeng, 562(z)112--121
Chen, Xie-Bin, 609(z)494--499
Chen, Xin, 670(z)79--85
Chen, Xin, see Lan, Yan
Chen, Xu, 623(z)146--159
Chen, Xujin, 609(z)526--543
Chen, Yangjun, 647(z)1--21, 726(z)5--29
Chen, Youjun, 583(z)67--77, 622(z)45--65
Chen, Yu, 739(z)13--38
Chen, Zhi-Zhong, 734(z)131--141, 786(z)32--43
Chen, Zhi-Zhong, see Yuasa, Shota
Chen, Zhibin, 607(z)181--192
Chen, Zhibin, see Li, Weidong
Chen, Zihe, 734(z)3--14
Chen:2015:ACS, 607(z)446--454
Chen:2015:CMM, 607(z)126--134
Chen:2015:EAO, 592(z)135--142
Chen:2015:EAS, 562(z)112--121
Chen:2015:FA, 607(z)125
Chen:2015:NCC, 586(z)12--25
Chen:2015:ODP, 595(z)46--64
Chen:2015:PAA, 562(z)496--512
Chen:2015:PSI, 583(z)67--77
Chen:2016:AMC, 609(z)526--543
Chen:2016:CBS, 654(z)2--10
Chen:2016:CV, 623(z)146--159
Chen:2016:EAO, 609(z)296--305
Chen:2016:EME, 647(z)1--21
Chen:2016:LBL, 634(z)47--54
Chen:2016:PDP, 609(z)494--499
Chen:2016:SCM, 609(z)434--442
Chen:2016:TSS, 622(z)45--65
Chen:2017:DVR, 670(z)33--44
Chen:2017:TLG, 682(z)57--66
Chen:2018:AAS, 734(z)131--141
Chen:2018:NGA, 734(z)3--14
Chen:2018:PTA, 727(z)24--36
Chen:2018:RLF, 739(z)13--38
Chen:2018:SMM, 726(z)5--29
Chen:2019:ACG, 780(z)66--73
Chen:2019:ASE, 777(z)155--183
Chen:2019:CSC, 786(z)78--87
Chen:2019:KPC, 790(z)152--166
Cheney, Nick, 633(z)19--27
Cheney:2016:TEE, 633(z)19--27
Cheng, Baolei, 766(z)16--29
Cheng, Baolei, see Li, Xiaoyan
Cheng, Chu-Han, 721(z)16--26
Cheng, Dongqin, 795(z)219--224
Cheng, Eddie, 576(z)30--44, 615(z)91--101, 713(z)11--20, 731(z)50--67, 755(z)38--47, 757(z)56--67, 759(z)61--71, 791(z)132--140, 799(z)94--103
Cheng, Eddie, see Gu, Mei-Mei, see He, Shengjie, \see{Mao, Yaping, see Melekian, Christopher, see Wang, Zhao
Cheng, Jie, 657(z)48--53
Cheng, Maggie X., 660(z)86--101
Cheng, Qi, 728(z)1--8
Cheng, Siu-Wing, 588(z)24--36
Cheng, Siu-Wing, see Higashikawa, Yuya
Cheng, Siyao, 607(z)381--390
Cheng, Siyao, see He, Zaobo
Cheng, T. C. E., 580(z)36--49, 583(z)57--66
Cheng, T. C. E., see Ji, Min, see Li, Shisheng
Cheng, Yu-Huei, 795(z)115--118
Cheng, Yu-Huei, see Kuo, Che-Nan
Cheng, Yuan, 608(z)108--118
Cheng, Yuan, see Paun, Mihaela
Cheng:2015:MPC, 576(z)30--44
Cheng:2016:SMP, 615(z)91--101
Cheng:2017:IAI, 657(z)48--53
Cheng:2017:NCA, 660(z)86--101
Cheng:2018:BCM, 721(z)16--26
Cheng:2018:CEF, 728(z)1--8
Cheng:2019:GAD, 757(z)56--67
Cheng:2019:VDP, 795(z)219--224
Chern--Schwartz--MacPherson, 681(z)54--74
Cherry, Elizabeth M., 599(z)34--46
Cherry, Elizabeth M., see Islam, Md. Ariful
cherry-picking, 714(z)36--50
chess, 644(z)63--75, 644(z)76--91
Chessa, Stefano, 764(z)100--124
Chessa, Stefano, see Bodei, Chiara
Chia, Ma-Lian, 609(z)262--271
Chia, Ma-Lian, see Chang, Fei-Huang
Chiarelli, Nina, 705(z)75--83, 795(z)128--141
Chiarelli:2018:MCT, 705(z)75--83
Chiarelli:2019:NAW, 795(z)128--141
Chiarugi, D., 641(z)25--42
Chiarugi, D., see Olarte, C.
Chiesa, Alessandro, 600(z)107--131
Chiesa, Marco, 600(z)143--154
Chiesa:2015:CCT, 600(z)143--154
Chiesa:2015:SAN, 600(z)107--131
Chin, Francis Y. L., 607(z)35--48
Chin:2015:CAU, 607(z)35--48
Chinese, 598(z)15--22, 644(z)63--75
Chistikov, Dmitry, 735(z)147--161
Chistikov:2018:CFC, 735(z)147--161
Chitturi, Bhadrachalam, 602(z)22--31, 766(z)30--37
Chitturi:2015:TUB, 602(z)22--31
Chitturi:2019:SPT, 766(z)30--37
Chiu, Hsien-Tai, 609(z)296--305
Chiu, Hsien-Tai, see Chen, Kun-Tze
Chiu, Man-Kwun, 675(z)43--55
Chiu, Man-Kwun, see Baffier, Jean-François
Chlebíková, Janka, 676(z)42--51
Chlebikova:2017:FPF, 676(z)42--51
Chlebus, Bogdan S., 584(z)155--176, 615(z)23--44
Chlebus, Bogdan S., see Anantharamu, Lakshmi
Chlebus:2016:SWM, 615(z)23--44
Cho, Da-Jung, 575(z)90--101, 610(z)2--12, 682(z)67--78, 696(z)52--64, 701(z)70--84, 793(z)152--168, 798(z)40--51
Cho, Hwan-Gue, 718(z)14--23
Cho, Hwan-Gue, see Bae, Sang Won
Cho, Hyun Sook, 662(z)48--58
Cho, Hyun Sook, see Hwang, Jung Yeon
Cho, Sukhyeun, 710(z)35--43
Cho:2015:ANO, 575(z)90--101
Cho:2016:SCI, 610(z)2--12
Cho:2017:OGI, 701(z)70--84
Cho:2017:PGO, 696(z)52--64
Cho:2017:SCP, 682(z)67--78
Cho:2018:TAB, 710(z)35--43
Cho:2019:BDD, 793(z)152--168
Cho:2019:SDI, 798(z)40--51
Chodoriwsky, Jacob, 592(z)1--8
Chodoriwsky:2015:AAG, 592(z)1--8
Choffrut, Ch, 737(z)19--39
Choffrut, Christian, 658(z)85--96, 664(z)78--90, 777(z)111--120
Choffrut, Christian, see Blanchette, Benjamin
Choffrut:2017:HOR, 664(z)78--90
Choffrut:2017:SWD, 658(z)85--96
Choffrut:2018:TET, 737(z)19--39
Choi, Daeseon, 662(z)48--58
Choi, Daeseon, see Hwang, Jung Yeon
Choi, Jihoon, 791(z)1--9
Choi, Jihoon, see Jo, Changseong
Choi, Seung Geol, 667(z)51--92
Choi, Seung Geol, see Lee, Kwangsu
choice, multiple-, 654(z)164--174
cholesterol, 608(z)98--107
choosability, 661(z)1--7
choosing, 783(z)53--70
chop, 682(z)122--137
Chopin, Morgan, 676(z)42--51
Chopin, Morgan, see Chlebíková, Janka
Chord, 756(z)64--93
chordal, 576(z)85--101, 600(z)59--69, 618(z)122--134, 704(z)1--17, 745(z)63--74, 764(z)2--14, 783(z)41--52, 791(z)1--9
chordality, 630(z)63--75
chores, 593(z)51--61
Choromanska, Anna, 620(z)91--104
Choromanska:2016:DPL, 620(z)91--104
Choromanski, Krzysztof, 620(z)91--104
Choromanski, Krzysztof, see Choromanska, Anna
chosen, 609(z)253--261
chosen-key, 562(z)57--74
Chow, Sherman S. M., 572(z)25--49, 595(z)143--158
Chow, Sherman S. M., see Wang, Yujue, see Zhang, Zongyang
Chowdhury, Rezaul A., 743(z)110--129
Chowdhury, Rezaul A., see Bender, Michael A.
Christ, Marie G., 596(z)79--91
Christ:2015:OMC, 596(z)79--91
Christiansen, Tilde My, 746(z)112--123
Christiansen, Tilde My, see Bang-Jensen, J{\o}rgen
Christodoulakis, Manolis, 600(z)34--48, 710(z)116--125
Christodoulakis, Manolis, see Iakovidou, Nantia D.
Christodoulakis:2015:ISP, 600(z)34--48
Christoffel, 658(z)122--147, 743(z)38--52
Chrobak, Marek, 776(z)95--113
Chrobak, Marek, see Böhm, Martin
Chromar, 765(z)97--119
chromatic, 795(z)50--56, 795(z)520--539
chromatin, 792(z)117--130
Chronnectomics, 710(z)116--125
Chun, Jinhee, 745(z)23--35
Chun, Jinhee, see Bae, Sang Won
chunks, 575(z)3--9
Church--Rosser, 589(z)141--146, 702(z)34--47
CIAA, 578(z)1, 787(z)1--1
Ciabattoni, Agata, 603(z)43--57
Ciabattoni, Agata, see Baldi, Paolo
Ciaffaglione, Alberto, 606(z)57--78
Ciaffaglione:2015:MTE, 606(z)57--78
Cicalese, Ferdinando, 586(z)40--58, 591(z)60--71, 647(z)22--32, 743(z)23--37
Cicalese:2015:CVC, 591(z)60--71
Cicalese:2015:SIW, 586(z)40--58
Cicalese:2016:TSP, 647(z)22--32
Cicalese:2018:BFN, 743(z)23--37
Cicerone, Serafino, 779(z)17--36
Cicerone:2019:AAD, 779(z)17--36
Cienciala, Ludek, 724(z)61--68
Cienciala, Ludek, see Ciencialová, Lucie
Ciencialová, Lucie, 724(z)61--68
Ciencialova:2018:GCP, 724(z)61--68
ciliates, 608(z)27--35
Cintula, Petr, 768(z)54--75
Cintula:2019:SHT, 768(z)54--75
Ciobanu, Gabriel, 598(z)87--101, 623(z)92--102, 701(z)85--108
Ciobanu, Gabriel, see Aman, Bogdan
Ciobanu:2017:DSM, 701(z)85--108
ciphertext, 609(z)49--59, 609(z)253--261, 668(z)1--26, 723(z)51--72
circle, 605(z)146--163, 709(z)20--30, 774(z)133--142, 776(z)75--94
circuit, 584(z)144--154, 590(z)17--26, 598(z)150--156, 599(z)4--33, 610(z)24--36, 618(z)85--106, 633(z)28--36, 654(z)2--10, 703(z)18--36, 719(z)46--63, 733(z)83--98, 799(z)124--139
circular, 607(z)126--134, 639(z)1--13, 639(z)26--41, 658(z)148--158, 661(z)8--17, 726(z)1--4, 790(z)131--137, 792(z)144--153
circular-arc, 591(z)99--105, 640(z)70--83
circulatory, 608(z)98--107
circumference, 659(z)83--87, 772(z)123--131
Ciriani, Valentina, 595(z)11--33
Ciriani, Valentina, see Bernasconi, Anna
Clampitt, David, 743(z)38--52
Clampitt, David, see Carey, Norman
Clark, Alexander, 650(z)1--3
Clark, Alexander, see Auer, Peter
Clarke, N. E., 794(z)59--68
Clarke, N. E., see Bonato, A.
class, 412(39)5409--5419, 562(z)634--642, 566(z)50--58, 574(z)1--17, 575(z)42--55, 585(z)115--135, 588(z)114--130, 589(z)24--33, 605(z)146--163, 613(z)38--50, 618(z)135--141, 645(z)128--146, 650(z)25--44, 652(z)38--46, 652(z)86--101, 654(z)164--174, 658(z)74--84, 658(z)190--204, 668(z)59--69, 674(z)43--52, 681(z)54--74, 691(z)81--106, 692(z)46--71, 694(z)21--33, 702(z)34--47, 716(z)124--140, 718(z)46--57, 724(z)35--44, 737(z)81--90, 742(z)3--26, 772(z)111--122, 778(z)47--60, 780(z)74--83, 786(z)44--54, 791(z)62--75
classic, 586(z)135--160, 654(z)175--187
classic-like, 603(z)84--110
classical, 573(z)71--89, 597(z)1--17, 606(z)79--97, 625(z)125--146, 666(z)48--64, 763(z)12--37
classification, 738(z)53--64, 788(z)39--52
clauses, 729(z)42--56, 777(z)329--337
claw-free, 754(z)3--15
cleaner, 608(z)178--189
cleaning, 605(z)80--94
Cleaveland, Rance, 765(z)158--169
Cleaveland, Rance, see Islam, Md. Ariful
Clementi, Andrea, 584(z)19--41
Clementi:2015:DCD, 584(z)19--41
Clifford, 745(z)150--162, 784(z)1--10
clique, 576(z)18--29, 608(z)268--281, 609(z)245--252, 613(z)28--37, 618(z)122--134, 734(z)119--130, 770(z)25--33, 770(z)79--87, 791(z)1--9
clique, Edge-, 607(z)68--74
clique-colouring, 618(z)122--134
clique-decomposition, 690(z)114--139
clique-hypergraphs, 592(z)166--175
clique-width, 589(z)87--98, 782(z)30--53
clones, 687(z)11--39, 796(z)237--271
close, 588(z)131--137, 705(z)99--112
closed, 594(z)143--150, 669(z)22--32, 691(z)1--9, 792(z)12--19
closest, 600(z)11--18, 782(z)129--144, 786(z)32--43
closure, 578(z)58--71, 586(z)161--175, 594(z)82--105, 605(z)62--79, 610(z)91--107, 627(z)54--70, 658(z)327--345, 658(z)346--356, 740(z)76--84, 743(z)83--92, 768(z)1--42, 798(z)65--77
closure-involution, 777(z)192--203
cloud, 800(z)42--51
cloud-based, 657(z)48--53
clubs, 734(z)15--23, 777(z)243--251
clues, 748(z)28--39
cluster, 600(z)59--69, 600(z)70--85, 697(z)37--57
clustered, 609(z)306--315, 793(z)113--131
clustered-level, 571(z)1--9
clustering, 600(z)171--173, 609(z)583--593, 626(z)110--133, 639(z)60--71, 657(z)137--145, 698(z)79--87, 717(z)37--46, 742(z)1--2
CNF, 762(z)51--73, 774(z)113--123
co-comparability, 570(z)15--21, 704(z)1--17
co-optimization, 567(z)46--73
coalgebraic, 604(z)81--101, 604(z)102--126, 744(z)113--142
coalgebraic, Algebraic-, 604(z)63--80
coalgebraically, 604(z)46--62
coalitional, 616(z)111--125
coating, 671(z)56--68
coboundaries, 777(z)93--110
Cochefert, Manfred, 676(z)33--41
Cochefert, Manfred, see Chapelle, Mathieu
COCOA, 788(z)1--1
code, 562(z)304--319, 577(z)74--97, 592(z)87--96, 608(z)84--97, 635(z)85--93, 658(z)4--17, 664(z)117--130, 668(z)70--94, 671(z)19--25, 714(z)74--95, 717(z)73--85, 748(z)40--54, 759(z)98--132, 767(z)83--102, 773(z)27--42
coding, 592(z)23--38, 616(z)59--69, 633(z)37--53
coding-based, 782(z)129--144
codomains, 605(z)42--50
Coecke, Bob, 752(z)104--115
Coecke:2018:GRL, 752(z)104--115
Coelho, Erika M. M., 600(z)49--58
Coelho:2015:IRG, 600(z)49--58
Coënt, Adrien, Le, 750(z)53--68
CoFI, 741(z)32--43
cognition, 752(z)104--115
cognitive, 633(z)83--99
Cograph, 713(z)1--10
cographs, 740(z)76--84, 782(z)11--29
Cohen, Johanne, 782(z)54--78
Cohen, Nathann, 566(z)59--75, 640(z)1--19, 690(z)114--139, 725(z)1--15
Cohen, Nathann, see Araujo, Julio, see Bang-Jensen, J.
Cohen:2017:ACD, 690(z)114--139
Cohen:2018:SGG, 725(z)1--15
Cohen:2019:FPS, 782(z)54--78
coherence, 672(z)1--35
coiling, 734(z)3--14
coin, 793(z)36--43
coincide, 791(z)109--111
Cojocaru, Svetlana, 701(z)12--19
Cojocaru, Svetlana, see Alhazov, Artiom
Colbourn, Charles J., 800(z)31--41
Colbourn:2019:DHF, 800(z)31--41
coli, 599(z)47--63
collaboration, 701(z)226--234
Collatz, 412(39)5409--5419, 618(z)135--141
collection, 700(z)23--36
collections, 678(z)22--39, 772(z)58--72
Collective, 797(z)17--41
colliding, near-, 681(z)27--40
colony, 561(z)73--85, 724(z)35--44, 724(z)61--68
color, 609(z)143--161, 647(z)74--84, 725(z)16--30, 758(z)30--41
color-spanning, 609(z)561--568, 634(z)120--126, 786(z)26--31
colorable, 772(z)111--122, 796(z)196--206
colored, 621(z)92--102, 658(z)60--73, 710(z)66--73, 729(z)1--10
colored, edge-, 602(z)89--102, 799(z)104--114
colorful, 739(z)1--12
coloring, 557(z)59--65, 566(z)39--49, 580(z)50--58, 592(z)166--175, 593(z)42--50, 609(z)162--170, 640(z)125--129, 651(z)87--88, 659(z)88--94, 665(z)40--50, 700(z)23--36, 707(z)69--76, 708(z)96--100, 711(z)66--78, 729(z)11--19, 739(z)59--64, 739(z)65--79, 745(z)36--52, 754(z)16--34, 758(z)30--41, 772(z)132--142, 778(z)1--18, 788(z)66--78, 796(z)187--195
coloring, multi-, 596(z)79--91
coloring, two-, 674(z)116--118
colorings, list-, 782(z)11--29
colorless, 683(z)1--21
coloured, 596(z)12--22
colouring, 610(z)204--217, 639(z)1--13, 795(z)312--325, 842(z)133--135
colouring, clique-, 618(z)122--134
Colton, Martin, Farach-, 638(z)1--2
Colucci, Lucas, 775(z)16--25
Colucci:2019:TPC, 775(z)16--25
Columbus, Tobias, 645(z)112--127
Columbus, Tobias, see Bauer, Reinhard
Colussi, 618(z)135--141
Colussi, Livio, 412(39)5409--5419
Colussi:2011:CCC, 412(39)5409--5419, 618(z)135--141
Colvin, Robert J., 623(z)15--64
Colvin:2016:MAN, 623(z)15--64
combination, 654(z)175--187, 682(z)165--179
Combinatori, 609(z)515
combinatorial, 565(z)102--112, 569(z)1--12, 571(z)21--35, 589(z)99--120, 592(z)72--86, 592(z)87--96, 609(z)306--315, 678(z)40--55, 780(z)1--11, 788(z)1--1, 792(z)117--130, 796(z)70--89
combinatorics, 562(z)330--345, 598(z)138--149, 609(z)469--493, 654(z)1, 682(z)2--4, 684(z)1--2, 710(z)1--1, 727(z)37--100
combinatory, 663(z)34--58
combined, 800(z)15--30
come, 635(z)35--50
Comellas, Francesc, 609(z)443--455
Comellas, Francesc, see Zhang, Zhongzhi
Comer, 791(z)127--131
Comet, J.-P., 765(z)145--157
Comet, J.-P., see Bernot, G.
Comin, Matteo, 698(z)88--99
Comin, Matteo, see Girotto, Samuele
comma-free, 658(z)4--17
Command-based, 649(z)1--24
comment, 412(39)5409--5419, 618(z)135--141
commitment, 593(z)1--15, 755(z)29--37
committees, 783(z)53--70
common, 562(z)377--394, 570(z)30--39, 582(z)70--73, 590(z)2--16, 638(z)98--107, 656(z)188--214, 681(z)176--198, 687(z)79--92, 697(z)69--78, 708(z)75--90, 710(z)29--34, 793(z)132--139, 796(z)272--285
communicating, 656(z)60--75, 701(z)146--160, 705(z)113--117
communication, 561(z)122--133, 584(z)1--2, 608(z)199--200, 610(z)133--134, 636(z)17--26, 643(z)1--37, 654(z)33--44, 711(z)105--108, 714(z)15--26, 771(z)9--22, 782(z)1--10, 795(z)194--203
communicationless, 795(z)81--99
communications, 764(z)100--124
community, 584(z)19--41, 613(z)94--114, 742(z)1--2, 769(z)32--42
commutative, 562(z)304--319, 562(z)476--495, 570(z)70--101, 572(z)1--24, 660(z)57--74, 703(z)76--86, 735(z)147--161, 740(z)1--27
commutativity, 627(z)71--81
compact, 656(z)180--187, 709(z)2--19
compacting, 723(z)51--72
comparability, co-, 570(z)15--21, 704(z)1--17
comparative, 786(z)78--87
compare, 698(z)100--112
comparing, 760(z)15--34, 765(z)47--66, 796(z)272--285
comparison, 582(z)48--59, 618(z)21--29, 674(z)43--52, 694(z)21--33, 704(z)28--41, 725(z)52--63
compartment, two-, 608(z)98--107
compatibility, 524(z)34--40, 583(z)57--66, 602(z)158--159, 613(z)79--93, 700(z)37--44
competitive, 562(z)23--32, 593(z)139--145, 607(z)35--48, 607(z)446--454, 620(z)4--14, 626(z)110--133, 655(z)15--29, 675(z)27--42, 694(z)1--9
competitive, Query-, 613(z)51--64
compiler, 749(z)2--16
complement, 594(z)44--64
complementary, 786(z)55--66
complete, 569(z)24--42, 609(z)639--657, 625(z)1--24, 641(z)11--24, 681(z)54--74, 701(z)85--108, 775(z)1--15, 775(z)16--25, 786(z)78--87
complete, NP-, 659(z)88--94
complete, PSPACE-, 586(z)120--134, 613(z)115--125, 655(z)78--89, 677(z)31--40
complete, PTime-, 711(z)109--114
completely, 652(z)28--37, 784(z)65--74
completeness, 603(z)43--57, 612(z)23--28, 631(z)73--96, 682(z)100--121, 727(z)37--100
completeness, NP-, 674(z)116--118, 715(z)1--20
completeness, PSPACE-, 609(z)118--128
completion, 583(z)67--77, 617(z)65--68, 622(z)45--65, 702(z)65--76, 715(z)1--20, 795(z)420--431
complex, 564(z)89--106, 591(z)85--98, 592(z)1--8, 595(z)65--81, 617(z)28--44, 633(z)71--82, 681(z)138--145
Complex-demand, 761(z)34--50
complexity-theoretic, 777(z)464--473
component, 587(z)104--124, 624(z)25--40, 624(z)136--146, 640(z)115--118, 712(z)50--72, 739(z)1--12, 766(z)38--45, 777(z)338--355
componentwise, 681(z)199--216, 732(z)26--45, 817(z)80--80
composable, 654(z)188--198
composition, 657(z)163--172, 674(z)43--52, 711(z)36--43, 784(z)81--98
compositional, 741(z)44--47, 750(z)53--68, 777(z)204--231
compositionality, 563(z)99--143, 603(z)84--110
compound, 715(z)71--85
Comprehensive, 598(z)64--86
compressed, 578(z)30--41, 609(z)129--142, 638(z)52--62, 638(z)159--170, 656(z)215--224, 713(z)66--77, 734(z)119--130, 762(z)41--50
compressibility, 675(z)89--100
compression, 592(z)115--134, 620(z)73--90
compressors, 710(z)19--28
compromises, 589(z)121--140
Comput, 562(z)660--661, 602(z)158--159, 648(z)116, 651(z)87--88, 653(z)108--110, 683(z)31--32, 687(z)93--94, 704(z)92--93, 705(z)118--121, 770(z)101--101, 806(z)632--640, 806(z)689--689, 817(z)80--80, 842(z)133--135
computability, 583(z)27--39, 716(z)28--49
computable, 585(z)3--24, 674(z)73--98, 793(z)1--13
computation, 561(z)1--2, 561(z)88--95, 561(z)113--121, 562(z)129--145, 581(z)45--66, 586(z)59--80, 588(z)1, 590(z)1, 599(z)47--63, 600(z)107--131, 603(z)1--2, 604(z)30--45, 609(z)639--657, 612(z)45--62, 619(z)32--67, 632(z)43--73, 651(z)11--36, 656(z)160--172, 656(z)241--248, 656(z)256--264, 657(z)3--10, 661(z)8--17, 664(z)91--116, 669(z)1--21, 681(z)3--26, 681(z)117--137, 681(z)176--198, 751(z)2--23, 768(z)76--90, 769(z)43--62, 773(z)79--106, 777(z)132--154, 777(z)474--489, 789(z)1--1, 792(z)62--68, 795(z)81--99, 798(z)2--22, 800(z)173--178
computational, 567(z)74--86, 599(z)2--3, 600(z)143--154, 609(z)104--117, 613(z)94--114, 626(z)67--82, 641(z)43--52, 664(z)131--143, 668(z)1--26, 671(z)2--3, 682(z)100--121, 701(z)203--215, 724(z)3--12, 773(z)71--78, 775(z)53--67, 777(z)443--453, 795(z)570--597
computationally, 586(z)135--160
compute, 624(z)73--88, 681(z)54--74, 755(z)89--109, 782(z)145--156
computer, 587(z)1--2, 608(z)2--3, 624(z)1, 632(z)4--20, 644(z)1, 651(z)11--36, 752(z)1--4, 752(z)71--85
computing, 561(z)87, 562(z)122--128, 567(z)1, 573(z)54--62, 590(z)73--85, 595(z)65--81, 596(z)41--54, 598(z)2--14, 598(z)150--156, 607(z)411--425, 609(z)245--252, 609(z)500--510, 609(z)515, 615(z)61--70, 615(z)120--125, 618(z)42--51, 622(z)34--44, 623(z)146--159, 633(z)54--70, 635(z)74--84, 636(z)17--26, 638(z)112--121, 640(z)41--51, 649(z)25--53, 654(z)1, 660(z)16--22, 662(z)31--39, 681(z)217--231, 683(z)1--21, 690(z)114--139, 701(z)2--7, 704(z)42--61, 708(z)46--57, 709(z)1--1, 718(z)2--13, 727(z)24--36, 733(z)44--54, 736(z)62--75, 743(z)93--109, 744(z)1--2, 745(z)53--62, 777(z)443--453, 785(z)17--29, 789(z)2--12, 789(z)13--21, 791(z)48--61, 791(z)127--131, 795(z)520--539, 797(z)42--76
concatenating, 743(z)1--11
Concatenation-free, 679(z)83--94
concave, 690(z)73--90, 702(z)48--59, 703(z)55--65, 786(z)88--95
Concentration, 667(z)1--15
concepts, 657(z)98--110
concerning, 649(z)25--53, 791(z)112--115
concurrent, 562(z)194--212, 606(z)98--120, 619(z)1--31, 683(z)1--21, 685(z)46--64, 693(z)35--58
condition, 563(z)86--98, 566(z)50--58, 608(z)66--83, 681(z)199--216, 686(z)25--77, 701(z)109--119, 715(z)21--34, 749(z)17--25, 750(z)101--116, 774(z)44--50, 785(z)140--149
conditional, 562(z)565--580, 576(z)30--44, 603(z)111--131, 609(z)421--433, 618(z)21--29, 626(z)144--162, 627(z)36--53, 627(z)82--89, 652(z)18--27, 657(z)163--172, 672(z)1--35, 674(z)43--52, 674(z)53--59, 697(z)79--90, 704(z)62--73, 728(z)1--8, 755(z)81--88, 757(z)44--55, 757(z)56--67, 761(z)1--6, 766(z)16--29, 790(z)66--79, 793(z)181--192, 797(z)77--101
Condotta, Jean-François, 797(z)17--41, see Sioutis, Michael
Cone, James, 764(z)145--172
Cone, James, see Giannini, Paola
Conference, 609(z)515, 620(z)1--3, 654(z)1, 788(z)1--1, 789(z)1--1
confidence, 644(z)92--105
configuration, 773(z)1--26, 785(z)17--29
confirmer, 618(z)1--20
conflict, 608(z)166--177, 774(z)103--112
conflict-free, 566(z)39--49, 745(z)36--52
Conflitti, Alessandro, 592(z)87--96
Conflitti:2015:GCL, 592(z)87--96
confluence, Lambda-, 578(z)88--99
confluent, almost-, 589(z)141--146
conformance, 594(z)24--43
Congest, Vertex-, 751(z)74--90
CONGESTBC, 757(z)1--10
Congested, 608(z)268--281
congestion, 754(z)65--87, 764(z)61--79
congruential, 589(z)141--146, 647(z)85--100
conically, 785(z)30--45
conjecture, 562(z)243--251, 595(z)168--171, 719(z)86--93, 777(z)379--386, 791(z)112--115, 800(z)15--30
conjugacy, 635(z)85--93, 668(z)59--69, 731(z)88--98
conjunction, 622(z)34--44, 658(z)375--390
conjunctive, 618(z)52--71, 618(z)72--84, 665(z)13--39
connected, 429(1)144--154, 562(z)660--661, 571(z)58--66, 584(z)131--143, 586(z)59--80, 593(z)51--61, 593(z)62--69, 607(z)49--59, 607(z)480--487, 609(z)627--638, 630(z)63--75, 636(z)47--55, 653(z)97--107, 667(z)93--100, 671(z)4--18, 676(z)33--41, 705(z)75--83, 736(z)25--40, 749(z)59--65, 764(z)2--14, 793(z)140--151, 794(z)85--100
connected, cube-, 767(z)34--50
connectedness, 799(z)94--103
connectedness, Menger-edge-, 731(z)50--67
connectedness, Menger-vertex-, 731(z)50--67
Connecting, 775(z)26--31
connection, 607(z)480--487, 609(z)336--343, 644(z)2--28, 651(z)76--86, 774(z)44--50
connectivity, 565(z)1--15, 570(z)1--14, 584(z)103--114, 590(z)55--72, 591(z)60--71, 593(z)146--153, 610(z)192--203, 615(z)78--90, 618(z)21--29, 627(z)36--53, 634(z)97--107, 640(z)115--118, 645(z)91--99, 653(z)79--86, 660(z)86--101, 671(z)36--55, 690(z)59--72, 696(z)65--68, 698(z)40--66, 705(z)75--83, 705(z)118--121, 707(z)56--68, 713(z)42--55, 728(z)1--8, 766(z)16--29, 766(z)38--45, 772(z)123--131, 782(z)30--53, 784(z)21--45, 789(z)50--63, 793(z)181--192, 796(z)169--179, 798(z)2--22, 799(z)22--31
connectivity, edge-, 615(z)71--77, 662(z)31--39, 707(z)56--68, 758(z)9--16
connectivity-preserving, 738(z)25--41
Connolly, Robert, 576(z)30--44
Connolly, Robert, see Cheng, Eddie
Conradie, Willem, 564(z)30--62
Conradie:2015:ACI, 564(z)30--62
consecutive, 607(z)208--220, 638(z)108--111
consensual, 664(z)91--116
consensus, 584(z)80--90, 710(z)126--138, 715(z)86--96, 726(z)41--77, 769(z)1--17
consequence, 602(z)32--38
conservation, 598(z)23--39, 701(z)27--39
conservative, 658(z)375--390
consideration, 773(z)1--26
considered, fuel-, 607(z)471--479
consist, 594(z)143--150
consistency, 626(z)13--39, 630(z)95--116, 797(z)17--41
consistency, arc-, 707(z)77--81
consistent, 562(z)346--364, 640(z)84--93, 647(z)43--49, 656(z)225--233
Conspiracy, 644(z)127--142
constant, 610(z)169--181, 621(z)57--72, 630(z)26--42, 640(z)20--40, 657(z)111--126, 757(z)1--10, 761(z)78--88
constant, non-, 583(z)86--97
constant-size, 609(z)49--59
constant-sized, 609(z)569--582
constant-time, 751(z)2--23, 770(z)51--61
constrained, 590(z)86--95, 590(z)118--128, 593(z)42--50, 607(z)181--192, 607(z)320--336, 659(z)64--71, 667(z)51--92, 692(z)72--89, 701(z)20--26, 732(z)60--72, 746(z)112--123, 785(z)30--45
constrained, Budget-, 721(z)16--26
constrained, Degree-, 776(z)64--74
constrained, size-, 609(z)434--442
constrained, time-, 594(z)24--43
constraint, 562(z)581--589, 565(z)1--15, 572(z)58--65, 576(z)1--17, 576(z)61--76, 584(z)53--66, 586(z)40--58, 600(z)174--179, 606(z)98--120, 609(z)1--21, 609(z)516--525, 638(z)108--111, 640(z)119--124, 650(z)4--24, 657(z)98--110, 677(z)56--68, 695(z)16--27, 695(z)74--82, 703(z)18--36, 707(z)77--81, 712(z)1--37, 717(z)37--46, 743(z)93--109, 744(z)56--77, 747(z)48--74, 760(z)72--87, 762(z)51--73, 780(z)54--65, 786(z)13--25, 788(z)53--65, 793(z)140--151, 795(z)275--284, 797(z)17--41
construct, 609(z)197--210, 682(z)138--148
constructing, 581(z)67--82, 607(z)363--380, 621(z)22--36, 652(z)28--37, 710(z)88--96, 743(z)1--11
construction, 562(z)129--145, 562(z)177--193, 569(z)58--69, 571(z)10--20, 592(z)143--165, 604(z)81--101, 607(z)391--410, 622(z)1--15, 630(z)95--116, 638(z)91--97, 656(z)180--187, 660(z)23--56, 674(z)1--15, 700(z)1--22, 719(z)21--45, 738(z)1--12, 772(z)1--45, 773(z)27--42, 775(z)32--52, 790(z)80--95, 795(z)547--569
Constructive, 764(z)80--99
consumption, 695(z)28--41, 697(z)98--109
contact, 630(z)26--42, 720(z)24--35
containing, 675(z)56--63, 799(z)71--93
Contention-sensitive, 677(z)41--55
contest, 721(z)16--26, 789(z)64--76
context, 578(z)88--99, 585(z)71--90, 588(z)52--72, 591(z)134--153, 656(z)76--105, 682(z)190--207, 719(z)73--85
context-free, 562(z)304--319, 572(z)1--24, 610(z)59--77, 613(z)1--27, 620(z)46--72, 625(z)1--24, 639(z)91--109, 676(z)92--96, 679(z)118--125, 692(z)1--24, 728(z)29--99, 735(z)147--161
Contextual, 682(z)5--21
contextuality, 752(z)56--70
continuation, 681(z)27--40
continuity, 673(z)19--29
continuous, 594(z)201--222, 617(z)12--27, 657(z)137--145, 658(z)246--262, 678(z)1--13, 691(z)10--26, 772(z)1--45
continuous-time, 756(z)1--18
Continuously, 759(z)98--132
continuum, 600(z)98--106
contour, 681(z)3--26, 701(z)174--189
contour-based, 608(z)108--118
contractibility, 676(z)1--14
contraction, 607(z)60--67, 645(z)112--127, 746(z)49--72
control, 589(z)99--120, 595(z)82--91, 623(z)160--179, 667(z)51--92, 682(z)5--21, 685(z)3--22, 706(z)22--34, 750(z)53--68, 799(z)149--159
controllability, 797(z)2--16
controlled, 745(z)75--86
controlled, graph-, 682(z)100--121
controller, 669(z)1--21
controlling, 611(z)136--141, 678(z)14--21, 777(z)387--408
convergence, 412(39)5409--5419, 598(z)102--117, 615(z)102--119, 618(z)135--141, 758(z)42--60
convergence, non-, 588(z)2--15
convergent, 645(z)128--146
conversion, 733(z)71--82, 790(z)138--151
convex, 607(z)351--362, 609(z)511--514, 624(z)136--146, 664(z)54--66, 695(z)54--73, 702(z)48--59, 718(z)14--23, 730(z)32--43, 777(z)329--337, 787(z)89--110, 791(z)76--86, 796(z)114--128
convex, prefix-, 787(z)2--13
convexity, 600(z)49--58, 607(z)83--95, 609(z)287--295, 704(z)92--93
convexity, -, 607(z)83--95
convolution-based, 624(z)2--24
cooperating, 611(z)136--141
cooperation, 701(z)226--234
cooperative, 677(z)69--82, 736(z)1--14
coordinate, 621(z)1--13
Coordinating, 570(z)40--54
coordination, 583(z)67--77
Coornaert, Michel, 600(z)19--33
Coornaert, Michel, see Ceccherini-Silberstein, Tullio
cop-moves, one-, 588(z)96--113
Copello, Ernesto, 685(z)65--82
Copello:2017:FML, 685(z)65--82
coproducts, 763(z)66--87
cops, 607(z)135--148, 645(z)48--59, 680(z)25--35, 780(z)84--102, 794(z)47--58, 794(z)59--68
Coquand, Thierry, 574(z)86--91, 777(z)184--191
Coquand, Thierry, see Bezem, Marc
Coquand:2019:CND, 777(z)184--191
Coquery, Emmanuel, 658(z)357--374
Coquery, Emmanuel, see Chardin, Brice
Cordasco, Gennaro, 586(z)40--58, 764(z)15--29
Cordasco, Gennaro, see Cicalese, Ferdinando
Cordasco:2019:AIS, 764(z)15--29
Cordova, Joshimar, 656(z)135--145
Cordova:2016:SEF, 656(z)135--145
core, 582(z)60--69, 627(z)26--35
core, least-, 609(z)500--510
Cori, R., 658(z)97--104
Cori, Robert, 635(z)51--63
Cori, Robert, see Barnabei, Marilena
Cori:2017:SB, 658(z)97--104
Cormode, Graham, 552(z)44--51, 683(z)22--30, 683(z)31--32
Cormode:2014:SLC, 552(z)44--51
Cormode:2017:CSL, 552(z)44--51, 683(z)31--32
Cormode:2017:SLC, 683(z)22--30
Cornelissen, Kamiel, 738(z)42--52
Cornelissen:2018:BPM, 738(z)42--52
corners, 791(z)76--86
Corrêa, Ricardo C., 661(z)8--17
Correa:2017:LTC, 661(z)8--17
Correas, Jesús, 585(z)91--114, see Albert, Elvira
corrected, 683(z)22--30
correction, 621(z)14--21, 705(z)118--121, 732(z)26--45, 817(z)80--80
correctness, 577(z)98--124, 688(z)103--116
Correia, Marisol B., 641(z)53--74
Correia:2016:NIN, 641(z)53--74
correlation, 609(z)583--593, 654(z)2--10
correspondence, 564(z)30--62, 601(z)15--20, 625(z)125--146
corrigendum, 411(34)3048--3054, 429(1)144--154, 524(z)34--40, 552(z)44--51, 557(z)59--65, 562(z)660--661, 602(z)158--159, 607(z)83--95, 646(z)16--25, 648(z)116, 651(z)87--88, 653(z)108--110, 657(z)64--72, 683(z)31--32, 687(z)93--94, 702(z)60--64, 704(z)92--93, 769(z)63--74, 770(z)88--94, 770(z)101--101, 795(z)312--325, 806(z)632--640, 806(z)689--689, 842(z)133--135
coset-translation, 791(z)127--131
cost, 562(z)90--100, 565(z)102--112, 580(z)28--35, 602(z)89--102, 607(z)181--192, 607(z)193--207, 607(z)221--246, 607(z)272--281, 609(z)526--543, 621(z)22--36, 622(z)16--33, 647(z)22--32, 670(z)11--22, 704(z)87--91, 712(z)50--72, 714(z)15--26, 742(z)82--97, 754(z)122--129, 774(z)51--64, 793(z)70--78, 793(z)140--151
Cost-sharing, 646(z)26--39
Costa, Areej, 742(z)66--81
Costa, Areej, see Bshouty, Nader H.
Costanza, J., 599(z)102--117
Costanza, J., see Angione, C.
Costas, 710(z)1--1
Coudert, David, 579(z)74--87, 580(z)101--121, 639(z)72--90, 690(z)114--139
Coudert, David, see Amini, Omid, see Bermond, Jean-Claude, see Cohen, Nathann
Coudert:2016:DCI, 639(z)72--90
Coulouma, Étienne, 584(z)80--90
Coulouma:2015:COM, 584(z)80--90
counter, 627(z)71--81, 664(z)91--116, 735(z)2--23, 735(z)147--161, 746(z)136--150, 799(z)71--93
counter, one-, 735(z)50--63
counting, 552(z)44--51, 573(z)16--25, 602(z)60--79, 607(z)381--390, 634(z)35--46, 638(z)3--10, 645(z)41--47, 653(z)87--96, 657(z)28--37, 658(z)27--35, 670(z)56--67, 683(z)22--30, 683(z)31--32, 694(z)21--33, 696(z)11--51, 701(z)161--173, 707(z)46--55, 719(z)21--45, 734(z)83--93, 777(z)356--378, 779(z)1--7, 780(z)20--28
Coupechoux, Pierre, 746(z)19--35, 794(z)69--84
Coupechoux, Pierre, see Beaudou, Laurent
Coupechoux:2019:FT, 794(z)69--84
Courcelle, Bruno, 619(z)32--67
Courcelle:2016:CFA, 619(z)32--67
Cournier, Alain, 626(z)40--66
Cournier:2016:EPS, 626(z)40--66
Courtault, Jean-René, 637(z)30--58
Courtault:2016:LSM, 637(z)30--58
courteous, 586(z)95--110
Couso, José Ramón, Sánchez-, 682(z)22--29
Couturier, Jean-François, 562(z)634--642
Couturier:2015:NMD, 562(z)634--642
Covanov, Svyatoslav, 790(z)41--65
Covanov:2019:IMF, 790(z)41--65
cover, 562(z)146--164, 565(z)1--15, 571(z)58--66, 607(z)68--74, 609(z)197--210, 609(z)211--225, 609(z)494--499, 610(z)135--148, 617(z)45--64, 630(z)117--125, 634(z)24--34, 647(z)101--111, 653(z)42--52, 654(z)45--58, 657(z)86--97, 659(z)95--97, 674(z)99--115, 677(z)1--11, 679(z)18--30, 714(z)27--35, 719(z)21--45, 720(z)24--35, 739(z)80--85, 769(z)63--74, 774(z)103--112, 776(z)125--137, 778(z)61--72, 783(z)1--8, 789(z)22--33, 791(z)48--61, 793(z)44--58, 793(z)59--69, 798(z)109--125, 800(z)90--106, 806(z)632--640
Cover, Subset-, 678(z)63--77
coverability, 750(z)38--52
coverage, 576(z)45--60, 579(z)64--73, 725(z)64--78, 788(z)53--65
covered, well-, 746(z)36--48
covering, 575(z)42--55, 607(z)257--270, 607(z)471--479, 609(z)104--117, 698(z)25--39, 718(z)14--23, 729(z)68--83, 734(z)119--130, 742(z)82--97, 758(z)61--72, 784(z)133--141, 790(z)152--166, 795(z)285--300, 800(z)90--106, 800(z)107--124, 800(z)146--154
covert, 643(z)1--37
Cox, D., 794(z)59--68
Cox, D., see Bonato, A.
Craft, David, 607(z)126--134
Craft, David, see Chen, Danny Z.
Crama, Yves, 793(z)169--180
Crama, Yves, see Brauner, Nadia
Crampton, Jason, 795(z)478--491
Crampton:2019:PRP, 795(z)478--491
crash-prone, 709(z)80--97
creation, 573(z)43--53, 717(z)62--72
Crescenzi, Pierluigi, 586(z)59--80
Crescenzi, Pierluigi, see Borassi, Michele
Crespelle, Christophe, 571(z)67--77, 759(z)14--49
Crespelle:2015:TIS, 571(z)67--77
Crespelle:2019:FDR, 759(z)14--49
Crick, Watson-, 701(z)125--131, 705(z)113--117, 782(z)107--112
crisis, 710(z)116--125
criterion, 565(z)102--112
critical, 636(z)56--65, 651(z)62--75, 777(z)454--463
Croce, Federico Della, 745(z)114--132
Croce, Federico Della, see Garraffa, Michele
Crochemore, 790(z)16--40
Crochemore, Maxime, 638(z)122--135, 638(z)171--178, 656(z)234--240, 656(z)241--248, 658(z)27--35, 698(z)25--39, 700(z)45--62, 710(z)1--1, 792(z)1--1
Crochemore, Maxime, see Amit, Mika, see Badkobeh, Golnaz
Crochemore:2016:DLR, 656(z)234--240
Crochemore:2016:LSS, 638(z)171--178
Crochemore:2016:OPI, 638(z)122--135
Crochemore:2017:CPP, 698(z)25--39
Crochemore:2018:AAC, 710(z)1--1
Crochemore:2019:SIH, 792(z)1--1
Cross-bifix-free, 664(z)29--38
Cross-Entropy, 724(z)69--86
crossed, 624(z)41--55, 696(z)65--68, 705(z)118--121, 755(z)81--88
crossing, 639(z)26--41, 784(z)11--20
crossing, single-, 569(z)43--57
crossing-free, 711(z)56--65
crossover, 666(z)1--11
crown, 739(z)80--85
CRT-exponent, 795(z)432--458
Cruz, César, Hernández-, 795(z)9--19
cryptanalysis, 795(z)432--458
cryptogram, 565(z)30--49
cryptographic, 800(z)3--14
cryptography, 609(z)143--161, 739(z)13--38
cryptoscheme, 654(z)113--127
cryptosystems, 704(z)74--81, 772(z)1--45
crystallization, 644(z)143--158
CSP, 756(z)19--63
CSPs, 634(z)35--46, 676(z)69--91, 715(z)21--34
Csuhaj-Varjú, Erzsébet, 701(z)146--160, see Krishna, Shankara Narayanan
cube, 572(z)83--91, 576(z)30--44, 609(z)494--499, 615(z)78--90, 626(z)144--162, 670(z)23--32, 696(z)65--68, 697(z)91--97, 705(z)118--121, 707(z)96--101, 731(z)28--35, 755(z)81--88, 767(z)1--15, 771(z)93--98, 784(z)21--45, 790(z)117--130, 795(z)213--218
cube-connected, 767(z)34--50
cubic, 588(z)114--130, 609(z)421--433, 616(z)59--69, 761(z)1--6, 790(z)66--79
Cui, Zhenhe, 635(z)85--93
Cui, Zhenhe, see He, Yong
cumulative, 617(z)12--27, 666(z)1--11
Curien, Pierre-Louis, 777(z)1--2
Curien, Pierre-Louis, see Ausiello, Giorgio
Currie, James, 609(z)456--468, 743(z)64--71, 799(z)140--148
Currie, James D., 738(z)13--24
Currie:2016:GRB, 609(z)456--468
Currie:2018:ABF, 738(z)13--24
Currie:2018:UPU, 743(z)64--71
Currie:2019:SFR, 799(z)140--148
Curry--Howard, 625(z)125--146
curvature, 699(z)1--20
curve, 624(z)41--55, 800(z)73--89
cut, 575(z)33--41, 607(z)455--470, 609(z)328--335, 609(z)434--442, 609(z)658--665, 648(z)34--39, 648(z)72--83, 651(z)62--75, 695(z)54--73, 720(z)1--23, 770(z)69--78
cut-introduction, 706(z)83--116
cut-introduction, -, 706(z)83--116
cutting, 732(z)60--72
CVP, 621(z)103--112
cycle, 589(z)47--52, 602(z)89--102, 640(z)61--69, 647(z)33--42, 654(z)45--58, 659(z)88--94, 674(z)116--118, 688(z)77--85, 723(z)73--83, 731(z)28--35, 734(z)38--45, 739(z)59--64, 743(z)1--11, 767(z)34--50, 779(z)8--16, 787(z)77--88, 791(z)127--131, 793(z)44--58, 795(z)50--56, 795(z)115--118
cyclic, 609(z)344--360, 665(z)87--104, 773(z)27--42
cyclically, 795(z)9--19
cycling, 610(z)135--148
cylinder, 595(z)168--171, 609(z)639--657
cylindric, 658(z)4--17
Czeizler, Elena, 701(z)203--215
Czeizler, Elena, see Mohammed, Abdulmelik
Czeizler, Eugen, 701(z)203--215
Czeizler, Eugen, see Mohammed, Abdulmelik
Czibula, Oliver G., 718(z)24--36
Czibula:2018:LRV, 718(z)24--36
Czumaj, Artur, 792(z)2--11
Czumaj:2019:LEM, 792(z)2--11
Czygrinow, A., 662(z)1--8
Czygrinow, Andrzej, 757(z)1--10
Czygrinow:2017:IDL, 662(z)1--8
Czygrinow:2019:DCC, 757(z)1--10
Czyzowicz, Jurek, 608(z)201--218, 709(z)20--30, 753(z)80--90, 792(z)69--84, 795(z)362--374
Czyzowicz, Jurek, see Bampas, Evangelos
Czyzowicz:2015:BPW, 608(z)201--218
Czyzowicz:2018:ETR, 709(z)20--30
Czyzowicz:2019:EOB, 795(z)362--374
Czyzowicz:2019:GSP, 792(z)69--84