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