2.0 [414]. 21st [894, 897, 898, 911]. 2T1R [400]. 30th [895, 896]. 34th [910]. 4th [912, 924]. 5th [913]. 60th [915]. 7th [895, 896]. 8-Bit [856]. 8th [917]. 9798 [311]. 9th [904, 893, 909, 890, 891]. Abductive [155]. Aberto [773]. Abstract [267, 512, 228]. Abstraction [37, 354, 203]. Accelerat<strong>in</strong>g [854]. Accelerator [663]. Access [742, 612]. Accompany<strong>in</strong>g [52]. accord<strong>in</strong>g [132]. Accuracy [686, 665]. Accurate [736]. Acids [460]. Acquisition [767]. across [91, 373]. Action [903, 525, 129]. Active [868]. Activities [538, 177]. Ad [72, 482, 73]. Ad-Hoc [72, 482]. AdaBoost [63, 64]. AdaBoost-Based [64]. Adaptable [425]. Adaptation [257, 88, 421, 800]. Adaptations [832]. Adapted [167]. Adaptive [887, 742, 605, 249, 639, 199, 873, 217, 728, 610]. Addiction [544]. Address [307]. Ad<strong>in</strong>i [76]. Adjectives [376, 378, 382, 374]. Adm<strong>in</strong>istrator [648]. Adoption [514]. Advanced [216, 921, 922, 923]. Advances [910]. Advantages [187]. Adverbs [762]. Advertis<strong>in</strong>g [736]. Aesthetic [845, 856, 857]. Affairs [580]. Affect [387]. Aff<strong>in</strong>e [452, 396]. Affordability [332]. Afghanistan [539]. aga<strong>in</strong>st [734, 605, 434]. Agent [166, 359, 904, 360, 163, 356, 164, 347, 362, 351, 165, 350, 358]. Agent-Programm<strong>in</strong>g [351]. Agents [352]. Aggregate [232]. Aggregated [688, 732]. Aggregat<strong>in</strong>g [537, 486, 198]. Aggregation [687]. Aggression [176]. Agreement [360, 132]. Agreements [417]. AJAX [644]. Alcoholism [532]. Algebra [234, 81, 524]. Algebraically [560]. Algebras [559]. Algorithm [818, 560, 760, 636, 154, 828, 805, 63, 814, 56, 86, 649, 49, 823, 87, 203, 79, 148, 835, 54, 877, 627, 96, 61, 405, 53]. Algorithms [810, 819, 882, 850, 821, 901, 812, 81, 524, 866, 180, 816, 170, 798, 189, 876]. Alignment [409]. Allocation [806]. Almost [273]. Alternat<strong>in</strong>g [86]. Alternative [584, 548]. Alternatives [368]. Alternatives-Based [368]. Ambiguity [383]. American [374]. Am<strong>in</strong>o [460]. Amount [82]. Amplification [797]. Amsterdam [905]. Analys<strong>in</strong>g [306, 876]. Analysis [533, 552, 680, 10, 136, 760, 322, 446, 458, 883, 310, 287, 44, 461, 295, 550, 901, 288, 492, 45, 513, 596, 520, 31, 834, 720, 2
216, 386, 597, 584, 867, 412, 591, 634, 631, 48, 86, 859, 775, 207, 330, 794, 504, 208, 763, 684, 507, 755, 761, 302, 615, 318, 212, 169, 435, 28]. Analytical [17, 38, 210]. Analyzers [521]. Analyz<strong>in</strong>g [671, 658, 874, 433]. Android [527, 782]. Animal [202]. Animat<strong>in</strong>g [844]. Annotation [139]. Anonymity [318]. anonymization [316]. Anonymous [432]. Answer [153, 113]. Answerer [481]. Answer<strong>in</strong>g [481]. Ant [793, 798, 172]. Anti [58]. Anti-bisymmetric [58]. AnyOut [701]. Anytime [701, 819]. AODV [295]. Apoptosis [463]. Appearance [691]. Appearance-Order-Based [691]. Append [729]. Append-only [729]. Application [754, 671, 170, 165, 189, 62]. Applications [193, 192, 98, 672, 619, 407, 921, 922, 620, 411, 748, 919, 918, 212, 923, 930]. Applicative [269]. Applied [870, 890, 891]. Apply<strong>in</strong>g [258, 418]. Appraisal [188]. Approach [21, 523, 881, 5, 179, 171, 231, 658, 360, 140, 585, 699, 566, 188, 412, 688, 547, 362, 425, 599, 535, 22, 803, 795, 490, 877, 481, 177, 80]. Approaches [8, 181, 757, 899]. Appropriate [476]. Approximate [148]. Approximation [516, 518]. Approximations [294]. April [910, 900, 925, 902, 930, 920, 901, 928, 912, 927, 916, 921, 922, 909, 929, 926, 897, 917, 898, 919, 918, 913, 923, 899]. APWeb [919, 918]. Arbitrary [649]. ARCAMA [666]. ARCAMA- [666]. Architectural [846, 522, 242]. Architecture [685, 184, 12, 690, 95]. Architectures [301, 85, 88, 344]. Area [33]. Argumentation [115, 164]. Arithmetic [526]. ARM [428]. Arrays [179]. Art [855, 857, 929, 848, 849]. ArtDeco [887]. Articulated [399]. Artifact [413, 690]. Artifact-Centric [413, 690]. Artificial [895, 896, 456, 832, 839, 835, 181, 450]. Artistic [847]. Ascent [880]. ASD [38]. ASD-Based [38]. Asia [919]. ASL [372, 365]. Aspect [742, 292]. Aspect-Oriented [292]. Assembly [836]. Assertions [419]. Assess<strong>in</strong>g [132]. Assessments [548]. Assigned [177]. Assignment [751, 791, 825]. Assisted [121]. Associated [548]. Association [201, 636, 596, 651]. Associations [840]. Associative [467]. Associativity [313]. Assumptions [611]. Asynchronous [668, 415, 465, 639]. Athens [893]. ATL [354]. Atoms [60]. Attack [605, 434]. Attacker [314]. Attack<strong>in</strong>g [624]. Attacks [607, 246, 608, 621, 433]. Attribute [583]. Attribution [370]. Auction [360, 661]. Auction-Based [360]. Audio [168, 125, 556, 555]. Audits [424]. Augmented [666]. Augment<strong>in</strong>g [823]. August [894]. Australia [588]. Authenticated [441]. Authentication [311, 445, 173]. Autism [763]. Auto [61]. Autoimmune [469]. Automata [290, 496, 229, 37, 288, 249, 289, 270, 172, 191]. Automata-Based [496]. Automated [301, 225, 885, 295, 599, 863, 64, 586]. Automatic [268, 136, 453, 778, 568, 823, 176, 490, 798, 206, 761, 139]. Automatically [42, 529, 769]. Automat<strong>in</strong>g [567]. Automation [591]. Automaton [711]. Automaton-Based [711]. Autonomic [10, 8, 9, 639]. Availability [27, 246]. AVANTSSAR [301]. Avatars [844]. Average [484]. 3
- Page 1: A Bibliography of Papers in Lecture
- Page 5 and 6: Camellia [607]. Camera [554]. CaMKI
- Page 7 and 8: Cost-Efficient [342]. Cost-Sensitiv
- Page 9 and 10: Embodied [893]. Embryos [838]. Emer
- Page 11 and 12: Functional [495, 268, 749, 417, 67,
- Page 13 and 14: Innovation [5]. Inquisitive [367, 3
- Page 15 and 16: Maude [497]. Maximal [816]. Maximiz
- Page 17 and 18: NSGA [805]. NSGA-II [805]. Number [
- Page 19 and 20: Process [414, 179, 9, 234, 424, 194
- Page 21 and 22: Sampling [799]. SAT [284]. Satellit
- Page 23 and 24: Sub-populations [467]. Subgame [280
- Page 25 and 26: VA [912]. Validating [239]. Validat
- Page 27 and 28: REFERENCES 27 Anonymous:2012:FMb [7
- Page 29 and 30: REFERENCES 29 Alippi:2012:WSN [19]
- Page 31 and 32: REFERENCES 31 Computer Science, 720
- Page 33 and 34: REFERENCES 33 Eittenberger:2012:WIT
- Page 35 and 36: REFERENCES 35 Li:2012:MAD [56] Yang
- Page 37 and 38: REFERENCES 37 Anonymous:2012:FMg [6
- Page 39 and 40: REFERENCES 39 Zieniuk:2012:NAD [80]
- Page 41 and 42: REFERENCES 41 Drozdowski:2012:GBB [
- Page 43 and 44: REFERENCES 43 Chrobot:2012:DMV [104
- Page 45 and 46: REFERENCES 45 137-171, 2012. CODEN
- Page 47 and 48: REFERENCES 47 Panayi:2012:WWW [129]
- Page 49 and 50: REFERENCES 49 Anonymous:2012:FMk [1
- Page 51 and 52: REFERENCES 51 Douar:2012:GBR [154]
- Page 53 and 54:
REFERENCES 53 Aguero:2012:ACT [166]
- Page 55 and 56:
REFERENCES 55 Yannibelli:2012:MAP [
- Page 57 and 58:
REFERENCES 57 Toman:2012:GWM [189]
- Page 59 and 60:
REFERENCES 59 Computer Science, 720
- Page 61 and 62:
REFERENCES 61 Petersen:2012:GSI [21
- Page 63 and 64:
REFERENCES 63 Computer Science, 721
- Page 65 and 66:
REFERENCES 65 Jensen:2012:FSL [238]
- Page 67 and 68:
REFERENCES 67 Albert:2012:VRG [250]
- Page 69 and 70:
REFERENCES 69 Cali:2012:QUC [262] A
- Page 71 and 72:
REFERENCES 71 Peters:2012:IGE [275]
- Page 73 and 74:
REFERENCES 73 Friedmann:2012:RBA [2
- Page 75 and 76:
REFERENCES 75 Bozga:2012:DCT [300]
- Page 77 and 78:
REFERENCES 77 Comon-Lundh:2012:SPD
- Page 79 and 80:
REFERENCES 79 Anonymous:2012:FMt [3
- Page 81 and 82:
REFERENCES 81 Gomez-Barroso:2012:PI
- Page 83 and 84:
REFERENCES 83 tronic). URL http://l
- Page 85 and 86:
REFERENCES 85 Mirzayi:2012:GDA [362
- Page 87 and 88:
REFERENCES 87 LNCSD9. ISSN 0302-974
- Page 89 and 90:
REFERENCES 89 Park:2012:HDM [388] J
- Page 91 and 92:
REFERENCES 91 Lin:2012:SPP [400] Li
- Page 93 and 94:
REFERENCES 93 Lago:2012:PAA [412] P
- Page 95 and 96:
REFERENCES 95 Stocker:2012:DFO [424
- Page 97 and 98:
REFERENCES 97 Computer Science, 722
- Page 99 and 100:
REFERENCES 99 Anonymous:2012:FMbd [
- Page 101 and 102:
REFERENCES 101 LNCSD9. ISSN 0302-97
- Page 103 and 104:
REFERENCES 103 Science, 7224:13-24,
- Page 105 and 106:
REFERENCES 105 Notes in Computer Sc
- Page 107 and 108:
REFERENCES 107 Dandois:2012:CLP [49
- Page 109 and 110:
REFERENCES 109 1611-3349 (electroni
- Page 111 and 112:
REFERENCES 111 Ayoub:2012:SCP [523]
- Page 113 and 114:
REFERENCES 113 tion on a live netwo
- Page 115 and 116:
REFERENCES 115 Mancilla-Caceres:201
- Page 117 and 118:
REFERENCES 117 Bonchi:2012:BAC [560
- Page 119 and 120:
REFERENCES 119 Parikh:2012:CUG [573
- Page 121 and 122:
REFERENCES 121 ISSN 0302-9743 (prin
- Page 123 and 124:
REFERENCES 123 7231:143-151, 2012.
- Page 125 and 126:
REFERENCES 125 Corniaux:2012:DOT [6
- Page 127 and 128:
REFERENCES 127 Anonymous:2012:FMbm
- Page 129 and 130:
REFERENCES 129 Lee:2012:AFE [634] J
- Page 131 and 132:
REFERENCES 131 Hu:2012:EUD [646] Ha
- Page 133 and 134:
REFERENCES 133 Du:2012:IAA [658] Ya
- Page 135 and 136:
REFERENCES 135 Cerasuolo:2012:VNV [
- Page 137 and 138:
REFERENCES 137 0302-9743 (print), 1
- Page 139 and 140:
REFERENCES 139 Liu:2012:UTX [694] J
- Page 141 and 142:
REFERENCES 141 Bai:2012:PRS [706] M
- Page 143 and 144:
REFERENCES 143 Nishii:2012:HSS [718
- Page 145 and 146:
REFERENCES 145 52, 2012. CODEN LNCS
- Page 147 and 148:
REFERENCES 147 LNCSD9. ISSN 0302-97
- Page 149 and 150:
REFERENCES 149 (electronic). URL ht
- Page 151 and 152:
REFERENCES 151 Lopes:2012:IPT [768]
- Page 153 and 154:
REFERENCES 153 Anonymous:2012:FMbu
- Page 155 and 156:
REFERENCES 155 exchange using gramm
- Page 157 and 158:
REFERENCES 157 (electronic). URL ht
- Page 159 and 160:
REFERENCES 159 1611-3349 (electroni
- Page 161 and 162:
REFERENCES 161 Nobile:2012:GBM [829
- Page 163 and 164:
REFERENCES 163 Buchanan:2012:BIM [8
- Page 165 and 166:
REFERENCES 165 107, 2012. CODEN LNC
- Page 167 and 168:
REFERENCES 167 Anonymous:2012:FMby
- Page 169 and 170:
REFERENCES 169 Wang:2012:SPO [877]
- Page 171 and 172:
REFERENCES 171 Computer Science. Sp
- Page 173 and 174:
REFERENCES 173 OBoyle:2012:CCI [897
- Page 175 and 176:
REFERENCES 175 ing: 18th Amsterdam
- Page 177 and 178:
REFERENCES 177 Shi:2012:TDH [914] Y
- Page 179 and 180:
REFERENCES 179 Yu:2012:DSA [923] Hw
- Page 181:
REFERENCES 181 3 (e-book). ISSN 030