%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Nov 3 12:36:46 MDT 2022 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^3$}{% Dechesne:2012:AAT,% Yu:2012:DSA% }. \NAMECITE{10th}{% Caseli:2012:CPP,% Fernandez-Baca:2012:LTI,% Freitas:2012:BPM,% Giacobini:2012:ECM,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Koucheryavy:2012:WWI,% Theis:2012:LVA% }. \NAMECITE{11-14}{% Huang:2012:BIC% }. \NAMECITE{11th}{% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Martino:2012:WWG,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Schrijvers:2012:FLP% }. \NAMECITE{12-14th}{% Taft:2012:PAM% }. \NAMECITE{12th}{% Gheorghe:2012:MCI,% Hao:2012:ECC,% Jung:2012:ISA% }. \NAMECITE{13th}{% Bononi:2012:DCN,% Desai:2012:PPM,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Kuncak:2012:VMC,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Taft:2012:PAM% }. \NAMECITE{14th}{% Russo:2012:PAD,% Sheng:2012:WTA,% Taft:2012:PAM% }. \NAMECITE{15th}{% Aura:2012:IST,% Birkedal:2012:FSS,% Danezis:2012:FCDb,% Fischlin:2012:PKC,% Moraglio:2012:GPE,% Ober:2012:SIS,% deLara:2012:FAS% }. \NAMECITE{16th}{% Chor:2012:RCM,% Laud:2012:IST,% Schmitt:2012:MME,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{17th}{% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{18th}{% Bjorner:2012:LPA,% Flanagan:2012:TAC,% Miri:2012:SAC,% Regnell:2012:REF,% Schoeffmann:2012:AMM% }. \NAMECITE{19th}{% vanKreveld:2012:GDI% }. \NAMECITE{2008-2010}{% Meyer:2012:ESE% }. \NAMECITE{20th}{% Mossakowski:2012:RTA% }. \NAMECITE{21st}{% OBoyle:2012:CCI,% Seidl:2012:PLS% }. \NAMECITE{25th}{% Herkersdorf:2012:ACS% }. \NAMECITE{27th}{% MacKinnon:2012:DSS% }. \NAMECITE{28-30th}{% Corchado:2012:HAIa,% Corchado:2012:HAIb% }. \NAMECITE{30th}{% Corchado:2012:HAIa,% Corchado:2012:HAIb% }. \NAMECITE{31-}{% Horimoto:2012:ANB% }. \NAMECITE{31st}{% Pointcheval:2012:ACE% }. \NAMECITE{34th}{% Baeza-Yates:2012:AIR% }. \NAMECITE{38th}{% Bielikova:2012:STP% }. \NAMECITE{4th}{% Arbab:2012:FSE,% Barthe:2012:ESS,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Goodloe:2012:NFM,% Horimoto:2012:ANB,% Iwamura:2012:CBD,% Joshi:2012:VST,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Pescape:2012:TMA,% Sloane:2012:SLE,% Szmuc:2012:ASE,% Vinel:2012:CTV% }. \NAMECITE{5th}{% Ho:2012:AIVa,% Ho:2012:AIVb,% Yang:2012:SCB% }. \NAMECITE{60th}{% Artikis:2012:LPN,% Constable:2012:LPS,% Dinneen:2012:CPB,% Dusterhoft:2012:CMT% }. \NAMECITE{65th}{% Naccache:2012:CST% }. \NAMECITE{6th}{% Dediu:2012:LAT,% Garcia-Alfaro:2012:DPM,% Kuipers:2012:SOS,% Marx:2012:PEC,% Rahman:2012:WAC% }. \NAMECITE{7th}{% Barbosa:2012:FAC,% Boissonnat:2012:CSI,% Cao:2012:ADM,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Erlebach:2012:ASS,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Juels:2012:RSP,% Kotasek:2012:MEM,% Li:2012:AGP,% Lukasiewicz:2012:FIK,% Meadows:2012:STM,% Peffers:2012:DSR% }. \NAMECITE{8th}{% Bleris:2012:BRA,% Carbone:2012:WSF,% Choy:2012:RCA,% Clarke:2012:PSI,% Collier:2012:PMA,% Petkova-Nikova:2012:PKI,% Ramanujam:2012:DCI,% Ryan:2012:ISP,% Vanmechelen:2012:EGC% }. \NAMECITE{9th}{% Agrawal:2012:TAM,% Aichernig:2012:FMC,% Beldiceanu:2012:IAT,% Cramer:2012:TCT,% Lones:2012:IPC,% Picco:2012:WSN,% Sakama:2012:DAL,% Sanner:2012:RAR,% Solis-Oba:2012:AOA% }. \NAMECITE{A4MMC}{% Varbanescu:2012:CAI% }. \NAMECITE{AAIM}{% Snoeyink:2012:FAA% }. \NAMECITE{AAMAS}{% Dechesne:2012:AAT,% Vrancx:2012:ALA% }. \NAMECITE{{Abdominal}}{% Yoshida:2012:AIC% }. \NAMECITE{Abstract}{% Kuncak:2012:VMC% }. \NAMECITE{{Achievements}}{% Bubak:2012:BND% }. \NAMECITE{ACIIDS}{% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc% }. \NAMECITE{Action}{% Artikis:2012:LPN,% Hadjiantonis:2012:TES% }. \NAMECITE{Actions}{% vanEijck:2012:GAS% }. \NAMECITE{Active}{% Taft:2012:PAM% }. \NAMECITE{Ad}{% Erlebach:2012:ASS% }. \NAMECITE{{Adaptive}}{% Vrancx:2012:ALA% }. \NAMECITE{ADCONS}{% Thilagam:2012:ACN% }. \NAMECITE{ADMI}{% Cao:2012:ADM% }. \NAMECITE{Advanced}{% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA,% Dechesne:2012:AAT,% Huang:2012:AICa,% Huang:2012:AICb,% Thilagam:2012:ACN% }. \NAMECITE{Advances}{% Gavrilova:2012:TCS,% Peffers:2012:DSR,% Sanner:2012:RAR,% Ardissono:2012:AUM,% Baeza-Yates:2012:AIR,% Ho:2012:AIVa,% Ho:2012:AIVb,% Li:2012:AGP,% Pointcheval:2012:ACE,% Schoeffmann:2012:AMM,% Szmuc:2012:ASE,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{{Age}}{% Wang:2012:WAI% }. \NAMECITE{Agent}{% Collier:2012:PMA,% Dechesne:2012:AAT,% Desai:2012:PPM,% Sakama:2012:DAL,% Villatoro:2012:MAB% }. \NAMECITE{Agents}{% Cao:2012:ADM,% Vrancx:2012:ALA,% Cao:2012:ADM% }. \NAMECITE{AI}{% Beldiceanu:2012:IAT% }. \NAMECITE{Aided}{% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{AIME}{% Riano:2012:KRH% }. \NAMECITE{ALA}{% Vrancx:2012:ALA% }. \NAMECITE{Algebraic}{% Mossakowski:2012:RTA,% Horimoto:2012:ANB% }. \NAMECITE{Algorithmic}{% Snoeyink:2012:FAA% }. \NAMECITE{Algorithmics}{% Snoeyink:2012:FAA% }. \NAMECITE{Algorithms}{% Erlebach:2012:ASS,% Flanagan:2012:TAC,% Rahman:2012:WAC,% Solis-Oba:2012:AOA,% Erlebach:2012:ASS% }. \NAMECITE{ALGOSENSORS}{% Erlebach:2012:ASS% }. \NAMECITE{AMAS}{% Varbanescu:2012:CAI% }. \NAMECITE{AMAS-BT}{% Varbanescu:2012:CAI% }. \NAMECITE{{American}}{% Fernandez-Baca:2012:LTI% }. \NAMECITE{Amherst}{% Juels:2012:RSP% }. \NAMECITE{AMPLE}{% Dechesne:2012:AAT% }. \NAMECITE{Analysis}{% Flanagan:2012:TAC,% Iwamura:2012:CBD,% Lopez:2012:CIP,% Pescape:2012:TMA,% Schindler:2012:CSC,% Theis:2012:LVA% }. \NAMECITE{ANB}{% Horimoto:2012:ANB% }. \NAMECITE{Annual}{% Agrawal:2012:TAM,% Chor:2012:RCM,% Pointcheval:2012:ACE% }. \NAMECITE{AOSE}{% Dechesne:2012:AAT% }. \NAMECITE{Applications}{% Agrawal:2012:TAM,% Aura:2012:IST,% Bleris:2012:BRA,% Choy:2012:RCA,% Dediu:2012:LAT,% Huang:2012:AICb,% Huang:2012:BIC,% Jung:2012:ISA,% Laud:2012:IST,% Lee:2012:DSAa,% Lee:2012:DSAb,% Modersheim:2012:TSA,% Modgil:2012:TAF,% Naccache:2012:CST,% Petkova-Nikova:2012:PKI,% Pointcheval:2012:ACE,% Sheng:2012:WTA,% Wang:2012:WTA,% Yoshida:2012:AIC,% Yu:2012:DSA,% Chio:2012:AEC% }. \NAMECITE{Applied}{% Cao:2012:NFA,% Jonasson:2012:APSa,% Jonasson:2012:APSb% }. \NAMECITE{Approaches}{% deLara:2012:FAS% }. \NAMECITE{{Approximation}}{% Solis-Oba:2012:AOA% }. \NAMECITE{April}{% Arbab:2012:FSE,% Baeza-Yates:2012:AIR,% Birkedal:2012:FSS,% Caseli:2012:CPP,% Chio:2012:AEC,% Chor:2012:RCM,% Degano:2012:PST,% Fernandez-Baca:2012:LTI,% Flanagan:2012:TAC,% Giacobini:2012:ECM,% Goodloe:2012:NFM,% Hao:2012:ECC,% He:2012:HIS,% Lee:2012:DSAa,% Lee:2012:DSAb,% Lones:2012:IPC,% Machado:2012:EBI,% Martino:2012:WWG,% Modersheim:2012:TSA,% Moraglio:2012:GPE,% OBoyle:2012:CCI,% Pointcheval:2012:ACE,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC,% Ryan:2012:ISP,% Seidl:2012:PLS,% Sheng:2012:WTA,% Vinel:2012:CTV,% Wang:2012:WTA,% Yang:2012:SCB,% Yu:2012:DSA,% deLara:2012:FAS% }. \NAMECITE{APWeb}{% Sheng:2012:WTA,% Wang:2012:WTA% }. \NAMECITE{ARC}{% Choy:2012:RCA% }. \NAMECITE{Architecture}{% Varbanescu:2012:CAI,% Herkersdorf:2012:ACS% }. \NAMECITE{Architectures}{% Choy:2012:RCA% }. \NAMECITE{ARCS}{% Herkersdorf:2012:ACS% }. \NAMECITE{Areas}{% Miri:2012:SAC% }. \NAMECITE{Arequipa}{% Fernandez-Baca:2012:LTI% }. \NAMECITE{Argumentation}{% Modgil:2012:TAF% }. \NAMECITE{ARMS}{% Dechesne:2012:AAT% }. \NAMECITE{Art}{% Machado:2012:EBI% }. \NAMECITE{Artificial}{% Bjorner:2012:LPA,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Huang:2012:AICb,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb% }. \NAMECITE{Asia}{% Sheng:2012:WTA,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Asia-Pacific}{% Sheng:2012:WTA% }. \NAMECITE{Asian}{% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc% }. \NAMECITE{Aspects}{% Barbosa:2012:FAC,% Huang:2012:AICb,% Keller:2012:FMC,% Russo:2012:PAD,% Snoeyink:2012:FAA,% vanEijck:2012:GAS% }. \NAMECITE{Assembly}{% Alvarez:2012:FIF% }. \NAMECITE{Athens}{% Sanner:2012:RAR% }. \NAMECITE{Atlases}{% Camara:2012:SAC% }. \NAMECITE{Auckland}{% Dinneen:2012:CPB% }. \NAMECITE{August}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Gheorghe:2012:MCI,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Jung:2012:ISA,% Miri:2012:SAC% }. \NAMECITE{Austria}{% Aichernig:2012:FMC,% Horimoto:2012:ANB,% Pescape:2012:TMA,% Schoeffmann:2012:AMM,% Taft:2012:PAM% }. \NAMECITE{Automata}{% Dediu:2012:LAT% }. \NAMECITE{Autonomic}{% Gavrilova:2012:TCS% }. \NAMECITE{Autonomous}{% Erlebach:2012:ASS,% Garcia-Alfaro:2012:DPM% }. \NAMECITE{Avignon}{% Boissonnat:2012:CSI% }. \NAMECITE{Aviv}{% Theis:2012:LVA% }. \NAMECITE{Bangladesh}{% Rahman:2012:WAC% }. \NAMECITE{Barcelona}{% Baeza-Yates:2012:AIR,% Chor:2012:RCM,% Modgil:2012:TAF% }. \NAMECITE{Based}{% Muller:2012:MCB,% Iwamura:2012:CBD,% Villatoro:2012:MAB% }. \NAMECITE{Bay}{% Danezis:2012:FCDa% }. \NAMECITE{Behavioral}{% Yang:2012:SCB% }. \NAMECITE{Beijing}{% Agrawal:2012:TAM,% He:2012:HIS,% Iwamura:2012:CBD,% Snoeyink:2012:FAA% }. \NAMECITE{Belgium}{% Garcia-Alfaro:2012:DPM,% Petkova-Nikova:2012:PKI,% Vos:2012:RCT% }. \NAMECITE{Bernhard}{% Dusterhoft:2012:CMT% }. \NAMECITE{Beyond}{% Dinneen:2012:CPB% }. \NAMECITE{Bhubaneswar}{% Ramanujam:2012:DCI% }. \NAMECITE{{Bio}}{% Huang:2012:BIC% }. \NAMECITE{{Bio-Inspired}}{% Huang:2012:BIC% }. \NAMECITE{Bioinformatics}{% Giacobini:2012:ECM,% Bleris:2012:BRA,% Freitas:2012:BPM% }. \NAMECITE{Biologically}{% Machado:2012:EBI% }. \NAMECITE{Biology}{% Chor:2012:RCM,% Horimoto:2012:ANB% }. \NAMECITE{Birthday}{% Dinneen:2012:CPB,% Artikis:2012:LPN,% Constable:2012:LPS,% Dusterhoft:2012:CMT,% Naccache:2012:CST% }. \NAMECITE{Bled}{% Riano:2012:KRH% }. \NAMECITE{Block}{% Chen:2012:IDC% }. \NAMECITE{BNCOD}{% MacKinnon:2012:DSS% }. \NAMECITE{Bordeaux}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{Braga}{% Sloane:2012:SLE% }. \NAMECITE{British}{% MacKinnon:2012:DSS% }. \NAMECITE{BT}{% Varbanescu:2012:CAI% }. \NAMECITE{{Building}}{% Bubak:2012:BND% }. \NAMECITE{Busan}{% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{CA}{% Dunkelman:2012:TCC,% Khurshid:2012:RVS% }. \NAMECITE{Calude}{% Dinneen:2012:CPB% }. \NAMECITE{Cambridge}{% Lones:2012:IPC,% Pointcheval:2012:ACE% }. \NAMECITE{{Camera}}{% Iwamura:2012:CBD% }. \NAMECITE{{Camera-Based}}{% Iwamura:2012:CBD% }. \NAMECITE{Canada}{% Camara:2012:SAC,% Collier:2012:PMA,% Garcia-Alfaro:2012:FPS,% Miri:2012:SAC,% Muller:2012:MCB,% Yoshida:2012:AIC% }. \NAMECITE{Canada-France}{% Garcia-Alfaro:2012:FPS% }. \NAMECITE{Canaria}{% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{Care}{% Riano:2012:KRH% }. \NAMECITE{CBDAR}{% Iwamura:2012:CBD% }. \NAMECITE{CC}{% OBoyle:2012:CCI% }. \NAMECITE{CCPI}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{CDS}{% Muller:2012:MCB% }. \NAMECITE{CEE}{% Szmuc:2012:ASE% }. \NAMECITE{CEE-SET}{% Szmuc:2012:ASE% }. \NAMECITE{Cells}{% Lones:2012:IPC% }. \NAMECITE{Centered}{% Hameurlain:2012:TLS% }. \NAMECITE{Central}{% Szmuc:2012:ASE% }. \NAMECITE{CGWS}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{Challenge}{% Keller:2012:FMC% }. \NAMECITE{Challenges}{% Camara:2012:SAC% }. \NAMECITE{Channel}{% Schindler:2012:CSC% }. \NAMECITE{Checking}{% Kuncak:2012:VMC% }. \NAMECITE{China}{% Agrawal:2012:TAM,% Bononi:2012:DCN,% Cao:2012:NFA,% Choy:2012:RCA,% He:2012:HIS,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Iwamura:2012:CBD,% Li:2012:AGP,% Ryan:2012:ISP,% Sheng:2012:WTA,% Snoeyink:2012:FAA,% Wang:2012:WAI,% Wang:2012:WTA% }. \NAMECITE{CICLing}{% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb% }. \NAMECITE{Ciphers}{% Chen:2012:IDC% }. \NAMECITE{Clermont}{% Carbone:2012:WSF% }. \NAMECITE{Clermont-Ferrand}{% Carbone:2012:WSF% }. \NAMECITE{Clinical}{% Muller:2012:MCB,% Yoshida:2012:AIC% }. \NAMECITE{Clouds}{% Vanmechelen:2012:EGC% }. \NAMECITE{CMC}{% Gheorghe:2012:MCI% }. \NAMECITE{Coimbra}{% Caseli:2012:CPP% }. \NAMECITE{College}{% Yang:2012:SCB% }. \NAMECITE{Colloquium}{% Rautiainen:2012:GPC% }. \NAMECITE{Combinatorial}{% Beldiceanu:2012:IAT,% Hao:2012:ECC% }. \NAMECITE{Communication}{% Koucheryavy:2012:WWI,% Vinel:2012:CTV% }. \NAMECITE{{Compiler}}{% OBoyle:2012:CCI% }. \NAMECITE{Complexity}{% Bogdanov:2012:ZCL% }. \NAMECITE{CompNets}{% Becvar:2012:NWI% }. \NAMECITE{Component}{% Barbosa:2012:FAC% }. \NAMECITE{Components}{% Aichernig:2012:FMC% }. \NAMECITE{Computation}{% Agrawal:2012:TAM,% Chio:2012:AEC,% Giacobini:2012:ECM,% Hao:2012:ECC,% Marx:2012:PEC,% Rahman:2012:WAC,% Rutkowski:2012:SEC,% Vos:2012:RCT,% Dinneen:2012:CPB% }. \NAMECITE{Computational}{% Adam:2012:MMC,% Birkedal:2012:FSS,% Camara:2012:SAC,% Chor:2012:RCM,% Gavrilova:2012:TCS,% Yoshida:2012:AIC,% Caseli:2012:CPP,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb% }. \NAMECITE{Computer}{% Bielikova:2012:STP,% Bruckstein:2012:SSV,% Dinneen:2012:CPB,% Kotasek:2012:MEM,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Varbanescu:2012:CAI% }. \NAMECITE{Computing}{% Bononi:2012:DCN,% Choy:2012:RCA,% Gavrilova:2012:TCS,% Gheorghe:2012:MCI,% Herkersdorf:2012:ACS,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Li:2012:AGP,% Ramanujam:2012:DCI,% Rautiainen:2012:GPC,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Schmitt:2012:MME,% Thilagam:2012:ACN,% Yang:2012:SCB,% Keller:2012:FMC% }. \NAMECITE{{Conceptual}}{% Dusterhoft:2012:CMT% }. \NAMECITE{Concurrency}{% Jensen:2012:TPN% }. \NAMECITE{Conference}{% Adam:2012:MMC,% Agrawal:2012:TAM,% Arbab:2012:FSE,% Aura:2012:IST,% Baeza-Yates:2012:AIR,% Beldiceanu:2012:IAT,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Bielikova:2012:STP,% Birkedal:2012:FSS,% Bjorner:2012:LPA,% Boissonnat:2012:CSI,% Bononi:2012:DCN,% Bruckstein:2012:SSV,% Caseli:2012:CPP,% Chor:2012:RCM,% Clarke:2012:PSI,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Cramer:2012:TCT,% Danezis:2012:FCDb,% Dediu:2012:LAT,% Degano:2012:PST,% Desai:2012:PPM,% Dunkelman:2012:TCC,% Fischlin:2012:PKC,% Flanagan:2012:TAC,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Gheorghe:2012:MCI,% Giacobini:2012:ECM,% Hao:2012:ECC,% He:2012:HIS,% Herkersdorf:2012:ACS,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Joshi:2012:VST,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Koucheryavy:2012:WWI,% Kuncak:2012:VMC,% Kundu:2012:PMI,% Laud:2012:IST,% Lee:2012:DSAa,% Lee:2012:DSAb,% Li:2012:AGP,% Lones:2012:IPC,% MacKinnon:2012:DSS,% Machado:2012:EBI,% Moraglio:2012:GPE,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% OBoyle:2012:CCI,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Peffers:2012:DSR,% Picco:2012:WSN,% Pointcheval:2012:ACE,% Ramanujam:2012:DCI,% Regnell:2012:REF,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Ryan:2012:ISP,% Schmitt:2012:MME,% Schoeffmann:2012:AMM,% Sheng:2012:WTA,% Sloane:2012:SLE,% Snoeyink:2012:FAA,% Szmuc:2012:ASE,% Taft:2012:PAM,% Tan:2012:AKDa,% Tan:2012:AKDb,% Theis:2012:LVA,% Thilagam:2012:ACN,% Yang:2012:SCB,% Yu:2012:DSA,% deLara:2012:FAS% }. \NAMECITE{Conferences}{% Birkedal:2012:FSS,% Bouvry:2012:SII,% Degano:2012:PST,% Flanagan:2012:TAC,% OBoyle:2012:CCI,% Seidl:2012:PLS,% deLara:2012:FAS% }. \NAMECITE{Conjunction}{% Camara:2012:SAC,% Rautiainen:2012:GPC,% Rutkowski:2012:SEC,% Yoshida:2012:AIC% }. \NAMECITE{Construction}{% Flanagan:2012:TAC,% OBoyle:2012:CCI% }. \NAMECITE{{Constructive}}{% Schindler:2012:CSC% }. \NAMECITE{Content}{% Muller:2012:MCB% }. \NAMECITE{Content-Based}{% Muller:2012:MCB% }. \NAMECITE{Contraint}{% Beldiceanu:2012:IAT% }. \NAMECITE{Copenhagen}{% Meadows:2012:STM% }. \NAMECITE{Correlation}{% Bogdanov:2012:ZCL% }. \NAMECITE{Coru{\~n}a}{% Dediu:2012:LAT% }. \NAMECITE{COSADE}{% Schindler:2012:CSC% }. \NAMECITE{COST}{% Hadjiantonis:2012:TES% }. \NAMECITE{CPAIOR}{% Beldiceanu:2012:IAT% }. \NAMECITE{Cristian}{% Dinneen:2012:CPB% }. \NAMECITE{{Critical}}{% Lopez:2012:CIP% }. \NAMECITE{Cryptanalysis}{% Bogdanov:2012:ZCL,% Chen:2012:IDC% }. \NAMECITE{Cryptographer}{% Dunkelman:2012:TCC% }. \NAMECITE{Cryptographic}{% Pointcheval:2012:ACE% }. \NAMECITE{Cryptography}{% Cramer:2012:TCT,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Fischlin:2012:PKC,% Miri:2012:SAC,% Naccache:2012:CST% }. \NAMECITE{Cryptology}{% Dunkelman:2012:TCC,% Pointcheval:2012:ACE% }. \NAMECITE{CT}{% Dunkelman:2012:TCC% }. \NAMECITE{CT-RSA}{% Dunkelman:2012:TCC% }. \NAMECITE{Cultural}{% Yang:2012:SCB% }. \NAMECITE{Current}{% Bielikova:2012:STP,% Harth:2012:CTW% }. \NAMECITE{{Curves}}{% Boissonnat:2012:CSI% }. \NAMECITE{Cyprus}{% Harth:2012:CTW,% Vanmechelen:2012:EGC% }. \NAMECITE{Czech}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Bielikova:2012:STP,% Kotasek:2012:MEM% }. \NAMECITE{Dallas}{% Bleris:2012:BRA% }. \NAMECITE{DALT}{% Sakama:2012:DAL% }. \NAMECITE{Darmstadt}{% Fischlin:2012:PKC,% Schindler:2012:CSC% }. \NAMECITE{DASFAA}{% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{Data}{% Bogdanov:2012:ZCL,% Cao:2012:ADM,% Cao:2012:NFA,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Giacobini:2012:ECM,% Hameurlain:2012:TLS,% MacKinnon:2012:DSS,% Shi:2012:TDH,% Tan:2012:AKDa,% Tan:2012:AKDb,% Garcia-Alfaro:2012:DPM,% Kannan:2012:DEM,% MacKinnon:2012:DSS% }. \NAMECITE{Data-}{% Hameurlain:2012:TLS% }. \NAMECITE{Database}{% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{Databases}{% MacKinnon:2012:DSS% }. \NAMECITE{December}{% Aichernig:2012:FMC,% Thilagam:2012:ACN,% Vanmechelen:2012:EGC% }. \NAMECITE{Decision}{% Muller:2012:MCB% }. \NAMECITE{Declarative}{% Russo:2012:PAD,% Sakama:2012:DAL% }. \NAMECITE{Dedicated}{% Constable:2012:LPS,% Dinneen:2012:CPB,% Dusterhoft:2012:CMT,% Naccache:2012:CST% }. \NAMECITE{{Defense}}{% Lopez:2012:CIP% }. \NAMECITE{Delft}{% Kuipers:2012:SOS% }. \NAMECITE{Delhi}{% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb% }. \NAMECITE{Denmark}{% Meadows:2012:STM% }. \NAMECITE{Dependability}{% Schmitt:2012:MME% }. \NAMECITE{Design}{% Machado:2012:EBI,% Schindler:2012:CSC,% Peffers:2012:DSR% }. \NAMECITE{DESRIST}{% Peffers:2012:DSR% }. \NAMECITE{Development}{% Mossakowski:2012:RTA% }. \NAMECITE{Dexter}{% Constable:2012:LPS% }. \NAMECITE{DFT}{% Schmitt:2012:MME% }. \NAMECITE{Dhaka}{% Rahman:2012:WAC% }. \NAMECITE{Differential}{% Chen:2012:IDC% }. \NAMECITE{Discovery}{% Lacroix:2012:RDT,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Distributed}{% Bubak:2012:BND,% Bononi:2012:DCN,% Ramanujam:2012:DCI% }. \NAMECITE{DOCM}{% Dechesne:2012:AAT% }. \NAMECITE{Doctoral}{% Harth:2012:CTW,% Kotasek:2012:MEM,% Rautiainen:2012:GPC% }. \NAMECITE{Document}{% Iwamura:2012:CBD% }. \NAMECITE{DPM}{% Garcia-Alfaro:2012:DPM% }. \NAMECITE{DQDI}{% Yu:2012:DSA% }. \NAMECITE{Drawing}{% vanKreveld:2012:GDI% }. \NAMECITE{Dundee}{% MacKinnon:2012:DSS% }. \NAMECITE{e-Infrastructure-PL-Grid}{% Bubak:2012:BND% }. \NAMECITE{EAMA}{% Varbanescu:2012:CAI% }. \NAMECITE{East}{% Szmuc:2012:ASE% }. \NAMECITE{EC}{% Rutkowski:2012:SEC% }. \NAMECITE{ECIR}{% Baeza-Yates:2012:AIR% }. \NAMECITE{Econ}{% Hadjiantonis:2012:TES% }. \NAMECITE{Economics}{% Hadjiantonis:2012:TES,% Vanmechelen:2012:EGC% }. \NAMECITE{Edutainment}{% Pan:2012:TEV% }. \NAMECITE{Ein-Gedi}{% Bruckstein:2012:SSV% }. \NAMECITE{Eindhoven}{% Barthe:2012:ESS,% vanKreveld:2012:GDI% }. \NAMECITE{Elba}{% Meyer:2012:ESE% }. \NAMECITE{{Empirical}}{% Meyer:2012:ESE% }. \NAMECITE{Engineering}{% Arbab:2012:FSE,% Gavrilova:2012:TCS,% Harth:2012:CTW,% Kannan:2012:DEM,% Kienzle:2012:MSE,% Kotasek:2012:MEM,% Meyer:2012:ESE,% Regnell:2012:REF,% Sloane:2012:SLE,% Szmuc:2012:ASE,% deLara:2012:FAS,% Barthe:2012:ESS% }. \NAMECITE{Entities}{% Erlebach:2012:ASS% }. \NAMECITE{Ershov}{% Clarke:2012:PSI% }. \NAMECITE{ESOP}{% Seidl:2012:PLS% }. \NAMECITE{Espoo}{% Aura:2012:IST% }. \NAMECITE{Essays}{% Artikis:2012:LPN,% Constable:2012:LPS,% Dusterhoft:2012:CMT,% Naccache:2012:CST% }. \NAMECITE{Essen}{% Regnell:2012:REF% }. \NAMECITE{ESSoS}{% Barthe:2012:ESS% }. \NAMECITE{Estonia}{% Birkedal:2012:FSS,% Degano:2012:PST,% Flanagan:2012:TAC,% Laud:2012:IST,% OBoyle:2012:CCI,% Seidl:2012:PLS,% deLara:2012:FAS% }. \NAMECITE{ESWC}{% Garcia-Castro:2012:SWE% }. \NAMECITE{ETAPS}{% Birkedal:2012:FSS,% Degano:2012:PST,% Flanagan:2012:TAC,% OBoyle:2012:CCI,% Seidl:2012:PLS,% deLara:2012:FAS% }. \NAMECITE{Etelsen}{% Mossakowski:2012:RTA% }. \NAMECITE{ETICS}{% Becvar:2012:NWI% }. \NAMECITE{{Euro}}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{{Euro-Par}}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{EUROCAST}{% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{EUROCRYPT}{% Pointcheval:2012:ACE% }. \NAMECITE{EuroGP}{% Moraglio:2012:GPE% }. \NAMECITE{{European}}{% Baeza-Yates:2012:AIR,% Birkedal:2012:FSS,% Degano:2012:PST,% Flanagan:2012:TAC,% Giacobini:2012:ECM,% Hao:2012:ECC,% Moraglio:2012:GPE,% OBoyle:2012:CCI,% Petkova-Nikova:2012:PKI,% Picco:2012:WSN,% Sanner:2012:RAR,% Seidl:2012:PLS,% Szmuc:2012:ASE,% deLara:2012:FAS% }. \NAMECITE{EuroPKI}{% Petkova-Nikova:2012:PKI% }. \NAMECITE{Evaluation}{% Schmitt:2012:MME% }. \NAMECITE{EvoApplications}{% Chio:2012:AEC% }. \NAMECITE{EvoBIO}{% Giacobini:2012:ECM% }. \NAMECITE{EvoCOMNET}{% Chio:2012:AEC% }. \NAMECITE{EvoCOMPLEX}{% Chio:2012:AEC% }. \NAMECITE{EvoCOP}{% Hao:2012:ECC% }. \NAMECITE{EvoFIN}{% Chio:2012:AEC% }. \NAMECITE{EvoGAMES}{% Chio:2012:AEC% }. \NAMECITE{EvoHOT}{% Chio:2012:AEC% }. \NAMECITE{EvoIASP}{% Chio:2012:AEC% }. \NAMECITE{Evolutionary}{% Chio:2012:AEC,% Rutkowski:2012:SEC,% Giacobini:2012:ECM,% Hao:2012:ECC,% Machado:2012:EBI% }. \NAMECITE{EvoMUSART}{% Machado:2012:EBI% }. \NAMECITE{EvoNUM}{% Chio:2012:AEC% }. \NAMECITE{EvoPAR}{% Chio:2012:AEC% }. \NAMECITE{EvoRISK}{% Chio:2012:AEC% }. \NAMECITE{EvoSTIM}{% Chio:2012:AEC% }. \NAMECITE{EvoSTOC}{% Chio:2012:AEC% }. \NAMECITE{EWRL}{% Sanner:2012:RAR% }. \NAMECITE{EWSN}{% Picco:2012:WSN% }. \NAMECITE{Exact}{% Marx:2012:PEC% }. \NAMECITE{Experience}{% Ryan:2012:ISP% }. \NAMECITE{Experiments}{% Joshi:2012:VST% }. \NAMECITE{{Facing}}{% Keller:2012:FMC% }. \NAMECITE{FACS}{% Barbosa:2012:FAC% }. \NAMECITE{FASE}{% deLara:2012:FAS% }. \NAMECITE{Fault}{% Schmitt:2012:MME% }. \NAMECITE{FAW}{% Snoeyink:2012:FAA% }. \NAMECITE{FAW-AAIM}{% Snoeyink:2012:FAA% }. \NAMECITE{FC}{% Danezis:2012:FCDa,% Danezis:2012:FCDb% }. \NAMECITE{February}{% Barthe:2012:ESS,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Dinneen:2012:CPB,% Dunkelman:2012:TCC,% Herkersdorf:2012:ACS,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Picco:2012:WSN,% Rahman:2012:WAC,% Ramanujam:2012:DCI% }. \NAMECITE{Ferrand}{% Carbone:2012:WSF% }. \NAMECITE{{Financial}}{% Danezis:2012:FCDa,% Danezis:2012:FCDb% }. \NAMECITE{Finland}{% Aura:2012:IST,% Rautiainen:2012:GPC% }. \NAMECITE{First}{% Degano:2012:PST,% He:2012:HIS,% Kundu:2012:PMI,% Machado:2012:EBI,% Modgil:2012:TAF,% Schwenker:2012:PSL% }. \NAMECITE{FlashDB}{% Yu:2012:DSA% }. \NAMECITE{FLOPS}{% Schrijvers:2012:FLP% }. \NAMECITE{FM}{% Carbone:2012:WSF% }. \NAMECITE{FMCO}{% Aichernig:2012:FMC% }. \NAMECITE{FoIKS}{% Lukasiewicz:2012:FIK% }. \NAMECITE{Fontainebleau}{% Gheorghe:2012:MCI% }. \NAMECITE{Formal}{% Carbone:2012:WSF,% Gavrilova:2012:TCS,% Goodloe:2012:NFM,% Modgil:2012:TAF,% Aichernig:2012:FMC,% Barbosa:2012:FAC% }. \NAMECITE{Forum}{% Ober:2012:SIS% }. \NAMECITE{FOSSACS}{% Birkedal:2012:FSS% }. \NAMECITE{Foundation}{% Regnell:2012:REF% }. \NAMECITE{Foundations}{% Dusterhoft:2012:CMT,% Birkedal:2012:FSS,% Garcia-Alfaro:2012:FPS,% Lukasiewicz:2012:FIK% }. \NAMECITE{FPS}{% Garcia-Alfaro:2012:FPS% }. \NAMECITE{France}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Beldiceanu:2012:IAT,% Boissonnat:2012:CSI,% Carbone:2012:WSF,% Garcia-Alfaro:2012:FPS,% Gheorghe:2012:MCI,% Lacroix:2012:RDT,% Ober:2012:SIS,% Varbanescu:2012:CAI% }. \NAMECITE{Francisco}{% Dunkelman:2012:TCC,% Khurshid:2012:RVS% }. \NAMECITE{Frontiers}{% Cao:2012:NFA,% Snoeyink:2012:FAA% }. \NAMECITE{FSEN}{% Arbab:2012:FSE% }. \NAMECITE{{Functional}}{% Schrijvers:2012:FLP% }. \NAMECITE{{Fundamental}}{% deLara:2012:FAS% }. \NAMECITE{{Fundamentals}}{% Arbab:2012:FSE% }. \NAMECITE{Future}{% Alvarez:2012:FIF% }. \NAMECITE{{Games}}{% vanEijck:2012:GAS% }. \NAMECITE{GD}{% vanKreveld:2012:GDI% }. \NAMECITE{GECON}{% Vanmechelen:2012:EGC% }. \NAMECITE{Gedi}{% Bruckstein:2012:SSV% }. \NAMECITE{{Genetic}}{% Moraglio:2012:GPE% }. \NAMECITE{Gent}{% Vos:2012:RCT% }. \NAMECITE{Geographical}{% Martino:2012:WWG% }. \NAMECITE{Germany}{% Erlebach:2012:ASS,% Fischlin:2012:PKC,% Herkersdorf:2012:ACS,% Lukasiewicz:2012:FIK,% Marx:2012:PEC,% Modersheim:2012:TSA,% Mossakowski:2012:RTA,% Regnell:2012:REF,% Schindler:2012:CSC,% Schmitt:2012:MME,% Schwenker:2012:PSL,% Solis-Oba:2012:AOA% }. \NAMECITE{GI}{% Schmitt:2012:MME% }. \NAMECITE{GI/ITG}{% Schmitt:2012:MME% }. \NAMECITE{Girona}{% Ardissono:2012:AUM% }. \NAMECITE{GPC}{% Li:2012:AGP,% Rautiainen:2012:GPC% }. \NAMECITE{Gran}{% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{{Graph}}{% vanKreveld:2012:GDI% }. \NAMECITE{Graz}{% Aichernig:2012:FMC% }. \NAMECITE{Greece}{% Garcia-Castro:2012:SWE,% Koucheryavy:2012:WWI,% Sanner:2012:RAR% }. \NAMECITE{Grid}{% Bubak:2012:BND,% Li:2012:AGP,% Rautiainen:2012:GPC% }. \NAMECITE{Grids}{% Vanmechelen:2012:EGC% }. \NAMECITE{Gros}{% Danezis:2012:FCDb% }. \NAMECITE{Guimar{\~a}es}{% Barbosa:2012:FAC% }. \NAMECITE{Gwangju}{% Ho:2012:AIVa,% Ho:2012:AIVb% }. \NAMECITE{Hagenberg}{% Horimoto:2012:ANB% }. \NAMECITE{HAIS}{% Corchado:2012:HAIa,% Corchado:2012:HAIb% }. \NAMECITE{Hangzhou}{% Ryan:2012:ISP% }. \NAMECITE{Health}{% Riano:2012:KRH,% He:2012:HIS% }. \NAMECITE{Health-Care}{% Riano:2012:KRH% }. \NAMECITE{Heart}{% Camara:2012:SAC% }. \NAMECITE{Held}{% Becvar:2012:NWI,% Birkedal:2012:FSS,% Camara:2012:SAC,% Degano:2012:PST,% Flanagan:2012:TAC,% Harth:2012:CTW,% OBoyle:2012:CCI,% Rautiainen:2012:GPC,% Rutkowski:2012:SEC,% Seidl:2012:PLS,% Vrancx:2012:ALA,% Yoshida:2012:AIC,% deLara:2012:FAS% }. \NAMECITE{Heraklion}{% Garcia-Castro:2012:SWE% }. \NAMECITE{HeteroPar}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{HetsNets}{% Becvar:2012:NWI% }. \NAMECITE{HiBB}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{Hiding}{% Shi:2012:TDH% }. \NAMECITE{{HIGHT}}{% Chen:2012:IDC% }. \NAMECITE{Hoc}{% Erlebach:2012:ASS% }. \NAMECITE{Hong}{% Bononi:2012:DCN,% Choy:2012:RCA,% Li:2012:AGP% }. \NAMECITE{Honor}{% Artikis:2012:LPN% }. \NAMECITE{HPCVirt}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{HPPC}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{HPSS}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{HWTS}{% Rautiainen:2012:GPC% }. \NAMECITE{{Hybrid}}{% Corchado:2012:HAIa,% Corchado:2012:HAIb% }. \NAMECITE{IAPR}{% Schwenker:2012:PSL% }. \NAMECITE{ICA}{% Theis:2012:LVA% }. \NAMECITE{ICAISC}{% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC% }. \NAMECITE{ICDCIT}{% Ramanujam:2012:DCI% }. \NAMECITE{ICDCN}{% Bononi:2012:DCN% }. \NAMECITE{ICDEM}{% Kannan:2012:DEM% }. \NAMECITE{Iceland}{% Jonasson:2012:APSa,% Jonasson:2012:APSb% }. \NAMECITE{ICIC}{% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC% }. \NAMECITE{ICWE}{% Harth:2012:CTW% }. \NAMECITE{IDP}{% Wang:2012:WTA% }. \NAMECITE{IEKB}{% Wang:2012:WTA% }. \NAMECITE{IFIP}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Camenisch:2012:OPN,% Kuipers:2012:SOS,% Szmuc:2012:ASE% }. \NAMECITE{II}{% Keller:2012:FMC,% Alexander:2012:EPPa,% Bestak:2012:NIIa,% Corchado:2012:HAIa,% Gelbukh:2012:CLIb,% Ho:2012:AIVa,% Jonasson:2012:APSb,% Lee:2012:DSAa,% Moreno-Diaz:2012:CASb,% Pan:2012:IIDc,% Rutkowski:2012:AISb,% Tan:2012:AKDb% }. \NAMECITE{{III}}{% Pan:2012:IIDa% }. \NAMECITE{Image}{% Ho:2012:AIVa,% Ho:2012:AIVb% }. \NAMECITE{Imaging}{% Camara:2012:SAC,% Yoshida:2012:AIC% }. \NAMECITE{Impossible}{% Chen:2012:IDC% }. \NAMECITE{India}{% Desai:2012:PPM,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Kannan:2012:DEM,% Kundu:2012:PMI,% Ramanujam:2012:DCI,% Thilagam:2012:ACN% }. \NAMECITE{Indo}{% Kundu:2012:PMI% }. \NAMECITE{Indo-Japan}{% Kundu:2012:PMI% }. \NAMECITE{iNetSec}{% Camenisch:2012:OPN% }. \NAMECITE{Informatics}{% Clarke:2012:PSI,% Fernandez-Baca:2012:LTI% }. \NAMECITE{Information}{% Baeza-Yates:2012:AIR,% Bouvry:2012:SII,% He:2012:HIS,% Lopez:2012:CIP,% Lukasiewicz:2012:FIK,% Martino:2012:WWG,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Peffers:2012:DSR,% Snoeyink:2012:FAA,% Wang:2012:WAI,% Aura:2012:IST,% Jung:2012:ISA,% Laud:2012:IST,% Lones:2012:IPC,% Ryan:2012:ISP% }. \NAMECITE{Infrastructure}{% Bubak:2012:BND,% Lopez:2012:CIP% }. \NAMECITE{Infrastructures}{% Petkova-Nikova:2012:PKI% }. \NAMECITE{Inspired}{% Gavrilova:2012:TCS,% Machado:2012:EBI,% Huang:2012:BIC% }. \NAMECITE{Integrating}{% Ober:2012:SIS% }. \NAMECITE{{Integration}}{% Beldiceanu:2012:IAT% }. \NAMECITE{Intelligence}{% Bjorner:2012:LPA,% Huang:2012:AICb,% Kundu:2012:PMI,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb% }. \NAMECITE{Intelligent}{% Bouvry:2012:SII,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc% }. \NAMECITE{Interaction}{% Cao:2012:ADM% }. \NAMECITE{Interation}{% Cao:2012:ADM% }. \NAMECITE{International}{% Adam:2012:MMC,% Aichernig:2012:FMC,% Arbab:2012:FSE,% Barbosa:2012:FAC,% Barthe:2012:ESS,% Becvar:2012:NWI,% Beldiceanu:2012:IAT,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Birkedal:2012:FSS,% Bjorner:2012:LPA,% Bleris:2012:BRA,% Boissonnat:2012:CSI,% Bononi:2012:DCN,% Bouvry:2012:SII,% Bruckstein:2012:SSV,% Camara:2012:SAC,% Camenisch:2012:OPN,% Cao:2012:ADM,% Cao:2012:NFA,% Carbone:2012:WSF,% Caseli:2012:CPP,% Chor:2012:RCM,% Choy:2012:RCA,% Clarke:2012:PSI,% Collier:2012:PMA,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Danezis:2012:FCDb,% Dediu:2012:LAT,% Degano:2012:PST,% Desai:2012:PPM,% Dinneen:2012:CPB,% Erlebach:2012:ASS,% Fischlin:2012:PKC,% Flanagan:2012:TAC,% Garcia-Alfaro:2012:DPM,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Gheorghe:2012:MCI,% Goodloe:2012:NFM,% He:2012:HIS,% Herkersdorf:2012:ACS,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Iwamura:2012:CBD,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Joshi:2012:VST,% Juels:2012:RSP,% Jung:2012:ISA,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Kotasek:2012:MEM,% Koucheryavy:2012:WWI,% Kuipers:2012:SOS,% Kuncak:2012:VMC,% Lacroix:2012:RDT,% Lee:2012:DSAa,% Lee:2012:DSAb,% Li:2012:AGP,% Lones:2012:IPC,% Lukasiewicz:2012:FIK,% Machado:2012:EBI,% Martino:2012:WWG,% Marx:2012:PEC,% Meadows:2012:STM,% Meyer:2012:ESE,% Miri:2012:SAC,% Modgil:2012:TAF,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Mossakowski:2012:RTA,% Muller:2012:MCB,% OBoyle:2012:CCI,% Ober:2012:SIS,% Peffers:2012:DSR,% Pescape:2012:TMA,% Pointcheval:2012:ACE,% Rahman:2012:WAC,% Ramanujam:2012:DCI,% Rautiainen:2012:GPC,% Regnell:2012:REF,% Russo:2012:PAD,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC,% Ryan:2012:ISP,% Sakama:2012:DAL,% Schindler:2012:CSC,% Schmitt:2012:MME,% Schoeffmann:2012:AMM,% Schrijvers:2012:FLP,% Sloane:2012:SLE% }. \NAMECITE{International}{% Snoeyink:2012:FAA,% Solis-Oba:2012:AOA,% Taft:2012:PAM,% Theis:2012:LVA,% Thilagam:2012:ACN,% Vanmechelen:2012:EGC,% Varbanescu:2012:CAI,% Villatoro:2012:MAB,% Vinel:2012:CTV,% Vos:2012:RCT,% Vrancx:2012:ALA,% Wang:2012:WAI,% Wang:2012:WTA,% Yang:2012:SCB,% Yoshida:2012:AIC,% Yu:2012:DSA,% deLara:2012:FAS,% vanKreveld:2012:GDI% }. \NAMECITE{Internet}{% Alvarez:2012:FIF,% Koucheryavy:2012:WWI,% Ramanujam:2012:DCI% }. \NAMECITE{Interpretation}{% Kuncak:2012:VMC% }. \NAMECITE{Invited}{% Dinneen:2012:CPB,% Sakama:2012:DAL% }. \NAMECITE{IPCAT}{% Lones:2012:IPC% }. \NAMECITE{IPEC}{% Marx:2012:PEC% }. \NAMECITE{IPM}{% Arbab:2012:FSE% }. \NAMECITE{IR}{% Baeza-Yates:2012:AIR% }. \NAMECITE{Iran}{% Arbab:2012:FSE% }. \NAMECITE{ISBRA}{% Bleris:2012:BRA% }. \NAMECITE{ISCA}{% Varbanescu:2012:CAI% }. \NAMECITE{Island}{% Jung:2012:ISA,% Meyer:2012:ESE% }. \NAMECITE{Islet}{% Danezis:2012:FCDb% }. \NAMECITE{ISO605}{% Hadjiantonis:2012:TES% }. \NAMECITE{ISPEC}{% Ryan:2012:ISP% }. \NAMECITE{Israel}{% Bruckstein:2012:SSV,% Theis:2012:LVA% }. \NAMECITE{Issue}{% Gavrilova:2012:TCS% }. \NAMECITE{Italy}{% Cramer:2012:TCT,% Martino:2012:WWG,% Meyer:2012:ESE,% Picco:2012:WSN% }. \NAMECITE{ITEMS}{% Yu:2012:DSA% }. \NAMECITE{ITG}{% Schmitt:2012:MME% }. \NAMECITE{ITMAS}{% Dechesne:2012:AAT% }. \NAMECITE{IWSOS}{% Kuipers:2012:SOS% }. \NAMECITE{IX}{% Sakama:2012:DAL% }. \NAMECITE{J}{% Artikis:2012:LPN% }. \NAMECITE{Jacques}{% Naccache:2012:CST% }. \NAMECITE{January}{% Bielikova:2012:STP,% Bononi:2012:DCN,% Joshi:2012:VST,% Kuncak:2012:VMC,% Kundu:2012:PMI,% Russo:2012:PAD,% Schoeffmann:2012:AMM% }. \NAMECITE{Japan}{% Kundu:2012:PMI,% Schrijvers:2012:FLP% }. \NAMECITE{JBI}{% Freitas:2012:BPM% }. \NAMECITE{Jean}{% Naccache:2012:CST% }. \NAMECITE{Jean-Jacques}{% Naccache:2012:CST% }. \NAMECITE{Jeju}{% Jung:2012:ISA% }. \NAMECITE{Joint}{% Birkedal:2012:FSS,% Bouvry:2012:SII,% Degano:2012:PST,% Flanagan:2012:TAC,% Modersheim:2012:TSA,% OBoyle:2012:CCI,% Seidl:2012:PLS,% Snoeyink:2012:FAA,% deLara:2012:FAS% }. \NAMECITE{July}{% Adam:2012:MMC,% Ardissono:2012:AUM,% Clarke:2012:PSI,% Horimoto:2012:ANB,% Kannan:2012:DEM,% MacKinnon:2012:DSS,% Modgil:2012:TAF,% Mossakowski:2012:RTA,% Ober:2012:SIS,% Riano:2012:KRH,% Sloane:2012:SLE,% Vos:2012:RCT% }. \NAMECITE{June}{% Boissonnat:2012:CSI,% Bouvry:2012:SII,% Bruckstein:2012:SSV,% Camenisch:2012:OPN,% Clarke:2012:PSI,% Harth:2012:CTW,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Juels:2012:RSP,% Koucheryavy:2012:WWI,% MacKinnon:2012:DSS,% Meadows:2012:STM,% Tan:2012:AKDa,% Tan:2012:AKDb,% Varbanescu:2012:CAI% }. \NAMECITE{June1}{% Beldiceanu:2012:IAT% }. \NAMECITE{Kaiserslautern}{% Schmitt:2012:MME% }. \NAMECITE{Kaohsiung}{% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc% }. \NAMECITE{Key}{% Fischlin:2012:PKC,% Petkova-Nikova:2012:PKI% }. \NAMECITE{Kiel}{% Lukasiewicz:2012:FIK% }. \NAMECITE{Klagenfurt}{% Schoeffmann:2012:AMM% }. \NAMECITE{Knowledge}{% Hameurlain:2012:TLS,% Lukasiewicz:2012:FIK,% Tan:2012:AKDa,% Tan:2012:AKDb,% Riano:2012:KRH% }. \NAMECITE{Knowledge-Centered}{% Hameurlain:2012:TLS% }. \NAMECITE{Kobe}{% Schrijvers:2012:FLP% }. \NAMECITE{Kolkata}{% Desai:2012:PPM,% Kundu:2012:PMI% }. \NAMECITE{Kong}{% Bononi:2012:DCN,% Choy:2012:RCA,% Li:2012:AGP% }. \NAMECITE{Korea}{% Ho:2012:AIVa,% Ho:2012:AIVb,% Jung:2012:ISA,% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{Kozen}{% Constable:2012:LPS% }. \NAMECITE{KR4HC}{% Riano:2012:KRH% }. \NAMECITE{Krakow}{% Szmuc:2012:ASE% }. \NAMECITE{Kuala}{% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Kunming}{% Sheng:2012:WTA,% Wang:2012:WTA% }. \NAMECITE{Language}{% Caseli:2012:CPP,% Sloane:2012:SLE,% Dediu:2012:LAT% }. \NAMECITE{Languages}{% Russo:2012:PAD,% Sakama:2012:DAL,% Seidl:2012:PLS% }. \NAMECITE{Large}{% Hameurlain:2012:TLS% }. \NAMECITE{Large-Scale}{% Hameurlain:2012:TLS% }. \NAMECITE{LASER}{% Meyer:2012:ESE% }. \NAMECITE{LATA}{% Dediu:2012:LAT% }. \NAMECITE{{Latent}}{% Theis:2012:LVA% }. \NAMECITE{{LATIN}}{% Fernandez-Baca:2012:LTI% }. \NAMECITE{Learning}{% Giacobini:2012:ECM,% Sanner:2012:RAR,% Schwenker:2012:PSL,% Vrancx:2012:ALA% }. \NAMECITE{{Lectures}}{% Meyer:2012:ESE% }. \NAMECITE{Lednice}{% Kotasek:2012:MEM% }. \NAMECITE{Lesn{\'a}}{% Adam:2012:MMC% }. \NAMECITE{Leuven}{% Garcia-Alfaro:2012:DPM,% Petkova-Nikova:2012:PKI% }. \NAMECITE{Lightweight}{% Chen:2012:IDC% }. \NAMECITE{Linear}{% Bogdanov:2012:ZCL% }. \NAMECITE{Linguistics}{% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb% }. \NAMECITE{Lithuania}{% Vinel:2012:CTV% }. \NAMECITE{Logic}{% Schrijvers:2012:FLP,% Artikis:2012:LPN,% Bjorner:2012:LPA,% Constable:2012:LPS% }. \NAMECITE{LPAR}{% Bjorner:2012:LPA% }. \NAMECITE{LPAR-18}{% Bjorner:2012:LPA% }. \NAMECITE{Lucerne}{% Camenisch:2012:OPN% }. \NAMECITE{Lucia}{% Danezis:2012:FCDa,% Danezis:2012:FCDb% }. \NAMECITE{Lumpur}{% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{LVA}{% Theis:2012:LVA% }. \NAMECITE{LVA/ICA}{% Theis:2012:LVA% }. \NAMECITE{MABS}{% Villatoro:2012:MAB% }. \NAMECITE{Machine}{% Giacobini:2012:ECM,% Kundu:2012:PMI% }. \NAMECITE{M{\'a}laga}{% Giacobini:2012:ECM,% Hao:2012:ECC,% Machado:2012:EBI,% Moraglio:2012:GPE,% Chio:2012:AEC% }. \NAMECITE{Malaysia}{% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Malo}{% Varbanescu:2012:CAI% }. \NAMECITE{Management}{% Garcia-Alfaro:2012:DPM,% Kannan:2012:DEM,% Meadows:2012:STM,% Snoeyink:2012:FAA,% Wang:2012:WAI% }. \NAMECITE{March}{% Birkedal:2012:FSS,% Bjorner:2012:LPA,% Choy:2012:RCA,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Cramer:2012:TCT,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Dediu:2012:LAT,% Degano:2012:PST,% Dunkelman:2012:TCC,% Flanagan:2012:TAC,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Herkersdorf:2012:ACS,% Kuipers:2012:SOS,% Lones:2012:IPC,% Lukasiewicz:2012:FIK,% Modersheim:2012:TSA,% OBoyle:2012:CCI,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Pescape:2012:TMA,% Regnell:2012:REF,% Schmitt:2012:MME,% Seidl:2012:PLS,% Taft:2012:PAM,% Theis:2012:LVA,% deLara:2012:FAS% }. \NAMECITE{Marek}{% Artikis:2012:LPN% }. \NAMECITE{{Mathematical}}{% Adam:2012:MMC,% Kotasek:2012:MEM% }. \NAMECITE{May}{% Agrawal:2012:TAM,% Becvar:2012:NWI,% Beldiceanu:2012:IAT,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Bleris:2012:BRA,% Bruckstein:2012:SSV,% Cao:2012:ADM,% Cao:2012:NFA,% Collier:2012:PMA,% Dechesne:2012:AAT,% Fischlin:2012:PKC,% Garcia-Alfaro:2012:FPS,% Garcia-Castro:2012:SWE,% Li:2012:AGP,% Peffers:2012:DSR,% Rautiainen:2012:GPC,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC,% Sakama:2012:DAL,% Schindler:2012:CSC,% Schrijvers:2012:FLP,% Snoeyink:2012:FAA,% Tan:2012:AKDa,% Tan:2012:AKDb,% Villatoro:2012:MAB,% Vrancx:2012:ALA% }. \NAMECITE{MBC}{% Wang:2012:WTA% }. \NAMECITE{MCBR}{% Muller:2012:MCB% }. \NAMECITE{MCBR-CDS}{% Muller:2012:MCB% }. \NAMECITE{MD}{% Yang:2012:SCB% }. \NAMECITE{MDGS}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{Measurement}{% Taft:2012:PAM,% Schmitt:2012:MME% }. \NAMECITE{{Medical}}{% Muller:2012:MCB% }. \NAMECITE{Medicine}{% Freitas:2012:BPM% }. \NAMECITE{{Membrane}}{% Gheorghe:2012:MCI% }. \NAMECITE{MEMICS}{% Kotasek:2012:MEM% }. \NAMECITE{Memorial}{% Clarke:2012:PSI% }. \NAMECITE{M{\'e}rida}{% Bjorner:2012:LPA% }. \NAMECITE{Methods}{% Aichernig:2012:FMC,% Bruckstein:2012:SSV,% Carbone:2012:WSF,% Gavrilova:2012:TCS,% Goodloe:2012:NFM,% Kotasek:2012:MEM% }. \NAMECITE{MICCAI}{% Camara:2012:SAC,% Muller:2012:MCB,% Yoshida:2012:AIC% }. \NAMECITE{Mining}{% Cao:2012:ADM,% Cao:2012:NFA,% Giacobini:2012:ECM,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{MITACS}{% Garcia-Alfaro:2012:FPS% }. \NAMECITE{Ml{\'y}n}{% Bielikova:2012:STP% }. \NAMECITE{MMB}{% Schmitt:2012:MME% }. \NAMECITE{MMCP}{% Adam:2012:MMC% }. \NAMECITE{MMM}{% Schoeffmann:2012:AMM% }. \NAMECITE{Mobile}{% Erlebach:2012:ASS% }. \NAMECITE{Model}{% Kuncak:2012:VMC% }. \NAMECITE{Modeling}{% Adam:2012:MMC,% Ardissono:2012:AUM,% Ober:2012:SIS,% Schoeffmann:2012:AMM,% Yang:2012:SCB% }. \NAMECITE{Modelling}{% Camara:2012:SAC,% Dusterhoft:2012:CMT,% Schmitt:2012:MME% }. \NAMECITE{MODELS}{% Kienzle:2012:MSE,% Agrawal:2012:TAM,% Camara:2012:SAC,% Jensen:2012:TPN,% Lopez:2012:CIP,% Kienzle:2012:MSE% }. \NAMECITE{Molecular}{% Chor:2012:RCM% }. \NAMECITE{Monitoring}{% Pescape:2012:TMA% }. \NAMECITE{Multi}{% Collier:2012:PMA,% Desai:2012:PPM,% Villatoro:2012:MAB% }. \NAMECITE{Multi-Agent}{% Collier:2012:PMA,% Desai:2012:PPM% }. \NAMECITE{{Multi-Agent-Based}}{% Villatoro:2012:MAB% }. \NAMECITE{Multicore}{% Keller:2012:FMC% }. \NAMECITE{Multidisciplinary}{% vanEijck:2012:GAS% }. \NAMECITE{Multimedia}{% Schoeffmann:2012:AMM,% Shi:2012:TDH% }. \NAMECITE{Munich}{% Herkersdorf:2012:ACS% }. \NAMECITE{Music}{% Machado:2012:EBI% }. \NAMECITE{Nantes}{% Beldiceanu:2012:IAT% }. \NAMECITE{Naples}{% Martino:2012:WWG% }. \NAMECITE{{NASA}}{% Goodloe:2012:NFM% }. \NAMECITE{National}{% Bubak:2012:BND,% MacKinnon:2012:DSS% }. \NAMECITE{Nature}{% Gavrilova:2012:TCS% }. \NAMECITE{Nature-Inspired}{% Gavrilova:2012:TCS% }. \NAMECITE{Netherlands}{% Barthe:2012:ESS,% Kuipers:2012:SOS,% vanKreveld:2012:GDI% }. \NAMECITE{Nets}{% Jensen:2012:TPN% }. \NAMECITE{Nets4Cars}{% Vinel:2012:CTV% }. \NAMECITE{Nets4Cars/Nets4Trains}{% Vinel:2012:CTV% }. \NAMECITE{Nets4Trains}{% Vinel:2012:CTV% }. \NAMECITE{Network}{% Camenisch:2012:OPN% }. \NAMECITE{NETWORKING}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Bononi:2012:DCN,% Thilagam:2012:ACN,% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb% }. \NAMECITE{Networks}{% Erlebach:2012:ASS,% Picco:2012:WSN% }. \NAMECITE{NFM}{% Goodloe:2012:NFM% }. \NAMECITE{Nordic}{% Aura:2012:IST,% Laud:2012:IST% }. \NAMECITE{NordSec}{% Aura:2012:IST,% Laud:2012:IST% }. \NAMECITE{Norfolk}{% Goodloe:2012:NFM% }. \NAMECITE{Norms}{% Artikis:2012:LPN% }. \NAMECITE{November}{% Aichernig:2012:FMC,% Desai:2012:PPM,% Ho:2012:AIVa,% Ho:2012:AIVb,% Lacroix:2012:RDT% }. \NAMECITE{Novosibirsk}{% Clarke:2012:PSI% }. \NAMECITE{Numeric}{% Horimoto:2012:ANB% }. \NAMECITE{NV}{% Peffers:2012:DSR% }. \NAMECITE{Objects}{% Aichernig:2012:FMC% }. \NAMECITE{Occasion}{% Artikis:2012:LPN,% Constable:2012:LPS,% Dinneen:2012:CPB,% Dusterhoft:2012:CMT,% Naccache:2012:CST% }. \NAMECITE{October}{% Aura:2012:IST,% Barbosa:2012:FAC,% Freitas:2012:BPM,% Kienzle:2012:MSE,% Kotasek:2012:MEM,% Laud:2012:IST,% Szmuc:2012:ASE% }. \NAMECITE{Online}{% Solis-Oba:2012:AOA% }. \NAMECITE{{Open}}{% Camenisch:2012:OPN% }. \NAMECITE{Optimization}{% Beldiceanu:2012:IAT,% Hao:2012:ECC% }. \NAMECITE{{Organizing}}{% Kuipers:2012:SOS% }. \NAMECITE{Other}{% Jensen:2012:TPN% }. \NAMECITE{Oulu}{% Rautiainen:2012:GPC% }. \NAMECITE{PA}{% Joshi:2012:VST,% Kuncak:2012:VMC,% Russo:2012:PAD% }. \NAMECITE{Pacific}{% Ho:2012:AIVa,% Ho:2012:AIVb,% Sheng:2012:WTA,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Pacific-Asia}{% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{PADL}{% Russo:2012:PAD% }. \NAMECITE{PAKDD}{% Cao:2012:NFA,% Tan:2012:AKDa,% Tan:2012:AKDb% }. \NAMECITE{Palmas}{% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{PAM}{% Taft:2012:PAM% }. \NAMECITE{Papers}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Adam:2012:MMC,% Aichernig:2012:FMC,% Arbab:2012:FSE,% Ardissono:2012:AUM,% Aura:2012:IST,% Barbosa:2012:FAC,% Boissonnat:2012:CSI,% Bouvry:2012:SII,% Bruckstein:2012:SSV,% Camara:2012:SAC,% Camenisch:2012:OPN,% Cao:2012:ADM,% Cao:2012:NFA,% Carbone:2012:WSF,% Clarke:2012:PSI,% Collier:2012:PMA,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Dechesne:2012:AAT,% Desai:2012:PPM,% Dinneen:2012:CPB,% Erlebach:2012:ASS,% Freitas:2012:BPM,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Garcia-Castro:2012:SWE,% Gheorghe:2012:MCI,% Harth:2012:CTW,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Iwamura:2012:CBD,% Juels:2012:RSP,% Jung:2012:ISA,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Kienzle:2012:MSE,% Kotasek:2012:MEM,% Lacroix:2012:RDT,% Laud:2012:IST,% MacKinnon:2012:DSS,% Marx:2012:PEC,% Meadows:2012:STM,% Miri:2012:SAC,% Modersheim:2012:TSA,% Modgil:2012:TAF,% Mossakowski:2012:RTA,% Muller:2012:MCB,% Ober:2012:SIS,% Petkova-Nikova:2012:PKI,% Rautiainen:2012:GPC,% Riano:2012:KRH,% Sakama:2012:DAL,% Sanner:2012:RAR,% Schwenker:2012:PSL,% Sloane:2012:SLE,% Solis-Oba:2012:AOA,% Szmuc:2012:ASE,% Thilagam:2012:ACN,% Vanmechelen:2012:EGC,% Varbanescu:2012:CAI,% Villatoro:2012:MAB,% Vos:2012:RCT,% Vrancx:2012:ALA,% Wang:2012:WAI,% Yoshida:2012:AIC,% vanKreveld:2012:GDI% }. \NAMECITE{Paphos}{% Harth:2012:CTW,% Vanmechelen:2012:EGC% }. \NAMECITE{PARA}{% Jonasson:2012:APSa,% Jonasson:2012:APSb% }. \NAMECITE{Paradigms}{% Keller:2012:FMC% }. \NAMECITE{Parallel}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Keller:2012:FMC% }. \NAMECITE{{Parameterized}}{% Marx:2012:PEC% }. \NAMECITE{Paris}{% Garcia-Alfaro:2012:FPS,% Lacroix:2012:RDT% }. \NAMECITE{Park}{% Yang:2012:SCB% }. \NAMECITE{Part}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Birkedal:2012:FSS,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Degano:2012:PST,% Flanagan:2012:TAC,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Ho:2012:AIVa,% Ho:2012:AIVb,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Lee:2012:DSAa,% Lee:2012:DSAb,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% OBoyle:2012:CCI,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Seidl:2012:PLS,% Tan:2012:AKDa,% Tan:2012:AKDb,% deLara:2012:FAS% }. \NAMECITE{{Partially}}{% Schwenker:2012:PSL% }. \NAMECITE{{Passive}}{% Taft:2012:PAM% }. \NAMECITE{{Perception}}{% Kundu:2012:PMI% }. \NAMECITE{PerMIn}{% Kundu:2012:PMI% }. \NAMECITE{Personalized}{% Freitas:2012:BPM% }. \NAMECITE{{Perspectives}}{% Clarke:2012:PSI% }. \NAMECITE{Peru}{% Fernandez-Baca:2012:LTI% }. \NAMECITE{Pervasive}{% Li:2012:AGP,% Rautiainen:2012:GPC% }. \NAMECITE{{Petri}}{% Jensen:2012:TPN% }. \NAMECITE{Philadelphia}{% Joshi:2012:VST,% Kuncak:2012:VMC,% Russo:2012:PAD% }. \NAMECITE{Physics}{% Dinneen:2012:CPB% }. \NAMECITE{PKC}{% Fischlin:2012:PKC% }. \NAMECITE{PL}{% Bubak:2012:BND% }. \NAMECITE{Poland}{% Bouvry:2012:SII,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC,% Szmuc:2012:ASE% }. \NAMECITE{Portugal}{% Barbosa:2012:FAC,% Caseli:2012:CPP,% Sloane:2012:SLE% }. \NAMECITE{Portuguese}{% Caseli:2012:CPP% }. \NAMECITE{POST}{% Degano:2012:PST% }. \NAMECITE{{Practical}}{% Russo:2012:PAD% }. \NAMECITE{Practice}{% Bielikova:2012:STP,% Birkedal:2012:FSS,% Degano:2012:PST,% Desai:2012:PPM,% Fischlin:2012:PKC,% Flanagan:2012:TAC,% Garcia-Alfaro:2012:FPS,% OBoyle:2012:CCI,% Peffers:2012:DSR,% Ryan:2012:ISP,% Seidl:2012:PLS,% deLara:2012:FAS% }. \NAMECITE{Prague}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb% }. \NAMECITE{Prediction}{% Yang:2012:SCB% }. \NAMECITE{PRIMA}{% Desai:2012:PPM% }. \NAMECITE{{Principles}}{% Degano:2012:PST,% Desai:2012:PPM% }. \NAMECITE{Privacy}{% Garcia-Alfaro:2012:DPM,% Juels:2012:RSP% }. \NAMECITE{Problems}{% Beldiceanu:2012:IAT,% Camenisch:2012:OPN% }. \NAMECITE{Proceedings}{% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Ho:2012:AIVa,% Ho:2012:AIVb,% Lee:2012:DSAa,% Lee:2012:DSAb,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Tan:2012:AKDa,% Tan:2012:AKDb,% Agrawal:2012:TAM,% Baeza-Yates:2012:AIR,% Barthe:2012:ESS,% Becvar:2012:NWI,% Beldiceanu:2012:IAT,% Bielikova:2012:STP,% Birkedal:2012:FSS,% Bjorner:2012:LPA,% Bleris:2012:BRA,% Bononi:2012:DCN,% Caseli:2012:CPP,% Chio:2012:AEC,% Chor:2012:RCM,% Choy:2012:RCA,% Cramer:2012:TCT,% Dediu:2012:LAT,% Degano:2012:PST,% Dunkelman:2012:TCC,% Fernandez-Baca:2012:LTI,% Fischlin:2012:PKC,% Flanagan:2012:TAC,% Giacobini:2012:ECM,% Goodloe:2012:NFM,% Hao:2012:ECC,% He:2012:HIS,% Herkersdorf:2012:ACS,% Joshi:2012:VST,% Koucheryavy:2012:WWI,% Kuipers:2012:SOS,% Kuncak:2012:VMC,% Kundu:2012:PMI,% Li:2012:AGP,% Lones:2012:IPC,% Lukasiewicz:2012:FIK,% Machado:2012:EBI,% Martino:2012:WWG,% Moraglio:2012:GPE,% OBoyle:2012:CCI,% Peffers:2012:DSR,% Pescape:2012:TMA,% Picco:2012:WSN,% Pointcheval:2012:ACE,% Rahman:2012:WAC,% Ramanujam:2012:DCI,% Regnell:2012:REF,% Russo:2012:PAD,% Rutkowski:2012:SEC,% Ryan:2012:ISP,% Schindler:2012:CSC,% Schmitt:2012:MME,% Schoeffmann:2012:AMM,% Schrijvers:2012:FLP,% Seidl:2012:PLS,% Sheng:2012:WTA,% Snoeyink:2012:FAA,% Taft:2012:PAM,% Theis:2012:LVA,% Vinel:2012:CTV,% Wang:2012:WTA,% Yang:2012:SCB,% Yu:2012:DSA,% deLara:2012:FAS% }. \NAMECITE{Processing}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Caseli:2012:CPP,% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb,% Lones:2012:IPC% }. \NAMECITE{Program}{% Constable:2012:LPS% }. \NAMECITE{Programming}{% Beldiceanu:2012:IAT,% Bjorner:2012:LPA,% Moraglio:2012:GPE,% Schrijvers:2012:FLP,% Seidl:2012:PLS,% Collier:2012:PMA,% Seidl:2012:PLS% }. \NAMECITE{Programs}{% Artikis:2012:LPN% }. \NAMECITE{ProMAS}{% Collier:2012:PMA% }. \NAMECITE{Promises}{% Alvarez:2012:FIF% }. \NAMECITE{ProPer}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{PROPOR}{% Caseli:2012:CPP% }. \NAMECITE{Protection}{% Lopez:2012:CIP% }. \NAMECITE{PSI}{% Clarke:2012:PSI% }. \NAMECITE{PSIVT}{% Ho:2012:AIVa,% Ho:2012:AIVb% }. \NAMECITE{PSL}{% Schwenker:2012:PSL% }. \NAMECITE{Public}{% Fischlin:2012:PKC,% Fischlin:2012:PKC,% Petkova-Nikova:2012:PKI% }. \NAMECITE{Quality}{% Regnell:2012:REF% }. \NAMECITE{Quisquater}{% Naccache:2012:CST% }. \NAMECITE{RC}{% Vos:2012:RCT% }. \NAMECITE{{Reality}}{% Alvarez:2012:FIF% }. \NAMECITE{Reasoning}{% Bjorner:2012:LPA% }. \NAMECITE{Recognition}{% Iwamura:2012:CBD% }. \NAMECITE{RECOMB}{% Chor:2012:RCM% }. \NAMECITE{{Reconfigurable}}{% Choy:2012:RCA% }. \NAMECITE{RED}{% Lacroix:2012:RDT% }. \NAMECITE{Reduced}{% Bogdanov:2012:ZCL% }. \NAMECITE{REFSQ}{% Regnell:2012:REF% }. \NAMECITE{Reinforcement}{% Sanner:2012:RAR% }. \NAMECITE{Reports}{% Kienzle:2012:MSE% }. \NAMECITE{Representation}{% Riano:2012:KRH% }. \NAMECITE{Republic}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Bielikova:2012:STP,% Kotasek:2012:MEM% }. \NAMECITE{{Requirements}}{% Regnell:2012:REF% }. \NAMECITE{Research}{% Baeza-Yates:2012:AIR,% Bleris:2012:BRA,% Peffers:2012:DSR,% Chor:2012:RCM% }. \NAMECITE{Resilience}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{{Resource}}{% Lacroix:2012:RDT% }. \NAMECITE{Results}{% Hadjiantonis:2012:TES% }. \NAMECITE{Retrieval}{% Baeza-Yates:2012:AIR,% Muller:2012:MCB% }. \NAMECITE{{Reversible}}{% Vos:2012:RCT% }. \NAMECITE{Revised}{% Adam:2012:MMC,% Aichernig:2012:FMC,% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Arbab:2012:FSE,% Ardissono:2012:AUM,% Aura:2012:IST,% Barbosa:2012:FAC,% Boissonnat:2012:CSI,% Bouvry:2012:SII,% Bruckstein:2012:SSV,% Camara:2012:SAC,% Camenisch:2012:OPN,% Cao:2012:ADM,% Cao:2012:NFA,% Carbone:2012:WSF,% Clarke:2012:PSI,% Collier:2012:PMA,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Dechesne:2012:AAT,% Desai:2012:PPM,% Dinneen:2012:CPB,% Erlebach:2012:ASS,% Freitas:2012:BPM,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Garcia-Castro:2012:SWE,% Gheorghe:2012:MCI,% Harth:2012:CTW,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Iwamura:2012:CBD,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Juels:2012:RSP,% Jung:2012:ISA,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Kienzle:2012:MSE,% Kotasek:2012:MEM,% Lacroix:2012:RDT,% Laud:2012:IST,% MacKinnon:2012:DSS,% Marx:2012:PEC,% Meadows:2012:STM,% Meyer:2012:ESE,% Miri:2012:SAC,% Modersheim:2012:TSA,% Modgil:2012:TAF,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Mossakowski:2012:RTA,% Muller:2012:MCB,% Ober:2012:SIS,% Petkova-Nikova:2012:PKI,% Rautiainen:2012:GPC,% Riano:2012:KRH,% Sakama:2012:DAL,% Sanner:2012:RAR,% Schwenker:2012:PSL,% Sloane:2012:SLE,% Solis-Oba:2012:AOA,% Szmuc:2012:ASE,% Thilagam:2012:ACN,% Vanmechelen:2012:EGC,% Varbanescu:2012:CAI,% Villatoro:2012:MAB,% Vos:2012:RCT,% Vrancx:2012:ALA,% Wang:2012:WAI,% Yoshida:2012:AIC,% vanKreveld:2012:GDI% }. \NAMECITE{Reykjav{\'\i}k}{% Jonasson:2012:APSa,% Jonasson:2012:APSb% }. \NAMECITE{{RFID.}}{% Juels:2012:RSP% }. \NAMECITE{RFIDSec}{% Juels:2012:RSP% }. \NAMECITE{Rim}{% Ho:2012:AIVa,% Ho:2012:AIVb% }. \NAMECITE{RLCPS}{% Danezis:2012:FCDa% }. \NAMECITE{Rodney}{% Danezis:2012:FCDa% }. \NAMECITE{RSA}{% Dunkelman:2012:TCC% }. \NAMECITE{{Runtime}}{% Khurshid:2012:RVS% }. \NAMECITE{Russia}{% Clarke:2012:PSI% }. \NAMECITE{RV}{% Khurshid:2012:RVS% }. \NAMECITE{S}{% Dinneen:2012:CPB% }. \NAMECITE{S3E}{% Rautiainen:2012:GPC% }. \NAMECITE{Saarbr{\"u}cken}{% Erlebach:2012:ASS,% Marx:2012:PEC,% Modersheim:2012:TSA,% Solis-Oba:2012:AOA% }. \NAMECITE{SAC}{% Miri:2012:SAC% }. \NAMECITE{Saint}{% Varbanescu:2012:CAI% }. \NAMECITE{Saint-Malo}{% Varbanescu:2012:CAI% }. \NAMECITE{Salamanca}{% Corchado:2012:HAIa,% Corchado:2012:HAIb% }. \NAMECITE{San}{% Dunkelman:2012:TCC,% Khurshid:2012:RVS% }. \NAMECITE{Santorini}{% Koucheryavy:2012:WWI% }. \NAMECITE{SBP}{% Yang:2012:SCB% }. \NAMECITE{Scale}{% Hameurlain:2012:TLS,% Bruckstein:2012:SSV% }. \NAMECITE{Schools}{% Meyer:2012:ESE% }. \NAMECITE{Science}{% Adam:2012:MMC,% Bielikova:2012:STP,% Birkedal:2012:FSS,% Dinneen:2012:CPB,% Gavrilova:2012:TCS,% He:2012:HIS,% Kotasek:2012:MEM,% Peffers:2012:DSR% }. \NAMECITE{Scientific}{% Bubak:2012:BND,% Jonasson:2012:APSa,% Jonasson:2012:APSb% }. \NAMECITE{SDL}{% Ober:2012:SIS,% Ober:2012:SIS% }. \NAMECITE{Second}{% Camara:2012:SAC,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Muller:2012:MCB% }. \NAMECITE{Secure}{% Aura:2012:IST,% Barthe:2012:ESS,% Laud:2012:IST,% Schindler:2012:CSC% }. \NAMECITE{Security}{% Aura:2012:IST,% Camenisch:2012:OPN,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Degano:2012:PST,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Juels:2012:RSP,% Jung:2012:ISA,% Laud:2012:IST,% MacKinnon:2012:DSS,% Modersheim:2012:TSA,% Naccache:2012:CST,% Ryan:2012:ISP,% Shi:2012:TDH,% Thilagam:2012:ACN,% Bouvry:2012:SII,% Meadows:2012:STM% }. \NAMECITE{Selected}{% Adam:2012:MMC,% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Arbab:2012:FSE,% Ardissono:2012:AUM,% Aura:2012:IST,% Barbosa:2012:FAC,% Boissonnat:2012:CSI,% Bouvry:2012:SII,% Bruckstein:2012:SSV,% Camara:2012:SAC,% Camenisch:2012:OPN,% Cao:2012:ADM,% Cao:2012:NFA,% Carbone:2012:WSF,% Clarke:2012:PSI,% Collier:2012:PMA,% Danezis:2012:FCDa,% Danezis:2012:FCDb,% Dechesne:2012:AAT,% Desai:2012:PPM,% Dinneen:2012:CPB,% Erlebach:2012:ASS,% Freitas:2012:BPM,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Garcia-Castro:2012:SWE,% Gheorghe:2012:MCI,% Hadjiantonis:2012:TES,% Harth:2012:CTW,% Horimoto:2012:ANB,% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC,% Iwamura:2012:CBD,% Jonasson:2012:APSa,% Jonasson:2012:APSb,% Juels:2012:RSP,% Jung:2012:ISA,% Kannan:2012:DEM,% Khurshid:2012:RVS,% Kienzle:2012:MSE,% Kotasek:2012:MEM,% Lacroix:2012:RDT,% Laud:2012:IST,% MacKinnon:2012:DSS,% Marx:2012:PEC,% Meadows:2012:STM,% Miri:2012:SAC,% Modersheim:2012:TSA,% Modgil:2012:TAF,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Mossakowski:2012:RTA,% Muller:2012:MCB,% Petkova-Nikova:2012:PKI,% Rautiainen:2012:GPC,% Riano:2012:KRH,% Sakama:2012:DAL,% Sanner:2012:RAR,% Schwenker:2012:PSL,% Sloane:2012:SLE,% Solis-Oba:2012:AOA,% Szmuc:2012:ASE,% Thilagam:2012:ACN,% Vanmechelen:2012:EGC,% Varbanescu:2012:CAI,% Villatoro:2012:MAB,% Vrancx:2012:ALA,% Wang:2012:WAI,% Yoshida:2012:AIC,% vanKreveld:2012:GDI,% Miri:2012:SAC% }. \NAMECITE{{Self}}{% Kuipers:2012:SOS% }. \NAMECITE{{Self-Organizing}}{% Kuipers:2012:SOS% }. \NAMECITE{Semantic}{% Garcia-Castro:2012:SWE% }. \NAMECITE{Semantics}{% Constable:2012:LPS% }. \NAMECITE{SenDe}{% Wang:2012:WTA% }. \NAMECITE{Sensor}{% Erlebach:2012:ASS,% Picco:2012:WSN% }. \NAMECITE{Separation}{% Theis:2012:LVA% }. \NAMECITE{September}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Camara:2012:SAC,% Carbone:2012:WSF,% Erlebach:2012:ASS,% Garcia-Alfaro:2012:DPM,% Iwamura:2012:CBD,% Khurshid:2012:RVS,% Marx:2012:PEC,% Muller:2012:MCB,% Petkova-Nikova:2012:PKI,% Sanner:2012:RAR,% Schwenker:2012:PSL,% Solis-Oba:2012:AOA,% Wang:2012:WAI,% Yoshida:2012:AIC,% vanKreveld:2012:GDI% }. \NAMECITE{Sergot}{% Artikis:2012:LPN% }. \NAMECITE{Services}{% Carbone:2012:WSF,% Petkova-Nikova:2012:PKI,% Vanmechelen:2012:EGC% }. \NAMECITE{SET}{% Szmuc:2012:ASE% }. \NAMECITE{SETOP}{% Garcia-Alfaro:2012:DPM% }. \NAMECITE{Shenzhen}{% Cao:2012:NFA% }. \NAMECITE{Sicily}{% Cramer:2012:TCT% }. \NAMECITE{SIDE}{% Rutkowski:2012:SEC,% Schindler:2012:CSC% }. \NAMECITE{Side-Channel}{% Schindler:2012:CSC% }. \NAMECITE{Signal}{% Theis:2012:LVA% }. \NAMECITE{SIIS}{% Bouvry:2012:SII% }. \NAMECITE{SIM}{% Yu:2012:DSA% }. \NAMECITE{Simulation}{% Villatoro:2012:MAB% }. \NAMECITE{SLE}{% Sloane:2012:SLE% }. \NAMECITE{Slovakia}{% Adam:2012:MMC% }. \NAMECITE{Slovenia}{% Riano:2012:KRH% }. \NAMECITE{SNA}{% Wang:2012:WAI% }. \NAMECITE{SNSM}{% Yu:2012:DSA% }. \NAMECITE{Social}{% vanEijck:2012:GAS,% Yang:2012:SCB% }. \NAMECITE{{SOFSEM}}{% Bielikova:2012:STP% }. \NAMECITE{Soft}{% Rutkowski:2012:AISa,% Rutkowski:2012:AISb% }. \NAMECITE{Software}{% Arbab:2012:FSE,% Barbosa:2012:FAC,% Barthe:2012:ESS,% Birkedal:2012:FSS,% Degano:2012:PST,% Flanagan:2012:TAC,% Joshi:2012:VST,% Kienzle:2012:MSE,% Meyer:2012:ESE,% OBoyle:2012:CCI,% Ober:2012:SIS,% Regnell:2012:REF,% Seidl:2012:PLS,% Szmuc:2012:ASE,% deLara:2012:FAS,% vanEijck:2012:GAS,% Sloane:2012:SLE% }. \NAMECITE{Sound}{% Machado:2012:EBI% }. \NAMECITE{South}{% Ho:2012:AIVa,% Ho:2012:AIVb,% Lee:2012:DSAa,% Lee:2012:DSAb,% Yu:2012:DSA% }. \NAMECITE{Space}{% Bruckstein:2012:SSV% }. \NAMECITE{Spain}{% Ardissono:2012:AUM,% Baeza-Yates:2012:AIR,% Chio:2012:AEC,% Chor:2012:RCM,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Dediu:2012:LAT,% Freitas:2012:BPM,% Giacobini:2012:ECM,% Hao:2012:ECC,% Machado:2012:EBI,% Modgil:2012:TAF,% Moraglio:2012:GPE,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb% }. \NAMECITE{Spanish}{% Freitas:2012:BPM% }. \NAMECITE{Special}{% Gavrilova:2012:TCS% }. \NAMECITE{Spindleruv}{% Bielikova:2012:STP% }. \NAMECITE{Spontaneous}{% Garcia-Alfaro:2012:DPM% }. \NAMECITE{SSVM}{% Bruckstein:2012:SSV% }. \NAMECITE{St}{% Danezis:2012:FCDa,% Danezis:2012:FCDb% }. \NAMECITE{STACOM}{% Camara:2012:SAC% }. \NAMECITE{{Star{\'a}}}{% Adam:2012:MMC% }. \NAMECITE{{Statistical}}{% Camara:2012:SAC% }. \NAMECITE{STM}{% Meadows:2012:STM% }. \NAMECITE{Structures}{% Birkedal:2012:FSS% }. \NAMECITE{Summer}{% Meyer:2012:ESE% }. \NAMECITE{Supervised}{% Schwenker:2012:PSL% }. \NAMECITE{Support}{% Muller:2012:MCB% }. \NAMECITE{Surathkal}{% Thilagam:2012:ACN% }. \NAMECITE{Surfaces}{% Boissonnat:2012:CSI% }. \NAMECITE{{Swarm}}{% Rutkowski:2012:SEC% }. \NAMECITE{Switzerland}{% Camenisch:2012:OPN% }. \NAMECITE{Symposia}{% Kienzle:2012:MSE,% Rutkowski:2012:SEC% }. \NAMECITE{Symposium}{% Aichernig:2012:FMC,% Barthe:2012:ESS,% Bleris:2012:BRA,% Choy:2012:RCA,% Erlebach:2012:ASS,% Fernandez-Baca:2012:LTI,% Freitas:2012:BPM,% Goodloe:2012:NFM,% Harth:2012:CTW,% Ho:2012:AIVa,% Ho:2012:AIVb,% Lukasiewicz:2012:FIK,% Martino:2012:WWG,% Marx:2012:PEC,% Russo:2012:PAD,% Schrijvers:2012:FLP,% Seidl:2012:PLS,% vanKreveld:2012:GDI% }. \NAMECITE{System}{% Ober:2012:SIS% }. \NAMECITE{Systems}{% Aura:2012:IST,% Barthe:2012:ESS,% Bouvry:2012:SII,% Clarke:2012:PSI,% Collier:2012:PMA,% Corchado:2012:HAIa,% Corchado:2012:HAIb,% Desai:2012:PPM,% Erlebach:2012:ASS,% Flanagan:2012:TAC,% Hameurlain:2012:TLS,% Herkersdorf:2012:ACS,% Kuipers:2012:SOS,% Laud:2012:IST,% Lee:2012:DSAa,% Lee:2012:DSAb,% Lukasiewicz:2012:FIK,% Martino:2012:WWG,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Peffers:2012:DSR,% Schmitt:2012:MME,% Seidl:2012:PLS,% Vanmechelen:2012:EGC,% Yu:2012:DSA,% Gavrilova:2012:TCS% }. \NAMECITE{TACAS}{% Flanagan:2012:TAC% }. \NAMECITE{TAFA}{% Modgil:2012:TAF% }. \NAMECITE{Taipei}{% Cao:2012:ADM,% Dechesne:2012:AAT,% Sakama:2012:DAL,% Villatoro:2012:MAB,% Vrancx:2012:ALA% }. \NAMECITE{Taiwan}{% Cao:2012:ADM,% Dechesne:2012:AAT,% Pan:2012:IIDa,% Pan:2012:IIDb,% Pan:2012:IIDc,% Sakama:2012:DAL,% Villatoro:2012:MAB,% Vrancx:2012:ALA% }. \NAMECITE{Tallinn}{% Birkedal:2012:FSS,% Degano:2012:PST,% Flanagan:2012:TAC,% Laud:2012:IST,% OBoyle:2012:CCI,% Seidl:2012:PLS,% deLara:2012:FAS% }. \NAMECITE{TAMC}{% Agrawal:2012:TAM% }. \NAMECITE{Taormina}{% Cramer:2012:TCT% }. \NAMECITE{TC}{% Becvar:2012:NWI,% Bestak:2012:NIIa,% Bestak:2012:NIIb,% Kuipers:2012:SOS,% Szmuc:2012:ASE% }. \NAMECITE{TC3}{% Schwenker:2012:PSL% }. \NAMECITE{TCC}{% Cramer:2012:TCT% }. \NAMECITE{{TEA}}{% Chen:2012:IDC% }. \NAMECITE{Technical}{% Bubak:2012:BND% }. \NAMECITE{Techniques}{% Beldiceanu:2012:IAT,% Mossakowski:2012:RTA,% Pointcheval:2012:ACE,% Szmuc:2012:ASE% }. \NAMECITE{Technologies}{% Keller:2012:FMC,% Sakama:2012:DAL,% Sheng:2012:WTA,% Vinel:2012:CTV,% Wang:2012:WTA% }. \NAMECITE{Technology}{% Aura:2012:IST,% Dechesne:2012:AAT,% Ho:2012:AIVa,% Ho:2012:AIVb,% Laud:2012:IST,% Ramanujam:2012:DCI% }. \NAMECITE{Tehran}{% Arbab:2012:FSE% }. \NAMECITE{Tel}{% Theis:2012:LVA,% Hadjiantonis:2012:TES% }. \NAMECITE{{Telecommunication}}{% Hadjiantonis:2012:TES% }. \NAMECITE{Text}{% Gelbukh:2012:CLIa,% Gelbukh:2012:CLIb% }. \NAMECITE{Thalheim}{% Dusterhoft:2012:CMT% }. \NAMECITE{Theoretical}{% Dinneen:2012:CPB,% Dusterhoft:2012:CMT,% Fernandez-Baca:2012:LTI% }. \NAMECITE{{Theorie}}{% Modgil:2012:TAF% }. \NAMECITE{Theories}{% Huang:2012:AICb,% Joshi:2012:VST% }. \NAMECITE{Theory}{% Bielikova:2012:STP,% Birkedal:2012:FSS,% Cramer:2012:TCT,% Dediu:2012:LAT,% Degano:2012:PST,% Fischlin:2012:PKC,% Flanagan:2012:TAC,% Moreno-Diaz:2012:CASa,% Moreno-Diaz:2012:CASb,% Naccache:2012:CST,% OBoyle:2012:CCI,% Peffers:2012:DSR,% Pointcheval:2012:ACE,% Seidl:2012:PLS,% deLara:2012:FAS,% Agrawal:2012:TAM,% Cramer:2012:TCT,% Modersheim:2012:TSA% }. \NAMECITE{Third}{% Bruckstein:2012:SSV,% Lacroix:2012:RDT,% Schindler:2012:CSC,% Vos:2012:RCT,% Yoshida:2012:AIC% }. \NAMECITE{Tiruchirappalli}{% Kannan:2012:DEM% }. \NAMECITE{Tissues}{% Lones:2012:IPC% }. \NAMECITE{TMA}{% Pescape:2012:TMA% }. \NAMECITE{Tolerance}{% Schmitt:2012:MME% }. \NAMECITE{Tools}{% Choy:2012:RCA,% Joshi:2012:VST,% Flanagan:2012:TAC% }. \NAMECITE{{Topics}}{% Dunkelman:2012:TCC% }. \NAMECITE{Toronto}{% Camara:2012:SAC,% Collier:2012:PMA,% Miri:2012:SAC,% Muller:2012:MCB,% Yoshida:2012:AIC% }. \NAMECITE{Torremolinos}{% Freitas:2012:BPM% }. \NAMECITE{TOSCA}{% Modersheim:2012:TSA% }. \NAMECITE{Toulouse}{% Ober:2012:SIS% }. \NAMECITE{Track}{% Dunkelman:2012:TCC% }. \NAMECITE{{Traffic}}{% Pescape:2012:TMA% }. \NAMECITE{{Transactions}}{% Gavrilova:2012:TCS,% Hameurlain:2012:TLS,% Jensen:2012:TPN,% Pan:2012:TEV,% Shi:2012:TDH% }. \NAMECITE{Trends}{% Bielikova:2012:STP,% Harth:2012:CTW,% Mossakowski:2012:RTA% }. \NAMECITE{Trento}{% Picco:2012:WSN% }. \NAMECITE{Trust}{% Degano:2012:PST,% Meadows:2012:STM% }. \NAMECITE{Tutorial}{% Meyer:2012:ESE% }. \NAMECITE{Tutorials}{% Harth:2012:CTW% }. \NAMECITE{TX}{% Bleris:2012:BRA% }. \NAMECITE{UCHPC}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{UK}{% Lones:2012:IPC,% MacKinnon:2012:DSS,% Pointcheval:2012:ACE% }. \NAMECITE{Ulm}{% Schwenker:2012:PSL% }. \NAMECITE{UMAP}{% Ardissono:2012:AUM% }. \NAMECITE{USA}{% Bleris:2012:BRA,% Dunkelman:2012:TCC,% Goodloe:2012:NFM,% Joshi:2012:VST,% Juels:2012:RSP,% Khurshid:2012:RVS,% Kuncak:2012:VMC,% Peffers:2012:DSR,% Russo:2012:PAD,% Yang:2012:SCB% }. \NAMECITE{User}{% Ardissono:2012:AUM% }. \NAMECITE{{V}}{% Hameurlain:2012:TLS,% Jensen:2012:TPN% }. \NAMECITE{VA}{% Goodloe:2012:NFM% }. \NAMECITE{Variable}{% Theis:2012:LVA% }. \NAMECITE{Variational}{% Bruckstein:2012:SSV% }. \NAMECITE{Vegas}{% Peffers:2012:DSR% }. \NAMECITE{Vehicles}{% Vinel:2012:CTV% }. \NAMECITE{Venezuela}{% Bjorner:2012:LPA% }. \NAMECITE{Verification}{% Khurshid:2012:RVS,% Meyer:2012:ESE,% Kuncak:2012:VMC% }. \NAMECITE{{Verified}}{% Joshi:2012:VST% }. \NAMECITE{VHPC}{% Alexander:2012:EPPa,% Alexander:2012:EPPb% }. \NAMECITE{Video}{% Ho:2012:AIVa,% Ho:2012:AIVb% }. \NAMECITE{Vienna}{% Pescape:2012:TMA,% Taft:2012:PAM% }. \NAMECITE{{VII}}{% Pan:2012:TEV,% Shi:2012:TDH% }. \NAMECITE{Vilnius}{% Vinel:2012:CTV% }. \NAMECITE{Vision}{% Bruckstein:2012:SSV% }. \NAMECITE{VMCAI}{% Kuncak:2012:VMC% }. \NAMECITE{VSTTE}{% Joshi:2012:VST% }. \NAMECITE{W2GIS}{% Martino:2012:WWG% }. \NAMECITE{WADT}{% Mossakowski:2012:RTA% }. \NAMECITE{WAIM}{% Wang:2012:WAI% }. \NAMECITE{WALCOM}{% Rahman:2012:WAC,% Rahman:2012:WAC% }. \NAMECITE{WAOA}{% Solis-Oba:2012:AOA% }. \NAMECITE{Warsaw}{% Bouvry:2012:SII% }. \NAMECITE{Web}{% Garcia-Castro:2012:SWE,% Carbone:2012:WSF,% Harth:2012:CTW,% Martino:2012:WWG,% Sheng:2012:WTA,% Wang:2012:WAI,% Wang:2012:WTA% }. \NAMECITE{{Web-Age}}{% Wang:2012:WAI% }. \NAMECITE{WECSR}{% Danezis:2012:FCDa% }. \NAMECITE{WEED}{% Varbanescu:2012:CAI% }. \NAMECITE{Wellington}{% Kienzle:2012:MSE% }. \NAMECITE{WG}{% Camenisch:2012:OPN% }. \NAMECITE{WGIM}{% Wang:2012:WAI% }. \NAMECITE{WIOSCA}{% Varbanescu:2012:CAI% }. \NAMECITE{{Wired}}{% Koucheryavy:2012:WWI% }. \NAMECITE{{Wired/Wireless}}{% Koucheryavy:2012:WWI% }. \NAMECITE{Wireless}{% Erlebach:2012:ASS,% Martino:2012:WWG,% Koucheryavy:2012:WWI,% Picco:2012:WSN% }. \NAMECITE{WISA}{% Jung:2012:ISA% }. \NAMECITE{Working}{% Regnell:2012:REF% }. \NAMECITE{Workshop}{% Barbosa:2012:FAC,% Camara:2012:SAC,% Camenisch:2012:OPN,% Cao:2012:ADM,% Carbone:2012:WSF,% Collier:2012:PMA,% Dinneen:2012:CPB,% Garcia-Alfaro:2012:DPM,% Garcia-Alfaro:2012:FPS,% Iwamura:2012:CBD,% Juels:2012:RSP,% Jung:2012:ISA,% Kotasek:2012:MEM,% Kuipers:2012:SOS,% Lacroix:2012:RDT,% Meadows:2012:STM,% Miri:2012:SAC,% Modersheim:2012:TSA,% Modgil:2012:TAF,% Mossakowski:2012:RTA,% Muller:2012:MCB,% Pescape:2012:TMA,% Petkova-Nikova:2012:PKI,% Rahman:2012:WAC,% Riano:2012:KRH,% Sakama:2012:DAL,% Sanner:2012:RAR,% Schindler:2012:CSC,% Schwenker:2012:PSL,% Solis-Oba:2012:AOA,% Vanmechelen:2012:EGC,% Villatoro:2012:MAB,% Vinel:2012:CTV,% Vos:2012:RCT,% Vrancx:2012:ALA,% Yoshida:2012:AIC% }. \NAMECITE{Workshops}{% Alexander:2012:EPPa,% Alexander:2012:EPPb,% Ardissono:2012:AUM,% Becvar:2012:NWI,% Cao:2012:NFA,% Danezis:2012:FCDa,% Dechesne:2012:AAT,% Garcia-Castro:2012:SWE,% Harth:2012:CTW,% Kienzle:2012:MSE,% Rautiainen:2012:GPC,% Varbanescu:2012:CAI,% Wang:2012:WAI,% Wang:2012:WTA,% Yu:2012:DSA% }. \NAMECITE{WS}{% Carbone:2012:WSF% }. \NAMECITE{WS-FM}{% Carbone:2012:WSF% }. \NAMECITE{WTCS}{% Dinneen:2012:CPB% }. \NAMECITE{Wuhan}{% Wang:2012:WAI% }. \NAMECITE{WWIC}{% Koucheryavy:2012:WWI% }. \NAMECITE{XII}{% Villatoro:2012:MAB% }. \NAMECITE{XMLDM}{% Wang:2012:WAI% }. \NAMECITE{{XTEA}}{% Chen:2012:IDC% }. \NAMECITE{XV}{% Gavrilova:2012:TCS% }. \NAMECITE{Zakopane}{% Rutkowski:2012:AISa,% Rutkowski:2012:AISb,% Rutkowski:2012:SEC% }. \NAMECITE{Zealand}{% Dinneen:2012:CPB,% Kienzle:2012:MSE% }. \NAMECITE{Zero}{% Bogdanov:2012:ZCL% }. \NAMECITE{Zero-Correlation}{% Bogdanov:2012:ZCL% }. \NAMECITE{Zhengzhou}{% Huang:2012:AICa,% Huang:2012:AICb,% Huang:2012:BIC% }.