Index file section C for scicomputprogram.bib

Last update: Fri Apr 18 02:03:15 MDT 2025

Return to index directory

C

C, 4(1)96--97, 9(1)101--105, 10(1)88--89, 11(2)178--180, 12(3)267--270, 13(1)119--122, 13(1)122--125, 14(1)110--110, 14(1)110--112, 15(1)98--98, 16(2)204--205, 23(1)91--101, 31(2)291--311, 32(1)49--72, 51(3)291--292, 52(1)213--255, 52(1)341--370, 75(4)216--231, 77(3)375--392, 91(z)141--160, 96(z)4--16, 118(z)77--95, 132(z)226--246, 143(z)9--19, 146(z)2--27, 204(z)z--99999999, 231(z)z--99999999, 238(z)z--99999999
C++, 42(2)229--271, 68(2)64--78, 69(1)3--13, 74(7)399--413, 75(7)573--595, 75(7)596--614, 75(7)638--667, 75(9)762--772, 76(4)290--306, 78(9)1600--1621, 97(z)320--330, 98(z)531--550, 128(z)68--85, 236(z)z--99999999
C\#, 102(z)44--56, 191(z)z--99999999
C, capacity-, 102(z)76--107
C, Handel-, 77(4)424--443
C-bus, 29(1)235--258
C++0x, 78(9)1449--1469
CA, 75(5)333--349
Cabac, Lawrence, 157(z)56--70
Cabac:2018:SDP, 157(z)56--70
Caballero, Rafael, 110(z)104--118, 111(z)156--189
Caballero:2015:TTE, 111(z)156--189
Caballero:2015:ZDD, 110(z)104--118
Cabezuelo, Antonio, Sarasa-, 88(z)1--2
Cabot, J., 68(3)179--195
Cabot, Jordi, 149(z)9--14, 153(z)30--33, 215(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999, 232(z)z--99999999, 234(z)z--99999999
Cabot, Jordi, see Ait, Adem, see Bucchiarone, Antonio, see Clarisó, Robert, see Cosentino, Valerio, see Daniel, Gwendal, see Giner-Miguelez, Joan
Cabot:2007:TTO, 68(3)179--195
Cabrera, Pedro, 191(z)z--99999999
Cabrera:2020:MTE, 191(z)z--99999999
Cabri, Giacomo, 54(1)73--98, 59(1)127--146, 76(11)969--969, 78(6)682--683
Cabri, Giacomo, see Horspool, R. Nigel
Cabri:2005:ERB, 54(1)73--98
Cabri:2006:ASP, 59(1)127--146
Cabri:2013:PSS, 78(6)682--683
cache, 28(2)273--299, 35(2)163--189, 161(z)105--121, 179(z)24--53, 197(z)z--99999999
Cachera, David, 93(z)89--109
Cachera:2014:IPI, 93(z)89--109
Caching, 24(1)1--39
Cachopo, João, 63(2)172--185
Cachopo:2006:VBB, 63(2)172--185
CADP, 74(3)100--127, 77(3)375--392, 78(7)843--861, 80(z)130--149
CAESARash, 29(1)259--278
CafeOBJ, 224(z)z--99999999
Cai, Cheng-Hao, 214(z)z--99999999
Cai, Jiazhen, 11(3)197--261
Cai, Saihua, 238(z)z--99999999
Cai, Saihua, see Chen, Jinfu, \see{Zhang, Chi
Cai, Shubin, 216(z)z--99999999
Cai, Shubin, see Chen, Xiaohong
Cai, W., z(z)z--z
Cai, Wentong, 23(1)1--18
Cai, Wentong, see Gibbons, Jeremy
Cai, Yuanfang, 242(z)z--99999999
Cai, Yuanfang, see Hu, Bin
Cai:1989:PDF, 11(3)197--261
Cai:19xx:CRU, z(z)z--z
Cai:2022:MQA, 214(z)z--99999999
Caissier, Philipp, Schlehuber-, 230(z)z--99999999
Calculating, 12(3)191--206, 22(1)3--19, z(z)z--z
calculation, 24(2)149--158, 26(1)149--165
calculational, 22(1)3--19, 33(3)221--260, 37(1)139--161
calculi, 20(3)205--221, 25(0)79--325, 26(1)197--216, 41(3)241--275, 85(z)102--114, 144(z)1--49
calculus, 1(1)49--72, 4(1)45--86, 5(1)1--36, 5(2)111--142, 8(2)113--137, 8(2)173--202, 9(3)221--262, 9(3)287--306, 10(1)95--97, 13(2)133--180, 14(2)281--304, 16(2)198--200, 17(1)3--34, 21(2)115--139, 21(2)165--190, 22(1)21--44, 22(1)67--105, 22(1)157--180, 23(1)55--89, 23(1)91--101, 24(2)129--148, 25(0)79--325, 25(2)81--116, 25(2)285--327, 26(1)99--115, 26(1)197--216, 26(1)237--254, 27(3)289--322, 29(3)279--302, 31(1)47--73, 31(1)113--145, 32(1)3--47, 33(1)87--96, 34(2)79--140, 37(1)3--36, 37(1)253--277, 38(1)73--123, 38(1)151--153, 50(1)225--251, 57(1)61--72, 57(2)164--186, 64(1)29--53, 64(3)286--311, 67(2)199--222, 71(2)110--143, 75(6)440--469, 76(10)861--876, 77(7)823--847, 78(9)1278--1293, 97(z)163--172, 111(z)300--317, 111(z)339--362, 111(z)365--394, 117(z)17--44, 151(z)18--47, 154(z)134--153, 172(z)180--202, 182(z)1--41, 197(z)z--99999999, 202(z)z--99999999, 206(z)z--99999999, 208(z)z--99999999
calculus, lambda-, 10(2)139--176
calculus, mu-, 46(3)255--281, 54(2)291--311
Calder, Muffy, 80(z)288--310, 215(z)z--99999999
Calder, Muffy, see Archibald, Blair
Calder:2014:RTV, 80(z)288--310
Calegari, Daniel, 107(0)41--63, 126(z)3--30
Calegari:2015:IBF, 107(0)41--63
Calegari:2016:HVC, 126(z)3--30
Calero, Coral, 243(z)z--99999999
Calero, Coral, see Jiménez, Elisa
Calero, Pedro A., González-, 69(1)68--75, 79(z)126--145
calibration, 143(z)1--8
Calinescu, Radu, 218(z)z--99999999, 236(z)z--99999999
Calinescu, Radu, see Gleirscher, Mario, see Yaman, Sinem Getir
call, 1(1)149--155, 2(1)87--88, 5(3)321--321, 13(1)131--132, 15(1)115--116, 16(2)151--195, 24(1)63--81, 27(3)289--322, 29(1)259--278, 94(z)362--378
call, API-, 163(z)19--41
call-by-need, 147(z)3--26
Call-by-Value, 184(z)z--99999999
call-by-value, 31(1)47--73, 84(z)77--100, 187(z)z--99999999
Call-site, 79(z)146--157
Callaú, Oscar, 96(z)52--69, see Allende, Esteban
Calleros, Juan, Gonzalez-, 86(z)43--57
calling, 79(z)146--157
Caltais, Georgiana, 78(9)1324--1345, 133(z)194--215
Caltais, Georgiana, see Bonsangue, Marcello
Caltais:2017:VSP, 133(z)194--215
Caltech, 26(1)79--97
Calvar, Théo, Le, 232(z)z--99999999
Camacho, Diego Ordóñez, 75(1)3--20
Camacho:2010:AGP, 75(1)3--20
Cámara, Javier, 78(1)46--64, 115(z)147--148, 127(z)50--75, 167(z)51--69, see Canal, Carlos, see Kokash, Natallia
Camara:2016:AIE, 127(z)50--75
Camara:2018:RAS, 167(z)51--69
Camarão, Carlos, 124(z)1--19, 218(z)z--99999999
Camarao:2016:ACP, 124(z)1--19
Camarao:2022:SIR, 218(z)z--99999999
Cambridge, 10(1)95--97, 11(1)88--90, 11(1)94--95, 11(1)98--99, 11(2)178--180, 11(2)180--184, 12(2)167--168, 18(2)207--209, 18(2)213--215, 18(2)221--222, 24(1)97--99, 24(1)100--102, 24(2)185--186, 24(2)186--187, 33(1)97--99, 33(2)215--216, 34(1)75--77, 34(2)159--161, 38(1)151--153, 38(1)155--157
Cambronero, María Emilia, 77(3)290--313, see Valero, Valentín
camera, 143(z)1--8
Cameron, Alexander, 97(z)202--234
Cameron:2015:RBP, 97(z)202--234
Camilli, Matteo, 159(z)28--57
Camilli:2018:ZBF, 159(z)28--57
Caminati, M. B., 182(z)42--63
Caminati, M. B., see Bowles, J.
Caminati, Marco B., 185(z)z--99999999
Caminati, Marco B., see Bowles, Juliana Küster Filipe
Caml, 114(z)57--73
Campbell, Brian, 95(z)44--72, 118(z)60--76
Campbell, Brian, see Hamdaqa, Mohammad
Campbell, Graham, 214(z)z--99999999
Campbell:2016:RTM, 118(z)60--76
Campbell:2022:FRB, 214(z)z--99999999
Campo, Marcelo, 71(2)144--164, 75(11)1001--1021
Campo, Marcelo, see Crasso, Marco, see Rodriguez, Juan Manuel
Campos, José, 240(z)z--99999999, see Ferreira, Felipe
Campos, José C., 175(z)17--34, see Harrison, Michael D.
Campos, Sergio, 29(1)79--98, 36(1)53--64
Campos, Sergio, see Hartonas-Garmhausen, Vicky
Campos, Sérgio, 230(z)z--99999999
Campos, Sérgio Vale Aguiar, 232(z)z--99999999, see Fernandes, Herbert Rausch
Campos, Suene, 216(z)z--99999999
Campos-López, Rubén, 243(z)z--99999999
Campos-Lopez:2025:BAR, 243(z)z--99999999
Campos:1997:STF, 29(1)79--98
Campos:2022:IRF, 216(z)z--99999999
Campos:2023:SPB, 230(z)z--99999999
Camps, Valérie, 200(z)z--99999999
Camps:2020:SAB, 200(z)z--99999999
Campusano, Miguel, 133(z)1--19
Campusano:2017:LRP, 133(z)1--19
CAN-Verify, 241(z)z--99999999
Canal, Carlos, 41(2)105--138, 61(2)136--151, 63(1)39--56, 66(3)181--183, 75(10)809--810, 76(1)1--2, 76(8)631--632, 78(1)46--64, 168(z)169--170, 203(z)z--99999999
Canal, Carlos, see Brogi, Antonio, see Pérez-Vereda, Alejandro
Canal:2001:CIS, 41(2)105--138
Canal:2007:P, 66(3)181--183
Canal:2010:P, 75(10)809--810
Canal:2011:Pa, 76(1)1--2
Canal:2011:Pb, 76(8)631--632
Canal:2012:SRS, 78(1)46--64
Canal:2018:PSI, 168(z)169--170
Canavese, D., 111(z)365--394
Canavese:2015:LCF, 111(z)365--394
cancelable, 74(1)43--51
CancerGrid, 89(z)126--143
Canciani, Andrea, 162(z)110--131
Canciani, Andrea, see Bonchi, Filippo
Candidate, 214(z)z--99999999
candidates, 240(z)z--99999999
Canfora, Gerardo, 60(2)171--188, 97(z)266--279, 105(z)26--43, 205(z)z--99999999
Canfora, Gerardo, see Cerulo, Luigi, see Kallis, Rafael, \see{Koschke, Rainer, see Zagarese, Quirino
Cano-Genoves, C., 230(z)z--99999999
Cano-Genoves:2023:VTF, 230(z)z--99999999
canonical, 31(1)3--45, 78(8)1193--1206
Cánovas Izquierdo, Javier Luis, 153(z)30--33, see Cosentino, Valerio
Canright, Geoffrey, 53(2)195--214
Canright:2004:RN, 53(2)195--214
Cao, Jiannong, 48(1)43--65
Cao, Yulu, 235(z)z--99999999
Cao:2003:DCM, 48(1)43--65
Cao:2024:DPI, 235(z)z--99999999
CAOS, 240(z)z--99999999
CAOVerif, 91(z)216--233
capability, 66(3)184--204, 119(z)3--30, 224(z)z--99999999
capacity-C, 102(z)76--107
Capecchi, Sara, 74(5)261--278, 78(7)907--932
Capecchi, Sara, see Bettini, Lorenzo
Capon, Peter C., 10(2)217--217, 12(1)84--84
Capon:1988:BRB, 10(2)217--217
Capon:1989:BRB, 12(1)84--84
Capretz, Luiz Fernando, 243(z)z--99999999
Capretz, Luiz Fernando, see Zhang, Minnan
Caprile, B., 40(2)213--234
Caprile, B., see Antoniol, G.
capture, 24(3)221--248, 78(6)725--746, 184(z)z--99999999, 236(z)z--99999999, 244(z)z--99999999
capturing, 177(z)19--40
Carballa, Miguel, Gómez-, 129(z)72--91
Carbonaro, Mike, 67(1)32--58
Carbonaro, Mike, see Cutumisu, Maria
Carbone, Marco, 100(z)1--1, 109(z)1
Carbone:2015:PSIa, 100(z)1--1
Carbone:2015:PSIb, 109(z)1
Carbonell, E., Rodríguez-, 64(1)54--75
card, 21(2)93--113, 46(3)283--306, 55(1)53--80, 77(4)533--550
Cardelli, Luca, 8(2)147--172, 25(2)81--116
Cardelli, Luca, see Abadi, Martín
Cardelli:1987:BPT, 8(2)147--172
Cardoso, Rafael C., 240(z)z--99999999
Cardoso, Rafael C., see Ferrando, Angelo
Cardozo, Nicolás, 236(z)z--99999999, see Jimenez, Stephannie
cards, smart-, 21(2)93--113
Carette, Jacques, 62(1)3--24, 76(5)349--375, 76(6)469--491
Carette:2006:GEC, 62(1)3--24
Carette:2011:MSP, 76(5)349--375
Carette:2011:PEM, 76(6)469--491
Carl, 38(1)147--149
CARLA, 242(z)z--99999999
Carling, 12(3)265--266
Carlos, 11(1)95--97
Carlson, Jan, 75(12)1215--1234
Carlson:2010:REE, 75(12)1215--1234
Carlsson, Magnus, 46(1)99--135
Carlsson, Magnus, see Moran, Andrew
Carlstrom, Brian D., 63(2)111--129
Carlstrom:2006:EJP, 63(2)111--129
Carol, 5(1)107--109
Carpineti, Samuele, 74(10)777--811
Carpineti:2009:PPE, 74(10)777--811
Carrasco, Israel, González-, 121(z)16--33
Carreira, Paulo J. F., 46(3)197--217
Carreira:2003:AVO, 46(3)197--217
carrying, Abstraction-, 111(z)505--534
carrying, proof-, 57(3)275--294
cars, 191(z)z--99999999, 226(z)z--99999999
Cartesian, 22(3)327--354
Cartwright, Robert, 59(1)26--37
Cartwright, Robert, see Allen, Eric E.
Carvalho, Gustavo, 95(z)275--297, 162(z)35--54, 181(z)111--139, 201(z)z--99999999, 220(z)z--99999999
Carvalho, Gustavo, see Araujo, Hugo, see Silva, Bruno Cesar F.
Carvalho, Lucas, 244(z)z--99999999
Carvalho, Renato, 211(z)z--99999999
Carvalho, Renato, see Macedo, Nuno
Carvalho:2014:ITC, 95(z)275--297
Carvalho:2021:VVT, 201(z)z--99999999
Carvalho:2022:PSP, 220(z)z--99999999
Carvalho:2025:SAD, 244(z)z--99999999
Casadei, Matteo, 74(9)702--722, 78(5)542--543, 78(6)705--714
Casadei, Matteo, see Molesini, Ambra
Casadei, Roberto, 167(z)114--137, 243(z)z--99999999
Casadei:2009:CSP, 74(9)702--722
Casadei:2013:PSS, 78(5)542--543
Casadei:2018:TAR, 167(z)114--137
Casadei:2025:PSI, 243(z)z--99999999
Casallas, Rubby, 94(z)307--332
Casallas, Rubby, see Tamura, Gabriel
CASE, 78(6)695--704
case, 3(1)37--63, 4(1)17--44, 11(3)263--297, 14(2)185--228, 16(3)251--275, 23(2)287--311, 28(2)273--299, 29(1)53--78, 40(2)171--188, 53(3)353--380, 57(3)319--338, 59(3)171--208, 62(1)3--24, 64(3)263--263, 64(3)264--285, 74(9)754--776, 76(2)65--81, 76(2)82--99, 77(7)799--822, 77(10)1058--1074, 78(1)93--116, 78(6)705--714, 78(7)828--842, 78(9)1407--1426, 80(z)169--187, 80(z)211--222, 82(z)77--97, 95(z)112--134, 95(z)275--297, 96(z)141--155, 96(z)279--296, 97(z)113--121, 101(z)66--78, 103(z)13--50, 120(z)25--48, 134(z)47--60, 135(z)45--74, 135(z)88--104, 152(z)1--37, 158(z)100--121, 161(z)34--56, 161(z)89--104, 163(z)42--61, 181(z)84--110, 181(z)111--139, 189(z)z--99999999, 191(z)z--99999999, 198(z)z--99999999, 204(z)z--99999999, 215(z)z--99999999, 216(z)z--99999999, 231(z)z--99999999, 232(z)z--99999999, 234(z)z--99999999, 243(z)z--99999999, 244(z)z--99999999
case, Use-, 56(1)5--21
case, use-, 98(z)268--292
case-based, 79(z)126--145
Caserta, Pierre, 79(z)116--125
Caserta:2014:JTJ, 79(z)116--125
Casey, Kevin, 57(3)319--338
Casey, Kevin, see Gregg, David
Cash, 68(2)64--78, 74(7)399--413
Cassou, Damien, 79(z)39--51
Cassou, Damien, see Bertran, Benjamin
Castagna, Giuseppe, 217(z)z--99999999
Castagna:2022:ROT, 217(z)z--99999999
Castellano, Ezequiel, 230(z)z--99999999
Castellano, Ezequiel, see Klikovits, Stefan
Castelli, Gabriella, 110(z)1--2
Castelli, Gabriella, see Fernandez-Marquez, Jose Luis
Castiglioni, Valentina, 188(z)z--99999999, 236(z)z--99999999
Castiglioni:2020:LCD, 188(z)z--99999999
Castiglioni:2024:STA, 236(z)z--99999999
Castor, 193(z)z--99999999
Castor, Fernando, 173(z)1--2
Castor:2019:SPB, 173(z)1--2
Castro, Isabel, Fernández-, 78(11)2268--2281
Castro, Pablo F., 181(z)47--63
Castro, Pablo F., see Molina, Facundo
Castro, Sergio, 75(4)232--246, 76(12)1113--1129, 134(z)75--99
Castro, Sergio, see Brichau, Johan
Castro, Thiago, 152(z)116--160
Castro:2011:DCD, 76(12)1113--1129
Castro:2017:JLC, 134(z)75--99
Castro:2018:ARL, 152(z)116--160
Catala, Alejandro, 78(10)1930--1950
Catala:2013:MMD, 78(10)1930--1950
Cataño, N., 55(1)53--80, see Breunesse, C.-B.
Cataño, Néstor, 80(z)169--187
Catano:2014:CSL, 80(z)169--187
catch, 172(z)160--179
categorical, 8(2)173--202, 28(2)111--138, 32(1)109--143
categorising, 134(z)75--99
category, 28(2)111--138, 104(z)71--98
Catthoor, Francky, 72(3)71--135
Catthoor, Francky, see Daylight, Edgar G.
causal, 239(z)z--99999999, 240(z)z--99999999
causality, 78(9)1538--1558
Causally, 24(2)105--128
causally-ordered, 24(2)105--128
cause, 230(z)z--99999999
cause-guided, 175(z)37--62
caused, 236(z)z--99999999
caution, 199(z)z--99999999
Cavalcanti, Ana, 33(1)87--96, 52(1)53--100, 75(3)106--133, 76(9)792--833, 77(4)444--479, 77(10)1151--1177, 77(12)1211--1211, 174(z)1--37, 179(z)1--23, 181(z)140--176, 197(z)z--99999999, 236(z)z--99999999
Cavalcanti, Ana, see Borba, Paulo, see Cornélio, Márcio, see Foster, Simon, \see{Miyazawa, Alvaro, see Oliveira, Marcel, \see{Peleska, Jan, see Yaman, Sinem Getir, \see{Zeyda, Frank
Cavalcanti:1999:IPP, 33(1)87--96
Cavalcanti:2012:SII, 77(12)1211--1211
Cavalcanti:2019:VSR, 174(z)1--37
Cavalheiro, Gerson Geraldo H., 173(z)56--70
Cavalheiro, Gerson Geraldo H., see Medeiros Duarte, Rodrigo
Cavalheiro, Simone, 191(z)z--99999999
Cavalheiro:2020:SPB, 191(z)z--99999999
Cavallari, F., 238(z)z--99999999
Cavallari, F., see Domini, D.
Cavarlé, Glenn, 161(z)18--33, 161(z)149--171, see Costiou, Steven
Cavarle:2018:FOM, 161(z)18--33
Cave, 147(z)54--77
CBR, 69(1)68--75
CC, 30(1)51--82
cc, 5(1)1--36, 23(1)55--89, 30(1)51--82
cc, \pkgdesync-, 228(z)z--99999999
ccd, 24(3)189--220
CCP, 100(z)84--104
ccp, 30(1)201--226
CCS, 3(2)189--204, 21(3)225--261
CCSL, 106(z)78--92, 154(z)42--60, 166(z)71--88, 202(z)z--99999999, 203(z)z--99999999
CD-Form, 95(z)390--405
Ceccarelli, Michele, 105(z)26--43
Ceccarelli, Michele, see Cerulo, Luigi
Cederbaum, Mila, Majster-, 78(12)2488--2510, 98(z)516--530
cells, 146(z)50--86
cellular, 22(1)107--135, 195(z)z--99999999
centered, user-, 234(z)z--99999999
centrality, 203(z)z--99999999
Centralized, 160(z)48--77
Centred, 88(z)92--109
centres, 41(3)277--294, 78(5)569--582
centric, library-, 76(4)225--226
centric, type-, 75(7)615--637
century, 150(z)75--86
CenUMs, 132(z)173--189
Cepa, Vasian, 73(1)13--25
Cepa:2008:LSM, 73(1)13--25
cepage, 5(2)111--142
Ceresa, Martín A., 217(z)z--99999999
Ceresa:2022:EIT, 217(z)z--99999999
{\v{C}}ern{\'a}, I., 76(10)877--890, see Bene{\v{s}}, N.
Cernuzzi, Luca, 230(z)z--99999999
Cernuzzi, Luca, see Galeano, Iris
Cerone, Antonio, 91(z)249--265
Cerone, Antonio, see Sowe, Sulayman K.
Cerro, 24(1)102--103
CERT, 91(z)141--160
certain, almost-, 81(z)108--121
certification, 91(z)139--140, 91(z)141--160, 191(z)z--99999999, 233(z)z--99999999
certification, Self-, 56(1)141--156
certified, 50(1)101--127, 58(1)3--27, 196(z)z--99999999
Certifying, 77(10)1058--1074, 111(z)505--534
Cerulo, Luigi, 105(z)26--43
Cerulo:2015:IHM, 105(z)26--43
Cervelle, Julien, 77(9)990--1005
Cervelle:2012:BUC, 77(9)990--1005
Cesena, E., 111(z)365--394
Cesena, E., see Canavese, D.
Cestnik, Bojan, 121(z)128--152
Cestnik, Bojan, see Perovsek, Matic
Çetin, H. Alperen, 208(z)z--99999999
Cetin:2021:RCR, 208(z)z--99999999
Cetina, Carlos, 78(12)2399--2413
Cetina:2013:PDS, 78(12)2399--2413
Cetinkaya, Ahmet, 230(z)z--99999999, 238(z)z--99999999
Cetinkaya, Ahmet, see Arcaini, Paolo, see Klikovits, Stefan
Cezar, Junio, 185(z)z--99999999
Cezar, Junio, see Lima, Caio
cf, 4(2)159--204
cf4ocl, 143(z)9--19
Cha, S., 182(z)42--63
Cha, S., see Bowles, J.
Chaabane, Mariam, 184(z)z--99999999
Chaabane:2019:MAS, 184(z)z--99999999
Chabanne, Hervé, 74(1)43--51, see Bringer, Julien
Chabridon, Sophie, 78(10)1912--1929
Chabridon:2013:BUQ, 78(10)1912--1929
Chafi, Hassan, 63(2)111--129
Chafi, Hassan, see Carlstrom, Brian D.
chain, 36(1)97--127, 69(1)3--13, 78(12)2313--2330, 91(z)90--114, 112(z)58--74, 202(z)z--99999999
chain, tool-, 223(z)z--99999999
Chaitin, 11(1)98--99
Chakraborty, Supratik, 190(z)z--99999999
Chakraborty, Supratik, see Jaiswal, Swati
Chakravarty, Manuel M. T., 30(1)157--199, 233(z)z--99999999
Chakravarty, Manuel M. T., see Krijnen, Jacco O. G.
Chakravarty:1998:GHO, 30(1)157--199
Chalet, 2(1)89--89
challenge, 61(1)48--57, 71(1)57--72, 74(4)167--167, 91(z)249--265, 97(z)135--142, 97(z)173--180, 114(z)1--6, 208(z)z--99999999
Chalupa, Marek, 240(z)z--99999999
Chalupa:2025:VMB, 240(z)z--99999999
Cham, Oscar E., Perez-, 196(z)z--99999999
Chambers, Craig, 47(2)91--120
Chambers, Craig, see Aldrich, Jonathan
Champagne, Roger, 57(1)73--87
Champagne, Roger, see Coallier, François
Champeau, Joel, 210(z)z--99999999
Champeau, Joel, see Guérin, Sylvain
Champion, Adrien, 103(z)71--87
Champion:2015:GPD, 103(z)71--87
Championships, 99(z)95--127
Chan, Alvin, 48(1)43--65
Chan, Alvin, see Cao, Jiannong
Chandra, Deepak, 57(3)275--294
Chandra, Deepak, see Franz, Michael
Chandy, K. Mani, 14(2)117--132, 24(2)129--148, 29(3)335--335
Chandy:1990:RAC, 14(2)117--132
Chandy:1995:PTR, 24(2)129--148, 29(3)335--335
Chandy:1997:EPT, 24(2)129--148, 29(3)335--335
Chang, Hsin-Yu, 237(z)z--99999999
Chang, Hsin-Yu, see Chuang, Yung-Ting
change, 12(3)264--265, 30(1)3--49, 45(2)155--174, 53(2)143--164, 77(6)760--776, 78(9)1728--1750, 95(z)445--468, 96(z)84--106, 97(z)163--172, 98(z)376--393, 102(z)44--56, 135(z)88--104, 171(z)1--20, 215(z)z--99999999, 223(z)z--99999999, 230(z)z--99999999, 233(z)z--99999999
change, co-, 240(z)z--99999999
changeability, 45(2)155--174
changers, representation-, 65(2)108--139
Changing, 76(10)837--860
changing, Type-, 112(z)145--169
Changizi, Behnaz, 203(z)z--99999999
Changizi:2021:CWM, 203(z)z--99999999
channel, 5(3)265--276, 5(3)277--307, 6(1)1--9, 24(2)159--181, 29(1)23--52, 78(9)1470--1489, 100(z)28--60, 171(z)42--66
channel, side-, 78(7)796--812
channel-based, 74(9)688--701, 76(8)681--710
chaos, 135(z)4--19
characterisation, 215(z)z--99999999
characterization, 22(1)137--155, 28(1)43--90, 56(3)343--361, 78(9)1346--1367, 188(z)z--99999999, 229(z)z--99999999
characterizing, 71(1)1--16, 98(z)376--393, 208(z)z--99999999
Charalambides, Minas, 115(z)100--126
Charalambides:2015:PCS, 115(z)100--126
Charalambidis, Angelos, 155(z)173--197
Charalambidis:2018:HOL, 155(z)173--197
Chardet, Maverick, 203(z)z--99999999
Chardet:2021:TSE, 203(z)z--99999999
Chari, 15(1)98--100
Charles, 18(2)207--209
Charlier, Baudouin, Le, 31(1)1--1, 38(1)27--71
Charpentier, Michel, 60(3)221--243
Charpentier:2006:CI, 60(3)221--243
charts, 44(3)253--292, 54(2)213--256, 77(10)1151--1177
chatbots, 232(z)z--99999999
ChatGPT, 235(z)z--99999999
Chaturvedi, Amrita, 208(z)z--99999999
Chaturvedi, Amrita, see Manjhi, Devesh
Chatzigeorgiou, Alexander, 171(z)1--20
Chatzigeorgiou, Alexander, see Kyriakakis, Panos
Chatzikokolakis, Konstantinos, 188(z)z--99999999
Chatzikokolakis, Konstantinos, see Castiglioni, Valentina
Chaudhuri, Ranjan, 10(2)107--137
Chaudron, Michel, 75(6)426--439
Chaudron, Michel, see Russello, Giovanni
Chaudron, Michel R. V., 64(2)246--262, 97(z)366--380
Chaudron, Michel R. V., see Etemaadi, Ramin, see Russello, Giovanni
Chaumun, M. Ajmal, 45(2)155--174
Chaumun:2002:CIM, 45(2)155--174
Chechik, Marsha, 231(z)z--99999999
Chechik, Marsha, see Di Sandro, Alessio
check, 4(1)45--86, 22(3)197--230, 57(2)129--163, 62(3)209--227, 74(5)279--295, 155(z)3--26
checked, Machine-, 20(1)51--71
checked, machine-, 158(z)64--80
checker, 4(1)45--86, 26(1)167--177, 71(2)89--109, 80(z)91--105, 111(z)277--299, 221(z)z--99999999, 226(z)z--99999999
checker, model-, 235(z)z--99999999
Checker, Type-, 6(3)273--290
checker, type-, 6(3)273--290
checking, 3(2)151--188, 3(3)279--312, 8(3)275--306, 20(1)51--71, 21(2)115--139, 23(0)107--311, 23(2)151--195, 26(1)167--177, 27(1)37--83, 28(2)273--299, 29(1)79--98, 31(2)263--289, 33(3)261--298, 35(1)29--75, 37(1)279--309, 39(1)93--123, 50(1)253--270, 54(2)291--311, 55(1)185--208, 58(1)83--114, 65(1)14--29, 74(9)688--701, 75(11)1165--1191, 76(2)82--99, 76(2)136--157, 77(7)870--886, 77(10)1095--1121, 77(10)1198--1209, 77(12)1272--1288, 78(7)843--861, 78(8)1137--1156, 82(z)44--55, 87(z)44--61, 94(z)289--306, 97(z)383--404, 98(z)464--483, 98(z)735--763, 99(z)128--192, 99(z)193--234, 100(z)61--83, 103(z)51--70, 111(z)248--276, 111(z)277--299, 115(z)23--46, 118(z)40--59, 126(z)94--110, 128(z)68--85, 133(z)20--50, 152(z)63--69, 153(z)1--29, 158(z)41--63, 163(z)19--41, 166(z)3--34, 167(z)1--24, 170(z)1--26, 174(z)38--71, 175(z)37--62, 196(z)z--99999999, 198(z)z--99999999, 200(z)z--99999999, 205(z)z--99999999, 206(z)z--99999999, 224(z)z--99999999, 244(z)z--99999999
checking, Model-, 40(1)59--96, 56(3)251--273
checking, model-, 46(3)255--281, 76(2)119--135, 110(z)23--50
Checking, Type-, 26(1)167--177
checkpointing, 160(z)78--92
chemotaxis, 78(5)594--611
Chen, Chung-Hsin, 75(11)1048--1076
Chen, Chung-Hsin, see Chen, Kung
Chen, Haibo, 214(z)z--99999999, 215(z)z--99999999, 238(z)z--99999999
Chen, Haibo, see Huang, Rubing, see Zhang, Chi
Chen, Haiming, 193(z)z--99999999
Chen, Hong-Mei, 57(1)5--26, 61(1)4--15
Chen, Hong-Mei, see Garg, Aditya
Chen, Jie, 227(z)z--99999999, 233(z)z--99999999, 236(z)z--99999999
Chen, Jie, see Yu, Dongjin
Chen, Jiming, 238(z)z--99999999
Chen, Jiming, see Chen, Jinfu
Chen, Jinfu, 238(z)z--99999999
Chen, Jinfu, see Zhang, Chi
Chen, Kung, 75(11)1048--1076
Chen, Lin, 235(z)z--99999999, 238(z)z--99999999
Chen, Lin, see Cao, Yulu, \see{Liu, Xutong
Chen, Liqian, 95(z)320--342, 225(z)z--99999999
Chen, Liqun, 111(z)300--317
Chen, Liqun, see Smyth, Ben
Chen, Sheng, 200(z)z--99999999
Chen, Siyue, 241(z)z--99999999
Chen, Taolue, 232(z)z--99999999, 242(z)z--99999999
Chen, Taolue, see Liu, Shuqi
Chen, Wei, 15(1)1--13, 78(11)2029--2046, 209(z)z--99999999
Chen, Wei, see Backhouse, Roland
Chen, Xiang, 234(z)z--99999999, 238(z)z--99999999
Chen, Xiang, see Cui, Zhanqi, \see{Wu, Xiaoxue, see Yang, Huiwen
Chen, Xiaohong, 216(z)z--99999999
Chen, Xin, 236(z)z--99999999
Chen, Xin, see Yu, Dongjin
Chen, Yixiang, 202(z)z--99999999, 203(z)z--99999999
Chen, Yixiang, see Zhang, Yuanrui
Chen, Yu, 53(2)143--164
Chen, Yu, see Wang, Yi-Min
Chen, Yuhang, 215(z)z--99999999
Chen, Yuhang, see Yan, Rongjie
Chen, Zezhong, 244(z)z--99999999
Chen, Zhenbang, 74(4)168--196, 234(z)z--99999999
Chen, Zhenbang, see Hong, Weijiang
Chen, Zhifei, 235(z)z--99999999
Chen, Zhifei, see Cao, Yulu
Chen, Zhiqi, 241(z)z--99999999
Chen:1990:PIM, 15(1)1--13
Chen:2005:BEP, 57(1)5--26
Chen:2009:RVC, 74(4)168--196
Chen:2010:TDW, 75(11)1048--1076
Chen:2014:SAL, 95(z)320--342
Chen:2020:ECF, 200(z)z--99999999
Chen:2020:IAO, 193(z)z--99999999
Chen:2021:LIB, 209(z)z--99999999
Chen:2022:FVC, 216(z)z--99999999
Chen:2023:PBC, 227(z)z--99999999
Chen:2023:SAL, 225(z)z--99999999
Chen:2024:INS, 238(z)z--99999999
Chen:2024:WMR, 233(z)z--99999999
Chen:2025:ACB, 241(z)z--99999999
Chen:2025:TRA, 244(z)z--99999999
Chen:2025:VTT, 241(z)z--99999999
Cheney, James, 155(z)103--145, 197(z)z--99999999
Cheney, James, see Choi, Kwanghoon, see Fehrenbach, Stefan
Cheng, Kwok Sun, 181(z)27--46
Cheng, Kwok Sun, see Wang, Yuchen
Cheng, M. H. M., 23(1)55--89
Cheng, M. H. M., see Rondogiannis, P.
Cheng, Shang-Wen, 44(1)23--49
Cheng, Shang-Wen, see Garlan, David
Cheng, Xiaotong, 235(z)z--99999999
Cheng, Xiaotong, see Dong, Yukun
Cheon, Yoonsik, 55(1)185--208
Cheon, Yoonsik, see Leavens, Gary T.
Cherifa, Ahlem, Ben, 9(2)137--159
Chhel, Fabien, 232(z)z--99999999
Chhel, Fabien, see Jouault, Frédéric
Chiapperini, Alessio, 221(z)z--99999999
Chiapperini:2022:COE, 221(z)z--99999999
Chicago, 12(1)83--84, 14(1)110--110
Chichester, 10(1)93--95, 10(2)211--212, 10(2)213--215, 12(2)164--165, 12(2)170--172, 13(1)128--130, 16(1)93--95, 18(2)209--213
Chikh, Mohammed Amine, 136(z)17--42
Chikh, Mohammed Amine, see Boudaa, Boudjemaa
Chikofsky, Elliot, 45(2)97--98
Chikofsky:2002:P, 45(2)97--98
children, 240(z)z--99999999
Chilowicz, Michel, 78(10)1871--1891
Chilowicz:2013:VFT, 78(10)1871--1891
Chilton, Chris, 91(z)115--137
Chilton:2014:CAG, 91(z)115--137
Chin, Wei-Ngan, 77(9)1006--1036, 78(4)390--411, 82(z)56--76, 112(z)119, 148(z)189--212
Chin, Wei-Ngan, see Popeea, Corneliu, see Qin, Shengchao
Chin-Kuei, 10(2)213--215
Chin:2012:AVS, 77(9)1006--1036
Chin:2015:SEP, 112(z)119
China, 218(z)z--99999999
Chiotti, Omar, 95(z)73--92
Chiotti, Omar, see Ale, Mariel A.
chip, 240(z)z--99999999
Chip, Network-on-, 118(z)24--39
chip, system-on-a-, 173(z)21--36
Chis, Andrei, 161(z)122--148
Chis, Andrei, see Leske, Max
Chisholm, Paul, 8(1)1--42
Chisholm:1987:DPA, 8(1)1--42
Chisnall, David, 96(z)4--16
Chisnall:2014:SCW, 96(z)4--16
Cho, 10(2)213--215
Choi, Kwanghoon, 197(z)z--99999999, 228(z)z--99999999
Choi, Kwanghoon, see Sasano, Isao
Choi, Yunja, 103(z)51--70, 163(z)19--41
Choi, Yunja, see Kim, Dongwoo
Choi:2015:ESC, 103(z)51--70
Choi:2020:PRC, 197(z)z--99999999
Cholewa, Andrew, 112(z)24--57
Cholewa:2015:CNC, 112(z)24--57
Chondamrongkul, Nacha, 206(z)z--99999999, 230(z)z--99999999
Chondamrongkul:2021:FSA, 206(z)z--99999999
Chondamrongkul:2023:SEA, 230(z)z--99999999
Choo, Young Il, 2(2)133--141
Choo, Young Il, see Rem, Martin
choreographic, 202(z)z--99999999
choreography, 75(10)848--878, 77(3)290--313, 109(z)36--60, 160(z)3--29, 197(z)z--99999999
CHOReVOLUTION, 197(z)z--99999999
Chothia, Tom, 66(3)184--204
Chothia:2007:CPP, 66(3)184--204
chrestomathies, 97(z)98--104
Chris, 34(1)75--77
Christians, Ben, 213(z)z--99999999
Christians, Ben, see AlOmar, Eman Abdullah
Christiansen, David Raymond, 78(10)1845--1870
Christiansen, David Raymond, see Andersen, Jacob
Christoph, 38(1)143--146
Christoph, Alexander, 73(1)3--12
Christoph:2008:GUT, 73(1)3--12
Chronos, 69(1)56--67
Chrpa, Lukás, 147(z)54--77, see Barták, Roman
Chuang, Yung-Ting, 237(z)z--99999999
Chuang:2024:ANC, 237(z)z--99999999
Chung, JaeWoong, 63(2)111--129
Chung, JaeWoong, see Carlstrom, Brian D.
Chung, Lawrence, 57(1)1--4, 61(1)1--3, 66(1)1--3, 75(8)669--671, 75(8)726--760, 77(1)1--3, 78(10)1895--1911
Chung, Lawrence, see Noguera, Manuel, see Ruiz-López, Tomás
Chung, Myung-Hoon, 71(3)242--247
Chung:2005:SSA, 57(1)1--4
Chung:2006:QSS, 61(1)1--3
Chung:2007:BGB, 66(1)1--3
Chung:2008:SCN, 71(3)242--247
Chung:2010:DHQ, 75(8)669--671
Chung:2012:SSS, 77(1)1--3
Churrasco, 75(4)276--287
Ciaffaglione, Alberto, 126(z)31--51
Ciaffaglione:2016:TTC, 126(z)31--51
Ciancarini, P., 31(2)231--261
Ciancarini, Paolo, 31(2)175--177, 46(1)1--3
Ciancarini:1998:CML, 31(2)175--177
Ciancarini:1998:LCM, 31(2)231--261
Ciancarini:2003:ICL, 46(1)1--3
Ciancia, Vincenzo, 75(10)848--878
Ciancia:2010:EBC, 75(10)848--878
Ciao, 58(1)115--140
Ciapessoni, E., 20(1)141--171
Ciapessoni:1993:ETG, 20(1)141--171
CIbSE, 233(z)z--99999999, 243(z)z--99999999
Cicchetti, Antonio, 70(1)62--86, 230(z)z--99999999
Cicchetti, Antonio, see Bucchiarone, Antonio
Cicchetti:2008:DWA, 70(1)62--86
CICS, 45(2)193--243, 74(4)197--218
Cifuentes, Cristina, 40(2)171--188, 60(2)189--204
Cifuentes, Cristina, see Ung, David
Cifuentes:2001:RJT, 40(2)171--188
CIGALE, 7(1)61--86
CIL, 72(3)176--219, 191(z)z--99999999
Cimadamore, Maurizio, 73(2)59--75
Cimadamore:2008:RJW, 73(2)59--75
Cimatti, Alessandro, 36(1)53--64, 97(z)333--348, 98(z)464--483
Cimatti, Alessandro, see Bozzano, Marco, see Hartonas-Garmhausen, Vicky
Cimatti:2015:CRP, 97(z)333--348
Cimini, Matteo, 89(z)41--68, 128(z)22--50
Cimini, Matteo, see Jafari, Ali, see Reynisson, Arni Hermann
Cimoli, Tiziana, 109(z)61--95, 112(z)75--101
Cimoli, Tiziana, see Bartoletti, Massimo
Ciobanu, Gabriel, 20(1)73--111
circle, 109(z)61--95
circuit, 8(1)105--112, 8(2)173--202, 8(2)203--211, 11(1)95--97, 15(2)235--248, 22(1)107--135, 26(1)79--97, 27(2)185--204, 64(1)166--183, 74(3)100--127, 76(8)651--680, 77(7)848--869, 111(z)23--50, 151(z)2--17, 171(z)42--66, 212(z)z--99999999, 214(z)z--99999999
circular, 1(3)203--222, 68(1)21--37, 227(z)z--99999999
circular, meta-, 95(z)219--253
Circus, SCJ-, 181(z)140--176
Cirstea, Corina, 189(z)z--99999999, 197(z)z--99999999, 225(z)z--99999999
Cirstea, Corina, see Zhu, Chenyang
Cîrstea, Corina, 111(z)318--338, see Alkhammash, Eman
Cisternino, Antonio, 94(z)69--92
Cisternino, Antonio, see Gervasi, Vincenzo
City, 240(z)z--99999999
Cjj, 42(2)229--271
Claim, 54(1)49--71
Clarendon, 12(3)255--257, 13(1)122--125, 24(1)102--103
Clarisó, Robert, 64(1)115--139, 215(z)z--99999999
Clariso:2007:OAD, 64(1)115--139
Clariso:2022:UDD, 215(z)z--99999999
clarity, 4(3)221--248
Clark, 12(2)172--173
Clark, John A., 78(4)345--363
Clark, Tony, 98(z)589--616
Clark:2013:SMT, 78(4)345--363
Clark:2015:XLM, 98(z)589--616
Clarke, D., 115(z)47--78
Clarke, D., see Jongmans, S.-S. T. Q.
Clarke, Dave, 66(3)205--225, 76(8)681--710, 77(6)685--706, 78(2)145--146, 115(z)3--22, 146(z)28--49
Clarke, Dave, see Bonsangue, Marcello, see Johnsen, Einar Broch, see Proença, José
Clarke, Edmund, 36(1)53--64
Clarke, Edmund, see Hartonas-Garmhausen, Vicky
Clarke, Edmund M., 2(3)241--266, 29(1)79--98
Clarke, Edmund M., see Campos, Sergio, see Emerson, E. Allen
Clarke, Peter J., 149(z)1--2
Clarke, Siobhán, 44(1)71--100
Clarke:2002:ESU, 44(1)71--100
Clarke:2007:CCS, 66(3)205--225
Clarke:2011:CBC, 76(8)681--710
Clarke:2013:PSI, 78(2)145--146
Clarke:2017:TDT, 149(z)1--2
clash, 10(3)247--280, 20(3)173--204, 78(9)1407--1426
clash-free, 158(z)21--40
class, 4(3)291--322, 6(2)135--158, 7(1)23--33, 9(1)1--15, 19(1)61--85, 21(2)141--163, 22(1)45--65, 22(3)231--256, 23(1)19--53, 25(2)149--186, 26(1)117--132, 29(3)303--326, 31(1)3--45, 79(z)116--125, 92(z)129--161, 98(z)318--338, 132(z)209--225, 140(z)17--29, 228(z)z--99999999, 234(z)z--99999999
class, first-, 179(z)54--86
class, multi-, 78(4)364--387
Classen, Andreas, 76(12)1130--1143, 80(z)416--439
Classen:2011:TBA, 76(12)1130--1143
Classen:2014:FSM, 80(z)416--439
classic, 59(1)147--169
classical, 10(1)19--32, 21(2)165--190, 188(z)z--99999999, 236(z)z--99999999
classification, 14(1)1--24, 21(3)191--223, 27(2)85--118, 49(1)125--157, 63(1)16--38, 76(4)278--289, 95(z)298--319, 177(z)41--66, 227(z)z--99999999
classifiers, 205(z)z--99999999, 237(z)z--99999999
classroom, 53(1)71--85
clause, 9(3)221--262, 13(2)237--264, 18(2)215--218, 27(1)1--35, 137(z)125--140
Clauss, Philippe, 80(z)440--456
Clauss, Philippe, see Ketterlin, Alain
Clavreul, Mickaël, 232(z)z--99999999, see Jouault, Frédéric
CLEARSY, 199(z)z--99999999
Cleaveland, Rance, 29(1)99--122, 42(1)39--47, 111(z)277--299
Cleaveland, Rance, see Daw, Zamira, see Elseaidy, Wael M.
Cleaveland:2002:GTV, 42(1)39--47
Cledou, Guillermina, 203(z)z--99999999
Cledou:2021:HVO, 203(z)z--99999999
Clement, T., 13(1)128--130
Clement:1989:BRB, 13(1)128--130
Cleophas, L., 97(z)55--58
Cleophas, L., see Watson, B. W.
Cleophas, Loek, 75(11)1095--1112, 163(z)62--84, 166(z)1--2, 223(z)z--99999999, 241(z)z--99999999
Cleophas, Loek, see Babur, Önder, see Chen, Siyue, \see{Wille, David
Cleophas:2010:NTS, 75(11)1095--1112
Cleophas:2018:WAK, 166(z)1--2
Cleve, Anthony, 76(12)1247--1260, 94(z)307--332, 97(z)113--121, 150(z)31--55, 230(z)z--99999999
Cleve, Anthony, see Bacchelli, Alberto, see Gobert, Maxime, \see{Parra, Carlos, see Tamura, Gabriel
Cleve:2015:UDS, 97(z)113--121
clicker, 78(5)499--520
client, 31(2)179--203, 168(z)94--117
Client-based, 74(5)355--378
client-driven, 58(1)83--114
cliffs, 5(1)107--109, 5(3)317--318, 33(2)213--214
Clifton, Curtis, 55(1)185--208, 63(3)321--374
Clifton, Curtis, see Leavens, Gary T.
Clifton:2006:MIC, 63(3)321--374
Clinger, William D., 62(2)184--203
Clinger:2006:LCR, 62(2)184--203
clinical, 89(z)126--143
Clint, Maurice, 28(1)1--41
Clint, Maurice, see Fitzpatrick, Stephen
clock, 29(1)235--258, 80(z)343--355
clock, event-, 77(12)1212--1234
clock-based, 202(z)z--99999999, 203(z)z--99999999
clone, 74(7)470--495, 77(6)760--776, 95(z)389--389, 95(z)390--405, 95(z)426--444, 236(z)z--99999999, 242(z)z--99999999
cloned, 95(z)445--468, 220(z)z--99999999
cloned, non-, 95(z)445--468
Closed, Communication-, 2(3)155--173
closed, communication-, 2(3)155--173
closing, 29(1)23--52
closure, 1(3)235--254, 31(1)47--73, 75(9)762--772, 104(z)71--98, 212(z)z--99999999
cloth, 14(1)110--110
cloud, 85(z)1--4, 90(z)116--134, 115(z)177--198, 117(z)1--16, 143(z)1--8, 146(z)87--103, 147(z)27--53, 162(z)110--131, 173(z)95--127, 191(z)z--99999999, 232(z)z--99999999
club, 190(z)z--99999999
cluster, 76(12)1261--1274, 105(z)3--25, 163(z)62--84
Clustering, 45(2)137--153
CM, 110(z)1--2
CM2KG, 231(z)z--99999999
CNOT, 214(z)z--99999999
co-change, 240(z)z--99999999
Co-evolving, 104(z)2--43
co-labeling, 227(z)z--99999999
co-logic, 225(z)z--99999999
co-verification, 216(z)z--99999999
Coad, 14(1)109--110
Coady, Yvonne, 78(9)1559--1571
Coady, Yvonne, see Atoofian, Ehsan
coalgebraically, 78(11)2192--2215
coalgebras, 78(9)1324--1345
Coallier, François, 57(1)73--87
Coallier:2005:PLE, 57(1)73--87
COBOL, 40(2)189--211
COBOLash, 45(2)193--243
Coccinelle, 91(z)141--160
Cockett, J. R. B., 74(8)498--533
Cockett:2009:LMP, 74(8)498--533
code, 9(2)179--205, 9(3)271--286, 11(1)45--63, 15(1)15--54, 21(2)141--163, 21(3)263--291, 25(2)187--218, 27(3)217--262, 28(2)139--170, 29(3)303--326, 31(2)335--358, 39(1)3--29, 40(2)171--188, 46(1)137--162, 47(2)221--242, 57(3)275--294, 60(2)121--133, 62(3)205--208, 68(2)64--78, 71(3)242--247, 74(5)379--396, 74(7)470--495, 75(8)689--725, 76(2)100--118, 76(4)227--242, 76(4)243--257, 76(5)349--375, 76(11)1037--1053, 76(12)1113--1129, 77(2)96--112, 77(3)131--151, 77(6)760--776, 78(5)481--498, 78(7)862--883, 78(8)1137--1156, 78(8)1157--1175, 78(9)1368--1406, 78(9)1663--1678, 78(10)1871--1891, 79(z)241--259, 80(z)109--129, 84(z)3--21, 95(z)445--468, 96(z)121--140, 98(z)376--393, 98(z)680--706, 105(z)1--2, 105(z)44--72, 111(z)505--534, 112(z)120--144, 119(z)31--50, 127(z)76--102, 176(z)14--32, 182(z)64--85, 191(z)z--99999999, 196(z)z--99999999, 199(z)z--99999999, 204(z)z--99999999, 206(z)z--99999999, 207(z)z--99999999, 208(z)z--99999999, 212(z)z--99999999, 217(z)z--99999999, 223(z)z--99999999, 226(z)z--99999999, 227(z)z--99999999, 230(z)z--99999999, 234(z)z--99999999, 236(z)z--99999999, 237(z)z--99999999, 238(z)z--99999999, 241(z)z--99999999, 242(z)z--99999999, 243(z)z--99999999
code, Design-, 40(2)213--234
code, Source-, 97(z)127--134
code, source-, 105(z)73--91
code-first, 89(z)374--407
Code-Generator, 15(1)15--54
code-improving, 52(1)257--280
codebases, 236(z)z--99999999
coded, 105(z)26--43
Codescu, Mihai, 144(z)1--49
Codescu:2017:SRC, 144(z)1--49
CodeSparks, 230(z)z--99999999
coding, 27(2)119--137, 91(z)141--160
Codocedo, Víctor, 77(1)66--80, see López, Claudia
Codognet, Philippe, 30(1)1--2
Codognet:1998:F, 30(1)1--2
Codur, K. Burak, 77(5)636--643
Codur:2012:RSE, 77(5)636--643
coercion, 22(3)197--230, 75(9)787--795
Coevolution-Implementation, Sensemaking-, 101(z)21--41
Cofer, Darren, 76(2)63--64
Cofer:2011:PSI, 76(2)63--64
cognition, 178(z)1--19
cognitive, 86(z)43--57
Cogo, Vinicius Vielmo, 243(z)z--99999999
Cogo, Vinicius Vielmo, see Casadei, Roberto
Cohen, Albert, 62(1)25--46
Cohen:2006:SPG, 62(1)25--46
coherence, 28(2)273--299, 197(z)z--99999999
cohesion, 74(5)355--378
coinduction, 126(z)31--51
Cointe, Pierre, 4(3)291--322
Cointe:1984:EVV, 4(3)291--322
Cok, David R., 55(1)185--208
Cok, David R., see Leavens, Gary T.
cold, 76(11)1037--1053
Cole, Christopher, 58(3)310--324
Cole:2005:SST, 58(3)310--324
colibri, 69(1)68--75
colibri2, 79(z)126--145
collaboration, 77(1)29--45, 166(z)35--70, 218(z)z--99999999
collaborative, 57(1)109--128, 66(1)44--59, 74(9)754--776, 75(4)276--287, 75(8)726--760, 79(z)204--223, 88(z)54--81, 98(z)707--734, 113(z)3--28, 232(z)z--99999999
Collard, Michael L., 212(z)z--99999999
Collard, Michael L., see Hayashi, Shinpei
Collazos, César A., 89(z)320--349, see Molina, Ana I.
collect, copy-, 31(2)335--358
collected, 16(1)97--100, 78(9)1427--1448
collecting, 24(3)249--286
collection, 1(1)73--114, 10(2)107--137, 62(2)164--183, 62(2)184--203, 64(3)341--374, 70(2)89--110, 78(5)445--457, 79(z)241--259
collections, 113(z)51--81, 161(z)34--56
collective, 40(2)235--263, 74(9)702--722, 192(z)z--99999999, 235(z)z--99999999
Collet, Philippe, 78(6)657--681, 240(z)z--99999999
Collet, Philippe, see Acher, Mathieu
Collet:2025:VEC, 240(z)z--99999999
Collette, Pierre, 23(2)107--125
Collette:1994:CAC, 23(2)107--125
Collider, 78(12)2435--2452
Collier, Rem, 98(z)120--139
Collier, Rem, see Jordan, Howell
colloquium, 1(3)203--222, 2(1)87--88, 23(0)107--311, 23(2)107--125, 23(2)127--149, 23(2)151--195, 23(2)197--226, 23(2)227--286
Colman, Alan, 64(2)223--245
Colman:2007:URB, 64(2)223--245
Colombia, 236(z)z--99999999
Colombo, Diego, 231(z)z--99999999
Colombo, Diego, see Bucchiarone, Antonio
Colomo-Palacios, Ricardo, 95(z)1--2, 121(z)55--74, 156(z)90--103, 184(z)z--99999999
Colomo-Palacios, Ricardo, see Chaabane, Mariam, see González-Torres, Antonio, see Paredes-Valverde, Mario Andrés, see Valencia-García, Rafael
Colón, Michael A., 64(1)76--96
Colon:2007:PAR, 64(1)76--96
colony, 78(6)762--774
colored, 56(1)171--189, 77(3)290--313, 181(z)1--26
colorful, 220(z)z--99999999
colouring, 66(3)205--225
Colvin, Robert, 74(3)143--165
Colvin, Robert J., 76(10)891--914
Colvin:2009:GTP, 74(3)143--165
Colvin:2011:SBT, 76(10)891--914
Combettes, Stéphanie, 200(z)z--99999999, see Camps, Valérie
combinability, 99(z)3--23
combination, 38(1)27--71, 62(2)184--203
combinational, 64(1)166--183
combinator, 10(1)95--97, 52(1)165--212, 75(7)543--572, 111(z)365--394, 112(z)120--144, 114(z)57--73, 161(z)57--88
combinatorial, 4(3)221--248, 8(1)105--112, 8(2)173--202, 8(2)203--211, 238(z)z--99999999
combined, 148(z)189--212
combining, 47(1)3--36, 62(1)47--65, 74(7)399--413, 75(3)134--175, 76(2)82--99, 77(4)518--532, 78(2)218--247, 95(z)320--342, 107(0)19--40, 152(z)161--184, 210(z)z--99999999
Comini, Marco, 49(1)89--123
Comini:2003:AIB, 49(1)89--123
ComMA, 233(z)z--99999999
command, 3(2)189--204, 20(3)223--251, 22(1)137--155, 28(2)171--192, 58(1)141--178, 59(1)109--126, 76(10)891--914
command, Guarded-, 18(1)107--137
comment, 64(3)263--263
commercial, 102(z)44--56
commitment, 23(0)107--311, 23(2)107--125
commitment, assumption-, 23(2)107--125
Committee, 24(3)287--287
common, 6(3)313--318, 57(3)357--378, 147(z)3--26
commonality, 150(z)56--74, 218(z)z--99999999
communicating, 1(1)49--72, 2(3)155--173, 3(1)101--114, 3(2)189--204, 5(2)171--199, 5(3)277--307, 6(1)35--88, 6(2)191--205, 8(1)43--67, 9(1)101--105, 11(1)65--86, 14(2)159--184, 18(3)223--245, 23(1)55--89, 27(2)139--173, 28(1)43--90, 38(1)151--153, 74(3)100--127, 77(6)727--740, 77(7)955--967, 205(z)z--99999999, 242(z)z--99999999
communication, 3(1)101--114, 3(2)189--204, 4(3)249--256, 5(1)1--36, 5(3)265--276, 5(3)277--307, 6(1)1--9, 6(1)35--88, 8(1)43--67, 10(1)1--18, 14(2)229--242, 19(1)25--59, 22(1)45--65, 24(2)159--181, 26(1)255--272, 27(2)139--173, 28(2)93--110, 29(1)23--52, 29(1)147--170, 29(1)199--233, 29(1)235--258, 30(1)227--250, 33(2)215--216, 40(2)235--263, 44(3)253--292, 55(1)81--115, 57(1)61--72, 78(7)813--827, 134(z)4--18, 168(z)71--93, 181(z)1--26, 192(z)z--99999999
Communication-Closed, 2(3)155--173
communication-closed, 2(3)155--173
communications, 97(z)235--265
CommUnity, 69(1)46--55
community, 88(z)82--91, 214(z)z--99999999
commutative, associative-, 9(2)137--159
commutativity, 231(z)z--99999999
Commuting, 152(z)116--160
Como, 20(1)73--111, 20(1)141--171
Comon-Lundh, Hubert, 50(1)51--71
Comon-Lundh:2004:SPT, 50(1)51--71
compact, 15(2)235--248, 75(11)1077--1094, 76(11)1073--1073, 78(12)2435--2452, 188(z)z--99999999
Compactification, 22(1)157--180
compactness, 4(3)221--248
companion, 189(z)z--99999999
comparative, 12(2)172--173, 13(2)237--264, 93(z)65--85, 172(z)232--263
comparator, 111(z)483--504
Compare, Daniele, 33(2)101--131
Compare:1999:UAM, 33(2)101--131
Compared, 24(2)183--185
comparing, 14(1)59--79, 46(1)31--69, 76(1)3--22, 111(z)277--299, 173(z)56--70, 237(z)z--99999999, 244(z)z--99999999
comparison, 2(2)143--152, 9(3)213--220, 25(2)187--218, 36(2)149--181, 74(7)470--495, 78(8)971--986, 78(8)987--1009, 78(12)2468--2487, 85(z)41--99, 90(z)55--66, 111(z)483--504, 152(z)99--115, 208(z)z--99999999, 241(z)z--99999999
compatibility, 41(2)105--138, 77(7)870--886, 77(9)971--989, 92(z)129--161, 205(z)z--99999999
competent, 237(z)z--99999999
competitive, 78(5)556--568, 184(z)z--99999999
compilation, 11(2)133--159, 77(2)96--112, 78(6)615--632, 155(z)146--172, 183(z)z--99999999, 214(z)z--99999999, 228(z)z--99999999
compilation, cross-, 74(5)379--396
Compile, 27(1)37--83
compile-time, 58(1)264--289, 198(z)z--99999999
compiled, 169(z)18--32
compiler, 3(3)223--278, 7(2)99--241, 8(2)113--137, 11(2)107--131, 11(2)133--159, 12(1)39--74, 15(1)15--54, 19(2)153--169, 19(2)171--196, 21(3)263--291, 24(1)63--81, 25(2)219--249, 27(1)37--83, 29(3)303--326, 31(2)291--311, 32(1)3--47, 32(1)73--107, 34(2)159--161, 47(1)37--58, 57(3)339--356, 59(1)38--63, 59(3)250--273, 68(2)79--94, 69(1)14--26, 75(1)21--38, 77(9)971--989, 79(z)101--115, 113(z)191--220, 114(z)45--56, 238(z)z--99999999, 243(z)z--99999999
compiler, compiler-, 79(z)101--115
compiler-compiler, 79(z)101--115
compiling, 7(3)297--312, 11(2)133--159, 12(2)164--165, 29(3)303--326
complement, 23(1)19--53
complete, 72(1)3--21, 78(9)1521--1537, 94(z)109--129, 94(z)255--288, 95(z)254--271, 99(z)128--192, 111(z)248--276, 179(z)1--23, 193(z)z--99999999, 237(z)z--99999999
completeness, 10(1)33--63, 76(9)756--773
completion, 8(1)69--86, 22(3)197--230, 228(z)z--99999999
complex, 8(3)231--274, 21(2)93--113, 76(12)1098--1112, 78(6)682--683, 78(12)2511--2536, 79(z)23--38, 115(z)23--46, 129(z)35--47, 132(z)173--189, 133(z)175--193, 172(z)117--134, 198(z)z--99999999, 232(z)z--99999999, 244(z)z--99999999
complexity, 2(2)133--141, 7(1)23--33, 10(1)93--95, 20(3)205--221, 21(2)115--139, 22(1)21--44, 22(1)157--180, 24(1)97--99, 25(1)1--39, 25(2)117--147, 25(2)187--218, 26(1)179--196, 27(2)205--214, 27(3)263--288, 30(1)227--250, 30(3)287--308, 31(2)205--229, 31(2)291--311, 32(1)109--143, 33(2)215--216, 58(1)57--82, 74(7)414--429, 77(7)940--954, 83(z)3--34, 97(z)82--85, 102(z)57--75, 111(z)365--394, 111(z)395--425, 150(z)1--25, 213(z)z--99999999, 227(z)z--99999999, 231(z)z--99999999
compliant, 42(2)229--271
compliant, TOSCA-, 115(z)177--198
component, 6(2)103--134, 6(2)135--158, 18(3)223--245, 25(1)63--77, 33(2)101--131, 36(2)209--266, 40(1)31--57, 41(2)173--194, 42(2)173--228, 55(1)3--52, 56(1)5--21, 56(1)23--39, 56(1)99--116, 56(1)117--139, 56(1)141--156, 56(1)157--170, 56(1)211--230, 57(1)27--44, 60(2)134--148, 60(2)171--188, 61(2)75--113, 63(1)39--56, 74(9)688--701, 75(5)350--373, 75(7)471--472, 75(10)879--897, 75(10)898--917, 76(5)347--348, 77(6)685--706, 77(7)779--798, 78(1)1--2, 78(1)27--45, 78(10)1971--1986, 78(12)2313--2330, 79(z)101--115, 83(z)106--128, 90(z)93--115, 91(z)1--2, 91(z)70--89, 91(z)115--137, 94(z)253--254, 97(z)349--365, 98(z)617--644, 101(z)42--65, 113(z)221--222, 113(z)285--301, 127(z)1, 171(z)21--41, 173(z)95--127, 175(z)17--34, 183(z)z--99999999, 191(z)z--99999999, 199(z)z--99999999, 200(z)z--99999999, 211(z)z--99999999, 218(z)z--99999999, 233(z)z--99999999, 236(z)z--99999999
component, multi-, 177(z)41--66
Component-Based, 90(z)67--70
component-based, 42(2)129--171, 46(1)5--30, 55(1)161--183, 56(1)23--39, 71(3)181--212, 74(4)168--196, 76(12)1144--1160, 77(3)247--269, 77(12)1212--1234, 78(8)1073--1098, 78(12)2488--2510, 97(z)105--112, 97(z)333--348, 97(z)366--380, 97(z)426--457, 106(z)30--53, 113(z)223--235, 113(z)261--284, 127(z)24--49, 132(z)96--128, 191(z)z--99999999, 192(z)z--99999999
component-interaction, 76(10)877--890
component-oriented, 75(7)615--637
Composing, 47(1)3--36, 60(3)221--243, 63(2)130--146
composite, 58(3)344--365
composition, 23(2)107--125, 24(3)221--248, 27(3)217--262, 28(1)43--90, 44(1)71--100, 52(1)9--51, 54(2)257--290, 55(1)3--52, 55(1)161--183, 56(1)1--4, 56(1)41--57, 56(1)59--78, 56(1)117--139, 56(1)157--170, 56(1)171--189, 56(1)191--210, 56(1)231--249, 75(10)898--917, 76(11)992--1014, 76(12)1194--1209, 94(z)289--306, 96(z)34--51, 97(z)183--201, 98(z)422--438, 127(z)2--23, 146(z)50--86, 183(z)z--99999999, 185(z)z--99999999
composition, self-, 78(5)556--568, 78(7)796--812
composition, xor-, 8(1)105--112
compositional, 23(2)107--125, 36(1)97--127, 37(1)279--309, 41(3)195--240, 50(1)23--49, 77(2)113--128, 77(12)1289--1309, 78(7)813--827, 78(10)1845--1870, 78(12)2537--2579, 80(z)3--24, 91(z)115--137, 97(z)331--332, 113(z)119--148, 113(z)236--260, 114(z)45--56, 172(z)27--47, 174(z)90--108, 196(z)z--99999999, 203(z)z--99999999, 206(z)z--99999999, 217(z)z--99999999, 244(z)z--99999999
compositionality, 21(3)225--261, 44(3)343--344, 54(2)291--311, 92(z)105--128, 109(z)2--35
compositionally, 98(z)516--530
compound, 162(z)55--75
comprehensibility, 60(2)121--133
comprehension, 78(10)1930--1950, 79(z)224--240
comprehensive, 47(2)91--120, 76(11)1015--1036, 89(z)374--407, 131(z)22--41
compressed, 57(3)295--317
Compressing, 33(2)101--131
compression, 224(z)z--99999999
Comput, 2(1)85--85, 29(3)335--335, 44(3)343--344, 54(2)313--313
computability, 10(1)33--63, 11(1)91--94, 11(1)97--98, 126(z)31--51
computable, 195(z)z--99999999, 215(z)z--99999999
computable, non-, 75(11)1142--1164
computation, 3(1)37--63, 9(2)107--136, 9(2)207--211, 10(2)212--213, 11(3)197--261, 14(2)229--242, 15(2)201--215, 20(3)205--221, 21(2)141--163, 21(3)191--223, 21(3)225--261, 22(1)137--155, 24(1)1--39, 24(2)129--148, 24(2)149--158, 25(2)81--116, 25(2)219--249, 26(1)149--165, 27(2)139--173, 29(3)335--335, 37(1)3--36, 38(1)147--149, 41(2)139--172, 43(2)193--229, 62(1)66--84, 66(1)25--43, 74(9)723--753, 76(4)307--323, 77(10)1075--1094, 78(9)1264--1277, 85(z)224--240, 112(z)58--74, 151(z)1--1, 151(z)48--60, 184(z)z--99999999, 187(z)z--99999999, 197(z)z--99999999, 218(z)z--99999999, 228(z)z--99999999, 236(z)z--99999999
computation-Interactive, 11(2)178--180
computational, 4(3)257--290, 20(3)173--204, 20(3)205--221, 20(3)223--251, 20(3)253--289, 21(2)115--139, 21(2)141--163, 21(2)165--190, 21(3)225--261, 21(3)263--291, 22(1)21--44, 22(1)137--155, 22(1)157--180, 22(3)183--195, 22(3)231--256, 22(3)257--282, 22(3)283--306, 22(3)307--326, 23(0)107--311, 23(1)1--18, 23(2)227--286, 23(2)287--311, 24(1)63--81, 25(0)79--325, 25(1)1--39, 25(2)81--116, 25(2)117--147, 25(2)149--186, 25(2)187--218, 25(2)251--283, 26(1)167--177, 26(1)179--196, 27(1)37--83, 27(2)205--214, 27(3)217--262, 27(3)263--288, 27(3)289--322, 28(2)111--138, 28(2)171--192, 29(3)303--326, 30(1)3--49, 30(1)51--82, 30(1)119--155, 30(1)157--199, 30(1)227--250, 30(3)287--308, 30(3)309--338, 31(1)47--73, 31(1)113--145, 31(1)147--173, 31(2)205--229, 31(2)231--261, 31(2)291--311, 32(1)49--72, 32(1)109--143, 32(1)145--176, 33(2)133--162, 34(2)79--140, 34(3)163--190, 34(3)191--205, 34(3)207--238, 98(z)360--375, 111(z)365--394, 111(z)395--425, 117(z)17--44, 213(z)z--99999999
Computeash, 79(z)39--51
computed, 3(1)101--114
computer, human-, 51(3)197--213
Computer-aided, 240(z)z--99999999
Computer-assisted, 58(1)3--27
computer-based, 42(1)1--10
computing, 1(3)235--254, 3(1)117--117, 5(3)318--320, 10(1)1--18, 11(1)87--88, 12(3)267--270, 16(2)197--198, 30(1)3--49, 38(1)1--25, 62(1)25--46, 63(1)57--87, 64(2)187--204, 75(9)761--761, 75(11)919--920, 77(1)46--65, 77(9)969--970, 78(4)388--389, 78(5)425--444, 78(6)613--614, 78(6)682--683, 78(7)906--906, 78(10)1892--1894, 80(z)65--90, 105(z)124--144, 106(z)3--29, 111(z)300--317, 132(z)29--49, 132(z)96--128, 163(z)93--114, 165(z)ii--ii, 167(z)114--137, 173(z)37--55, 213(z)z--99999999, 221(z)z--99999999, 224(z)z--99999999, 228(z)z--99999999, 235(z)z--99999999, 238(z)z--99999999, 243(z)z--99999999
Conan, Denis, 78(10)1912--1929
Conan, Denis, see Chabridon, Sophie
Conceição, Eduardo Lourenço da, 238(z)z--99999999
concept, 3(3)279--312, 15(1)111--112, 16(2)200--201, 44(2)157--180, 56(1)1--4, 70(2)111--126, 75(5)333--349, 75(7)596--614, 75(9)773--786, 78(9)1449--1469, 97(z)320--330, 98(z)680--706, 208(z)z--99999999
concept, multi-, 201(z)z--99999999
concept-based, 129(z)72--91
conceptual, 95(z)73--92, 96(z)417--443, 231(z)z--99999999, 239(z)z--99999999
concern, 11(1)17--28, 70(1)62--86, 88(z)1--2, 96(z)417--443
concern-based, 77(1)29--45
concern-specific, 87(z)62--94
Concerto, 203(z)z--99999999
concolic, 147(z)109--134, 242(z)z--99999999
concrete, 7(1)35--53, 78(6)615--632
concurrency, 2(1)1--18, 2(1)19--52, 4(2)159--204, 11(1)65--86, 14(2)185--228, 21(1)1--56, 24(2)159--181, 28(1)43--90, 29(1)99--122, 42(1)115--128, 55(1)81--115, 58(3)291--292, 58(3)344--365, 63(2)109--110, 76(9)739--755, 82(z)22--43, 85(z)204--223, 100(z)1--1, 109(z)1, 111(z)214--247, 132(z)173--189, 163(z)1--18
concurrent, 2(1)1--18, 2(3)175--206, 2(3)241--266, 4(2)103--139, 4(2)159--204, 4(3)257--290, 5(2)171--199, 8(3)275--306, 10(2)107--137, 10(2)212--213, 11(2)195--196, 13(1)1--21, 13(1)23--50, 13(2)219--236, 14(2)159--184, 14(2)185--228, 16(1)49--88, 19(1)1--23, 19(2)87--152, 22(1)45--65, 23(0)107--311, 23(2)107--125, 23(2)151--195, 24(2)129--148, 29(3)335--335, 30(1)3--49, 30(1)51--82, 30(1)119--155, 30(1)157--199, 30(1)201--226, 30(1)227--250, 41(2)173--194, 42(1)39--47, 57(1)27--44, 57(1)61--72, 58(3)384--411, 61(1)38--47, 62(2)98--121, 64(3)341--374, 76(1)37--62, 76(2)65--81, 76(9)792--833, 77(3)375--392, 78(9)1294--1323, 97(z)426--457, 98(z)735--763, 111(z)135--155, 115(z)100--126, 132(z)173--189, 155(z)27--51, 161(z)122--148, 173(z)56--70, 184(z)z--99999999, 192(z)z--99999999, 206(z)z--99999999, 215(z)z--99999999, 223(z)z--99999999, 235(z)z--99999999
Conde, Miguel Á, 88(z)41--53
Conde:2014:IDS, 88(z)41--53
condition, 11(1)1--15, 78(9)1240--1263, 93(z)154--182, 104(z)44--70, 147(z)78--108, 163(z)174--189, 198(z)z--99999999
condition, verification-, 55(1)209--226
conditional, 80(z)385--415, 92(z)2--24, 112(z)24--57, 118(z)77--95, 186(z)z--99999999
Condori-Fernández, Nelly, 78(11)2245--2258
Condori-Fernandez:2013:EAE, 78(11)2245--2258
Conejero, Jose M., 168(z)165--168
Conejero, Jose M., see Rodriguez-Echeverria, Roberto
Conejero, José M., 75(11)1113--1141
Conejero:2010:MEA, 75(11)1113--1141
conference, 1(1)149--155, 3(1)117--117, 4(2)219--219, 18(2)213--215, 21(2)141--163, 21(2)165--190, 26(0)274, 77(6)661--662, 77(12)1211--1211, 89(z)251--272, 97(z)381--382, 151(z)1--1, 163(z)138--138, 204(z)z--99999999, 212(z)z--99999999, 216(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999, 225(z)z--99999999, 229(z)z--99999999, 230(z)z--99999999, 233(z)z--99999999, 235(z)z--99999999, 238(z)z--99999999, 240(z)z--99999999, 243(z)z--99999999
confidentiality, 75(6)426--439
configurable, 51(3)197--213, 240(z)z--99999999
configuration, 24(1)41--61, 46(1)5--30, 48(1)43--65, 53(2)125--141, 53(2)143--164, 53(2)215--253, 65(3)215--221, 65(3)249--274, 75(5)311--332, 160(z)30--47
Confining, 63(1)57--87
conflict, 75(11)943--979, 77(10)1039--1057, 89(z)23--40, 113(z)3--28, 182(z)42--63, 185(z)z--99999999
confluence, 104(z)44--70, 187(z)z--99999999
confluence, tau-, 77(10)1075--1094
confluent, 111(z)135--155
conformance, 75(5)350--373, 138(z)1--25, 162(z)35--54, 172(z)27--47, 233(z)z--99999999, 241(z)z--99999999, 243(z)z--99999999
congresses, 432(0)ix--435
congruence, 14(1)81--96, 25(2)149--186, 78(7)862--883
conjunction, 31(1)113--145
Conjunctive, 20(3)223--251, 31(1)3--45
connected, 41(2)173--194, 191(z)z--99999999
connection, 33(2)133--162, 33(2)163--212, 51(1)153--196, 98(z)516--530
connector, 61(1)16--26, 61(2)75--113, 66(3)205--225, 74(9)688--701, 77(6)685--706, 77(7)779--798, 77(7)799--822, 80(z)3--24, 113(z)285--301, 146(z)28--49, 170(z)27--44, 177(z)19--40
conquer, 5(1)37--58, 26(1)149--165, 26(1)217--236
Conquer, Divide-And-, 8(3)213--229
conquer, divide-and-, 8(3)213--229, 26(1)59--78, 215(z)z--99999999, 231(z)z--99999999
Consel, Charles, 21(3)263--291, 52(1)341--370, 79(z)39--51
Consel, Charles, see Bertran, Benjamin
Consel:1993:SDG, 21(3)263--291
Consel:2004:TTP, 52(1)341--370
consensus, 115(z)199--224
consideration, 97(z)183--201, 200(z)z--99999999
considered, 26(1)179--196
considering, 228(z)z--99999999
consistency, 33(3)261--298, 35(1)29--75, 76(8)711--735, 92(z)86--104, 97(z)349--365, 167(z)1--24, 189(z)z--99999999, 213(z)z--99999999, 214(z)z--99999999, 216(z)z--99999999, 235(z)z--99999999, 239(z)z--99999999
consistency, arc-, 30(1)227--250
consistently, 76(10)837--860
ConSpec, 74(1)2--12
Constable, Robert L., 148(z)26--48
Constable, Robert L., see Rahli, Vincent
Constantinou, Eleni, 218(z)z--99999999
Constantinou:2022:SIS, 218(z)z--99999999
constants, 9(2)161--177
constrained, 112(z)24--57, 124(z)1--19, 155(z)76--102, 166(z)89--119, 171(z)21--41, 238(z)z--99999999
constrained, resource-, 78(8)1073--1098
constraint, 15(1)113--114, 22(1)107--135, 23(0)107--311, 23(2)197--226, 24(2)159--181, 25(0)79--325, 25(2)117--147, 26(1)133--148, 26(1)255--272, 28(0)91--299, 28(2)247--271, 29(1)235--258, 30(1)3--49, 30(1)51--82, 30(1)83--118, 30(1)119--155, 30(1)157--199, 30(1)201--226, 30(1)227--250, 32(1)73--107, 34(3)207--238, 35(2)191--221, 36(1)53--64, 50(1)253--270, 61(2)75--113, 68(3)179--195, 76(8)681--710, 77(3)290--313, 77(7)848--869, 78(5)583--593, 78(12)2295--2312, 97(z)23--30, 98(z)439--463, 106(z)78--92, 111(z)135--155, 111(z)156--189, 137(z)125--140, 146(z)50--86, 149(z)3--8, 152(z)38--62, 160(z)48--77, 163(z)19--41, 169(z)1--17, 197(z)z--99999999, 200(z)z--99999999, 203(z)z--99999999, 206(z)z--99999999, 218(z)z--99999999, 244(z)z--99999999
constraint-based, 30(1)201--226, 32(1)73--107, 35(2)79--111, 36(2)285--302, 103(z)51--70
construct, 4(2)103--139, 15(1)1--13, 24(3)249--286, 40(2)235--263, 41(1)53--84, 46(3)219--254, 68(1)38--61, 74(3)128--142
constructing, 5(2)201--218, 18(1)67--106, 75(7)543--572
construction, 3(3)223--278, 4(1)45--86, 5(3)233--264, 5(3)277--307, 5(3)317--318, 7(1)61--86, 12(1)88--90, 12(3)177--190, 17(1)77--117, 22(1)3--19, 22(1)21--44, 22(1)45--65, 22(1)67--105, 22(1)107--135, 22(1)137--155, 22(1)157--180, 25(2)187--218, 26(0)274, 26(1)5--9, 26(1)11--14, 26(1)15--31, 26(1)59--78, 26(1)99--115, 26(1)117--132, 26(1)133--148, 26(1)167--177, 26(1)179--196, 26(1)197--216, 26(1)217--236, 26(1)237--254, 26(1)255--272, 30(3)251--286, 38(1)27--71, 47(1)37--58, 48(2)81--97, 69(1)14--26, 78(9)1346--1367, 78(11)2027--2028, 85(z)101--101, 114(z)45--56, 127(z)2--23
construction, correctness-by-, 97(z)55--58
constructive, 8(1)1--42, 17(1)119--138, 35(1)29--75, 96(z)377--394
consumption, 111(z)426--457, 111(z)458--482, 140(z)17--29, 161(z)34--56, 162(z)132--147, 243(z)z--99999999
container, 6(2)135--158
containment, 174(z)38--71
Conte, Tayana, 244(z)z--99999999
Conte, Tayana, see Carvalho, Lucas
content, 76(12)1078--1097, 238(z)z--99999999
contest, 85(z)41--99
context, 3(2)151--188, 22(3)307--326, 29(1)23--52, 29(3)279--302, 30(3)251--286, 63(1)88--107, 66(3)205--225, 74(5)279--295, 76(9)774--791, 79(z)146--157, 107(0)41--63, 126(z)3--30, 189(z)z--99999999
context-aware, 78(12)2381--2398, 102(z)20--43, 115(z)79--99, 129(z)3--19, 136(z)17--42, 163(z)139--159
context-bounded, 152(z)63--69
context-dependent, 77(6)685--706, 78(12)2331--2346
context-free, 36(2)209--266, 75(3)176--191, 89(z)235--250
context-oriented, 76(12)1194--1209
ContextErlang, 102(z)20--43
ContextJS, 76(12)1194--1209
contextual, 16(3)251--275, 30(1)51--82, 132(z)96--128
contextualization, 230(z)z--99999999
continuation, 8(1)87--103, 16(1)1--18, 21(2)165--190, 22(3)183--195, 26(1)179--196, 60(3)274--297, 94(z)3--17
continue, 209(z)z--99999999
continuous, 14(2)117--132, 30(1)3--49, 134(z)19--36, 229(z)z--99999999
contract, 78(2)248--267, 91(z)70--89, 92(z)86--104, 94(z)307--332, 98(z)360--375, 105(z)73--91, 109(z)61--95, 115(z)225--246, 167(z)25--50, 187(z)z--99999999, 211(z)z--99999999, 221(z)z--99999999, 225(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999, 236(z)z--99999999, 238(z)z--99999999, 240(z)z--99999999, 243(z)z--99999999
contract, Cross-, 234(z)z--99999999
contract, design-by-, 100(z)2--27
contract-obedient, 100(z)28--60
Contracts-refinement, 97(z)333--348
contrastive, 226(z)z--99999999, 235(z)z--99999999, 237(z)z--99999999
Contributed, 2(1)312--318
contribution, 91(z)139--140, 91(z)249--265
control, 3(1)1--35, 4(3)291--322, 7(1)1--22, 10(2)213--215, 11(1)29--43, 16(2)103--149, 21(2)115--139, 24(2)159--181, 24(3)249--286, 26(1)59--78, 28(1)43--90, 29(1)3--22, 29(1)99--122, 29(1)147--170, 42(1)101--113, 59(1)109--126, 66(1)44--59, 67(2)162--198, 74(4)197--218, 77(3)174--187, 78(9)1264--1277, 78(9)1538--1558, 78(12)2435--2452, 79(z)39--51, 82(z)22--43, 91(z)188--215, 94(z)217--237, 94(z)333--361, 96(z)337--353, 97(z)17--22, 98(z)117--119, 103(z)13--50, 130(z)2--23, 131(z)42--58, 133(z)116--153, 148(z)49--65, 160(z)30--47, 163(z)93--114, 172(z)117--134, 190(z)z--99999999, 206(z)z--99999999, 216(z)z--99999999, 230(z)z--99999999
control, meta-, 140(z)2--16
controlled, 75(5)292--310, 77(5)551--576, 96(z)121--140, 181(z)111--139, 201(z)z--99999999
controlled, user-, 45(2)175--191
controller, 41(1)85--104, 94(z)109--129, 97(z)17--22, 187(z)z--99999999, 218(z)z--99999999, 242(z)z--99999999
controlling, 112(z)227--260, 225(z)z--99999999
conventions, 3(1)101--114
convergence, 24(3)189--220, 37(1)163--205, 81(z)108--121, 131(z)94--108
conversion, 3(2)119--149, 26(1)167--177, 43(1)35--75, 134(z)75--99
convex, 58(1)28--56
convolution, 15(2)185--200, 228(z)z--99999999
Cook, William R., 96(z)460--487
Cook, William R., see Storm, Tijs van der
Cooke, Daniel E., 42(1)115--128
Cooke:2002:ACS, 42(1)115--128
Cooper, Kendra, 57(1)89--108, 61(1)58--71, 66(1)87--102, 75(8)689--725
Cooper, Kendra, see Bennett, Jeannette, see Dai, Lirong
Cooper, Matthew L., 88(z)82--91
Cooper:2005:PMA, 57(1)89--108
Cooper:2014:OSS, 88(z)82--91
cooperating, 3(1)101--114, 139(z)1--35
Cooperative, 30(1)201--226, 74(5)333--354, 112(z)227--260
cooperatively, 200(z)z--99999999
Coordinated, 5(3)318--320
coordinating, 46(1)163--193, 66(3)246--265, 115(z)79--99, 146(z)87--103
COORDINATION, 204(z)z--99999999, 225(z)z--99999999
coordination, 31(2)175--177, 31(2)205--229, 31(2)231--261, 31(2)291--311, 31(2)313--334, 31(2)335--358, 31(2)359--381, 46(1)1--3, 46(1)31--69, 46(1)71--98, 46(1)99--135, 46(1)137--162, 60(1)27--67, 61(2)152--187, 63(1)1--2, 63(1)3--15, 63(1)88--107, 64(2)205--222, 64(2)223--245, 74(9)669--670, 75(5)289--291, 75(5)311--332, 75(5)333--349, 75(5)350--373, 75(6)376--397, 76(1)3--22, 76(8)681--710, 77(6)661--662, 77(7)777--778, 78(2)145--146, 78(5)542--543, 80(z)1--2, 96(z)337--353, 110(z)1--2, 110(z)3--22, 110(z)23--50, 115(z)47--78, 115(z)127--145, 115(z)147--148, 115(z)149--176, 115(z)199--224, 160(z)3--29, 160(z)48--77, 168(z)169--170, 180(z)16--17, 184(z)z--99999999, 191(z)z--99999999, 202(z)z--99999999, 203(z)z--99999999, 204(z)z--99999999, 225(z)z--99999999
coordinators, 71(3)181--212, 203(z)z--99999999
cope, 94(z)238--252
Copenhagen, 17(1)35--75, 17(1)77--117, 17(1)139--215, 17(1)217--245, 432(0)ix--435
Coplien, James O., 56(1)231--249
Coplien, James O., see Porter, Ronald
copy-collect, 31(2)335--358
Copying, List-, 6(3)213--272
copying, list-, 6(3)213--272
copyless, 84(z)22--51
Coq, 74(8)568--589, 113(z)285--301, 170(z)27--44, 187(z)z--99999999, 201(z)z--99999999, 233(z)z--99999999
Coquand, Thierry, 26(1)167--177
Coquand:1996:ATC, 26(1)167--177
Corby, 16(2)202--203
Corchuelo, Rafael, 77(1)4--28
Corchuelo, Rafael, see Resinas, Manuel
Cordeiro, Lucas C., 152(z)63--69, 165(z)1--2
Cordeiro, Lucas C., see Araújo, Rodrigo F., see Monteiro, Felipe R.
Córdova-Esparza, Diana M., 130(z)97--106, 211(z)z--99999999, see Terven, Juan R.
Córdova-Esparza, Diana-Margarita, 143(z)1--8
Cordova-Esparza:2017:MCC, 143(z)1--8
Cordy, James R., 61(3)190--210, 62(3)209--227, 74(7)470--495, 78(9)1663--1678, 79(z)158--171, 96(z)444--459, 97(z)59--63
Cordy, James R., see Grant, Scott, see Roy, Chanchal K., see Stevenson, Andrew, \see{Zhang, Hongyu
Cordy, Maxime, 80(z)416--439, 226(z)z--99999999
Cordy, Maxime, see Acher, Mathieu, see Classen, Andreas
Cordy:2006:TST, 61(3)190--210
Cordy:2014:TRT, 79(z)158--171
core, 63(3)321--374, 77(7)908--939, 96(z)156--174, 105(z)92--123, 139(z)1--35, 147(z)3--26, 231(z)z--99999999
Core, Many-, 133(z)154--174
core, Multi-, 172(z)102--116
core, multi-, 133(z)175--193, 207(z)z--99999999
CoreASM, 79(z)23--38
Cornejo, César, 181(z)47--63, see Molina, Facundo
Cornélio, M. L., 181(z)82--83
Cornélio, Márcio, 52(1)53--100, 75(3)106--133, 78(8)1137--1156, see Borba, Paulo, see Rebêlo, Henrique
Cornelio:2010:SR, 75(3)106--133
Cornelio:2019:GES, 181(z)82--83
corpus, 98(z)28--51
Corradini, Andrea, 99(z)75--94
Corradini, Andrea, see Bruni, Roberto
Corradini, Flavio, 46(1)5--30, 59(3)171--208, 166(z)35--70, 238(z)z--99999999
Corradini, Flavio, see Attanasio, Candida, see Belenchia, Matteo
Corradini:2006:RFS, 59(3)171--208
Corradini:2018:FAM, 166(z)35--70
correct, 4(1)45--86, 15(1)15--54, 48(1)1--20, 77(3)214--246, 77(10)1039--1057, 97(z)41--46, 105(z)145--170, 127(z)2--23, 185(z)z--99999999, 202(z)z--99999999, 232(z)z--99999999
correct, provably-, 5(1)59--81
correcting, 76(12)1113--1129
correction, 9(3)271--286, 29(1)79--98
correctness, 1(1)49--72, 2(3)175--206, 3(3)279--312, 4(2)141--157, 4(2)159--204, 6(3)213--272, 7(1)35--53, 8(1)1--42, 9(2)107--136, 9(3)263--270, 14(1)43--57, 14(2)117--132, 14(2)133--158, 14(2)159--184, 14(2)185--228, 14(2)243--254, 14(2)281--304, 14(2)305--321, 16(1)1--18, 19(2)153--169, 26(1)79--97, 34(1)55--73, 34(3)191--205, 43(2)193--229, 50(1)129--160, 74(1)52--63, 85(z)224--240, 92(z)105--128, 106(z)78--92, 118(z)40--59, 131(z)94--108, 158(z)64--80, 239(z)z--99999999
correctness, partial-, 186(z)z--99999999
correctness-by-construction, 97(z)55--58
Correctness-guaranteed, 224(z)z--99999999
correctness-preserving, 7(2)99--241, 9(3)221--262
Correia, Alexandre, 201(z)z--99999999
Correia:2021:FMC, 201(z)z--99999999
correspondence, 95(z)176--199
Corsetti, E., 20(1)141--171
Corsetti, E., see Ciapessoni, E.
Cortadella, Jordi, 64(1)115--139
Cortadella, Jordi, see Clarisó, Robert
Cortellessa, V., 56(3)343--361
Cortellessa, Vittorio, 44(1)101--129, 97(z)331--332, 98(z)439--463
Cortellessa:2002:PUP, 44(1)101--129
Cortellessa:2005:RCS, 56(3)343--361
Cortellessa:2015:MAC, 97(z)331--332
Cortellessa:2015:MES, 98(z)439--463
Cortés, Antonio, Ruiz-, 230(z)z--99999999
Cortesi, Agostino, 38(1)27--71, 47(2)89--90, 78(9)1240--1263, 191(z)z--99999999
Cortesi, Agostino, see Ferrara, Pietro, see Halder, Raju
Cortesi:2000:CAD, 38(1)27--71
Cortesi:2003:SA, 47(2)89--90
Cortier, Véronique, 50(1)51--71, see Comon-Lundh, Hubert
Coscia, José Luis Ordiales, 89(z)374--407
Coscia:2014:RCF, 89(z)374--407
Cosentino, Valerio, 153(z)30--33
Cosentino:2018:GSP, 153(z)30--33
COSMIC, 135(z)88--104, 135(z)105--121
Cosmo, Roberto, Di, 76(12)1144--1160, 90(z)93--115
cost, 20(3)205--221, 60(1)68--81, 76(7)609--626, 83(z)35--55, 98(z)439--463, 98(z)551--588, 111(z)483--504, 135(z)75--87, 225(z)z--99999999
Cost-effective, 134(z)47--60, 226(z)z--99999999
Costa, Andrei, 198(z)z--99999999
Costa, Andrei, see Ribeiro, Leila
Costa, David, 66(3)205--225
Costa, David, see Clarke, Dave
Costa, Heitor, 231(z)z--99999999
Costa, Heitor, see Santana, Railana
Costa, Miguel E. F., 46(3)197--217
Costa, Miguel E. F., see Carreira, Paulo J. F.
Costa, Pedro Ákos, 238(z)z--99999999
Costa, Simone André da, 77(4)480--504
Costa, Umberto Souza da, 77(4)533--550
Costa:2024:IRC, 238(z)z--99999999
Costal, Dolors, 168(z)18--37
Costal, Dolors, see Ameller, David
Costing, 37(1)207--224
Costiou, Steven, 161(z)18--33, 161(z)149--171
Costiou, Steven, see Cavarlé, Glenn
Costiou:2018:LPF, 161(z)149--171
Cota, Érika Fernandes, 198(z)z--99999999, see Ribeiro, Leila
Cottam, 16(1)92--93
Couch, Alva, 53(2)215--253
Couch:2004:ORN, 53(2)215--253
Coughlin, Nicholas, 217(z)z--99999999
Coughlin:2022:CNH, 217(z)z--99999999
Coullon, Hélène, 203(z)z--99999999, see Chardet, Maverick
Counsell, S., 77(5)644--659, 102(z)44--56
Counsell, S., see Gatrell, M., \see{Hamza, H.
counter, 27(2)185--204, 81(z)3--52
counter-factual, 200(z)z--99999999
counterexample, 11(1)1--15, 55(1)209--226, 91(z)90--114, 165(z)1--2, 236(z)z--99999999
counterexample-guided, 148(z)123--160
countermeasures, 78(7)796--812
counting, 16(2)151--195, 27(2)185--204
coupling, 48(2)119--161, 59(1)4--25, 135(z)4--19, 166(z)214--230, 200(z)z--99999999
course, 10(1)88--89
Courtehoute, Brian, 214(z)z--99999999
Courtehoute, Brian, see Campbell, Graham
Courtiat, 15(1)98--100
Cousineau, G., 8(2)173--202
Cousineau:1987:CAM, 8(2)173--202
Cousot, Patrick, 31(1)1--1
Cousot, Radhia, 58(1)1--2
Cousot:1998:F, 31(1)1--1
Cousot:2005:SAS, 58(1)1--2
Couto, Marco, 205(z)z--99999999
Couto, Marco, see Pereira, Rui
Covalent, 151(z)18--47
cover, 10(2)215--216, 11(1)90--91, 11(1)91--94, 11(1)97--98, 207(z)z--99999999
cover, State-, 78(9)1294--1323
coverability, 77(7)955--967
coverage, 56(1)211--230, 59(1)4--25, 79(z)86--100, 181(z)84--110, 184(z)z--99999999, 234(z)z--99999999, 240(z)z--99999999, 241(z)z--99999999
Covili, Juan, Rodríguez-, 78(10)2009--2025
Cowan, Donald, 75(5)311--332
Cowan, Donald, see Mendonca, Marcilio
CPN, 75(8)726--760, 181(z)111--139
CPSs, 236(z)z--99999999
Craciun, Florin, 148(z)189--212, 234(z)z--99999999
Craciun, Florin, see Ait-Ameur, Yamine, see Qin, Shengchao
Crafa, Silvia, 225(z)z--99999999
Crafa:2023:PSS, 225(z)z--99999999
CRAG, 238(z)z--99999999
Crampton, Jason, 78(3)269--269
Crampton:2013:PTS, 78(3)269--269
crash-safe, 131(z)3--21
crash-tolerant, 148(z)26--48
Crasso, Marco, 71(2)144--164, 75(11)1001--1021, 89(z)374--407
Crasso, Marco, see Coscia, José Luis Ordiales, see Rodriguez, Juan Manuel
Crasso:2008:EWS, 71(2)144--164
Crawl-based, 97(z)173--180
Creating, 68(3)155--178
creation, 196(z)z--99999999
Creek, 2(1)89--89
Creese, Sadie, 77(10)1198--1209
Creese, Sadie, see Papanikolaou, Nikolaos
Cremers, Armin, 14(2)243--254
Crespo, Yania, 78(8)1010--1034
Crespo, Yania, see Laguna, Miguel A.
Crichton, Charles, 89(z)126--143
Crichton, Charles, see Davies, Jim
Crichton, Edward, 89(z)88--104
Crichton, Edward, see Davies, Jim
CrimeSPOT, 78(10)1951--1970
crippled, 4(3)221--248
Cristescu, Ioana, 187(z)z--99999999
Cristescu, Ioana, see Ben Said, Najah
Cristian, F., 1(1)115--144
Cristian, F., see Best, E.
criteria, 126(z)52--72, 152(z)99--115
criterion, 11(2)107--131, 31(1)47--73, 195(z)z--99999999
critical, 21(2)115--139, 22(1)3--19, 22(1)157--180, 39(1)3--29, 46(3)195--196, 46(3)219--254, 76(2)63--64, 78(7)775--777, 80(z)107--108, 81(z)1--2, 82(z)1--1, 96(z)277--278, 111(z)213--z, 111(z)214--247, 111(z)248--276, 111(z)277--299, 111(z)300--317, 111(z)318--338, 111(z)339--362, 118(z)1--2, 128(z)1, 161(z)89--104, 182(z)64--85, 216(z)z--99999999
Critical, Safety-, 133(z)89--90, 154(z)1--2, 175(z)35--36, 181(z)140--176, 208(z)z--99999999, 237(z)z--99999999
critical, Safety-, 111(z)339--362
critical, safety-, 36(1)53--64, 55(1)81--115, 80(z)264--287, 172(z)102--116
criticality-based, 200(z)z--99999999
critics, 78(3)293--309
CRL, 39(2)215--247
CRM, 60(1)68--81
Crnkovic, Ivica, 65(3)215--221
Crnkovic, Ivica, see Krikhaar, René
Crosby, Martha, 198(z)z--99999999
Crosby, Martha, see Bednarik, Roman
Cross II, James H., 60(2)121--133
Cross II, James H., see Umphress, David A.
cross-compilation, 74(5)379--396
Cross-contract, 234(z)z--99999999
cross-cutting, 98(z)268--292
cross-device, 225(z)z--99999999
cross-layer, 165(z)3--23
cross-platform, 97(z)31--36
cross-project, 226(z)z--99999999
cross-roads, 19(3)239--279
CrossFuzz, 234(z)z--99999999
Crowbar, 226(z)z--99999999
CRUD, 168(z)165--168
cryptographic, 47(2)177--202, 50(1)3--22, 50(1)23--49, 74(1)52--63, 91(z)216--233
Cryptography, 12(3)259--260, 21(2)93--113
Csaba, Béla, 105(z)3--25, see Beszédes, Árpád
CScout, 75(4)216--231
Csenki, Attila, 66(2)154--161
Csenki:2007:RPP, 66(2)154--161
CSG, 3(2)151--188
CSLI, 12(1)83--84, 38(1)147--149
CSP, 3(2)189--204, 5(3)265--276, 5(3)277--307, 6(1)35--88, 8(1)43--67, 10(1)1--18, 26(1)99--115, 30(1)227--250, 65(1)14--29, 76(10)891--914, 77(10)1178--1197, 162(z)3--34, 179(z)1--23, 197(z)z--99999999
CSP-based, 81(z)3--52
CSP-OZ, 55(1)227--257
CSP-Z, 40(1)59--96
CTL, 99(z)128--192, 185(z)z--99999999
Cuadrado, J. L., López-, 121(z)16--33
Cuadrado, Jesús Sánchez, 89(z)176--198, 231(z)z--99999999, see López, José Antonio Hernández
Cuadrado, José Luis López, 102(z)1--19, see Salas-Zárate, María del Pilar
Cuadrado:2014:AMD, 89(z)176--198
cubic, 75(1)55--70
Cubillos, Juan, 236(z)z--99999999
Cubillos:2024:AEE, 236(z)z--99999999
cubing, 11(2)161--165
CUDA, 152(z)63--69
Cuellar, Jorge, 36(1)1--3, 90(z)67--70
Cuellar, Jorge, see Buhnova, Barbora
Cuellar:2000:F, 36(1)1--3
Cuesta, Carlos E., 212(z)z--99999999
Cuesta, Carlos E., see Drira, Khalil
Cui, Chenhui, 215(z)z--99999999
Cui, Chenhui, see Huang, Rubing
Cui, Zhanqi, 234(z)z--99999999, 238(z)z--99999999
Cui, Zhanqi, see Yang, Huiwen
Cui:2024:DFT, 238(z)z--99999999
Cuijpers, P. J. L., 91(z)45--69
Cuijpers, P. J. L., see Beohar, H.
Culpepper, Ryan, 75(7)496--515
Culpepper:2010:DHM, 75(7)496--515
cultural, 95(z)44--72, 236(z)z--99999999
cumulative, 89(z)223--234
Cunha, Alcino, 76(6)516--539, 211(z)z--99999999, 220(z)z--99999999
Cunha, Alcino, see Liu, Chong, see Macedo, Nuno
Cunha, Jácome, 96(z)254--275, 205(z)z--99999999, see Pereira, Rui
Cunha, Juliana, 240(z)z--z
Cunha:2011:TSS, 76(6)516--539
Cunha:2014:MBP, 96(z)254--275
Cunha:2025:SPT, 240(z)z--z
Cunningham, H. Conrad, 59(1)147--169
Cunningham:2006:UCP, 59(1)147--169
Cuomo, Antonio, 95(z)390--405
Cuomo:2014:CFC, 95(z)390--405
Curien, P.-L., 8(2)173--202
Curien, P.-L., see Cousineau, G.
current, 135(z)4--19, 163(z)42--61
Curteanu, Neculai, 11(1)65--86
Curtis, S. A., 49(1)125--157, 65(2)140--158
Curtis, S. A., see Martin, C. E.
Curtis, Sharon, 26(1)197--216
Curtis:1996:PG, 26(1)197--216
Curtis:2003:CGA, 49(1)125--157
custom, 77(5)609--635
custom-tailored, 163(z)62--84
customizable, 53(3)259--284, 96(z)34--51
Customizing, 65(2)72--107
cut, 13(2)237--264
cut-off, 198(z)z--99999999
Cutsem, Tom, Van, 98(z)140--158, 98(z)422--438
cutting, cross-, 98(z)268--292
cutting-edge, 77(9)990--1005
Cutumisu, Maria, 67(1)32--58
Cutumisu:2007:SGA, 67(1)32--58
Cuyt, Annie, 90(z)2--20
Cuyt, Annie, see Backeljauw, Franky
Cvetanovi{\'c}, Svetlana, 129(z)92--102, see Raspopovi{\'c}, Miroslava
Cyan, 200(z)z--99999999
cyber, 148(z)3--25, 166(z)71--88
Cyber-Physical, 78(12)2453--2467
cyber-physical, 103(z)13--50, 162(z)35--54
cybernetics, 8(3)231--274, 9(3)213--220
cycle, 4(3)249--256, 22(1)157--180, 76(7)609--626, 88(z)92--109, 157(z)41--55
cyclic, 11(2)161--165, 40(1)31--57, 78(8)1055--1072, 172(z)102--116
cyclicity, non-, 95(z)359--375
Cyclone, 62(2)122--144
Cysneiros, Luiz Marcio, 77(1)66--80
Cysneiros, Luiz Marcio, see López, Claudia
Czarnecki, Krzysztof, 96(z)395--395
Czarnecki:2014:SLE, 96(z)395--395
Czeranski, Jörg, 60(2)171--188, see Koschke, Rainer
Czerny, Barbara J., 36(1)65--96
Czerny, Barbara J., see Heimdahl, Mats P. E.