Last update: Tue Oct 28 02:00:08 MDT 2025
Return to index directory
C
-
C, 71(z)z--99999999, 74(z)z--99999999, 85(z)z--99999999
-
C++, 81(z)z--99999999, 84(z)z--99999999
-
Cabot, Jordi, 76(z)z--z
-
Cabot, Jordi, see Giner-Miguelez, Joan
-
CAD, 85(z)z--99999999
-
Call, 58(z)z--99999999
-
Camacho-Jaimes, Harold, 79(z)z--99999999
-
Camacho-Jaimes, Harold, see Alcocer, Juan Pablo Sandoval
-
Campos, Frederico F., 84(z)z--99999999
-
Campos, Frederico F., see Sumitani, Rafael Fontes
-
Candela, Massimo, 58(z)z--99999999
-
Candela:2020:MVR, 58(z)z--99999999
-
Canesche, Michael, 85(z)z--99999999
-
Canesche, Michael, see Kind, Cecília Conde
-
Cao, Dizhou, 53(z)53--62
-
Cao, Dizhou, see Sun, Guodao
-
Capella, 77(z)z--99999999
-
Cardoso, Elton M., 85(z)z--99999999
-
Cardoso:2025:HLA, 85(z)z--99999999
-
Carlson, Travis, 50(z)49--69
-
Carlson:2019:TQC, 50(z)49--69
-
Carvalho, Jose Reginaldo Hughes, 62(z)z--99999999
-
Carvalho, Jose Reginaldo Hughes,
see Silva, Edson de Araújo
-
case, 57(z)z--99999999, 69(z)z--z, 79(z)z--99999999, 84(z)z--99999999,
84(z)z--z
-
Cassola, Mauricio, 68(z)z--z
-
Cassola:2022:GTS, 68(z)z--z
-
categorical, 57(z)z--99999999
-
Cateté, Veronica, 73(z)z--99999999, see Brady, Corey
-
Cats, 84(z)z--z
-
Cavalheiro, Gerson Geraldo H., 83(z)z--99999999
-
Cavalheiro, Gerson Geraldo H.,
see Du Bois, André Rauber
-
CBS, 50(z)39--48
-
Celes, Waldemar, 83(z)z--99999999
-
Celes, Waldemar, see Ierusalimschy, Roberto
-
centrality, 55(z)z--99999999
-
centric, human-, 68(z)z--99999999
-
centric, object-, 80(z)z--99999999
-
Chadli, Abdelhafid, 74(z)z--z
-
Chadli, Abdelhafid, see Siabdelhadi, Ahmed
-
Chailloux, Emmanuel, 77(z)z--99999999
-
Chailloux, Emmanuel, see Varoumas, Steven
-
Chakrabarti, Sujit Kumar, 79(z)z--99999999
-
Chakrabarti, Sujit Kumar, see Venkatesan, Karthika
-
Challenger, Moharram, 59(z)z--99999999, 65(z)z--z
-
Challenger, Moharram, see Marah, Hussein,
see Mohamed, Mustafa Abshir
-
challenges, 55(z)z--99999999, 58(z)z--99999999, 80(z)z--99999999
-
Chang, Byeong-Mo, 60(z)z--99999999
-
Chang, Byeong-Mo, see Bak, Nayeon
-
Chang, Chenhao, 81(z)z--z
-
Chang, Chenhao, see Tian, Zhenzhou
-
Chang, Jingfei, 59(z)z--99999999
-
Chang, Jingfei, see Shi, Ke
-
change, 51(z)112--130, 82(z)z--99999999
-
Chapman, Peter, 71(z)z--99999999
-
Chapman:2022:MLS, 71(z)z--99999999
-
Characteristics, 67(z)z--99999999
-
Charts, 69(z)z--99999999
-
ChartVi, 69(z)z--99999999
-
chatbot, 85(z)z--99999999
-
ChatGPT, 80(z)z--99999999
-
ChatGPT-based, 85(z)z--99999999
-
Chaube, Mithilesh Kumar, 69(z)z--99999999
-
Chaube, Mithilesh Kumar, see Mishra, Prerna
-
Chavarriaga, Enrique, 75(z)z--99999999
-
Chavarriaga:2023:ABJ, 75(z)z--99999999
-
Chen, Chu-Song, 52(z)103--112
-
Chen, Chu-Song, see Liu, Keng-Hao
-
Chen, Huang Hao, 71(z)z--99999999
-
Chen, Huang Hao, see Chapman, Peter
-
Chen, Lingwei, 81(z)z--z
-
Chen, Lingwei, see Tian, Zhenzhou
-
Chen, Panfeng, 71(z)z--99999999
-
Chen, Panfeng, see Lu, Hong
-
Chen, Sisi, 75(z)z--99999999
-
Chen, Sisi, see Yang, Yangrui
-
Chen, Yanping, 81(z)z--z
-
Chen, Yanping, see Tian, Zhenzhou
-
Cherroun, Hadda, 74(z)z--z
-
Cherroun, Hadda, see Siabdelhadi, Ahmed
-
CHESSIoT, 78(z)z--99999999
-
Chhabra, Jitender Kumar, 52(z)26--43, 78(z)z--99999999,
81(z)z--99999999
-
Chhabra, Jitender Kumar, see Rathee, Amit,
see Singh, Manpreet
-
Chiba, Shigeru, 50(z)70--83
-
Chiba, Shigeru, see Nakamaru, Tomoki
-
Choi, Kwanghoon, 60(z)z--99999999, 84(z)z--99999999
-
Choi, Kwanghoon, see Bak, Nayeon,
see Bin Atique, Md Monir Ahammod
-
Choi, Wontae, 51(z)1--14
-
Choi:2019:SFC, 51(z)1--14
-
choice, 50(z)19--38
-
Chronic, 84(z)z--z
-
Chua, Caslon, 52(z)113--124, 58(z)z--99999999, 71(z)z--99999999
-
Chua, Caslon, see Obie, Humphrey O.
-
Chuang, Yung-Ting, 85(z)z--99999999
-
Chuang:2025:CBD, 85(z)z--99999999
-
Church, Luke, 61(z)z--z
-
Church, Luke, see Gardner, Henry
-
Ciccozzi, Federico, 74(z)z--99999999
-
Ciccozzi, Federico, see Kardas, Geylani
-
CKD4Cats, 84(z)z--z
-
ClangOz, 81(z)z--99999999
-
class, 72(z)z--99999999
-
classifications, 72(z)z--99999999
-
Cleophas, Loek, 51(z)57--74
-
Cleophas, Loek, see Babur, Önder
-
CLI, 73(z)z--z
-
clinical, 84(z)z--z
-
clone, 51(z)57--74, 73(z)1--12
-
cloud-based, 76(z)z--99999999
-
clustering, 78(z)z--99999999
-
CNNs, 52(z)88--102
-
co-trained, 52(z)88--102
-
cockpit, 70(z)z--99999999
-
code, 50(z)49--69, 56(z)z--z, 59(z)z--99999999, 60(z)z--99999999,
70(z)z--z, 74(z)z--99999999, 75(z)z--99999999, 78(z)z--99999999,
79(z)z--99999999, 82(z)z--99999999, 82(z)z--z, 83(z)z--99999999,
84(z)z--99999999, 85(z)z--99999999
-
code, Low-, 74(z)z--99999999
-
code, low-, 70(z)z--99999999, 74(z)z--99999999,
76(z)z--99999999, 85(z)z--99999999
-
code-level, 63(z)z--99999999
-
Code4Bench, 53(z)38--52
-
Codeforces, 53(z)38--52
-
coding, 85(z)z--99999999
-
coding, technical-, 84(z)z--z
-
collaboration, 76(z)z--99999999
-
collaborative, 74(z)z--z
-
Collazos, César A., 51(z)97--111,
see Pabón, María Constanza
-
Collet, Philippe, 61(z)z--99999999
-
Collet, Philippe, see Tërnava, Xhevahire
-
color, 51(z)143--153, 55(z)z--z
-
Combemale, Benoît, 55(z)z--99999999,
see Lelandais, Benoît
-
Combi-FL, 66(z)z--99999999
-
combinatorial, 79(z)z--99999999
-
Combining, 73(z)z--99999999, 82(z)z--z
-
comment, 61(z)z--99999999
-
communicating, 50(z)1--18
-
Communication, 58(z)z--99999999
-
community, 73(z)1--12, 80(z)z--99999999, 82(z)z--99999999
-
COMORP, 73(z)z--99999999
-
Comparing, 58(z)z--99999999
-
comparison, 75(z)z--99999999, 77(z)z--99999999, 82(z)z--99999999
-
compilation, 67(z)z--99999999, 73(z)z--99999999
-
compiler, 53(z)63--78, 72(z)z--99999999, 73(z)z--z
-
compilerash, 70(z)z--z
-
complete, 50(z)84--101
-
completion, 84(z)z--99999999
-
complex, 75(z)z--99999999
-
complexity, 84(z)z--99999999
-
component, 52(z)26--43, 57(z)z--99999999, 80(z)z--99999999
-
composable, 50(z)49--69
-
Composition, 76(z)z--99999999
-
comprehension, 52(z)113--124, 75(z)z--z, 79(z)z--99999999,
83(z)z--99999999, 84(z)z--99999999
-
comprehensive, 82(z)z--99999999, 84(z)z--99999999
-
computations, 72(z)1--13
-
computer, 72(z)z--99999999
-
computer, human-, 56(z)z--99999999
-
computing, 52(z)1--9, 55(z)z--99999999, 65(z)z--99999999,
73(z)z--99999999
-
concepts, 50(z)19--38, 73(z)z--99999999
-
Concurrent, 79(z)z--99999999
-
conflict, 57(z)z--99999999, 71(z)z--z
-
consistency, 76(z)z--99999999
-
ConStaBL, 79(z)z--99999999
-
constant, 81(z)z--99999999
-
constraint, 56(z)z--99999999, 74(z)z--99999999, 78(z)z--z
-
constraint-logic, 53(z)63--78
-
constructing, 71(z)z--99999999
-
construction, 80(z)1--14
-
Construction, Correct-by-, 70(z)z--99999999
-
construction, correct-by-, 57(z)z--99999999
-
consumption, 84(z)z--99999999
-
contest, 84(z)z--99999999
-
context, 51(z)214--221, 51(z)241--260
-
context-free, 51(z)48--56, 68(z)z--99999999
-
context-sensitive, 51(z)241--260, 73(z)z--99999999
-
context-sensitive, flow-and-, 51(z)1--14
-
continued, 83(z)z--99999999
-
continuous, 52(z)103--112, 57(z)z--99999999
-
contract, 77(z)z--z
-
contrast, 55(z)z--99999999
-
control, 51(z)131--142
-
Controllers, 69(z)z--z
-
COOM, 72(z)z--z
-
cooperation, 51(z)15--27
-
Cordeil, Maxime, 56(z)z--99999999
-
Cordeil, Maxime, see Drogemuller, Adam
-
cores, multi-, 65(z)1--14, 73(z)z--99999999
-
Coronado, Enrique, 58(z)z--99999999
-
Coronado:2020:VPE, 58(z)z--99999999
-
Correct-by-Construction, 70(z)z--99999999
-
correct-by-construction, 57(z)z--99999999
-
correctness, 76(z)z--99999999, 77(z)z--99999999
-
Cortesi, Agostino, 52(z)25--25
-
Cortesi:2019:ISI, 52(z)25--25
-
cost, 69(z)z--99999999, 73(z)z--99999999
-
Costa, Lázaro, 84(z)z--99999999
-
Costa, Lucas Victor da Silva, 84(z)z--99999999
-
Costa, Lucas Victor da Silva,
see Sumitani, Rafael Fontes
-
Costa, Umberto S., 51(z)75--87, 68(z)z--99999999
-
Costa, Umberto S., see Medeiros, Ciro M.
-
Costa:2025:MGM, 84(z)z--99999999
-
Costagliola, G., 57(z)z--99999999
-
Costagliola:2020:RTC, 57(z)z--99999999
-
Costiou, Steven, 80(z)z--99999999
-
Costiou, Steven, see Bourcier, Valentin,
see Laborde, Pierre
-
CPU2017, 66(z)z--99999999
-
{\v{C}}repin{\v{s}}ek, Matej, 70(z)z--z,
see Kova{\v{c}}evi{\'c}, {\v{Z}}eljko
-
critical, safety-, 78(z)z--99999999
-
cross-project, 81(z)z--99999999
-
Cunha, Jácome, 75(z)z--99999999, 84(z)z--99999999,
see Costa, Lázaro,
see Freitas, Francisco
-
Cunningham, Andrew, 56(z)z--99999999, 75(z)z--z
-
Cunningham, Andrew, see Drogemuller, Adam
-
curve, 52(z)1--9, 54(z)z--99999999
-
curved, 75(z)z--z
-
customer, 57(z)z--99999999
-
customized, 51(z)261--279, 70(z)z--99999999
-
cyber, 52(z)10--24
-
cyber-physical, 59(z)z--99999999
-
cycle-free, 51(z)48--56