Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
C
-
CA, 120(2)165--180
-
Cabarle, Francis George C., 164(2)139--155
-
Cabarle, Francis George C., see Carandang, Jym Paul
-
Cabrera, Luis, Valencia-, 134(1)153--166, 136(3)269--284,
139(2)211--227, 153(1)147--172
-
Caching, 147(2)261--288
-
Cai, Liming, 145(2)151--170
-
Cai, Liming, see Song, Yinglei
-
Cai, Mingjie, 142(1)285--306
-
Cai:2015:CDF, 142(1)285--306
-
Caillaud, Benoît, 108(1)119--149,
see Raclet, Jean-Baptiste
-
cake, 158(1)41--61
-
Calardo, Erica, 158(1)217--238
-
Calardo:2018:SSM, 158(1)217--238
-
Calculi, 150(1)119--142
-
calculus, 102(2)177--207, 105(1)135--161, 117(1)287--309,
118(1)177--205, 121(1)121--152, 121(1)227--252, 124(4)465--482,
125(2)101--133, 130(1)21--65, 134(1)39--50, 150(3)317--346,
151(1)49--62, 151(1)145--159, 166(4)297--347
-
Calegari, Roberta, 161(1)53--74
-
Calegari:2018:ELP, 161(1)53--74
-
Caleiro, Carlos, 106(2)191--209
-
Caleiro:2011:TBA, 106(2)191--209
-
Calude, Cristian S., 110(1)1--11, 131(3)z--z, 138(1)77--84
-
Calude, Cristian S., see Akhtarzada, Ali
-
Calude:2014:P, 131(3)z--z
-
Calude:2015:UAD, 138(1)77--84
-
Camassa--Holm, 151(1)77--89
-
Campagna, Dario, 105(1)105--133, 124(4)403--425
-
Campagna:2010:MCE, 105(1)105--133
-
Campagna:2013:PPP, 124(4)403--425
-
Câmpeanu, Cezar, 148(3)243--266
-
Campeanu:2016:DOC, 148(3)243--266
-
Campero, Francisco J., Romero-, 110(1)295--308
-
Canard, Sébastien, 161(3)219--248
-
Canard:2018:CPK, 161(3)219--248
-
Cancellation, 133(2)197--209
-
Cancerous, 127(1)289--305
-
Candidate, 166(2)141--166
-
Caniego, Marcos, Lopez-, 128(3)281--302
-
Canonical, 146(4)431--459, 148(1)133--155
-
Canonicity, 129(4)301--327
-
Cantillana, Francisco, Peña-, 134(1)83--96
-
Cantone, Domenico, 124(4)427--448, 150(1)49--71
-
Cantone:2013:SPL, 124(4)427--448
-
Cantone:2017:HSQ, 150(1)49--71
-
Cao, Cungen, 99(3)293--314, 123(4)401--416
-
Cao, Cungen, see Jiang, Feng
-
Cao, Yu, 134(1)183--200
-
Cao, Yu, see Xu, Zihan
-
capability, 101(4)257--270
-
Capacitated, 119(1)29--60
-
Capacity-Raising, 98(2)321--336
-
Capuzzimati, Federico, 159(1)1--33
-
Capuzzimati, Federico, see Baldoni, Matteo
-
Carandang, Jym Paul, 164(2)139--155
-
Carandang:2019:HND, 164(2)139--155
-
Carayol, Arnaud, 150(3)z--z, 160(4)361--384
-
Carayol, Arnaud, see Baelde, David
-
Carayol:2018:PSI, 160(4)361--384
-
Carballido, José Luis, 155(3)293--319,
see Osorio, Mauricio
-
Cardelli, Luca, 131(3)351--371
-
Cardelli:2014:MSS, 131(3)351--371
-
cardinal, 132(2)177--202
-
Cardinality, 100(1)1--17, 154(1)109--130, 160(4)447--463
-
Cardiovascular, 160(1)143--165
-
Cardone, Felice, 149(3)263--295
-
Cardone, Felice, see Alessi, Fabio
-
Care, 137(2)237--252
-
Carlier, Sébastien, 121(1)43--82
-
Carlier:2012:AE, 121(1)43--82
-
Carlo, 124(4)521--541, 127(1)273--288
-
Carmona, Josep, 108(1)1--21, 113(3)343--376
-
Carmona, Josep, see Solé, Marc
-
Carmona:2011:SSS, 108(1)1--21
-
Caron, 168(1)79--88
-
Caron, Pascal, 109(1)1--25, 160(3)255--279
-
Caron:2011:GWE, 109(1)1--25
-
Caron:2018:SCM, 160(3)255--279
-
Carpets, 134(1)153--166
-
Carraro, Alberto, 140(1)1--38
-
Carraro, Alberto, see Baldan, Paolo
-
Carrieri, Anna Paola, 154(1)47--63
-
Carrieri, Anna Paola, see Bonizzoni, Paola
-
Cartan, Quasi-, 149(3)241--261, 158(4)369--384
-
Cartesian, 141(1)57--69
-
Case, 99(2)207--226, 104(1)111--124, 111(2)147--161, 115(4)327--356,
128(3)303--335, 133(1)35--53, 147(2)223--240, 159(1)95--122,
163(1)41--62, 166(4)349--378
-
Case, John, 111(3)281--311
-
Case, Worst-, 120(1)75--92
-
Case-Based, 149(1)209--240
-
Case:2011:PCP, 111(3)281--311
-
Cassaigne, Julien, 154(1)65--94
-
Cassaigne:2017:AER, 154(1)65--94
-
Castiglione, Giusi, 116(1)35--44, 134(3)319--333
-
Castiglione:2012:SSF, 116(1)35--44
-
Castiglione:2014:EWM, 134(3)319--333
-
Castiglioni, Valentina, 135(4)355--369, 143(1)51--71
-
Castiglioni:2014:SFR, 135(4)355--369
-
Castiglioni:2016:FEM, 143(1)51--71
-
Castro, Carlos, 119(1)29--60
-
Castro, Carlos, see Garrido, Pablo
-
Castro, Pablo F., 166(4)297--347
-
Castro, Pablo F., see Pombo, Carlos G. Lopez
-
Catalyst, One-, 144(2)205--212
-
Catalysts, 138(1)227--250
-
Catalytic, 136(1)59--84
-
Catching, 140(1)61--87
-
Categorial, 106(2)211--231
-
categorical, 102(1)129--143
-
Categorization, 141(4)275--295
-
category, 115(4)297--325, 134(3)395--414
-
category, Multiple-, 115(2)173--188
-
Catenation, 128(1)113--128, 129(1)117--132, 160(3)255--279
-
Cattaneo, 115(1)15--24
-
Cattaneo, Gianpiero, 108(3)197--221, 141(1)1--36
-
Cattaneo:2011:IAR, 108(3)197--221
-
Cattaneo:2015:LSE, 141(1)1--36
-
Cattani, Carlo, 151(1)z--z
-
Cattani, Carlo, see Zhang, Yudong
-
Caucal, Didier, 159(4)327--359
-
Caucal:2018:SSI, 159(4)327--359
-
Causal, 113(3)399--435, 140(1)1--38
-
Causality, 122(1)119--146, 134(3)219--259, 161(4)423--445
-
Cause-effect, 147(1)93--131
-
Caused, 147(2)193--207
-
Causes, 144(3)255--261
-
Cavaliere, Matteo, 134(1)183--200
-
Cavaliere, Matteo, see Xu, Zihan
-
CCS, 109(2)135--160
-
CD, 107(4)345--378
-
Ceci, Michelangelo, 129(3)193--224
-
Ceci, Michelangelo, see Appice, Annalisa
-
Celani, Sergio, 114(1)31--54
-
Celani:2012:NMT, 114(1)31--54
-
Cell, 138(1)45--60, 144(1)77--107, 155(4)363--372
-
Cell-like, 164(2)207--225
-
Cellular, 104(1)125--140, 104(1)141--160, 110(1)45--57, 115(1)75--85,
115(1)87--105, 116(1)141--156, 120(3)243--257, 126(2)121--156,
126(2)157--181, 126(2)183--199, 126(2)201--224, 126(2)247--261,
138(1)1--16, 145(1)1--17, 165(2)139--156
-
center, 169(3)211--235
-
center, Two-, 164(1)119--138
-
Centrality, 130(3)317--342, 145(3)341--358
-
Centralized, 118(4)345--369
-
Cercignani, Mara, 163(1)63--91
-
Cercignani, Mara, see Mancini, Matteo
-
Cerebral, 168(2)231--248
-
{\v{C}}erno, Peter, 104(1)17--54
-
Cerno:2010:CRA, 104(1)17--54
-
Certificate-based, 141(1)95--114
-
Certificateless, 112(4)365--376, 129(4)365--375, 160(4)409--445,
161(3)219--248
-
Certificates, 132(1)63--77
-
Certifying, 170(1)177--205
-
Cervelle, Julien, 126(2)z--z
-
Cervelle:2013:P, 126(2)z--z
-
Cervesato, Iliano, 130(1)67--97
-
Cervesato:2014:SMT, 130(1)67--97
-
Cesta, Amedeo, 107(2)111--137
-
Cesta:2011:FPV, 107(2)111--137
-
Cetnarowicz, Krzysztof, 112(1)103--117
-
Cetnarowicz, Krzysztof, see Turek, Wojciech
-
Chai, Ming, 153(3)173--198
-
Chai:2017:MPE, 153(3)173--198
-
chain, 107(4)331--343, 116(1)157--174
-
Chained, 98(1)123--142
-
Chairungsee, Supaporn, 163(3)291--304
-
Chairungsee:2018:EAC, 163(3)291--304
-
Chakraborty, Debarati, 124(1)63--90
-
Chakraborty, Debarati, see Pal, Sankar K.
-
Chakraborty, Debasis, 101(4)286--304
-
Chakraborty, Debasis, see Maulik, Ujjwal
-
Chakraborty, Mihir K., 127(1)1--15, 148(1)123--132
-
Chakraborty, Mihir Kr, 133(1)1--18
-
Chakraborty, Mihir Kr., see Dutta, Soma
-
Chakraborty:2013:RSS, 127(1)1--15
-
Chakraborty:2016:SIF, 148(1)123--132
-
Chakraverty, S., 133(1)19--34
-
Chakraverty, S., see Tapaswini, Smita
-
Chakraverty, Snehashish, 152(1)13--31
-
Chakraverty:2017:SFA, 152(1)13--31
-
Chalopin, Jérémie, 120(1)1--27
-
Chalopin:2012:ELE, 120(1)1--27
-
Chaloupka, Jakub, 123(1)15--42
-
Chaloupka:2013:RPG, 123(1)15--42
-
Chameleon, 126(1)103--119
-
Champarnaud, Jean-Marc, 111(4)357--371, 137(4)425--455, 149(3)311--361
-
Champarnaud:2011:RTA, 111(4)357--371
-
Champarnaud:2015:TSD, 137(4)425--455
-
Champarnaud:2016:CET, 149(3)311--361
-
Chang, Bae-Muu, 133(4)345--366
-
Chang, Chin-Chen, 109(2)121--134, 120(1)59--70, 131(2)167--186
-
Chang, Chin-Chen, see Qin, Chuan
-
Chang, Xin, 168(2)287--310
-
Chang, Xin, see Pilarczyk, Rafa{\l}
-
Chang:2011:RSB, 109(2)121--134
-
Chang:2014:NFS, 133(4)345--366
-
Chang:2014:RRT, 131(2)167--186
-
Changes, 119(3)421--437, 134(1)67--82, 147(2)193--207
-
Changing, 100(1)159--180
-
Channel, 133(2)123--132, 153(3)199--219, 168(1)1--24
-
Chaotic, 101(4)321--333, 164(2)259--275
-
Chapdelaine, Camille, 155(4)373--405
-
Chapdelaine:2017:BCT, 155(4)373--405
-
character, 117(1)57--83, 133(4)345--366
-
Characterisation, 120(3)341--357
-
Characterising, 121(1)83--120, 139(1)21--42
-
characteristic, 129(4)395--412
-
Characterization, 110(1)321--328, 113(3)265--293, 116(1)25--33,
116(1)123--128, 129(4)377--393, 134(3)335--353, 136(1)113--137,
137(4)457--491, 138(1)31--44, 138(3)339--350, 149(3)241--261,
155(1)187--207, 158(1)149--169
-
Characterize, 142(1)87--104
-
Characterizing, 123(3)365--380, 146(1)1--34, 152(2)167--183
-
Charalambides, Charalambos A., 117(1)147--154
-
Charalambides:2012:DAP, 117(1)147--154
-
Charalampopoulos, Panagiotis, 163(3)i--i
-
Charalampopoulos:2018:P, 163(3)i--i
-
Charts, 153(3)173--198
-
Charwat, Günther, 147(1)27--61, 167(1)59--92,
see Bliem, Bernhard
-
Charwat:2019:EBQ, 167(1)59--92
-
Chase, 157(3)221--270
-
Chashkin, Alexander V., 104(3)201--217
-
Chashkin, Alexander V., see Albrecht, Andreas A.
-
Chatain, Thomas, 123(3)245--272
-
Chatain, Thomas, see Balaguer, Sandie
-
Chaudhari, Shrikant R., 139(2)127--151
-
Chaudhari, Shrikant R., see Desai, Santosh S.
-
Chávez-Bosquez, Oscar, 113(1)1--18
-
Chavez-Bosquez:2011:SIT, 113(1)1--18
-
Chebyshev, 116(1)93--110, 151(1)77--89
-
Check-only, 114(1)73--101
-
Checker, 152(3)223--271
-
Checking, 101(1)71--90, 102(1)77--96, 102(1)97--113, 109(3)305--321,
112(1)19--37, 113(3)229--264, 122(4)401--420, 131(1)27--53,
131(1)103--138, 135(4)467--482, 135(4)553--568, 143(1)51--71,
143(1)173--205, 143(3)339--353, 157(4)443--461, 161(4)423--445,
163(4)395--411, 165(3)345--361
-
checking, Equivalence-, 147(2)315--336
-
Chemical, 134(1)39--50
-
Chen, Degang, 111(1)65--79, 123(3)351--363
-
Chen, Degang, see Du, Yong,
see Wang, Changzhong
-
Chen, Fan, 130(2)247--261
-
Chen, Fan, see Thanh, Tran Thang
-
Chen, Feng, 107(4)415--434, 125(2)135--152
-
Chen, Feng, see Dong, Jianwu,
see Feng, Dingcheng
-
Chen, Hongmei, 132(3)401--422, 132(3)z--z
-
Chen, Hongmei, see Li, Tianrui,
see Zeng, Anping
-
Chen, Hui-Hui, 165(2)139--156
-
Chen, Hui-Hui, see Xu, Wen-Li
-
Chen, Jie, 163(4)395--411
-
Chen, Jie, see Tian, Miaomiao
-
Chen, KuoNan, 120(1)59--70
-
Chen, KuoNan, see Qin, Chuan
-
Chen, Lili, 128(4)475--501
-
Chen, Lili, see Wang, Xiangyang
-
Chen, Qingliang, 158(1)v--vii
-
Chen, Siyuan, 160(1)101--118
-
Chen, Siyuan, see Liu, Fei
-
Chen, Wuhui, 137(2)253--271
-
Chen, Xugunag, 127(1)193--207
-
Chen, Xugunag, see Ziarko, Wojciech
-
Chen, Yixiang, 135(3)269--293
-
Chen, Yixiang, see Pan, Haiyu
-
Chen, Zhe, 111(2)119--145
-
Chen:2011:GPG, 111(2)119--145
-
Chen:2015:PIS, 137(2)253--271
-
Chen:2018:P, 158(1)v--vii
-
Cheng, Hong, 168(2)231--248
-
Cheng, Hong, see Hong, Jin
-
Cheng, Ting-Fang, 131(2)167--186
-
Cheng, Ting-Fang, see Chang, Chin-Chen
-
Cheng, Xiangguo, 111(2)241--256, 114(1)103--103
-
Cheng, Xiangguo, see Yu, Jia
-
Chesani, Federico, 102(3)325--361, 105(1)135--161, 159(1)35--63,
161(1)75--111
-
Chesani, Federico, see Montali, Marco
-
Chesani:2010:LBR, 105(1)135--161
-
Chesani:2018:CBP, 161(1)75--111
-
Chesani:2018:ECL, 159(1)35--63
-
Chetcuti, Emmanuel, 115(1)15--24
-
Chetcuti, Emmanuel, see Buhagiar, David
-
Cheung, William K., 137(2)z--z
-
Cheung, William K., see {\'S}l{\k{e}}zak, Dominik
-
Chiara, Maria Luisa Dalla, 115(1)1--14
-
Chiara, Maria Luisa Dalla, see Beltrametti, Enrico
-
Chiaselotti, Giampiero, 141(1)1--36, 153(4)291--325
-
Chiaselotti, Giampiero, see Cattaneo, Gianpiero
-
Chiaselotti:2017:RST, 153(4)291--325
-
Chikalov, Igor, 119(3)233--248, 120(3)231--242, 127(1)151--160,
128(1)1--15, 129(1)1--13, 129(1)15--26, 147(2)159--171
-
Chikalov, Igor, see Alsolami, Fawaz,
see Amin, Talha, \see{Azad, Mohammad
-
Chikalov:2014:RBA, 129(1)15--26
-
Child, Tree-, 134(1)1--15
-
Chilingaryan, Suren, 141(2)245--258, 141(2)259--274
-
Chilingaryan, Suren, see Shkarin, Andrei,
see Shkarin, Roman
-
Chilinska, Joanna, Karbowska-, 135(4)419--431
-
Chiniforooshan, Ehsan, 114(1)55--72
-
Chiniforooshan:2012:PA, 114(1)55--72
-
CHIRA, 123(2)143--170
-
Chistikov, Dmitry, 132(1)63--77
-
Chistikov:2014:CNM, 132(1)63--77
-
Chitcharoen, Doungrat, 124(1)175--196
-
Chitcharoen, Doungrat, see Peters, James F.
-
Chlebus, Bogdan S., 153(3)199--219
-
Chlebus:2017:NCB, 153(3)199--219
-
Chlorides, 132(3)315--330
-
Chmiel, Krzysztof, 114(3)239--269
-
Chmiel:2012:EPC, 114(3)239--269
-
Choffrut, Christian, 116(1)45--50, 132(4)439--459, 138(1)159--177,
164(1)1--15
-
Choffrut, Christian, see Bès, Alexis
-
Choffrut:2012:NLD, 116(1)45--50
-
Choffrut:2014:DWS, 132(4)439--459
-
Choffrut:2015:LTM, 138(1)159--177
-
Choi, Mijin, 133(4)387--397
-
Choi, Mijin, see Lim, Seongan
-
Choi, Tae Jong, 164(2)227--242
-
Choi:2019:ADE, 164(2)227--242
-
Choice, 99(3)245--261, 139(2)127--151
-
Choice, Free-, 98(2)283--320
-
Chojnacki, Szymon, 139(3)229--248
-
Chojnacki:2015:LNB, 139(3)229--248
-
Chomsky, 138(1)31--44
-
Choo, Eng U., 144(3)263--278, 146(3)321--338
-
Choo, Eng U., see Wedley, William C.
-
Choo:2016:MSG, 144(3)263--278
-
Choosing, 160(1)53--80
-
Chosen-key, 141(1)95--114
-
Chowdhury, Shihabur Rahman, 129(4)329--340
-
Chowdhury:2014:CLC, 129(4)329--340
-
CHR-based, 124(4)365--381
-
Chromý, Milo{\v{s}}, 135(3)295--308,
see Surynek, Pavel
-
Chrz{\k{a}}stowski-Wachtel, Piotr, 141(4)367--398,
see Sroka, Jacek
-
Chu, 115(4)297--325
-
{Chu, }-, 115(4)297--325
-
Chu, Shuangshuang, 115(2)141--156
-
Chu, Shuangshuang, see Yu, Hong
-
Chuang, Wan-Chen, 117(1)155--177
-
Chuang:2012:SDS, 117(1)155--177
-
Chunlin, Li, 138(4)435--455
-
Chunlin:2015:HCS, 138(4)435--455
-
Church--Rosser, 103(1)129--136
-
Ciabattoni, Agata, 123(1)z--z
-
Ciabattoni:2013:P, 123(1)z--z
-
Ciancaglini, Mariangiola, Dezani-, 103(1)1--29
-
Ciani, Antonia, 125(3)361--376, 135(1)171--197
-
Ciani, Antonia, see Fedele, Roberto
-
Cicho{\'n}, Jacek, 123(3)273--287
-
Cichon:2013:FPR, 123(3)273--287
-
CICT, 141(2)115--134
-
Cieciel{\k{a}}g, Pawel, 128(3)281--302,
see P{\l}{\'o}ciennik, Marcin
-
Cienciala, Lud{\v{e}}k, 134(1)51--65
-
Cienciala:2014:CPS, 134(1)51--65
-
Ciencialová, Lucie, 134(1)51--65,
see Cienciala, Lud{\v{e}}k
-
Cilia, Elisa, 113(2)151--177
-
Cilia:2011:RFM, 113(2)151--177
-
Ciliate, 110(1)29--44, 138(1)145--158
-
Cimoli, Tiziana, 134(3)219--259
-
Cimoli, Tiziana, see Bartoletti, Massimo
-
Ciobanu, 153(1)v--vi
-
Ciobanu, Gabriel, 131(3)279--298, 131(3)373--388, 134(1)67--82,
144(1)1--22
-
Ciobanu, Gabriel, see Alexandru, Andrei
-
Ciobanu:2014:CSA, 131(3)373--388
-
Ciobanu:2014:MCD, 134(1)67--82
-
Cipher, 114(3)239--269, 114(3)309--318, 160(3)343--359
-
circuit, 104(3)201--217, 104(3)219--225, 118(3)225--244, 129(4)377--393,
134(1)183--200, 152(2)123--144, 164(2)181--194, 164(2)243--257
-
circulant, 145(2)111--124
-
Circular, 134(3)219--259, 164(1)103--117
-
Circulation, 164(2)195--205
-
Circumscription, 167(1)1--30
-
Cîrstea, Corina, 150(3)379--406
-
Cirstea:2017:BLT, 150(3)379--406
-
Cited, 122(3)227--274
-
Ciucci, Davide, 108(3)287--304, 108(3)z--z, 115(1)57--74, 115(1)z--z,
142(1)1--19, 148(1)z--z, 153(4)291--325, 163(2)139--163
-
Ciucci, Davide, see Aguzzoli, Stefano,
see Chiaselotti, Giampiero
-
Ciucci:2011:OSW, 108(3)287--304
-
Ciucci:2011:P, 108(3)z--z
-
Ciucci:2012:P, 115(1)z--z
-
Ciucci:2012:TDI, 115(1)57--74
-
Ciucci:2015:SOF, 142(1)1--19
-
Ciucci:2016:P, 148(1)z--z
-
Ciurea, Eleonor, 156(2)125--139, 163(2)189--204
-
Ciurea, Eleonor, see Avesalon, Nicoleta,
see Schiopu, Camelia
-
CK, 130(1)125--162
-
Clark, Alexander, 146(4)339--377
-
Clark, Gregory, 139(1)1--19
-
Clark, Patrick G., 127(1)177--191, 132(3)365--379
-
Clark:2013:ECT, 127(1)177--191
-
Clark:2014:APA, 132(3)365--379
-
Clark:2015:MC, 139(1)1--19
-
Clark:2016:DLS, 146(4)339--377
-
Class, 120(1)29--58, 128(1)193--207, 132(1)63--77, 134(3)335--353,
136(4)345--379, 136(4)433--460, 146(3)271--292, 163(4)325--337,
169(1)57--84
-
classes, 122(3)227--274
-
Classical, 114(3)345--357, 170(1)39--92
-
Classification, 101(1)143--155, 101(3)187--213, 101(4)286--304,
104(1)125--140, 104(3)201--217, 114(2)203--220, 115(2)173--188,
116(1)141--156, 126(4)377--395, 127(1)241--256, 135(3)211--228,
137(2)219--236, 139(2)153--184, 139(2)185--209, 145(1)19--48,
145(1)49--80, 149(4)419--449
-
Classifier, 101(4)286--304, 105(4)435--466, 127(1)151--160,
127(1)495--511, 137(4)493--515, 143(1)1--18, 143(1)19--34,
145(4)405--427, 165(3)263--281
-
Classifying, 168(2)269--285
-
Claude, Francisco, 111(3)313--337
-
Claude:2011:SIG, 111(3)313--337
-
Clausal, 109(1)27--81, 109(1)83--119
-
Clearing, 104(1)17--54
-
Clickstream, 98(1)49--70
-
Client-server, 109(3)255--264
-
Clinical, 127(1)513--528, 163(1)41--62
-
Clock, 129(1)85--100, 130(4)377--407, 143(3)235--259
-
clock, Multi-, 108(1)91--118
-
Closed, 124(1)133--151, 133(4)323--344
-
Closeness, 124(3)297--307, 162(1)1--15, 167(3)219--234
-
Closest, 130(2)219--229
-
Closure, 105(3)211--235, 109(3)237--253, 109(3)297--304, 119(3)249--264,
122(3)207--225, 128(1)17--33, 142(1)105--115, 148(3)243--266,
159(1)95--122, 161(1)135--161
-
Cloud, 127(1)385--398, 128(3)255--280, 133(1)55--85, 138(4)435--455,
161(3)299--316, 163(4)395--411
-
CLP, 105(1)79--103
-
CLPFD, 105(1)105--133
-
Clues, 145(3)243--256
-
Cluster, 98(1)15--32, 102(3)263--286, 111(1)81--90, 134(1)1--15,
163(4)351--374
-
Clustering, 98(1)15--32, 98(2)199--231, 99(2)187--205, 115(1)125--139,
115(2)141--156, 115(2)233--246, 123(3)331--350, 124(1)153--174,
126(4)301--318, 126(4)319--333, 128(1)143--158, 130(2)201--218,
137(2)273--290, 138(4)387--409, 153(3)221--233, 164(1)103--117,
168(2)249--268
-
Co-domain, 141(2)115--134
-
Co-Emptiness, 169(1)123--150
-
Co-Finiteness, 169(1)123--150
-
Co-intuitionistic, 130(1)21--65
-
co-RE, 153(4)347--366
-
Co-recursion, 150(3)407--449
-
co-Semi-analytic, 164(4)359--373
-
Coalgebraic, 134(3)395--414
-
Coalgebraically, 150(3)379--406
-
Coalition, 124(4)383--401, 129(3)251--277
-
Coarse, 118(4)371--384
-
Coarsest, 150(2)211--220
-
CoCaml, 150(3)347--377
-
Cocco, Nicoletta, 160(1)27--52
-
Cocco, Nicoletta, see Baldan, Paolo
-
code, 98(2)233--256, 101(3)157--171, 107(1)1--18, 130(2)163--177,
133(4)387--397
-
Coding, 124(1)153--174, 141(4)297--310, 145(1)93--109, 145(3)359--369
-
coding, Non-, 124(1)153--174
-
coefficient, 151(1)49--62
-
coefficient, Variable-, 145(2)207--219
-
Cognitive, 111(1)91--117
-
Cohen, Irun R., 103(1)235--246, 118(4)403--417
-
Cohen, Irun R., see Setty, Yaki
-
Coherent, 170(1)1--14
-
Coinductive, 140(3)221--246, 150(3)347--377
-
Cojocaru, Liliana, 107(4)345--378, 123(4)381--399
-
Cojocaru, Svetlana, 138(1)z--z
-
Cojocaru:2011:TOB, 107(4)345--378
-
Cojocaru:2013:CSL, 123(4)381--399
-
Cojocaru:2015:P, 138(1)z--z
-
Colhon, Mihaela, 119(1)61--86
-
Colhon, Mihaela, see Hristea, Florentina
-
Collaboration, 161(3)299--316, 162(4)237--258
-
Collaborative, 129(1)49--67
-
Collective, 114(3)319--323, 158(1)239--275
-
Colom, José Manuel, 137(1)z--z
-
Colom:2015:P, 137(1)z--z
-
Colony, 119(1)1--27, 134(1)51--65, 136(3)241--252
-
Color, 145(2)189--205, 158(4)385--407, 164(1)103--117
-
Color, Multi-, 99(3)315--324
-
colored, 130(2)219--229, 144(2)205--212, 160(1)101--118
-
Coloring, 111(4)437--451, 114(2)105--128
-
Colour, 119(1)113--120
-
Coloured, 130(4)423--466, 131(1)139--166
-
column, 115(4)279--295, 141(2)135--150, 155(4)321--340
-
Combinatorial, 102(3)363--389, 107(2)z--z, 117(1)265--277,
132(4)519--532, 145(3)359--369, 164(2)243--257
-
Combinators, 133(2)105--121
-
Combinatory, 111(2)203--222
-
Combined, 113(3)265--293, 116(1)79--92, 133(4)345--366
-
Combines, 143(1)113--139
-
Combining, 105(1)163--187, 147(2)289--313, 156(1)21--41, 166(4)379--392
-
Comics, 168(2)311--333
-
Comin, Carlo, 134(3)335--353
-
Comin:2014:ACC, 134(3)335--353
-
Comixify, 168(2)311--333
-
Comma, 107(1)1--18
-
Comma, -, 107(1)1--18
-
Commentary, 144(3)321--332
-
commercial, 105(1)105--133
-
Commitment-based, 159(1)1--33
-
Common, 99(4)409--433, 129(4)329--340, 131(2)253--278, 136(3)285--296,
163(3)225--244, 163(3)267--273
-
Communes, 103(1)203--218
-
Communicating, 133(2)123--132, 136(1)177--197
-
Communication, 98(1)123--142, 104(3)185--200, 107(4)345--378,
129(1)27--36, 137(3)305--322, 145(3)323--340, 152(3)223--271,
168(1)1--24
-
Communication, Evolution-, 136(3)209--217
-
Communication-Free, 137(1)61--86
-
Communication-free, 143(3)355--391
-
Community, 99(2)207--226, 118(4)419--461
-
Commutative, 105(4)417--434, 147(2)315--336
-
Compact, 108(1)43--62, 137(1)117--142
-
Compagnoni, Marco, 135(1)199--210
-
Compagnoni:2014:TBL, 135(1)199--210
-
Companion, 153(3)265--270
-
Comparative, 123(3)351--363, 128(1)1--15, 140(3)263--278,
142(1)161--181, 156(1)69--94, 166(2)111--137
-
Comparing, 124(1)1--25
-
comparison, 114(3)239--269, 127(1)177--191, 132(4)485--500,
133(4)367--386, 137(3)355--367, 139(2)115--126, 139(4)403--419,
144(3)213--221, 144(3)241--254, 144(3)279--289, 144(3)291--307,
144(3)309--320, 144(3)321--332, 146(3)321--338, 157(4)385--401,
163(4)305--324, 166(1)1--14
-
Compatibility, 128(1)129--141
-
Competing, 129(3)225--250
-
Competition, 113(1)1--18
-
complement, 164(2)181--194
-
Complementary, 111(3)281--311
-
Complementation, 116(1)15--23
-
Complemented, 115(1)25--56
-
Complementer, 164(2)277--288
-
Complete, 111(1)1--14, 124(3)271--295, 125(1)71--94, 128(1)17--33,
138(3)339--350, 139(4)329--346
-
complete, NP-, 125(3)343--359
-
Completeness, 106(2)149--173, 115(1)15--24, 121(1)1--41, 126(2)157--181,
136(1)59--84, 143(3)355--391, 155(1)163--185, 168(1)51--77
-
completion, 110(1)201--215, 137(3)413--424
-
Complex, 127(1)341--356, 132(2)177--202, 132(2)203--238, 133(2)181--196,
135(3)243--268, 144(3)223--240, 164(1)61--101, 164(2)181--194
-
Complexity, 98(4)337--349, 98(4)391--409, 99(3)325--338, 103(1)69--87,
103(1)289--301, 104(3)201--217, 104(3)219--225, 104(4)349--384,
107(4)345--378, 109(2)161--178, 110(1)143--158, 110(1)159--174,
110(1)231--239, 111(1)91--117, 115(1)107--124, 115(1)125--139,
116(1)1--13, 116(1)79--92, 116(1)175--187, 116(1)223--236,
116(1)237--249, 118(4)385--401, 119(1)87--111, 120(1)29--58,
122(4)315--326, 123(3)317--329, 123(4)381--399, 126(2)183--199,
129(1)101--115, 131(1)81--101, 136(4)297--316, 136(4)433--460,
137(1)1--28, 137(1)29--60, 137(1)61--86, 137(3)305--322,
137(4)517--548, 143(3)415--436, 144(2)161--182, 145(3)229--242,
145(4)471--483, 148(3)267--289, 149(3)297--309, 152(4)323--339,
152(4)397--409, 160(3)255--279, 161(4)317--349, 164(1)1--15
-
complexity, 139(1)1--19
-
complexity, -, 139(1)1--19
-
Compliance, 159(1)35--63, 161(1)75--111
-
Component-based, 108(1)119--149
-
Components, 99(4)355--382, 120(3)259--274, 141(2)135--150
-
Composable, 157(4)321--339
-
Composing, 145(1)1--17
-
Composite, 118(1)97--134
-
Compositeness, 156(2)179--185
-
Composition, 112(1)47--71, 113(1)79--96, 117(1)1--17, 120(2)181--203,
137(1)87--116, 157(4)403--425
-
Compositionality, 120(3)275--293
-
Compound, 129(4)341--364, 135(1)73--102, 164(2)259--275
-
Comprehensive, 151(1)1--48
-
compressed, BTC-, 109(2)121--134
-
Compression, 111(3)313--337, 125(3)273--284, 142(1)285--306,
169(4)285--294
-
Compromises, 128(1)97--111
-
Computable, 132(1)1--14, 167(4)257--269
-
Computation, 100(1)117--140, 109(3)255--264, 113(3)399--435,
132(4)501--517, 134(1)39--50, 135(3)229--241, 136(3)209--217,
139(1)91--114, 145(2)207--219, 163(3)253--266, 163(4)351--374,
165(2)139--156
-
Computational, 110(1)159--174, 115(1)1--14, 115(1)107--124, 116(1)1--13,
116(1)223--236, 118(4)385--401, 123(3)317--329, 124(4)503--519,
130(1)125--162, 136(1)59--84, 148(3)267--289, 152(4)323--339,
153(1)147--172, 155(1)163--185, 164(2)207--225, 167(3)159--191
-
computational, Matrix-, 164(1)41--59
-
Compute, 158(4)369--384, 163(3)291--304
-
Computed, 141(2)233--243, 155(4)373--405, 155(4)449--480
-
computer, 98(4)z--z, 103(1)323--332, 122(3)227--274, 125(1)21--49,
126(4)335--351, 131(2)253--278, 135(3)211--228, 161(3)249--273,
170(1)207--221
-
Computer, Human-, 124(1)91--110
-
Computerized, 141(2)115--134
-
Computing, 98(1)z--z, 99(3)263--292, 100(1)141--157, 101(1)91--103,
101(4)257--270, 111(4)453--464, 115(2)247--264, 115(4)357--375,
115(4)395--417, 120(2)165--180, 127(1)369--384, 127(1)385--398,
127(1)413--428, 129(1)69--84, 129(4)329--340, 132(2)239--266,
132(4)519--532, 133(2)271--285, 134(1)83--96, 134(1)97--110,
134(1)153--166, 136(3)199--208, 138(4)411--434, 141(4)345--366,
142(1)237--267, 142(1)337--371, 142(1)373--397, 145(1)1--17,
145(1)19--48, 145(1)49--80, 148(1)157--172, 152(3)289--295,
155(1)187--207, 157(4)385--401, 159(1)147--174, 163(3)267--273,
166(2)139--140, 170(4)339--365
-
Concatenation, 126(1)1--35
-
Concept, 99(2)169--186, 99(3)293--314, 111(1)33--45, 115(4)265--277,
115(4)395--417, 126(1)37--82, 127(1)17--33, 133(2)287--303,
142(1)307--335, 156(2)141--168, 162(1)17--36, 165(1)43--73,
166(4)379--392, 167(3)235--256, 170(1)111--138
-
Concept-Drift, 124(1)47--61
-
Conceptual, 124(1)91--110, 124(3)271--295
-
Conclusions, 147(1)93--131
-
Concrete, 135(4)451--466, 140(3)373--391, 147(2)289--313,
155(3)233--260
-
Concretisation, 120(2)181--203
-
Concurrency, 102(2)145--176, 105(3)211--235, 130(1)21--65,
131(3)373--388, 138(4)483--514, 153(1)125--146, 161(4)423--445
-
Concurrent, 108(1)91--118, 111(3)257--279, 120(3)205--229,
126(4)335--351, 134(3)261--285, 139(1)21--42, 149(4)401--418,
153(1)v--vi
-
Condensing, 106(1)93--117
-
Conditional, 122(4)327--355, 166(2)167--197
-
conditional, Semi-, 138(1)127--144
-
Conditions, 99(1)29--62, 118(1)35--63, 120(3)259--274, 123(2)171--197,
146(3)231--254, 151(1)91--108, 155(4)341--361, 155(4)425--447,
163(1)41--62
-
Condorelli, Andrea, 125(3)273--284
-
Condorelli, Andrea, see Fiorini, Rodolfo A.
-
Confalonieri, Roberto, 113(1)19--39, 113(1)41--61
-
Confalonieri, Roberto, see Nieves, Juan Carlos
-
Confalonieri:2011:NPA, 113(1)19--39
-
configuration, 105(1)105--133, 124(4)403--425, 145(3)313--322,
166(2)141--166
-
Confirmation, 127(1)161--176
-
Conflict, 109(1)83--119, 127(1)341--356, 133(4)323--344
-
Conflict, Equal-, 146(1)83--119
-
Confluence, 118(1)35--63
-
Conformance, 128(1)129--141, 131(1)103--138
-
Congestion, 102(1)77--96
-
Congruences, 145(1)19--48, 145(1)49--80, 146(2)121--144, 146(2)145--177
-
Conjugation, 153(1)87--103
-
Conjunctive, 99(3)263--292, 162(1)43--72
-
connected, 104(3)267--283, 145(3)279--312, 152(3)273--287,
162(2)183--203
-
connected, Bi-, 135(3)295--308
-
connection, 99(2)169--186, 133(2)227--240, 156(3)331--359
-
Connection-Oriented, 129(1)27--36
-
Connectivity, 160(4)447--463
-
Connector, 99(1)63--93, 99(1)95--124, 130(1)1--20
-
Consensus, 137(3)305--322, 156(1)43--68
-
consequence, 123(1)77--95, 133(1)1--18
-
Conservation, 125(3)261--272
-
Conservative, 120(3)325--339
-
consideration, 166(4)349--378
-
Consistency, 102(1)97--113, 102(3)363--389, 147(2)209--221,
155(4)341--361, 155(4)425--447
-
Consistency-based, 136(4)381--404
-
Consistent, 135(3)331--340, 144(3)263--278, 163(1)1--20
-
Constant, 122(4)275--295
-
Constant-Space, 134(1)111--128
-
Constrained, 99(4)409--433, 115(1)125--139, 149(3)311--361
-
Constrained, Resource-, 131(1)55--80
-
constraint, 99(2)125--145, 101(3)237--255, 102(3)263--286, 106(1)25--43,
107(2)223--248, 109(1)27--81, 109(1)83--119, 111(3)257--279,
119(2)187--231, 124(4)383--401, 124(4)449--464, 126(4)301--318,
126(4)377--395, 127(1)135--149, 130(2)231--246, 134(3)261--285,
143(3)339--353, 150(1)73--117, 155(4)321--340, 161(1)9--27,
161(1)75--111, 169(3)179--210
-
Constraint-Based, 152(4)341--372
-
Constructed, 101(4)321--333
-
Constructing, 143(3)393--414, 153(4)399--413
-
Construction, 99(2)169--186, 99(3)339--354, 104(3)285--292,
111(1)33--45, 116(1)93--110, 119(3)393--406, 120(3)231--242,
123(1)97--106, 123(4)417--445, 126(2)263--300, 128(1)1--15,
132(1)1--14, 132(2)203--238, 136(4)331--343, 140(3)357--372,
145(2)111--124, 147(2)159--171, 154(1)15--24, 156(1)69--94,
170(1)177--205
-
Construction, Correct-by-, 102(2)145--176
-
Construction, Heap-, 120(1)75--92
-
Constructive, 140(3)357--372, 161(1)29--51
-
Constructivism, 161(1)1--7
-
Consumption, 156(2)187--208
-
Contact, 156(3)413--432, 167(4)257--269
-
Containing, 117(1)147--154, 117(1)287--309
-
Containment, 118(1)97--134
-
Content, 156(2)209--235
-
Content-based, 135(3)309--329
-
Context, 99(3)293--314, 99(4)473--480, 102(1)63--76, 104(4)293--327,
111(1)15--32, 111(1)91--117, 115(4)357--375, 123(3)289--304,
126(4)397--414, 136(1)1--35, 137(2)273--290, 138(1)127--144,
142(1)213--236, 147(2)173--191, 148(3)309--340, 152(1)51--86,
165(1)43--73
-
Context, Multi-, 158(1)171--216
-
Context-Free, 136(1)157--176, 150(3)241--257
-
Contextual, 122(4)315--326, 127(1)241--256, 130(1)125--162,
155(1)209--232
-
Continuation, 112(4)263--280, 131(3)373--388, 164(4)327--344
-
Continuation-Passing, 153(1)125--146
-
Continuous, 137(1)1--28, 144(3)213--221, 160(1)53--80, 167(3)193--217
-
continuous, Nominal-, 153(3)221--233
-
Continuous-Time, 140(1)89--121
-
Contract, 111(3)339--355
-
Contraction, 140(3)247--262
-
Contradiction-Tolerant, 153(1)29--55
-
Contrast, 146(2)219--230
-
Contributions, 138(1)251--258
-
Control, 102(1)77--96, 112(1)89--101, 136(1)59--84, 155(1)209--232
-
Controllability, 165(3)205--244
-
Controlled, 131(3)451--464, 144(1)23--43, 155(1)163--185,
169(4)295--330
-
Controllers, 130(1)1--20
-
Controlling, 124(4)483--502, 143(1)101--112
-
Conventional, 134(1)97--110
-
Convergence, 105(4)341--374, 137(3)355--367
-
Convergent, 106(2)211--231
-
Converting, 133(2)257--270
-
convex, 123(2)143--170, 135(1)103--115, 135(1)117--134, 141(2)169--189,
164(1)119--138
-
Convex, Non-, 149(1)1--34
-
Convexity, 141(2)151--167
-
convolution, 117(1)265--277, 152(1)87--105
-
Convolutional, 168(2)335--351
-
Cooper, James, 164(2)157--180
-
Cooper:2019:HCT, 164(2)157--180
-
Cooperation, 107(4)345--378, 153(1)147--172
-
Cooperative, 135(3)295--308, 137(4)517--548
-
cooperative, Non-, 136(3)209--217
-
coordinate, 141(2)169--189
-
Coordinated, 105(4)435--466
-
Cop--Kmeans, 126(4)301--318
-
Coquand, Thierry, 100(1)43--52, 170(1)1--14
-
Coquand, Thierry, see Bezem, Marc
-
Coquand:2010:NFT, 100(1)43--52
-
Corank, 139(4)347--367, 152(2)185--222
-
Core, 105(1)105--133, 147(2)241--259
-
Cornelis, Chris, 142(1)53--86
-
Cornelis, Chris, see Vluymans, Sarah
-
Corpora, 130(2)179--199
-
Correct-by-Construction, 102(2)145--176
-
Correcting, 118(3)305--326
-
Correcting, Self-, 138(4)457--482
-
correction, 158(4)385--407
-
Corrector, 153(4)327--346
-
corrector, Predictor-, 152(1)33--50, 153(4)327--346
-
Correlated, 98(1)71--86
-
Correlated, Local-, 98(1)15--32
-
Correlating, 115(2)233--246
-
Correlation, 125(3)361--376, 126(2)121--156, 129(1)37--48,
135(1)171--197, 148(1)133--155
-
Correspondences, 115(4)297--325
-
Cortadella, Jordi, 108(1)1--21
-
Cortadella, Jordi, see Carmona, Josep
-
coset, 133(4)433--448
-
Cosine, 127(1)307--323, 156(2)209--235
-
Cosparse, 135(1)73--102
-
cost, Low-, 153(4)399--413
-
Cost-aware, 128(3)255--280
-
Cost-Optimal, 139(4)369--401
-
Costa, Fabrizio, 113(2)z--z
-
Costa, Fabrizio, see Ramon, Jan
-
Costa, Veronica, Gil-, 131(1)139--166
-
Costantini, Stefania, 105(1)1--33, 124(4)449--464, 140(3)279--305
-
Costantini:2010:EIR, 105(1)1--33
-
Costantini:2013:NWC, 124(4)449--464
-
Costantini:2015:NRN, 140(3)279--305
-
Cota, Giuseppe, 159(1)65--93
-
Cota, Giuseppe, see Gavanelli, Marco
-
Cotugno, Giuseppe, 112(1)89--101
-
Cotugno, Giuseppe, see Mellmann, Heinrich
-
Countable, 126(2)263--300
-
Counter, 138(1)61--76, 143(3)317--338, 143(3)415--436, 148(3)291--308,
155(1)59--88
-
Counterexamples, 162(1)17--36
-
Counterpart, 99(2)147--168, 118(1)177--205, 149(1)61--100
-
Counting, 105(1)163--187, 117(1)179--188, 117(1)199--213,
117(1)287--309, 131(3)485--497, 136(4)297--316, 138(1)97--111
-
Coupled, 151(1)91--108
-
Coupled, Tightly-, 129(3)193--224
-
Coupling, 124(1)47--61
-
Couso, Inés, 108(3)223--247
-
Couso:2011:RSC, 108(3)223--247
-
Couvreur, Jean-Michel, 122(1)31--58
-
Couvreur:2013:BPG, 122(1)31--58
-
Covariance, 98(1)87--106
-
cover, 111(4)357--371, 126(4)433--444, 152(3)273--287, 163(3)275--289
-
Coverability, 113(3)313--341, 122(1)1--30, 131(1)1--25, 143(3)393--414
-
Coverage, 98(1)33--47, 129(1)1--13, 148(1)87--105
-
Covering, 108(3)223--247, 111(1)15--32, 115(2)219--232, 123(3)351--363,
137(3)341--353, 138(3)351--371, 139(4)421--433, 142(1)195--212,
160(4)385--408, 165(2)157--191
-
Covering, Multi-, 147(4)457--476
-
Covering-based, 128(4)503--526, 156(2)237--254
-
Cox-regular, 139(2)153--184, 139(2)185--209, 139(3)249--275,
153(4)367--398
-
Coxeter, 123(4)447--490, 124(3)309--338, 125(1)21--49, 139(2)153--184,
139(2)185--209, 145(1)19--48, 145(1)49--80, 146(2)145--177
-
Coxeter--Dynkin, 139(4)347--367
-
cP, 164(2)157--180
-
CPDL, 143(1)113--139
-
CPUash, 135(4)483--501
-
Crafa, Silvia, 108(1)23--42
-
Crafa:2011:SST, 108(1)23--42
-
Crawl, Daniel, 128(3)281--302
-
Crawl, Daniel, see P{\l}{\'o}ciennik, Marcin
-
CREAMS, 168(2)89--184
-
Credibility, 162(4)259--281
-
Creignou, Nadia, 136(4)297--316
-
Creignou:2015:PCW, 136(4)297--316
-
Criado, Javier, 162(4)283--309
-
Criado:2018:QAA, 162(4)283--309
-
Crick, Watson-, 104(1)71--91, 110(1)111--123, 155(1)111--129
-
Crisp, 122(3)207--225
-
Crisply, 115(4)265--277, 142(1)307--335
-
Criteria, Multi-, 110(1)1--11
-
criteria, Multi-, 165(2)99--137
-
Criterion, 120(2)145--164
-
Critical, 118(1)35--63, 125(3)285--312
-
CRN, 120(1)29--58
-
Crochemore, Maxime, 101(3)173--186, 163(3)i--i
-
Crochemore, Maxime, see Charalampopoulos, Panagiotis
-
Crochemore:2010:FPG, 101(3)173--186
-
Cross, 133(2)227--240
-
Cross-intersecting, 117(1)189--198
-
Crossing, 117(1)147--154
-
Crunch, 126(4)319--333
-
Cryptanalysis, 107(1)105--109, 109(2)189--200, 114(3)221--237,
114(3)239--269, 129(4)365--375
-
Cryptographic, 130(4)423--466
-
Cryptographic-Key, 112(4)305--335
-
Cryptography, 114(3)325--344, 161(3)219--248
-
Cryptosystem, 133(4)387--397, 169(4)345--360
-
Csató, László, 144(3)309--320, 156(2)169--178
-
Csato:2016:IPC, 144(3)309--320
-
Csato:2017:EMR, 156(2)169--178
-
CSP, 99(1)95--124, 107(2)249--266
-
CSPs, 102(3)229--261, 105(1)57--78
-
Csuhaj-Varjú, Erzsébet, 112(2)137--156, 134(1)51--65,
138(1)193--205, 155(1)111--129,
see Cienciala, Lud{\v{e}}k
-
Csuhaj-Varju:2011:BPA, 112(2)137--156
-
Csuhaj-Varju:2015:SLM, 138(1)193--205
-
Csuhaj-Varju:2017:WCT, 155(1)111--129
-
CTRL-PACE, 169(4)295--330
-
Cube, 114(3)309--318, 132(2)203--238, 132(2)239--266
-
Cubic, 114(3)325--344, 158(4)369--384
-
Cui, Bo, 107(1)1--18
-
Cui, Cewei, 110(1)95--109
-
Cui, Guangzhao, 164(2)181--194
-
Cui, Zhihua, 124(1)z--z
-
Cui:2011:CCT, 107(1)1--18
-
Cui:2011:TPG, 110(1)95--109
-
Cui:2013:P, 124(1)z--z
-
Cui:2019:CCC, 164(2)181--194
-
Cultured, 124(1)111--132
-
curve, 114(3)301--308, 129(4)395--412, 135(1)199--210, 136(4)331--343,
153(4)399--413, 169(4)275--283, 169(4)285--294
-
Cut, 121(1)203--226, 143(1)1--18, 143(1)141--149, 149(4)363--383,
165(3)263--281
-
Cut-Operations, 155(1)89--110
-
Cutting, 158(1)41--61
-
Cuzzocrea, Alfredo, 132(2)239--266, 132(2)z--z, 161(3)299--316
-
Cuzzocrea, Alfredo, see S, Smrithy G.
-
Cuzzocrea:2014:DFC, 132(2)239--266
-
Cuzzocrea:2014:P, 132(2)z--z
-
CWW, 124(1)197--229
-
Cyber-infrastructure, 133(1)35--53
-
Cyber-ITS, 133(1)35--53
-
Cybula, Piotr, 135(4)467--482
-
Cybula, Piotr, see Pó{\l}rola, Agata
-
cycle, 106(2)119--147, 124(3)297--307, 164(2)157--180
-
Cyclic, 104(1)93--110, 116(1)157--174, 141(2)115--134
-
Cycloid, 169(1)85--121
-
Cyclotomic, 125(2)161--181
-
Czaja, Ludwik, 101(1)1--7, 101(1)z--z, 109(3)255--264, 109(3)z--z,
112(1)39--45, 119(3)265--280, 119(3)z--z, 127(1)81--97,
128(1)35--45, 128(1)z--z, 129(1)27--36, 129(1)z--z, 133(2)123--132,
133(2)z--z, 135(4)z--z, 143(1)z--z, 147(2)209--221, 147(2)z--z,
157(4)359--370, 157(4)i--ii
-
Czaja, Ludwik, see Penczek, Wojciech
-
Czaja:2010:P, 101(1)z--z
-
Czaja:2010:SAN, 101(1)1--7
-
Czaja:2011:DFD, 109(3)255--264
-
Czaja:2011:P, 109(3)z--z
-
Czaja:2011:SAG, 112(1)39--45
-
Czaja:2012:EAR, 119(3)265--280
-
Czaja:2012:P, 119(3)z--z
-
Czaja:2013:EAM, 128(1)35--45
-
Czaja:2013:P, 128(1)z--z
-
Czaja:2013:RNS, 127(1)81--97
-
Czaja:2014:FCB, 133(2)123--132
-
Czaja:2014:Pa, 129(1)z--z
-
Czaja:2014:Pb, 133(2)z--z
-
Czaja:2014:SMN, 129(1)27--36
-
Czaja:2016:Pa, 143(1)z--z
-
Czaja:2016:Pb, 147(2)z--z
-
Czaja:2016:RMC, 147(2)209--221
-
Czaja:2018:P, 157(4)i--ii
-
Czaja:2018:PME, 157(4)359--370
-
Czarnecki, Marek, 164(4)299--325
-
Czarnecki:2019:MLT, 164(4)299--325
-
Czarny, Wojciech, 165(3)263--281
-
Czarny, Wojciech, see Bazan, Jan G.
-
Czeizler, Elena, 116(1)51--63
-
Czeizler:2012:BAD, 116(1)51--63
-
Czelakowski, Janusz, 156(3)255--280
-
Czelakowski:2017:FFOa, 156(3)255--280
-
Czelakowski:2017:FFOb, 156(3)255--280
-
Czerwi{\'n}ski, Wojciech, 140(2)123--127
-
Czerwinski:2015:NDS, 140(2)123--127
-
Czochra, Anna, Marciniak-, 118(4)z--z
-
Czuma, Sylwia, Buregwa-, 127(1)495--511, 143(1)1--18,
147(2)193--207
-
Czurylo, Anna, Grocholewska-, 114(3)239--269
-
Czy{\.z}ewska, Marta, 129(1)37--48
-
Czyzewska:2014:TAI, 129(1)37--48
-
Czyzewski, Andrzej, 168(2)249--268
-
Czyzewski, Andrzej, see Kurowski, Adam
-
Czy{\.z}ewski, Andrzej, 127(1)561--576
-
Czyzewski:2013:AMA, 127(1)561--576