Index file section C for lncs2012c.bib

Last update: Sun Apr 28 02:10:06 MDT 2019

Return to index directory

C

C, 7223(0)99--104, 7241(0)207--278
C++, 7210(0)144--164, 7211(0)1--25
C-means, 7208(0)221--230
Caamaño, Pilar, 7248(0)93--102, see Trueba, Pedro
Cabalar, Pedro, 7225(0)57--72
Cabalar:2012:ABC, 7225(0)57--72
Caballero, Rafael, 7225(0)42--56, 7225(0)73--89
Caballero, Rafael, see Almendros-Jiménez, Jesús M.
Caballero:2012:SQM, 7225(0)73--89
Cabral, Leonor, Scliar-, 7243(0)12--23
Caceres, Juan F., Mancilla-, 7227(0)139--146
Cache, 7203(0)122--132, 7240(0)2--13
CAD, 7231(0)49--59
Calabretto, Sylvie, 7236(0)17--26
Calabretto, Sylvie, see Aydin, Betül
Calborean, Horia, 7201(0)221--235
Calborean, Horia, see Jahr, Ralf
Calcavecchia, Nicolò M., 7200(0)85--113
Calcavecchia:2012:CAS, 7200(0)85--113
Calcium, 7223(0)131--135
Calciumash, 7223(0)131--135
Calculator, 7206(0)129--138
Calculus, 7201(0)76--90, 7211(0)128--147, 7212(0)194--208, 7241(0)279--338
Calculus, Pi-, 7213(0)225--239
Calì, Andrea, 7213(0)1--25
Cali:2012:QUC, 7213(0)1--25
calibration, 7204(0)61--70
Call-by-Need, 7211(0)128--147
Calls, 7204(0)121--130
Calmodulin, 7223(0)131--135
Calvi, Alberto, 7214(0)267--282
Calvi, Alberto, see Armando, Alessandro
Camacho, Rui, 7207(0)145--159
Camacho, Rui, see Fonseca, Nuno A.
Cambridge, 7223(0)161
Camellia, 7232(0)80--96
Camen, Marcus, 7201(0)236--239
Camen, Marcus, see Hoefling, Michael
Camera, 7228(0)42--62
Caminada, Alexandre, 7248(0)31--41
Caminada, Alexandre, see Tabia, Nourredine
CaMKII, 7223(0)131--135
Campanoni, Simone, 7200(0)375--395
Campanoni, Simone, see Mura, Marcello
Camplani, Romolo, 7200(0)295--310, 7200(0)357--373
Camplani, Romolo, see Alippi, Cesare, see Schreiber, Fabio A.
Cancer, 7202(0)136--144, 7246(0)168--176
Candidate, 7224(0)207--218
Canfora, Gerardo, 7200(0)115--142
Canfora:2012:AWB, 7200(0)115--142
Cao, Jinli, 7239(0)1--16
Cao, Jinli, see Le, Trieu Minh Nhut
Cao, Qingling, 7240(0)73--80
Cao, Shiyong, 7234(0)2--10
Cao, Shiyong, see Yang, Li
Cao, Wei, 7240(0)28--39
Cao, Wei, see Fan, Yulei
Cao, Xiedong, 7234(0)2--10, 7234(0)19--26
Cao, Xiedong, see Yang, Li
Cao:2012:FBD, 7240(0)73--80
Cao:2012:GDD, 7234(0)19--26
CAP, STE3D-, 7232(0)170--181
capability, 7208(0)37--48
Capolsini, Patrick, 7236(0)185--202
Capolsini, Patrick, see Gabillon, Alban
Cappiello, Cinzia, 7221(0)33--43
Cappiello, Cinzia, see Meiländer, Dominik
Capsules, 7230(0)106--123
CAPTCHA, 7232(0)170--181
Carbó, Javier, 7208(0)49--60, see Griol, David
Cardiac, 7204(0)111--120
Cardinality, 7248(0)165--173
Care, 7231(0)1--2
Caré, Bertrand R., 7223(0)50--61
Care:2012:EMR, 7223(0)50--61
Carloni, Olivier, 7205(0)18--67
Carloni:2012:BFS, 7205(0)18--67
Carman, Mark, 7224(0)73--84
Carman, Mark, see Harvey, Morgan
Carmosino, Marco, 7230(0)24--34
Carmosino:2012:EDC, 7230(0)24--34
Carns, Philip, 7203(0)10--19
Carns, Philip, see Liu, Ning
Carothers, Christopher, 7203(0)10--19
Carothers, Christopher, see Liu, Ning
Carr, Dominic, 7217(0)197--207
Carr:2012:BS, 7217(0)197--207
Carrascosa, Carlos, 7208(0)37--48
Carrascosa, Carlos, see Agüero, Jorge
Carreiras, João M. B., 7244(0)218--229, see Gonçalves, Ivo
Carswell, James D., 7236(0)1--16, 7236(0)33--46
Carswell, James D., see Filonenko, Viacheslav, see Yin, Junjun
Cartesian, 7244(0)37--48, 7244(0)182--193
Carvalho, André C. P. L. F. de, 7208(0)196--207, see Priya, Rattan
Carvalho, Gracinda, 7243(0)56--62
Carvalho, Windson Viana de, 7236(0)134--150
Carvalho, Windson Viana de, see Braga, Reinaldo Bezerra
Carvalho:2012:SMC, 7243(0)56--62
Cascades, 7223(0)67--73
Case, 7200(0)7--13, 7201(0)91--105, 7215(0)89--108, 7220(0)56--68, 7223(0)150--161, 7225(0)25--41, 7226(0)141--146, 7236(0)27--32
Case, Worst-, 7201(0)61--75
Case-Based, 7208(0)13--24
Caseli, Helena de Medeiros, 7243(0)157--167
Caseli, Helena de Medeiros, see Beck, Daniel Emilio
Caseli:2012:CPP, 7243(0)185
Cash, 7226(0)147--161
Casier, Koen, 7216(0)138--147
Casier, Koen, see Verbrugge, Sofie
Castelli, Mauro, 7246(0)13--25
Castelli, Mauro, see Manzoni, Luca
Castle, Tom, 7244(0)1--12
Castle:2012:EHL, 7244(0)1--12
Castrillo, Francisco, Prieto-, 7248(0)42--51
Castro-Garcia, Yair, 7204(0)61--70
Castro-Garcia, Yair, see Yaurima-Basaldua, Victor Hugo
Categorization, 7208(0)137--146
category, 7206(0)118--128, 7212(0)163--177, 7230(0)124--148, 7241(0)517--532
Causal, 7205(0)1--17
Caves, Leo S., 7223(0)1--11, 7223(0)38--49
Caves, Leo S., see Fuente, Luis A., see Turner, Alexander P.
Cazzaniga, Paolo, 7246(0)74--85
Cazzaniga, Paolo, see Nobile, Marco S.
CBRN, 7227(0)61--68
CC, 7210(0)243
CEFP, 7241(0)532
Cell, 7223(0)50--61, 7223(0)99--104, 7223(0)161
Cellular, 7209(0)78--88, 7231(0)110--120
cellular, Multi-, 7248(0)124--134
Ceniceros, Julio, Fernández-, 7208(0)79--90
Centenaro, Matteo, 7215(0)349--368
Centenaro:2012:TBA, 7215(0)349--368
Central, 7241(0)532
Centric, Artifact-, 7221(0)54--65, 7238(0)63--78
Cerasuolo, Francesco, 7236(0)57--71
Cerasuolo:2012:VNV, 7236(0)57--71
{\v{C}}ernoch, Radom{\'\i}r, 7207(0)76--90
Cernoch:2012:SDU, 7207(0)76--90
Certain, 7222(0)129--137
Certificate, 7215(0)369--389
Certification, 7214(0)126--140, 7221(0)3--8
Cessation, 7227(0)87--96
Cha, Sang Kyun, 7238(0)2--2
Cha:2012:NPT, 7238(0)2--2
Chaari, Tarak, 7221(0)114--130
Chaari, Tarak, see Brahim, Monia Ben
Chadha, Rohit, 7211(0)108--127
Chadha:2012:AVE, 7211(0)108--127
Chai, Sun-Ki, 7227(0)18--26
Chai, Sun-Ki, see Abbasi, Mohammad-Ali
chain, 7200(0)397--412, 7222(0)258--270, 7226(0)8--23
Chaki, Sagar, 7215(0)51--68
Chaki, Sagar, see Franklin, Jason
Chakraborty, Subhadeep, 7227(0)78--86
Chakraborty:2012:SCE, 7227(0)78--86
Chalise, Prabhakar, 7246(0)134--143
Chalise, Prabhakar, see Holzinger, Emily R.
Challenges, 7200(0)17--30, 7231(0)60--60
Chamber, 7214(0)188--203
Chamorro, Alfonso E., Márquez-, 7246(0)156--167, 7246(0)224--233
Chang, Bor-Yuh Evan, 7214(0)33--47
Chang, Bor-Yuh Evan, see Cox, Arlen
Chang, Le, 7235(0)183--194
Chang, Le, see Zhang, Chenjing
Chang, Long-Chyr, 7220(0)77--87
Chang, Stephen, 7211(0)128--147
Chang, Ya-Hui, 7238(0)185--196
Chang, Yu-Kai, 7238(0)185--196
Chang, Yu-Kai, see Chang, Ya-Hui
Chang:2012:CNL, 7211(0)128--147
Chang:2012:DMD, 7220(0)77--87
Chang:2012:EIC, 7238(0)185--196
Channel, 7201(0)182--196
Chaotic, 7209(0)105--115, 7223(0)1--11, 7248(0)83--92
Chaouiya, Claudine, 7223(0)25--30
Chaouiya, Claudine, see Corblin, Fabien
Chapman, James, 7213(0)74--88
Chapman, James, see Ahman, Danel
Characteristics, 7201(0)1--15, 7220(0)1--11
Characterizations, 7205(0)1--17, 7213(0)135--149
Charte, Francisco, 7209(0)188--199
Charte:2012:IML, 7209(0)188--199
Chattering, 7208(0)125--136
Chatterjee, Krishnendu, 7213(0)270--285
Chatterjee:2012:RSE, 7213(0)270--285
Chávez, Francisco, 7247(0)84--95, see Fernández, Francisco
Chaze, Xavier, 7240(0)81--91
Chaze:2012:CBN, 7240(0)81--91
Chechik, Marsha, 7212(0)224--239, 7212(0)285--300, 7214(0)157--172
Chechik, Marsha, see Albarghouthi, Aws, see Rubin, Julia, \see{Salay, Rick
Checked, Machine-, 7215(0)369--389
Checking, 7201(0)249--252, 7207(0)45--60, 7212(0)1--25, 7214(0)110--125, 7214(0)141--156, 7214(0)220--236, 7217(0)95--113, 7217(0)133--151, 7226(0)1--1, 7226(0)162--167
Checkonly, 7212(0)194--208
Checkpointing, 7210(0)200--219
chemical, Physico-, 7223(0)74--81
Chemistry, 7223(0)143--149
Chemla, Emmanuel, 7218(0)143--149
Chemla:2012:PFC, 7218(0)143--149
Chen, Chunan, 7239(0)126--137
Chen, Chunan, see Liu, Weimo
Chen, Chunhua, 7222(0)16--31
Chen, Guiqiang, 7231(0)63--75
Chen, Hanxiong, 7235(0)60--72
Chen, Hanxiong, see Liu, Jianquan
Chen, Hong, 7216(0)44--55
Chen, Hong, see Pau, Louis-François
Chen, Hubie, 7230(0)35--49
Chen, Hung-Hsuan, 7227(0)156--163
Chen, Kunjie, 7239(0)126--137
Chen, Kunjie, see Liu, Weimo
Chen, Lei, 7210(0)185--199
Chen, Lei, see Farooq, Muhammad Umar
Chen, Liqun, 7222(0)32--47, 7222(0)304--337
Chen, Liqun, see Brickell, Ernie, see Kounga, Gina
Chen, Ming, 7247(0)153--164
Chen, Ming, see Li, Yang
Chen, Ming-Puu, 7220(0)46--55
Chen, Ming-Puu, see Wang, Li-Chun
Chen, Qun, 7235(0)85--96
Chen, Qun, see Zhang, Lijun
Chen, Shengyong, 7220(0)112--126
Chen, Shengyong, see Liu, Sheng
Chen, Taolue, 7211(0)148--168
Chen, Tianqi, 7235(0)146--157
Chen, Tianqi, see Cheng, Bing
Chen, Weiwei, 7204(0)11--20, 7220(0)200--209
Chen, Weiwei, see Huang, Xianying
Chen, Xian, 7240(0)142--153
Chen, Yaqing, 7202(0)136--144
Chen, Yaqing, see Shen, Xing
Chen, Yu-Fang, 7214(0)204--219
Chen, Yu-Fang, see Abdulla, Parosh Aziz
Chen, Yueguo, 7238(0)141--155
Chen, Yueguo, see Du, Fang
Chen, Yuin-Ren, 7220(0)101--111
Chen, Yuin-Ren, see Yeh, Shih-Ching
Chen, Zhen, 7222(0)289--303
Chen, Zhen, see Cheng, Pengqi
Chen, Zhidi, 7234(0)2--10
Chen, Zhidi, see Yang, Li
Chen, Zichen, 7220(0)112--126
Chen, Zichen, see Liu, Sheng
Chen, Ziyang, 7238(0)95--109, 7238(0)172--184
Chen, Ziyang, see Zhou, Junfeng
Chen:2012:BGP, 7222(0)16--31
Chen:2012:CIS, 7231(0)63--75
Chen:2012:CST, 7211(0)148--168
Chen:2012:LGT, 7240(0)142--153
Chen:2012:MQC, 7230(0)35--49
Chen:2012:PRL, 7227(0)156--163
Chen:2012:PSW, 7204(0)11--20
Chen:2012:TST, 7222(0)337
Cheng, Bing, 7235(0)146--157
Cheng, Hong, 7238(0)197--212
Cheng, Hong, see Huang, Xin
Cheng, Lei, 7220(0)138--147
Cheng, Lei, see Luo, Yong
Cheng, Pengqi, 7222(0)289--303
Cheng, Xi, 7202(0)74--80
Cheng, Xi, see Hou, Biao
Cheng:2012:FBI, 7235(0)146--157
Cheng:2012:PAI, 7222(0)289--303
Chern, Ching-Chin, 7208(0)1--12
Chern, Ching-Chin, see Fan, Yu-Neng
Chételat-Pelé, Emilie, 7206(0)173--182, see Braffort, Annelies
Chew, Peter A., 7227(0)147--155
Chew, Peter A., see Turnley, Jessica Glicken
Chiang, Heien-Kun, 7220(0)77--87
Chiang, Heien-Kun, see Chang, Long-Chyr
Chiang, I-Tsun, 7220(0)88--100
Chiang, Stanley, 7231(0)61--61
Chiang:2012:HAG, 7231(0)61--61
Chiang:2012:ODC, 7220(0)88--100
Chiara, Davide, De, 7236(0)72--81
Chicano, Francisco, 7245(0)111--123
Chicano:2012:ECF, 7245(0)111--123
Chien, Po-Hsien, 7238(0)185--196
Chien, Po-Hsien, see Chang, Ya-Hui
Child, Parent-, 7220(0)56--68
Children, 7206(0)93--105, 7218(0)170--179, 7224(0)63--72, 7231(0)143--151, 7243(0)35--45
Chilton, Chris, 7211(0)148--168
Chilton, Chris, see Chen, Taolue
China, 7202(0)159, 7222(0)337, 7231(0)172, 7232(0)300, 7234(0)170, 7235(0)242
Chinese, 7234(0)163--170, 7235(0)231--242
Chiotti, Omar, 7217(0)41--57
Chiotti, Omar, see Toledo, Carlos M.
Chiou, Chuang-Kai, 7234(0)106--113
Chiou:2012:IMA, 7234(0)106--113
Chip, 7203(0)50--59
Chira, Camelia, 7208(0)137--146
Chira, Camelia, see Armano, Giuliano
Chlebiej, Michal, 7204(0)191--200
Chlebiej, Michal, see Panka, Maciej
Choi, Ho-Jin, 7238(0)258--271
Choi, Ho-Jin, see Rashid, Md. Mamunur
Choice, 7213(0)210--224, 7218(0)22--31, 7218(0)143--149, 7230(0)244--255
Cholesky, 7203(0)60--69
Choosing, 7206(0)24--35
Choreography, 7247(0)1--10
Chosen, 7232(0)34--45, 7232(0)46--62
Chow, Yang-Wai, 7232(0)170--181
Chow:2012:ESC, 7232(0)170--181
CHR, 7225(0)189--204
CHRiSM, 7225(0)221--236
Chrobot, Arkadiusz, 7204(0)141--150
Chrobot:2012:DMV, 7204(0)141--150
Chu, Mingyuan, 7206(0)57--68
Chu:2012:RSG, 7206(0)57--68
Chuang, Katherine Y., 7227(0)9--17
Chuang:2012:SIS, 7227(0)9--17
Chun, Soon Ae, 7231(0)152--163
Chun, Soon Ae, see Ji, Xiang
Ciampi, Anna, 7236(0)203--220
Ciampi:2012:ITC, 7236(0)203--220
Cimino, Mario G. C. A., 7200(0)397--412
Cimino:2012:ETW, 7200(0)397--412
Cinque, Marcello, 7236(0)239--256
Cinque:2012:LPT, 7236(0)239--256
Ciobâc{\u{a}}, {\c{S}}tefan, 7211(0)108--127, see Chadha, Rohit
Cipher, 7222(0)102--112, 7232(0)109--125
Ciphertext, 7232(0)34--45, 7232(0)46--62
circle, 7239(0)126--137
circuit, 7244(0)37--48
Claramunt, Christophe, 7236(0)167--184
Claramunt, Christophe, see McArdle, Gavin
Clarke, Dave, 7215(0)329--348
Clarke, Dave, see Milushev, Dimiter
Clarke, Tim, 7244(0)170--181
Clarke, Tim, see Seaton, Tom
Class, 7209(0)25--35, 7209(0)139--150, 7213(0)1--25
class, Multi-, 7202(0)122--127
Class-Escape, 7226(0)106--119
Class-Modular, 7226(0)106--119
Classification, 7208(0)61--70, 7209(0)1--12, 7209(0)68--77, 7209(0)116--127, 7209(0)128--138, 7209(0)210--221, 7231(0)121--130, 7234(0)95--105, 7238(0)243--257, 7244(0)146--157, 7247(0)84--95
Classifier, 7209(0)151--162, 7209(0)163--175, 7209(0)188--199
Classifier-Based, 7202(0)122--127
Classroom, 7227(0)139--146
Clauses, 7212(0)194--208, 7213(0)165--179
Clauses, -, 7213(0)165--179
Clauss, Philippe, 7210(0)220--239
Clauss, Philippe, see Jimborean, Alexandra
Clayton, Tom F., 7223(0)117--130
Clayton, Tom F., see MacGregor, Duncan J.
Cleaning, 7243(0)113--120
Climbing, 7248(0)145--154
Clinical, 7231(0)3--3
Clones, 7225(0)90--105
Closures, 7230(0)106--123
Cloud, 7204(0)171--180, 7215(0)89--108, 7221(0)3--8, 7221(0)33--43, 7221(0)183--188, 7234(0)11--18, 7236(0)72--81, 7239(0)169--184, 7243(0)128--138
Clough, Paul, 7224(0)207--218
Clough, Paul, see Nawab, Rao Muhammad Adeel
Cloze, 7243(0)168--178
CLP-Based, 7225(0)25--41
Cluster-Based, 7209(0)163--175, 7240(0)53--64
Clustered, 7222(0)239--257
Clustering, 7207(0)145--159, 7208(0)221--230, 7223(0)50--61, 7235(0)85--96, 7235(0)207--218, 7236(0)82--97, 7238(0)197--212, 7245(0)49--62
Clusters, 7236(0)203--220
CO, 7244(0)134--145
Co-evolution, 7248(0)194--203
Co-evolutionary, 7209(0)176--187
Co-located, 7220(0)166--177
Co-Logic, 7225(0)205--220
Co-operative, 7202(0)97--103, 7248(0)194--203
Coalgebra, 7213(0)89--103, 7230(0)149--164
Coalgebraic, 7213(0)58--73
CoAlgebraically, 7230(0)12--23
Coarse, 7203(0)152--162
Coating, 7220(0)210--220
Code-Based, 7232(0)144--157
Coded, Real-, 7202(0)50--57
Coding, 7232(0)245--258
Coevolution, 7244(0)182--193
Cofer, Darren, 7226(0)126--140
Cofer:2012:CVA, 7226(0)126--140
Cognates, 7243(0)63--72
Cognition, 7206(0)93--105
Cohen, Myra B., 7212(0)270--284
Cohen, Myra B., see Shi, Jiangfan
Cohn, Anthony G., 7207(0)113--129
Cohn, Anthony G., see Dubba, Krishna
Coimbra, 7243(0)185
Colinge, Jacques, 7223(0)62--66
Colinge:2012:SBA, 7223(0)62--66
Collaboration, 7200(0)17--30
Collaborative, 7204(0)191--200, 7220(0)101--111, 7247(0)117--128
Collective, 7203(0)163--172, 7248(0)103--113
College, 7227(0)171
Collet, Christophe, 7206(0)204--215
Collet, Christophe, see Gonzalez, Matilde
Collier, Rem W., 7217(0)197--207
Collier, Rem W., see Carr, Dominic
Colloquium, 7218(0)199
Colony, 7208(0)103--114, 7246(0)110--121, 7246(0)144--155
Color, 7220(0)200--209, 7231(0)63--75
Colored, 7239(0)111--125
Coloring, 7230(0)283--297, 7245(0)160--171
Colton, Simon, 7247(0)35--47, 7248(0)194--203
Colton, Simon, see Cook, Michael
Colton:2012:ELA, 7247(0)35--47
combination, 7202(0)128--135, 7224(0)232--243
Combinatorial, 7245(0)242
Combining, 7203(0)20--29, 7206(0)194--203, 7209(0)36--45, 7209(0)176--187, 7212(0)285--300, 7213(0)104--118, 7218(0)160--169, 7230(0)219--243, 7245(0)63--74, 7248(0)174--183
ComMapReduce, 7239(0)150--168
commercial, 7240(0)1--1
Commitment, 7217(0)22--37
Common, 7238(0)156--171, 7243(0)128--138
Communicating, 7211(0)194--213, 7226(0)39--53
Communication, 7203(0)163--172, 7206(0)227, 7216(0)3--4, 7216(0)42--43, 7216(0)67--77, 7239(0)150--168, 7248(0)63--72
communications, 7216(0)44--55
Community, 7224(0)121--132, 7227(0)9--17, 7227(0)43--52, 7240(0)130--141
Commutativity, 7215(0)169--188
Comon-Lundh, Hubert, 7215(0)149--168, 7215(0)189--208, 7232(0)63--79
Comon-Lundh, Hubert, see Bana, Gergei
Comon-Lundh:2012:CSI, 7232(0)63--79
Comon-Lundh:2012:SPD, 7215(0)149--168
Comonad, 7213(0)74--88
Compact, 7207(0)20--25, 7246(0)211--223
Comparative, 7202(0)27--34, 7227(0)87--96, 7247(0)117--128, 7248(0)165--173
Comparing, 7204(0)111--120, 7223(0)17--24, 7224(0)73--84, 7245(0)1--12, 7246(0)110--121
comparison, 7204(0)31--40, 7206(0)36--47, 7209(0)128--138, 7216(0)56--66, 7246(0)134--143
Compartmentalized, 7246(0)177--188
Compass, 7230(0)50--65
Compatibility, 7204(0)151--160
Competitive, 7209(0)128--138, 7217(0)208--216
Compilation, 7205(0)137--171
Compiler, 7210(0)185--199, 7210(0)200--219, 7210(0)243
Complementation, 7213(0)150--164
Complete, 7211(0)214--233, 7215(0)189--208, 7230(0)180--203
Complete, NP-, 7230(0)204--218
Completeness, 7230(0)165--179
Complex, 7200(0)85--113, 7206(0)81--92, 7207(0)113--129, 7220(0)221--231, 7223(0)1--11, 7223(0)38--49, 7227(0)105--113, 7231(0)131--142, 7241(0)440--498, 7246(0)86--96, 7246(0)211--223
Complexity, 7225(0)237--252, 7230(0)24--34, 7230(0)256--270
Compliance, 7221(0)3--8
Complicated, 7202(0)89--96
Component, 7208(0)71--78, 7210(0)122--143, 7211(0)148--168
Component-Based, 7212(0)43--58
Composed, 7226(0)39--53
Composing, 7247(0)72--83
Composition, 7212(0)63--77, 7221(0)22--32, 7221(0)76--86, 7221(0)131--146, 7221(0)177--182, 7221(0)183--188, 7226(0)70--84, 7239(0)81--95
Compositional, 7211(0)148--168, 7212(0)270--284, 7214(0)237--251, 7226(0)126--140
Comprehensive, 7223(0)35--37
Compression, 7234(0)27--34
Compressive, 7202(0)74--80
Compressor, 7204(0)101--110
Computable, 7232(0)63--79
computable, Pre-, 7232(0)1--16
Computation, 7204(0)181--190, 7205(0)119--136, 7225(0)4--24, 7225(0)57--72, 7232(0)277--288, 7235(0)195--206, 7238(0)172--184, 7239(0)33--47, 7245(0)111--123, 7245(0)242, 7246(0)233, 7248(0)203
Computational, 7213(0)315, 7215(0)3--29, 7223(0)35--37, 7227(0)147--155, 7232(0)63--79, 7243(0)185, 7247(0)96--107
Computationally, 7215(0)189--208, 7222(0)113--128
computer, 7203(0)92--101, 7220(0)1--11, 7220(0)210--220
Computer, Human-, 7206(0)227, 7247(0)117--128
Computer-in-the-Loop, 7227(0)139--146
Computing, 7201(0)252, 7203(0)1--9, 7204(0)31--40, 7215(0)89--108, 7221(0)87--96, 7221(0)97--99, 7221(0)188, 7222(0)16--31, 7227(0)171, 7234(0)131--142
Concentration, 7223(0)131--135
Concept, 7234(0)125--130
Conceptual, 7205(0)18--67, 7207(0)145--159, 7212(0)240--254, 7231(0)4--12
Concurrent, 7204(0)81--90, 7211(0)87--107, 7212(0)178--193, 7213(0)26--41, 7213(0)270--285, 7213(0)301--315, 7230(0)298--317, 7241(0)339--401
Conditional, 7207(0)26--32, 7214(0)252--266, 7215(0)369--389, 7218(0)42--51
Conditions, 7226(0)195--209
Conference, 7201(0)252, 7203(0)205, 7204(0)200, 7207(0)220, 7208(0)230, 7209(0)221, 7210(0)243, 7211(0)416, 7212(0)300, 7213(0)315, 7214(0)298, 7215(0)389, 7222(0)337, 7223(0)161, 7224(0)243, 7227(0)171, 7231(0)172, 7232(0)300, 7235(0)242, 7238(0)271, 7239(0)271, 7240(0)203, 7243(0)185, 7244(0)241, 7245(0)242, 7246(0)233, 7247(0)234
ConfiChair, 7215(0)89--108
Confidence, 7235(0)195--206
configuration, 7206(0)204--215
Conflict, 7205(0)68--90, 7212(0)178--193
Conflict-Driven, 7214(0)48--63
Conformance, 7212(0)1--25
Conjunction, 7218(0)72--81
Connectivity, 7202(0)153--159
Consensus, 7227(0)1--8, 7227(0)53--60
consequence, 7218(0)72--81
Conservative, 7223(0)38--49
consideration, 7220(0)35--45, 7228(0)80--101
Considers, 7239(0)138--149
Consistency, 7203(0)102--111, 7205(0)68--90, 7212(0)63--77, 7226(0)162--167
Consistent, 7211(0)67--86
Constable:2012:LPS, 7230(0)321
constraint, 7203(0)40--49, 7204(0)11--20, 7207(0)7--13, 7212(0)146--162, 7227(0)1--8, 7227(0)53--60, 7230(0)35--49, 7235(0)170--182, 7248(0)165--173
Construction, 7210(0)144--164, 7210(0)243, 7214(0)298, 7243(0)73--84, 7245(0)87--98
Consumption, 7248(0)1--10
Contact, 7223(0)105--116, 7246(0)224--233
Container, 7213(0)74--88
Contamination, 7245(0)124--135
Content, 7232(0)17--33, 7236(0)134--150
Contest, 7217(0)155--172
Context, 7200(0)277--289, 7218(0)12--21, 7248(0)135--144
Context-Aware, 7200(0)237--258, 7200(0)259--276, 7235(0)97--108, 7236(0)17--26, 7236(0)134--150, 7239(0)81--95
Context-Sensitive, 7220(0)12--23
Contextual, 7240(0)104--104
Conti, Marco, 7200(0)311--327
Conti, Marco, see Anastasi, Giuseppe
Contingency, 7231(0)25--35
Continue, 7239(0)169--184
Continuous, 7245(0)49--62
Contract, 7211(0)214--233, 7212(0)43--58, 7212(0)255--269
Contrasting, 7227(0)131--138
Contreras, Iván, 7248(0)174--183
Contreras:2012:GCT, 7248(0)174--183
Contribution, 7240(0)81--91
Contributors, 7238(0)185--196
Control, 7204(0)181--190, 7208(0)25--36, 7208(0)125--136, 7211(0)234--253, 7223(0)1--11, 7223(0)38--49, 7226(0)147--161, 7232(0)158--169, 7234(0)11--18, 7234(0)68--77, 7240(0)154--167, 7244(0)25--36, 7244(0)218--229
Control, Delimited-, 7213(0)119--134
Controlled, 7226(0)162--167
Controller, 7201(0)91--105, 7202(0)50--57, 7247(0)108--116, 7248(0)52--62
converge, 7218(0)42--51
Conversi, Alessandra, 7246(0)50--61
Conversi, Alessandra, see Marini, Simone
Convey, 7206(0)139--150
Cook, Michael, 7248(0)194--203
Cook:2012:IRC, 7248(0)194--203
Cooper, Robin, 7218(0)32--41
Cooper:2012:NIA, 7218(0)32--41
Cooperation, 7215(0)269--289, 7246(0)86--96
coordinate, 7236(0)47--56
Coordination, 7217(0)173--184, 7221(0)22--32, 7243(0)24--34
Cope, Jason, 7203(0)10--19
Cope, Jason, see Liu, Ning
Coq, 7226(0)85--99
Corapi, Domenico, 7207(0)91--97
Corapi:2012:ILP, 7207(0)91--97
Corberán, Ángel, 7245(0)25--36, see Ávila, Thais
Corbin, Tyler, 7204(0)101--110
Corbin, Tyler, see Müldner, Tomasz
Corblin, Fabien, 7223(0)25--30
Corblin:2012:AIR, 7223(0)25--30
Corchado:2012:HAIa, 7208(0)230
Corchado:2012:HAIb, 7209(0)221
cores, Multi-, 7204(0)101--110
Corniaux, Christian L. F., 7232(0)126--143
Corniaux:2012:DOT, 7232(0)126--143
Corpora, 7206(0)204--215
Corpus, 7218(0)150--159, 7243(0)56--62, 7243(0)113--120
Corpus-Based, 7243(0)73--84
Corradini, Andrea, 7212(0)240--254
Corradini, Andrea, see Bruni, Roberto
Correa, José Luis, Del-Río-, 7209(0)105--115
Corrected, 7222(0)304--337
Correctness, 7211(0)87--107, 7211(0)316--335
Correia, João, 7244(0)73--84, 7247(0)187--198, see Machado, Penousal
Correia, Margarita, 7243(0)46--55
Correia, Margarita, see Ferreira, José Pedro
Correia, Rui, 7243(0)168--178
Correia:2012:AGC, 7243(0)168--178
Correlation, 7202(0)104--111, 7227(0)131--138, 7234(0)68--77, 7234(0)125--130, 7245(0)111--123
Corroded, 7220(0)210--220
Cortés, Gualberto, Asencio-, 7246(0)156--167, 7246(0)224--233
Cortier, Véronique, 7215(0)30--50, 7215(0)109--128, 7215(0)149--168, see Comon-Lundh, Hubert
Cortier:2012:ARP, 7215(0)30--50
Cortier:2012:FAN, 7215(0)109--128
Coscia, Michele, 7227(0)105--113
Coscia:2012:TDG, 7227(0)105--113
COST, 7216(0)157
Cost, 7204(0)1--10, 7206(0)48--56, 7218(0)143--149
Cost-Based, 7222(0)84--101
Cost-Efficient, 7216(0)138--147
Cost-Sensitive, 7202(0)136--144
Costa, Francisco, 7243(0)99--105
Costa, Sócrates de Moraes Medeiros da, 7236(0)134--150, see Braga, Reinaldo Bezerra
Costa, Vítor Santos, 7207(0)130--144, 7207(0)145--159, see Ferreira, Carlos Abreu, see Fonseca, Nuno A.
Costa:2012:ETI, 7243(0)99--105
Costantini, Stefania, 7205(0)68--90
Costantini:2012:CCT, 7205(0)68--90
Cotillon, Alban, 7244(0)13--24
Cotillon:2012:AGP, 7244(0)13--24
Cotta, Carlos, 7248(0)165--173
Cotta, Carlos, see Duran, Feijoo E. Colomine
Could, 7247(0)129--140
Counter-Example, 7214(0)204--219
Counterexamples, 7226(0)54--69
Countries, 7216(0)56--66
Cousot, Patrick, 7211(0)169--193, 7226(0)3--7
Cousot:2012:FVA, 7226(0)3--7
Cousot:2012:PAI, 7211(0)169--193
Couto, Francisco M., 7243(0)179--185
Couto, Francisco M., see Batista, David S.
Coverage, 7227(0)43--52, 7235(0)122--133
Covering, 7201(0)46--60, 7245(0)172--181
Cox, Arlen, 7214(0)33--47
Cox, Ingemar J., 7224(0)182--194
Cox, Ingemar J., see Hosseini, Mehdi
Cox:2012:BTP, 7214(0)33--47
CPM-Signal, 7202(0)104--111
CPUs, 7210(0)1--20
Crack, 7220(0)127--137
Crafa, Silvia, 7213(0)225--239
Crafa:2012:ESS, 7213(0)225--239
Crane, 7245(0)25--36
Cranefield, Stephen, 7217(0)74--91
Cranefield, Stephen, see Ranathunga, Surangika
Crasborn, Onno, 7206(0)118--128
Crasborn:2012:IDC, 7206(0)118--128
Craveiro, Olga, 7243(0)106--112
Craveiro:2012:ITP, 7243(0)106--112
Creation, 7240(0)53--64
Creative, 7247(0)223--234
Credibility-Oriented, 7235(0)34--45
Cremers, Cas, 7215(0)129--148
Cremers, Cas, see Basin, David
CRF, 7234(0)154--162
CRFs, 7234(0)163--170
CRISPR, 7223(0)31--34
Criticality, 7223(0)105--116
Croft, W. Bruce, 7224(0)97--108
Croft, W. Bruce, see Kim, Jin Young
Croitoru:2012:GSK, 7205(0)207
Cross-Domain, 7245(0)136--147
Cross-Layer, 7221(0)147--161
Crossovers, 7244(0)61--72
Crowd, 7224(0)182--194, 7227(0)43--52, 7240(0)168--179
Crowdsourced, 7227(0)35--42
Crull, Katja, 7231(0)25--35
Crull, Katja, see Klawonn, Frank
Crume, Adam, 7203(0)10--19
Crume, Adam, see Liu, Ning
Cruz, Ricardo, 7208(0)61--70
Cruz:2012:UCA, 7208(0)61--70
Cryptanalysis, 7232(0)109--125
Cryptographic, 7209(0)97--104, 7211(0)108--127
Cryptography, 7232(0)217--227
Cryptosystems, 7232(0)228--244
CSP, 7201(0)136--150
CSPs, 7205(0)137--171
CUDA, 7204(0)111--120
Cuenca, A. de la Villa, 7209(0)78--88
Cuenca, A. de la Villa, see Rey, A. Martín del
Cullen, Charlie, 7236(0)33--46
Cullen, Charlie, see Filonenko, Viacheslav
Cultural, 7227(0)53--60, 7227(0)171
cultural, Socio-, 7227(0)78--86
Cumulative, 7228(0)1--18
Cuoq, Pascal, 7226(0)120--125
Cuoq:2012:TSA, 7226(0)120--125
Cuppens, Frédéric, 7240(0)154--167
Cuppens-Boulahia, Nora, 7240(0)154--167
Cuppens-Boulahia, Nora, see Cuppens, Frédéric
Cuppens:2012:AAC, 7240(0)154--167
Curtois, Tim, 7245(0)136--147
Curtois, Tim, see Ochoa, Gabriela
curve, 7215(0)209--228
Cussens, James, 7207(0)14--19
Cussens:2012:OBI, 7207(0)14--19
Customer, 7208(0)1--12, 7234(0)95--105
Cut, 7231(0)100--109
Cutugno, Francesco, 7236(0)27--32, 7236(0)57--71
Cutugno, Francesco, see Cerasuolo, Francesco
Cutugno:2012:SMI, 7236(0)27--32
Cyber, 7227(0)35--42
Cyber-Physical, 7240(0)168--179
CyberDesign, 7204(0)161--170
Cyberinfrastructure, 7204(0)161--170
Cyclic, 7203(0)80--91
Cyprus, 7221(0)188
Cytomics, 7231(0)76--87
Czarnecki, Krzysztof, 7212(0)163--177
Czarnecki, Krzysztof, see Diskin, Zinovy
Czarnul, Pawe{\l}, 7204(0)151--160
Czarnul:2012:DCM, 7204(0)151--160