%%====================================================================== %% 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 Fri Jun 10 17:57:20 MDT 2016 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$2$}{% Alon:1996:CCH,% Gairing:2004:SSA,% Sassone:2003:DBC% }. \NAMECITE{$3$}{% Agarwal:2000:PDT,% Chung:1995:MPD,% Johnsson:1998:EMP% }. \NAMECITE{$B$}{% Becker:1994:NAC% }. \NAMECITE{$d$}{% Berman:2000:AMW,% Krznaric:1999:MST% }. \NAMECITE{$d/2$}{% Berman:2000:AMW% }. \NAMECITE{$H$}{% Fiala:2003:GCC% }. \NAMECITE{$K$}{% Fokkink:2005:NKS,% Prieto:2005:RIS% }. \NAMECITE{$K = N$}{% Fokkink:2005:NKS% }. \NAMECITE{$O(\log \log n)$}{% Schuierer:1994:TAC% }. \NAMECITE{$O(n^2)$}{% Clausen:1995:FBC% }. \NAMECITE{$p$}{% Ganley:1998:PST% }. \NAMECITE{$\pi$}{% Melham:1994:MTC% }. \NAMECITE{$q$}{% Sutinen:2004:ASM% }. \NAMECITE{$\scr N$}{% Seidl:1996:LGS% }. \NAMECITE{$t$}{% Akl:1996:GAT% }. \NAMECITE{-ary}{% Akl:1996:GAT% }. \NAMECITE{{}-calculus}{% Melham:1994:MTC% }. \NAMECITE{-categories}{% Sassone:2003:DBC% }. \NAMECITE{-Claw}{% Berman:2000:AMW% }. \NAMECITE{-colorable}{% Alon:1996:CCH% }. \NAMECITE{{}-coloring}{% Fiala:2003:GCC% }. \NAMECITE{{}-covering}{% Fiala:2003:GCC% }. \NAMECITE{{-D}}{% Chung:1995:MPD% }. \NAMECITE{-Grams}{% Sutinen:2004:ASM% }. \NAMECITE{-Internal}{% Prieto:2005:RIS% }. \NAMECITE{-Matching}{% Johnsson:1998:EMP% }. \NAMECITE{-packing}{% Gairing:2004:SSA% }. \NAMECITE{{}-State}{% Fokkink:2005:NKS% }. \NAMECITE{{}-trees}{% Becker:1994:NAC% }. \NAMECITE{{2.0}}{% Storrle:2004:SNU% }. \NAMECITE{=}{% Ouaknine:2003:TCC% }. \NAMECITE{{ABEL}}{% Kristoffersen:1998:IHO% }. \NAMECITE{Abstracting}{% Johnsen:2003:ART% }. \NAMECITE{Access}{% Hwang:1999:DKG,% Paakki:1997:RPD,% Kanellakis:1995:CMA% }. \NAMECITE{across}{% Herczeg:2013:TFF% }. \NAMECITE{Action}{% Back:2001:CAS,% Bostrom:2004:ICS,% Ronkko:2001:LHA% }. \NAMECITE{Activities}{% Storrle:2004:SNU% }. \NAMECITE{Activity}{% Lam:2007:FRA% }. \NAMECITE{Acyclic}{% Tronicek:2004:EDA% }. \NAMECITE{Agents}{% Ciancarini:1999:CTI% }. \NAMECITE{Aggregate}{% Gupta:2006:RAQ% }. \NAMECITE{Aggregation}{% Gupta:2006:RAQ% }. \NAMECITE{Agile}{% Raatikainen:2008:FME% }. \NAMECITE{Aided}{% Dosch:2001:CAF% }. \NAMECITE{{ALFP}}{% Nielson:2002:SSA% }. \NAMECITE{Algebra}{% Fecher:2001:RTP,% Mork:2001:DIP% }. \NAMECITE{Algebraic}{% Dosch:2001:CAF,% Wagner:2002:ASS% }. \NAMECITE{Algorithm}{% Baba:2003:NRA,% Fecht:1998:PDE,% Franek:2003:NCR,% Gairing:2004:SSA,% Gudmundsson:1999:FAA,% Gudmundsson:2000:PAA,% Hyyro:2003:BVA,% Karpinski:1997:EPM,% Larsen:1999:EAA,% Ostergaard:2001:NAM,% Pal:1997:OPA,% Petersson:2001:RSA,% Rick:1995:NFA,% Yamaguchi:1997:AAM,% Zito:2000:LTM,% Becker:1994:NAC,% Jajodia:1994:VBD,% Kamakoti:1995:ERA,% Peinado:1994:HGR,% Schuierer:1994:TAC% }. \NAMECITE{Algorithms}{% Andreou:1999:NCA,% Asano:1996:AAM,% Bereg:2004:DAA,% Datta:1996:OPA,% Dobrev:1998:CCS,% Doddi:2000:AAC,% Fraser:1995:AAS,% Gebremedhin:2006:PMD,% Narasimhan:2002:AAB,% Sen:1999:DSA,% Sere:2001:SVD,% Coolsaet:1994:TMV,% Golin:1995:SRA,% Heggernes:2007:LTC,% Kanellakis:1995:CMA% }. \NAMECITE{Aliases}{% Ross:1998:BBB% }. \NAMECITE{Alignment}{% Lin:1996:SAS% }. \NAMECITE{All-Pairs}{% Pal:1997:OPA% }. \NAMECITE{{amb}}{% Fernandez:2003:INM% }. \NAMECITE{{AML}}{% Efremidis:1997:AAG% }. \NAMECITE{Analysis}{% Abdulla:2007:UFR,% Baeza-Yates:1998:ALH,% Barros:2005:CSC,% Celiku:2004:CBA,% Fersman:2004:GAS,% Gebremedhin:2006:PMD,% Labroue:2002:ATA,% Man:2007:FSA,% Nielsen:2006:SAB,% Seidl:2000:CBI,% Vassilakopoulos:1995:EAO% }. \NAMECITE{Analyzing}{% Pilegaard:2003:AAA% }. \NAMECITE{ancestors}{% Schenk:1994:PDL% }. \NAMECITE{Animation}{% Normark:1999:APT% }. \NAMECITE{{API}}{% Koskinen:2006:PBA% }. \NAMECITE{Application}{% Hammouda:2002:PBJ% }. \NAMECITE{Applications}{% Fernandez:2003:INM,% Katajainen:2003:NPA,% Nielsen:2002:TCC% }. \NAMECITE{Approach}{% Fersman:2004:GAS,% Franek:2003:NCR,% Koskinen:2006:PBA,% Labroue:2002:ATA,% Lahtinen:2008:MBA,% Lin:1996:SAS,% Pilegaard:2003:AAA,% Santos:2006:MDA% }. \NAMECITE{Approximate}{% Ang:1996:AAS,% Crochemore:2002:ASM,% Gambosi:1997:LMA,% Navarro:2004:ARE,% Sutinen:2004:ASM,% Kann:1994:PBM% }. \NAMECITE{Approximating}{% Bereg:2004:DAA,% Gudmundsson:2001:AMM% }. \NAMECITE{Approximation}{% Asano:1996:AAM,% Berman:2000:AMW,% Boichut:2008:ABT,% Doddi:2000:AAC,% Fraser:1995:AAS,% Gudmundsson:1999:FAA,% Gudmundsson:2000:PAA,% Narasimhan:2002:AAB,% Yamaguchi:1997:AAM,% Marathe:1994:CAP% }. \NAMECITE{Approximation-based}{% Boichut:2008:ABT% }. \NAMECITE{Approximations}{% Lau:1996:RAC,% Halldorsson:1994:IAI% }. \NAMECITE{Arbiter}{% Ernits:2005:MAS% }. \NAMECITE{Arbitrary}{% Ang:1996:AAS,% Navarro:2004:ARE% }. \NAMECITE{Arc}{% Natarajan:1996:DPC% }. \NAMECITE{Architecture}{% Erdogmus:1997:ADV,% Lilius:2005:AEE% }. \NAMECITE{Architecture-Driven}{% Erdogmus:1997:ADV% }. \NAMECITE{Arrangements}{% Sleumer:1999:OSC% }. \NAMECITE{Arrays}{% Makinen:2005:SSA% }. \NAMECITE{ary}{% Akl:1996:GAT% }. \NAMECITE{{ASL}}{% Sivertsen:2004:UVU% }. \NAMECITE{Aspects}{% Bodlaender:1995:CAT% }. \NAMECITE{Assessment}{% Troubitsyna:1999:RAT% }. \NAMECITE{Asynchronous}{% Amadio:2002:DCR% }. \NAMECITE{{ATM}}{% Tahar:1999:CHM% }. \NAMECITE{Attacks}{% Nesi:2006:DTF% }. \NAMECITE{Attribute}{% Efremidis:1997:AAG,% Gyimothy:1997:LSF,% Hedin:1997:AET% }. \NAMECITE{Attributed}{% Magnusson:2000:PVU% }. \NAMECITE{Attributes}{% Byckling:2006:ICO% }. \NAMECITE{Auction}{% Larsen:1999:EAA% }. \NAMECITE{Author}{% Anonymous:2002:AIV,% Anonymous:2003:AIV,% Anonymous:2004:AIV% }. \NAMECITE{Automata}{% Amnell:2002:CST,% Karhumaki:2000:PMP,% Labroue:2002:ATA,% Mohri:1997:SMA,% Roche:1997:CFF,% Ouaknine:2003:TCC% }. \NAMECITE{Automata-Theoretic}{% Labroue:2002:ATA% }. \NAMECITE{Automatic}{% Wenzel:2005:ADI,% Lysne:1994:HCA% }. \NAMECITE{Availability}{% Pilegaard:2003:AAA% }. \NAMECITE{Average}{% Ang:1996:AAS% }. \NAMECITE{Axiomatizing}{% Damgaard:2006:ABB% }. \NAMECITE{{B}}{% Bostrom:2004:ICS,% Tsiopoulos:2006:FDN% }. \NAMECITE{Backtrack}{% Brown:1996:BSP% }. \NAMECITE{Bad}{% Harsu:2013:CCG% }. \NAMECITE{Barriers}{% Tsin:1996:GVD% }. \NAMECITE{Based}{% Arisholm:2002:WBS,% Celiku:2004:CBA,% Hammouda:2002:PBJ,% Koskinen:2006:PBA,% Lahtinen:2008:MBA,% Mohagheghi:2008:MSP,% Mork:2001:DIP,% Pottier:2000:VCB,% Raiha:2008:PBG,% Ron:1999:ODP,% Seidl:2000:CBI,% Boichut:2008:ABT,% Jajodia:1994:VBD,% Makinen:2005:SSA,% Poddar:2006:VGB,% Wehrheim:2002:RSB% }. \NAMECITE{before}{% Liberatore:2000:SJB% }. \NAMECITE{Behaviour}{% Wehrheim:2002:RSB% }. \NAMECITE{Behaviour-oriented}{% Wehrheim:2002:RSB% }. \NAMECITE{Behavioural}{% Kyas:2005:CTL% }. \NAMECITE{{Bendix}}{% Linnestad:1996:FSK% }. \NAMECITE{Beta}{% Stovring:2006:HOB% }. \NAMECITE{Beta-Eta}{% Stovring:2006:HOB% }. \NAMECITE{between}{% Ross:1998:BBB% }. \NAMECITE{Bidirectional}{% Inenaga:2003:BCS% }. \NAMECITE{Bigraphs}{% Damgaard:2006:ABB% }. \NAMECITE{Bin}{% Boyar:2001:CRL,% Gambosi:1997:LMA% }. \NAMECITE{Bin-Packing}{% Gambosi:1997:LMA% }. \NAMECITE{Binary}{% Berlea:2004:BQD% }. \NAMECITE{Binding}{% Damgaard:2006:ABB% }. \NAMECITE{Bipartite}{% Clausen:1995:FBC% }. \NAMECITE{Bisimulation}{% Abadi:1998:BMC,% Sassone:2003:DBC,% Nielsen:1995:GLN% }. \NAMECITE{Bit}{% Hyyro:2003:BVA% }. \NAMECITE{Bit-Vector}{% Hyyro:2003:BVA% }. \NAMECITE{Blinding}{% Nielsen:2006:SAB% }. \NAMECITE{Block}{% Cinque:2003:WOP,% Mahajan:2007:BSC% }. \NAMECITE{Blocks}{% Gayo:2001:MDI% }. \NAMECITE{Blood}{% Klipsch:2002:NBD% }. \NAMECITE{{Boppana}}{% Peinado:1994:HGR% }. \NAMECITE{{Boppana-Halld{\'o}rsson}}{% Peinado:1994:HGR% }. \NAMECITE{Bottleneck}{% Narasimhan:2002:AAB% }. \NAMECITE{Bounded}{% Brodal:1996:PPD,% Gonzalez:1998:BFM,% Hofmann:2000:TSB,% Halldorsson:1994:IAI,% Kann:1994:PBM% }. \NAMECITE{bounded-degree}{% Halldorsson:1994:IAI% }. \NAMECITE{Bounding}{% Lundberg:1997:BGC% }. \NAMECITE{Bounds}{% Bremler-Barr:2007:PLT,% Husfeldt:1996:LBD,% Raman:1999:IUB,% Roos:1997:NUB,% Schellekens:2006:SDT% }. \NAMECITE{Bridge}{% Ross:1998:BBB% }. \NAMECITE{Broadcasting}{% Diks:1996:FTL,% Chlebus:1994:SNS% }. \NAMECITE{Browsers}{% Herczeg:2013:TFF% }. \NAMECITE{Bucket}{% Ang:1996:AAS% }. \NAMECITE{Building}{% Gayo:2001:MDI,% Ross:1998:BBB% }. \NAMECITE{bundles}{% Jansen:1994:IFD% }. \NAMECITE{Buses}{% Chung:1995:FMF% }. \NAMECITE{Cache}{% Petrank:2005:HCC% }. \NAMECITE{Calculus}{% Amadio:2002:DCR,% Xu:2008:FST,% Carbone:2003:EPP,% DiGianantonio:1995:ULL,% Fisher:1994:LCO,% Havelund:1994:FC,% Melham:1994:MTC% }. \NAMECITE{Capturing}{% Kristiansen:2005:PLC% }. \NAMECITE{Card}{% Ernits:2005:MAS% }. \NAMECITE{Cardinality}{% Clausen:1995:FBC% }. \NAMECITE{Cares}{% Iliopoulos:2003:SRD% }. \NAMECITE{Case}{% Barros:2005:CSC,% Bostrom:2004:ICS,% Pagh:2000:TWC,% Prieto:2005:RIS,% Staron:2004:CSP,% Tahar:1999:CHM,% Kjelstrom:1999:CTC% }. \NAMECITE{Categorically}{% Uustalu:1999:MSI% }. \NAMECITE{categories}{% Sassone:2003:DBC% }. \NAMECITE{Cell}{% Sleumer:1999:OSC% }. \NAMECITE{Cellular}{% Kranakis:2008:TMU% }. \NAMECITE{certifying}{% Heggernes:2007:LTC% }. \NAMECITE{Chain}{% Subramani:2006:CPD% }. \NAMECITE{Change}{% Bendix:1999:SSC,% Bendix:2000:SSC% }. \NAMECITE{Changing}{% Lundberg:1997:BGC% }. \NAMECITE{Characterization}{% Mahajan:2007:BSC% }. \NAMECITE{Checking}{% Boichut:2008:ABT,% Spelberg:2001:PRT,% Burkart:1995:CDM,% Hungar:1994:LMC% }. \NAMECITE{{Chi}}{% Man:2007:FSA% }. \NAMECITE{Chip}{% Lilius:2005:AEE% }. \NAMECITE{Chordal}{% Eades:1996:TMD,% Kratochvil:1995:GDC% }. \NAMECITE{chords}{% Das:1994:FAW% }. \NAMECITE{{Church}}{% Goldberg:2002:HCC% }. \NAMECITE{Circular}{% Natarajan:1996:DPC% }. \NAMECITE{Circumvent}{% Goldberg:2002:HCC% }. \NAMECITE{Clairvoyance}{% Berman:1999:SMP% }. \NAMECITE{Class}{% Billington:2005:VCS,% Russo:2000:FCS,% Wenzel:2005:ADI% }. \NAMECITE{Classes}{% Kristiansen:2005:PLC% }. \NAMECITE{Claw}{% Berman:2000:AMW% }. \NAMECITE{Clique}{% Ostergaard:2001:NAM,% Blair:1994:FMD% }. \NAMECITE{Clock}{% Larsen:1999:CDD% }. \NAMECITE{Clones}{% Harsu:2013:CCG% }. \NAMECITE{Closed}{% Ouaknine:2003:TCC% }. \NAMECITE{closest}{% Golin:1995:SRA,% Kamakoti:1995:ERA% }. \NAMECITE{Closure}{% Husfeldt:1996:LBD% }. \NAMECITE{Clustering}{% Doddi:2000:AAC,% Pferschy:1994:SGC% }. \NAMECITE{Code}{% Amnell:2002:CST,% Harsu:2013:CCG,% Koskinen:2006:PBA% }. \NAMECITE{Coinserters}{% Ghani:2003:RC% }. \NAMECITE{colorable}{% Alon:1996:CCH% }. \NAMECITE{colored}{% Kamakoti:1995:ERA% }. \NAMECITE{Coloring}{% Alon:1996:CCH,% Andreou:1999:NCA,% Fiala:2003:GCC% }. \NAMECITE{colors}{% Alon:1996:CCH% }. \NAMECITE{Coloured}{% Al-Azzoni:2005:MVC,% Barros:2005:CSC,% Billington:2005:VCS% }. \NAMECITE{{COM}}{% Kjelstrom:1999:CTC% }. \NAMECITE{Combination}{% Hoenicke:2002:COD% }. \NAMECITE{Command}{% Lahtinen:2008:MBA% }. \NAMECITE{Common}{% Fraser:1995:AAS,% Rick:1995:NFA,% Yamaguchi:1997:AAM,% Schenk:1994:PDL% }. \NAMECITE{Communication}{% Dobrev:1998:CCS% }. \NAMECITE{Comonads}{% Uustalu:2001:RSC% }. \NAMECITE{Compact}{% Roche:1997:CFF% }. \NAMECITE{Comparing}{% Tahar:1999:CHM% }. \NAMECITE{Comparison}{% Alanen:2005:CMF% }. \NAMECITE{Comparisons}{% Lemire:2006:SMM,% Schellekens:2006:SDT% }. \NAMECITE{Competitive}{% Boyar:2001:CRL% }. \NAMECITE{Compilation}{% Harsu:1999:TCC% }. \NAMECITE{Compiler}{% Bosch:1997:DCO% }. \NAMECITE{Compilers}{% Nilsson:2004:IJC% }. \NAMECITE{complete}{% Marathe:1994:CAP,% Palsberg:1997:TIS% }. \NAMECITE{Completion}{% Linnestad:1996:FSK,% Lysne:1994:HCA% }. \NAMECITE{Complexity}{% Bodlaender:1995:CAT,% Bodlaender:2000:CMC,% Brodal:1996:RCM,% Cieliebak:2008:CVE,% Dobrev:1998:CCS,% Kratochvil:1998:CGC,% Kristiansen:2005:PLC,% Schellekens:2006:SDT,% Telle:1994:CDT,% Marathe:1994:CAP,% Orponen:1994:CCN% }. \NAMECITE{Component}{% Lind:2008:ERT% }. \NAMECITE{Composition}{% Burkart:1995:CDM% }. \NAMECITE{Compositional}{% Kyas:2005:CTL% }. \NAMECITE{Comprehensibility}{% Byckling:2006:ICO% }. \NAMECITE{Compression}{% Bodlaender:1995:CAT,% Cinque:2003:WOP% }. \NAMECITE{Computational}{% Haveraaen:1999:FSE,% Mukhopadhyay:1997:OLP,% Orponen:1994:CCN% }. \NAMECITE{compute}{% Schuierer:1994:TAC% }. \NAMECITE{Computer}{% Dosch:2001:CAF% }. \NAMECITE{Computers}{% Chung:1995:FMF% }. \NAMECITE{Computing}{% Hyyro:2003:BVA,% Krznaric:1998:CTQ,% Lam:1996:CUM,% Schneider:2004:CIK% }. \NAMECITE{Concurrency}{% Bradfield:2002:IFM,% Kanellakis:1995:CMA% }. \NAMECITE{Concurrent}{% Erdogmus:1997:ADV,% Nielsen:2002:TCC,% Ruksenas:2004:RED,% Mendler:1995:LVC% }. \NAMECITE{Conditional}{% Harsu:1999:TCC% }. \NAMECITE{congruence}{% Verhoef:1995:CTS% }. \NAMECITE{Congruences}{% Sassone:2003:DBC% }. \NAMECITE{Conic}{% Devillers:1999:FOC% }. \NAMECITE{Connected}{% Chung:1995:FMF% }. \NAMECITE{Conscious}{% Petrank:2005:HCC% }. \NAMECITE{Constant}{% Brodal:1996:PPD% }. \NAMECITE{Constrained}{% Marathe:1996:SCN% }. \NAMECITE{Constraint}{% Fecht:1998:PDE,% Lau:1996:RAC,% Nielsen:2002:TCC,% Pottier:2000:VCB,% Seidl:2000:CBI,% Mendler:1995:LVC% }. \NAMECITE{Constraint-Based}{% Pottier:2000:VCB,% Seidl:2000:CBI% }. \NAMECITE{Constraints}{% Subramani:2006:CPD% }. \NAMECITE{Construction}{% Bodlaender:2004:SEC,% Inenaga:2003:BCS,% Becker:1994:NAC% }. \NAMECITE{Constructive}{% Dahl:1998:SCS% }. \NAMECITE{context}{% Hungar:1994:LMC% }. \NAMECITE{context-free}{% Hungar:1994:LMC% }. \NAMECITE{Continuous}{% Back:2001:CAS% }. \NAMECITE{Control}{% Amadio:2002:DCR,% Bostrom:2004:ICS,% Hune:2001:GSC,% Hwang:1999:DKG,% Poddar:2006:VGB,% Jajodia:1994:VBD% }. \NAMECITE{Controlling}{% Kanellakis:1995:CMA% }. \NAMECITE{Conventions}{% Hedin:1997:AET% }. \NAMECITE{Convex}{% Agarwal:2000:PDT% }. \NAMECITE{Coordination}{% Ciancarini:1999:CTI% }. \NAMECITE{Corecursion}{% Nestra:2005:TC% }. \NAMECITE{Cores}{% Lillieroth:1999:FVF% }. \NAMECITE{corridor}{% Janardan:1994:WCP% }. \NAMECITE{Cost}{% Celiku:2004:CBA% }. \NAMECITE{Cost-Based}{% Celiku:2004:CBA% }. \NAMECITE{Countries}{% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Covering}{% Kratochvil:1998:CGC,% Fiala:2003:GCC% }. \NAMECITE{{Crochemore}}{% Franek:2003:NCR% }. \NAMECITE{Cryptographic}{% Abadi:1998:BMC,% Al-Azzoni:2005:MVC% }. \NAMECITE{{CSP}}{% Hoenicke:2002:COD,% Ouaknine:2003:TCC% }. \NAMECITE{{CSP-OZ-DC}}{% Hoenicke:2002:COD% }. \NAMECITE{Cut}{% Bodlaender:2000:CMC% }. \NAMECITE{{D}}{% Agarwal:2000:PDT,% Chung:1995:MPD% }. \NAMECITE{{Dahm}}{% Klipsch:2002:NBD% }. \NAMECITE{{Damerau}}{% Hyyro:2003:BVA% }. \NAMECITE{Data}{% Bodlaender:1995:CAT,% Brodal:1996:PPD,% Hoenicke:2002:COD,% Lin:1996:SAS,% Petrank:2005:HCC,% Walicki:1995:SSI,% Coolsaet:1994:TMV% }. \NAMECITE{{DC}}{% Hoenicke:2002:COD% }. \NAMECITE{Decidability}{% Amadio:2002:DCR% }. \NAMECITE{decomposition}{% Burkart:1995:CDM% }. \NAMECITE{Deductive}{% Bruckner:2006:OSF% }. \NAMECITE{Degree}{% Brodal:1996:PPD,% Halldorsson:1994:IAI% }. \NAMECITE{{Delaunay}}{% Krznaric:1998:CTQ% }. \NAMECITE{Delegating}{% Bosch:1997:DCO% }. \NAMECITE{Denotation}{% Nielsen:2002:TCC% }. \NAMECITE{Dependences}{% Ross:1998:BBB% }. \NAMECITE{Dependencies}{% Paakki:1997:RPD% }. \NAMECITE{Dependent}{% Benke:2003:UGP% }. \NAMECITE{Depth}{% Agarwal:2000:PDT% }. \NAMECITE{Deques}{% Katajainen:2003:NPA% }. \NAMECITE{Derivation}{% Dosch:2001:CAF,% Schellekens:2006:SDT% }. \NAMECITE{Deriving}{% Nesi:2006:DTF,% Sassone:2003:DBC% }. \NAMECITE{Described}{% Karhumaki:2000:PMP% }. \NAMECITE{Descriptions}{% Karpinski:1997:EPM% }. \NAMECITE{Design}{% Al-Azzoni:2005:MVC,% Barros:2005:CSC,% Carrez:2008:SES,% Gebremedhin:2006:PMD,% Lilius:2005:AEE,% Marathe:1996:SCN,% Normark:1999:APT% }. \NAMECITE{Design/\penalty0{}{CPN}}{% Al-Azzoni:2005:MVC% }. \NAMECITE{Detection}{% Wenzel:2005:ADI% }. \NAMECITE{Determinants}{% Staron:2004:CSP% }. \NAMECITE{Deterministic}{% Elmasry:2005:DJ% }. \NAMECITE{Development}{% Bjarnason:1999:ILD,% Bortin:2006:SFD,% Christensen:1999:RSD,% Gayo:2001:MDI,% Hammouda:2002:PBJ,% Kjelstrom:1999:CTC,% Lilius:2004:GEF,% Mohagheghi:2008:MSP,% Mughal:1999:GEF,% Opdahl:2000:GEF,% Raatikainen:2008:FME,% Ruksenas:2004:RED,% Tsiopoulos:2006:FDN% }. \NAMECITE{Diagrams}{% Byckling:2006:ICO,% Lam:2007:FRA,% Larsen:1999:CDD,% Parrow:1995:ID,% Roos:1997:NUB,% Tsin:1996:GVD,% Wenzel:2005:ADI% }. \NAMECITE{diameter}{% Blair:1994:FMD,% Bodlaender:1994:TON% }. \NAMECITE{Diameters}{% Doddi:2000:AAC% }. \NAMECITE{Dictionaries}{% Malmi:1996:NMU,% Pagh:2000:TWC% }. \NAMECITE{Difference}{% Larsen:1999:CDD,% Subramani:2006:CPD% }. \NAMECITE{Differences}{% Fecht:1998:PDE% }. \NAMECITE{different}{% Bremler-Barr:2007:PLT% }. \NAMECITE{Dimensional}{% Bodlaender:1995:CAT,% Karhumaki:2000:PMP% }. \NAMECITE{Dimensions}{% Krznaric:1999:MST,% Ottmann:2001:EEP% }. \NAMECITE{Direct}{% Datta:1996:OPA% }. \NAMECITE{Directed}{% Tronicek:2004:EDA% }. \NAMECITE{Directions}{% Vestdam:2004:MPU% }. \NAMECITE{Directives}{% Lin:1996:SAS% }. \NAMECITE{Disjoint}{% Natarajan:1996:DPC,% Jansen:1994:IFD% }. \NAMECITE{Distances}{% Hyyro:2003:BVA% }. \NAMECITE{Distinguishing}{% Godskesen:1995:SDF% }. \NAMECITE{Distributed}{% Dobrev:1998:CCS,% Lin:1996:SAS,% Mork:2001:DIP,% Sere:2001:SVD% }. \NAMECITE{Distribution}{% Sen:1999:DSA% }. \NAMECITE{Distribution-Sensitive}{% Sen:1999:DSA% }. \NAMECITE{Distributive}{% Fecht:1998:PDE% }. \NAMECITE{Document}{% Berlea:2004:BQD% }. \NAMECITE{Documentation}{% Vestdam:2000:DTP% }. \NAMECITE{Dominance}{% Datta:1996:OPA% }. \NAMECITE{Dominating}{% Eades:1996:TMD,% Heggernes:1998:PGG% }. \NAMECITE{domination}{% Kratochvil:1995:GDC,% Telle:1994:CDT% }. \NAMECITE{domination-type}{% Telle:1994:CDT% }. \NAMECITE{Don't}{% Iliopoulos:2003:SRD% }. \NAMECITE{Down}{% Liberatore:2000:SJB% }. \NAMECITE{Driven}{% Erdogmus:1997:ADV,% Santos:2006:MDA% }. \NAMECITE{Dual}{% Boyar:2001:CRL% }. \NAMECITE{Duration}{% Xu:2008:FST% }. \NAMECITE{Dynamic}{% Bereg:2004:DAA,% Bodlaender:2004:SEC,% Ernst:1999:DIS,% Ernst:2002:SDM,% Husfeldt:1996:LBD,% Hwang:1999:DKG,% Ron:1999:ODP,% Jajodia:1994:VBD,% Schenk:1994:PDL% }. \NAMECITE{Edge}{% Berry:2000:RWT% }. \NAMECITE{Edit}{% Hyyro:2003:BVA% }. \NAMECITE{{Editor}}{% Halldorsson:2000:GEF,% Hankin:1998:GEF,% Holub:2003:GEF,% Hvannberg:2008:GEF,% Jones:2006:GEF,% Koskimies:1997:EF,% Lingas:1994:EF,% Osterbye:2002:GEF,% Peltonen:2013:GEF,% Prinz:2006:GEF,% Sere:1999:GEF,% Skyum:1994:GEF,% Smolka:2000:GEF,% Ukkonen:1995:EF% }. \NAMECITE{{Editors}}{% Aceto:2002:GEF,% Haveraaen:2001:GEF,% Haveraaen:2002:GEF,% Haveraaen:2003:GEF,% Jonsson:1995:GEF,% Karlsson:1996:GEF,% Koskimies:2005:GEF,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Lilius:2005:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Pettersson:2005:GEF,% Sere:2001:GEF,% Sere:2004:GEF% }. \NAMECITE{Effectiveness}{% Staron:2004:CSP% }. \NAMECITE{Efficiency}{% Tiusanen:2013:GKA,% Vassilakopoulos:1995:EAO% }. \NAMECITE{Efficient}{% Bodlaender:2004:SEC,% Fecht:1998:PDE,% Franek:2003:NCR,% Gebremedhin:2006:PMD,% Karpinski:1997:EPM,% Pagh:2000:TWC,% Chlebus:1994:SNS,% Kamakoti:1995:ERA,% Kanellakis:1995:CMA% }. \NAMECITE{{Eiffel}}{% Sakkinen:2013:TFF% }. \NAMECITE{Element}{% Lemire:2006:SMM% }. \NAMECITE{Elucidative}{% Normark:2000:EP,% Vestdam:2002:EPT% }. \NAMECITE{Embedded}{% Bjarnason:1999:ILD,% Mork:2001:DIP,% Poddar:2006:VGB% }. \NAMECITE{Embeddings}{% Veldhuizen:2005:LEP% }. \NAMECITE{Encoding}{% Makinen:2005:SSA% }. \NAMECITE{Enforcing}{% Hedin:1997:AET% }. \NAMECITE{Engineering}{% Alanen:2005:CMF,% Arisholm:2002:WBS,% Bosch:1997:DCO,% Carrez:2008:SES,% Haveraaen:1999:FSE,% Santos:2006:MDA% }. \NAMECITE{Enhancing}{% Raatikainen:2008:FME% }. \NAMECITE{Enumerating}{% Ottmann:2001:EEP% }. \NAMECITE{Enumeration}{% Sleumer:1999:OSC% }. \NAMECITE{Environment}{% Arisholm:2002:WBS,% Christensen:1999:RSD,% Hammouda:2002:PBJ,% Lilius:2004:GEF,% Lilius:2005:AEE,% Mughal:1999:GEF,% Opdahl:2000:GEF,% Ron:1999:ODP,% Ruksenas:2004:RED,% Sjoberg:1997:PWP% }. \NAMECITE{Episode}{% Tronicek:2004:EDA% }. \NAMECITE{epsilon}{% Ouaknine:2003:TCC% }. \NAMECITE{epsilon-automata}{% Ouaknine:2003:TCC% }. \NAMECITE{Equal}{% Cieliebak:2008:CVE% }. \NAMECITE{equations}{% Seidl:1996:LGS% }. \NAMECITE{Estimation}{% Lind:2008:ERT% }. \NAMECITE{Eta}{% Stovring:2006:HOB% }. \NAMECITE{{Euclidean}}{% Johnsson:1998:EMP% }. \NAMECITE{Evaluation}{% Berlea:2006:OER,% Grobauer:2001:PEP% }. \NAMECITE{Evolving}{% Jonsson:2001:IRS% }. \NAMECITE{exchange}{% Coolsaet:1994:TMV% }. \NAMECITE{Executable}{% Dobrzanski:2005:PRE% }. \NAMECITE{Experiments}{% Arisholm:2002:WBS,% Larsen:1999:EAA% }. \NAMECITE{Explicit}{% Byckling:2006:ICO% }. \NAMECITE{Exploration}{% Hammar:2002:IER,% Lilius:2005:AEE% }. \NAMECITE{Expression}{% Navarro:2004:ARE% }. \NAMECITE{Expressive}{% Carbone:2003:EPP,% Crolard:2006:EPL% }. \NAMECITE{Extensibility}{% Mossenbock:1994:EOS,% Ron:1999:ODP% }. \NAMECITE{Extensions}{% Hedin:1997:AET% }. \NAMECITE{Extreme}{% Bendix:2002:SSE,% Ottmann:2001:EEP% }. \NAMECITE{Fabric}{% Tahar:1999:CHM% }. \NAMECITE{Facility}{% Segal:2003:POF% }. \NAMECITE{Factor}{% Narasimhan:2002:AAB% }. \NAMECITE{Factorization}{% Roche:1997:CFF% }. \NAMECITE{Family}{% Clausen:1995:FBC% }. \NAMECITE{Fan}{% Gonzalez:1998:BFM% }. \NAMECITE{Fan-Out}{% Gonzalez:1998:BFM% }. \NAMECITE{Fanout}{% Ang:1996:AAS% }. \NAMECITE{Fast}{% Chung:1995:FMF,% Franek:2003:NCR,% Gudmundsson:1999:FAA% }. \NAMECITE{Fatal}{% Linnestad:1996:FSK% }. \NAMECITE{Fault}{% Diks:1996:FTL,% Kanellakis:1995:CMA% }. \NAMECITE{Fault-Tolerant}{% Diks:1996:FTL,% Kanellakis:1995:CMA% }. \NAMECITE{{Featback}}{% Raatikainen:2008:FME% }. \NAMECITE{Features}{% Harsu:2000:IOO% }. \NAMECITE{Filter}{% Lemire:2006:SMM% }. \NAMECITE{Finding}{% Chung:1995:FMF,% Das:1994:FAW,% Devillers:1999:FOC,% Blair:1994:FMD% }. \NAMECITE{Finite}{% Karhumaki:2000:PMP,% Roche:1997:CFF% }. \NAMECITE{Finite-State}{% Roche:1997:CFF% }. \NAMECITE{First}{% Russo:2000:FCS% }. \NAMECITE{First-Class}{% Russo:2000:FCS% }. \NAMECITE{Fixpoint}{% Fecht:1998:PDE% }. \NAMECITE{Flaw}{% Nesi:2006:DTF% }. \NAMECITE{Fledged}{% Sakkinen:2013:TFF% }. \NAMECITE{Flexible}{% Rick:1995:NFA% }. \NAMECITE{Flow}{% Mossin:1998:HOV,% Jansen:1994:IFD% }. \NAMECITE{fly}{% Latvala:2004:IFV% }. \NAMECITE{forbidden}{% Heggernes:2007:LTC% }. \NAMECITE{Foreword}{% Aceto:2002:GEF,% Halldorsson:2000:GEF,% Hankin:1998:GEF,% Haveraaen:2001:GEF,% Haveraaen:2002:GEF,% Haveraaen:2003:GEF,% Holub:2003:GEF,% Hvannberg:2008:GEF,% Jones:2006:GEF,% Karlsson:1996:GEF,% Koskimies:1997:EF,% Koskimies:2005:GEF,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Lilius:2005:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Osterbye:2002:GEF,% Peltonen:2013:GEF,% Pettersson:2005:GEF,% Prinz:2006:GEF,% Sere:1999:GEF,% Sere:2001:GEF,% Sere:2004:GEF,% Smolka:2000:GEF,% Jonsson:1995:GEF,% Lingas:1994:EF,% Skyum:1994:GEF,% Ukkonen:1995:EF% }. \NAMECITE{fork}{% Havelund:1994:FC% }. \NAMECITE{Form}{% Stovring:2006:HOB% }. \NAMECITE{Formal}{% Bortin:2006:SFD,% Bruckner:2006:OSF,% Haveraaen:1999:FSE,% Lillieroth:1999:FVF,% Man:2007:FSA,% Tsiopoulos:2006:FDN% }. \NAMECITE{Formalising}{% Xu:2008:FST% }. \NAMECITE{Formalism}{% Lam:2007:FRA% }. \NAMECITE{Formulae}{% Godskesen:1995:SDF% }. \NAMECITE{Forward}{% Abdulla:2007:UFR% }. \NAMECITE{{FPGA}}{% Lillieroth:1999:FVF% }. \NAMECITE{Fragmented}{% Vestdam:2000:DTP% }. \NAMECITE{Fragments}{% Siikarla:2006:TUM% }. \NAMECITE{Frameworks}{% Alanen:2005:CMF% }. \NAMECITE{Free}{% Berman:2000:AMW,% Hungar:1994:LMC% }. \NAMECITE{Friendly}{% Bradfield:2002:IFM% }. \NAMECITE{Fully}{% Sakkinen:2013:TFF% }. \NAMECITE{Fully-Fledged}{% Sakkinen:2013:TFF% }. \NAMECITE{Functional}{% Hofmann:2000:TSB% }. \NAMECITE{Functions}{% Gyimothy:1997:LSF,% Kristoffersen:1998:IHO% }. \NAMECITE{Fusion}{% Dosch:2001:CAF% }. \NAMECITE{Future}{% Vestdam:2004:MPU% }. \NAMECITE{Gain}{% Lundberg:1997:BGC% }. \NAMECITE{Games}{% Nielsen:1995:GLN,% Petersson:2001:RSA% }. \NAMECITE{Gaps}{% Crochemore:2002:ASM% }. \NAMECITE{General}{% Bove:2001:SGR% }. \NAMECITE{Generalized}{% Fiala:2003:GCC,% Hagerup:1994:GTS,% Heggernes:1998:PGG,% Kratochvil:1995:GDC% }. \NAMECITE{Generate}{% Koskinen:2006:PBA% }. \NAMECITE{Generating}{% Akl:1996:GAT% }. \NAMECITE{Generation}{% Hwang:1999:DKG% }. \NAMECITE{Generic}{% Benke:2003:UGP,% Fersman:2004:GAS% }. \NAMECITE{Genetic}{% Raiha:2008:PBG% }. \NAMECITE{Geodesic}{% Tsin:1996:GVD% }. \NAMECITE{Geometric}{% Bollobas:2001:TSS,% Gupta:2006:RAQ,% Segal:2003:POF,% Pferschy:1994:SGC% }. \NAMECITE{Geometry}{% Mukhopadhyay:1997:OLP% }. \NAMECITE{Giotto}{% Poddar:2006:VGB% }. \NAMECITE{Good}{% Harsu:2013:CCG,% Tiusanen:2013:GKA% }. \NAMECITE{Grammars}{% Efremidis:1997:AAG,% Gyimothy:1997:LSF,% Magnusson:2000:PVU% }. \NAMECITE{Grams}{% Sutinen:2004:ASM% }. \NAMECITE{Graph}{% Kratochvil:1998:CGC,% Tronicek:2004:EDA% }. \NAMECITE{Graphs}{% Andreou:1999:NCA,% Berman:2000:AMW,% Berry:2000:RWT,% Eades:1996:TMD,% Heggernes:1998:PGG,% Mossin:1998:HOV,% Natarajan:1996:DPC,% Pal:1997:OPA,% Halldorsson:1994:IAI,% Kratochvil:1995:GDC,% Peinado:1994:HGR,% Telle:1994:CDT% }. \NAMECITE{greatest}{% Seidl:1996:LGS% }. \NAMECITE{{Guest}}{% Aceto:2002:GEF,% Halldorsson:2000:GEF,% Hankin:1998:GEF,% Haveraaen:2001:GEF,% Haveraaen:2002:GEF,% Haveraaen:2003:GEF,% Holub:2003:GEF,% Hvannberg:2008:GEF,% Jones:2006:GEF,% Jonsson:1995:GEF,% Karlsson:1996:GEF,% Koskimies:2005:GEF,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Lilius:2005:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Osterbye:2002:GEF,% Peltonen:2013:GEF,% Pettersson:2005:GEF,% Prinz:2006:GEF,% Sere:1999:GEF,% Sere:2001:GEF,% Sere:2004:GEF,% Skyum:1994:GEF,% Smolka:2000:GEF% }. \NAMECITE{Guided}{% Hune:2001:GSC% }. \NAMECITE{Guidelines}{% Herczeg:2013:TFF% }. \NAMECITE{{HALDEN}}{% Sivertsen:2004:UVU% }. \NAMECITE{{Halld{\'o}rsson}}{% Peinado:1994:HGR% }. \NAMECITE{Hard}{% Peinado:1994:HGR,% Kann:1994:PBM% }. \NAMECITE{Hardness}{% Petrank:2005:HCC% }. \NAMECITE{Hardware}{% Man:2007:FSA% }. \NAMECITE{Hashing}{% Baeza-Yates:1998:ALH% }. \NAMECITE{Height}{% Kaser:1997:OHR% }. \NAMECITE{Heuristics}{% Lysne:1994:HCA,% Mahajan:2007:BSC% }. \NAMECITE{hierarchical}{% Marathe:1994:CAP% }. \NAMECITE{Hierarchies}{% Kaser:1997:OHR% }. \NAMECITE{Hierarchy}{% Hwang:1999:DKG% }. \NAMECITE{Higher}{% Kristoffersen:1998:IHO,% Mossin:1998:HOV,% Ottmann:2001:EEP,% Stovring:2006:HOB,% Krussel:1994:NHO% }. \NAMECITE{Higher-Order}{% Mossin:1998:HOV,% Stovring:2006:HOB% }. \NAMECITE{history}{% Wagner:2002:ASS% }. \NAMECITE{{HOL}}{% Celiku:2004:CBA,% Melham:1994:MTC,% Tahar:1999:CHM% }. \NAMECITE{Hybrid}{% Back:2001:CAS,% Ronkko:2001:LHA,% Schneider:2004:CIK% }. \NAMECITE{hypergraphs}{% Alon:1996:CCH% }. \NAMECITE{Hyperplane}{% Devillers:1999:FOC,% Sleumer:1999:OSC% }. \NAMECITE{Hypertextual}{% Paakki:1997:RPD% }. \NAMECITE{Identifying}{% Harsu:2000:IOO% }. \NAMECITE{Image}{% Cinque:2003:WOP% }. \NAMECITE{Images}{% Karhumaki:2000:PMP% }. \NAMECITE{Implementation}{% Bostrom:2004:ICS,% Cinque:2003:WOP,% Mork:2001:DIP,% Walicki:1995:SSI% }. \NAMECITE{Implementing}{% Nilsson:2004:IJC% }. \NAMECITE{Improved}{% Halldorsson:1994:IAI,% Hammar:2002:IER,% Latvala:2004:IFV,% Raman:1999:IUB% }. \NAMECITE{In-Place}{% Hofmann:2000:TSB,% Katajainen:1996:PPM% }. \NAMECITE{Incomplete}{% Wenzel:2005:ADI% }. \NAMECITE{Increasing}{% Byckling:2006:ICO% }. \NAMECITE{Incremental}{% Jonsson:2001:IRS,% Mauborgne:2000:IUR% }. \NAMECITE{Independence}{% Bradfield:2002:IFM% }. \NAMECITE{Independence-Friendly}{% Bradfield:2002:IFM% }. \NAMECITE{Independent}{% Berman:2000:AMW,% Prieto:2005:RIS,% Halldorsson:1994:IAI% }. \NAMECITE{Index}{% Anonymous:2002:AIV,% Anonymous:2003:AIV,% Anonymous:2004:AIV% }. \NAMECITE{Induced}{% Zito:2000:LTM,% Heggernes:2007:LTC% }. \NAMECITE{induction}{% Lysne:1994:HCA% }. \NAMECITE{Inductive}{% Uustalu:1999:MSI% }. \NAMECITE{Industrial}{% Staron:2004:CSP% }. \NAMECITE{Inference}{% Palsberg:1997:TIS,% Pottier:2000:VCB% }. \NAMECITE{Information}{% Kranakis:2008:TMU% }. \NAMECITE{Inheritance}{% Ernst:1999:DIS,% Ernst:2002:SDM,% Sakkinen:2013:TFF% }. \NAMECITE{Input}{% Boyar:2001:CRL% }. \NAMECITE{Instances}{% Wenzel:2005:ADI% }. \NAMECITE{Integer}{% Navarro:2004:ARE% }. \NAMECITE{Integral}{% Jansen:1994:IFD% }. \NAMECITE{Inter}{% Seidl:2000:CBI% }. \NAMECITE{Inter-Procedural}{% Seidl:2000:CBI% }. \NAMECITE{Interaction}{% Fernandez:2003:INM,% Parrow:1995:ID% }. \NAMECITE{Interactions}{% Runde:2005:RUI% }. \NAMECITE{Interactive}{% Bjarnason:1999:ILD% }. \NAMECITE{Interdistances}{% Bereg:2004:DAA% }. \NAMECITE{Interface}{% Ernits:2005:MAS,% Kyas:2005:CTL% }. \NAMECITE{Interfaces}{% Lahtinen:2008:MBA% }. \NAMECITE{Internal}{% Prieto:2005:RIS% }. \NAMECITE{{Internet}}{% Ciancarini:1999:CTI% }. \NAMECITE{Interpreters}{% Gayo:2001:MDI% }. \NAMECITE{Intersection}{% Eades:1996:TMD% }. \NAMECITE{Interval}{% Pal:1997:OPA% }. \NAMECITE{Intervals}{% Fecher:2001:RTP% }. \NAMECITE{Introducing}{% Kristoffersen:1998:IHO% }. \NAMECITE{Invariance}{% Schneider:2004:CIK% }. \NAMECITE{Invariant}{% Lemstrom:2003:TIP% }. \NAMECITE{Involving}{% Gupta:2006:RAQ% }. \NAMECITE{{Isabelle}}{% Bortin:2006:SFD% }. \NAMECITE{Issues}{% Vestdam:2004:MPU% }. \NAMECITE{{J2EE}}{% Hammouda:2002:PBJ% }. \NAMECITE{{Java}}{% Nilsson:2004:IJC% }. \NAMECITE{{JavaScript}}{% Herczeg:2013:TFF% }. \NAMECITE{Jobs}{% Liberatore:2000:SJB% }. \NAMECITE{Jumplists}{% Elmasry:2005:DJ% }. \NAMECITE{kernel}{% Schuierer:1994:TAC% }. \NAMECITE{Kernels}{% Schneider:2004:CIK% }. \NAMECITE{Key}{% Hwang:1999:DKG% }. \NAMECITE{Know}{% Tiusanen:2013:GKA% }. \NAMECITE{{Knuth}}{% Linnestad:1996:FSK% }. \NAMECITE{label}{% Bremler-Barr:2007:PLT% }. \NAMECITE{lambda}{% DiGianantonio:1995:ULL,% Fisher:1994:LCO% }. \NAMECITE{Language}{% Bjarnason:1999:ILD,% Bosch:1997:DCO,% Crolard:2006:EPL,% Ernst:1999:DIS,% Mork:2001:DIP,% Veldhuizen:2005:LEP% }. \NAMECITE{Languages}{% Kristiansen:2005:PLC,% Paakki:1998:SST% }. \NAMECITE{layout}{% Bremler-Barr:2007:PLT% }. \NAMECITE{Learning}{% Gyimothy:1997:LSF% }. \NAMECITE{Least}{% Seidl:1996:LGS% }. \NAMECITE{Length}{% Makinen:2005:SSA% }. \NAMECITE{{Levenshtein}}{% Hyyro:2003:BVA% }. \NAMECITE{limits}{% DiGianantonio:1995:ULL% }. \NAMECITE{Line}{% Boyar:2001:CRL,% Gambosi:1997:LMA,% Mukhopadhyay:1997:OLP,% Santos:2006:MDA% }. \NAMECITE{Linear}{% Baeza-Yates:1998:ALH,% Diks:1996:FTL,% Heggernes:2007:LTC,% Ronkko:2001:LHA,% Zito:2000:LTM,% Das:1994:FAW,% Hagerup:1994:GTS,% Krznaric:1998:CTQ% }. \NAMECITE{Linear-time}{% Heggernes:2007:LTC% }. \NAMECITE{Lists}{% Krizanc:2005:RMR% }. \NAMECITE{Local}{% Hungar:1994:LMC% }. \NAMECITE{Location}{% Husfeldt:1996:LBD% }. \NAMECITE{Logarithmic}{% Burghardt:2001:MPS% }. \NAMECITE{Logic}{% Bradfield:2002:IFM,% Kyas:2005:CTL,% Leino:1998:ROT,% Nielsen:2002:TCC% }. \NAMECITE{logical}{% Mendler:1995:LVC% }. \NAMECITE{logics}{% Nielsen:1995:GLN% }. \NAMECITE{Long}{% Stovring:2006:HOB% }. \NAMECITE{Longest}{% Rick:1995:NFA% }. \NAMECITE{Loop}{% Crolard:2006:EPL% }. \NAMECITE{Lossless}{% Cinque:2003:WOP% }. \NAMECITE{Lower}{% Husfeldt:1996:LBD,% Schellekens:2006:SDT% }. \NAMECITE{lowest}{% Schenk:1994:PDL% }. \NAMECITE{Machines}{% Lin:1996:SAS% }. \NAMECITE{Main}{% Malmi:1996:NMU% }. \NAMECITE{Maintaining}{% Brodal:1996:RCM,% Burghardt:2001:MPS,% Vestdam:2004:MPU% }. \NAMECITE{Maintenance}{% Gambosi:1997:LMA% }. \NAMECITE{Making}{% Byckling:2006:ICO% }. \NAMECITE{Management}{% Bendix:1999:SSC,% Bendix:2000:SSC,% Raatikainen:2008:FME,% Santos:2006:MDA% }. \NAMECITE{{Manhattan}}{% Gudmundsson:2001:AMM% }. \NAMECITE{Mapping}{% Chung:1995:MPD% }. \NAMECITE{Matching}{% Baba:2003:NRA,% Cinque:2003:WOP,% Clausen:1995:FBC,% Crochemore:2002:ASM,% Grobauer:2001:PEP,% Husfeldt:1996:LBD,% Johnsson:1998:EMP,% Karhumaki:2000:PMP,% Karpinski:1997:EPM,% Lemstrom:2003:TIP,% Mohri:1997:SMA,% Stovring:2006:HOB,% Sutinen:2004:ASM,% Zito:2000:LTM% }. \NAMECITE{Matchings}{% Hoyer:1998:PPR% }. \NAMECITE{Matrices}{% Asano:2000:ORS% }. \NAMECITE{{MAXCLIQUE}}{% Peinado:1994:HGR% }. \NAMECITE{Maximal}{% Fecher:2001:RTP,% Gairing:2004:SSA% }. \NAMECITE{Maximum}{% Asano:1996:AAM,% Berman:2000:AMW,% Bodlaender:2000:CMC,% Lemire:2006:SMM,% Ostergaard:2001:NAM,% Zito:2000:LTM,% Lam:1996:CUM% }. \NAMECITE{Maximum-Minimum}{% Lemire:2006:SMM% }. \NAMECITE{Maximum-Weight}{% Ostergaard:2001:NAM% }. \NAMECITE{{McCarthy}}{% Fernandez:2003:INM% }. \NAMECITE{{MDA}}{% Raiha:2008:PBG,% Staron:2004:CSP% }. \NAMECITE{{MDG}}{% Tahar:1999:CHM% }. \NAMECITE{Mechanised}{% Celiku:2004:CBA% }. \NAMECITE{mechanized}{% Melham:1994:MTC% }. \NAMECITE{Median}{% Chung:1995:FMF,% Krizanc:2005:RMR% }. \NAMECITE{Median-Finding}{% Chung:1995:FMF% }. \NAMECITE{Memory}{% Ernits:2005:MAS,% Lin:1996:SAS,% Lundberg:1997:BGC,% Malmi:1996:NMU,% Kanellakis:1995:CMA% }. \NAMECITE{{Mendler}}{% Uustalu:1999:MSI% }. \NAMECITE{{Mendler}-Style}{% Uustalu:1999:MSI% }. \NAMECITE{Mergesort}{% Katajainen:1996:PPM% }. \NAMECITE{Mesh}{% Chung:1995:FMF% }. \NAMECITE{Mesh-Connected}{% Chung:1995:FMF% }. \NAMECITE{Meshes}{% Chung:1995:MPD,% Leppanen:1995:WOS% }. \NAMECITE{Message}{% Israeli:1997:TMT% }. \NAMECITE{Metamodel}{% Mohagheghi:2008:MSP% }. \NAMECITE{Method}{% Abadi:1998:BMC,% Malmi:1996:NMU,% Raatikainen:2008:FME,% Coolsaet:1994:TMV,% Fisher:1994:LCO% }. \NAMECITE{Methods}{% Ang:1996:AAS,% Tiusanen:2013:GKA% }. \NAMECITE{minimization}{% Kann:1994:PBM% }. \NAMECITE{Minimize}{% Doddi:2000:AAC% }. \NAMECITE{Minimum}{% Brodal:1996:RCM,% Eades:1996:TMD,% Fernandez-Baca:1996:USP,% Gudmundsson:2000:PAA,% Gudmundsson:2001:AMM,% Krznaric:1999:MST,% Lemire:2006:SMM,% Yamaguchi:1997:AAM,% Blair:1994:FMD% }. \NAMECITE{minimum-diameter}{% Blair:1994:FMD% }. \NAMECITE{Mismatches}{% Baba:2003:NRA% }. \NAMECITE{{ML}}{% Efremidis:1997:AAG,% Russo:2000:FCS% }. \NAMECITE{Mobile}{% Kranakis:2008:TMU% }. \NAMECITE{Modal}{% Bradfield:2002:IFM% }. \NAMECITE{Mode}{% Krizanc:2005:RMR% }. \NAMECITE{Model}{% Back:2001:CAS,% Boichut:2008:ABT,% Gebremedhin:2006:PMD,% Lahtinen:2008:MBA,% Mohagheghi:2008:MSP,% Raiha:2008:PBG,% Santos:2006:MDA,% Siikarla:2006:TUM,% Spelberg:2001:PRT,% Burkart:1995:CDM,% Hungar:1994:LMC% }. \NAMECITE{Model-Based}{% Lahtinen:2008:MBA,% Mohagheghi:2008:MSP% }. \NAMECITE{Model-Checking}{% Boichut:2008:ABT% }. \NAMECITE{Model-Driven}{% Santos:2006:MDA% }. \NAMECITE{Modeling}{% Al-Azzoni:2005:MVC,% Alanen:2005:CMF% }. \NAMECITE{Modelled}{% Billington:2005:VCS% }. \NAMECITE{Modelling}{% Haveraaen:1999:FSE% }. \NAMECITE{Models}{% Byckling:2006:ICO,% Dobrzanski:2005:PRE,% Mohagheghi:2008:MSP,% Bremler-Barr:2007:PLT,% Leppanen:1995:WOS% }. \NAMECITE{Modular}{% Gayo:2001:MDI% }. \NAMECITE{Modularity}{% Bosch:1997:DCO% }. \NAMECITE{Modules}{% Lundberg:1997:BGC% }. \NAMECITE{Moving}{% Roos:1997:NUB% }. \NAMECITE{Multi}{% Lemstrom:2003:TIP,% Seiden:1999:ROM% }. \NAMECITE{Multi-Threaded}{% Seiden:1999:ROM% }. \NAMECITE{Multi-Track}{% Lemstrom:2003:TIP% }. \NAMECITE{Multicasting}{% Gonzalez:1998:BFM% }. \NAMECITE{Multimessage}{% Gonzalez:1998:BFM% }. \NAMECITE{Multiple}{% Ernst:2002:SDM,% Herczeg:2013:TFF% }. \NAMECITE{Multiprocessors}{% Lundberg:1997:BGC% }. \NAMECITE{{Napier88}}{% Sjoberg:1997:PWP% }. \NAMECITE{Navigation}{% Katajainen:2003:NPA% }. \NAMECITE{{NC}}{% Andreou:1999:NCA% }. \NAMECITE{negative}{% Verhoef:1995:CTS% }. \NAMECITE{Neighborhoods}{% Gudmundsson:1999:FAA% }. \NAMECITE{Nets}{% Abdulla:2007:UFR,% Al-Azzoni:2005:MVC,% Barros:2005:CSC,% Billington:2005:VCS,% Fernandez:2003:INM% }. \NAMECITE{Network}{% Gudmundsson:2001:AMM,% Marathe:1996:SCN% }. \NAMECITE{Networks}{% Kranakis:2008:TMU,% Segal:2003:POF,% Bremler-Barr:2007:PLT,% Chlebus:1994:SNS,% Coolsaet:1994:TMV,% Orponen:1994:CCN% }. \NAMECITE{neural}{% Orponen:1994:CCN% }. \NAMECITE{No}{% Lemire:2006:SMM% }. \NAMECITE{{NoC}}{% Tsiopoulos:2006:FDN% }. \NAMECITE{Nodes}{% Storrle:2004:SNU% }. \NAMECITE{non}{% Bodlaender:1994:TON% }. \NAMECITE{non-reversing}{% Bodlaender:1994:TON% }. \NAMECITE{Nondeterminism}{% Runde:2005:RUI% }. \NAMECITE{Nondeterministic}{% Walicki:1995:SSI% }. \NAMECITE{noninterleaving}{% Nielsen:1995:GLN% }. \NAMECITE{{Nordic}}{% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Normal}{% Stovring:2006:HOB% }. \NAMECITE{Note}{% Baba:2003:NRA,% Fokkink:2005:NKS,% Franek:2003:NCR,% Klipsch:2002:NBD,% Krussel:1994:NHO% }. \NAMECITE{{NP}}{% Palsberg:1997:TIS% }. \NAMECITE{{NP}-complete}{% Palsberg:1997:TIS% }. \NAMECITE{Number}{% Lundberg:1997:BGC,% Alon:1996:CCH% }. \NAMECITE{Numerals}{% Goldberg:2002:HCC% }. \NAMECITE{{Oberon}}{% Mossenbock:1994:EOS% }. \NAMECITE{Object}{% Barros:2005:CSC,% Byckling:2006:ICO,% Harsu:2000:IOO,% Leino:1998:ROT,% Normark:1999:APT% }. \NAMECITE{Object-Oriented}{% Barros:2005:CSC,% Harsu:2000:IOO,% Leino:1998:ROT,% Normark:1999:APT% }. \NAMECITE{Objects}{% Bosch:1997:DCO,% Fisher:1994:LCO% }. \NAMECITE{Obnoxious}{% Segal:2003:POF% }. \NAMECITE{Off}{% Pagh:2000:TWC% }. \NAMECITE{Offs}{% Israeli:1997:TMT,% Bodlaender:1994:TON,% Raman:1999:IUB% }. \NAMECITE{old}{% Wagner:2002:ASS% }. \NAMECITE{On-Line}{% Boyar:2001:CRL,% Gambosi:1997:LMA% }. \NAMECITE{On-the-fly}{% Latvala:2004:IFV% }. \NAMECITE{Online}{% Berlea:2006:OER,% Seiden:1999:ROM% }. \NAMECITE{Open}{% Bendix:2000:SSC,% Fecher:2001:RTP% }. \NAMECITE{Operational}{% Nielson:1996:OST,% Verhoef:1995:CTS% }. \NAMECITE{Operations}{% Gupta:2006:RAQ% }. \NAMECITE{Optimal}{% Asano:2000:ORS,% Cinque:2003:WOP,% Datta:1996:OPA,% Dobrev:1998:CCS,% Kaser:1997:OHR,% Pal:1997:OPA,% Becker:1994:NAC,% Leppanen:1995:WOS% }. \NAMECITE{Optimizing}{% Bruckner:2006:OSF% }. \NAMECITE{Order}{% Kristoffersen:1998:IHO,% Mossin:1998:HOV,% Stovring:2006:HOB,% Krussel:1994:NHO% }. \NAMECITE{Ordered}{% Sutinen:2004:ASM% }. \NAMECITE{Ordinary}{% Devillers:1999:FOC,% Mukhopadhyay:1997:OLP% }. \NAMECITE{Oriented}{% Barros:2005:CSC,% Harsu:2000:IOO,% Leino:1998:ROT,% Normark:1999:APT,% Wehrheim:2002:RSB% }. \NAMECITE{{Otway}}{% Nesi:2006:DTF% }. \NAMECITE{Output}{% Sleumer:1999:OSC% }. \NAMECITE{Output-Sensitive}{% Sleumer:1999:OSC% }. \NAMECITE{overlapped}{% Vassilakopoulos:1995:EAO% }. \NAMECITE{Overview}{% Ron:1999:ODP% }. \NAMECITE{OZ}{% Hoenicke:2002:COD% }. \NAMECITE{Packing}{% Boyar:2001:CRL,% Gambosi:1997:LMA,% Gairing:2004:SSA% }. \NAMECITE{Paging}{% Seiden:1999:ROM% }. \NAMECITE{pair}{% Golin:1995:SRA,% Kamakoti:1995:ERA% }. \NAMECITE{Pairs}{% Pal:1997:OPA% }. \NAMECITE{Parallel}{% Akl:1996:GAT,% Cinque:2003:WOP,% Datta:1996:OPA,% Gebremedhin:2006:PMD,% Gudmundsson:2000:PAA,% Pal:1997:OPA,% Schenk:1994:PDL,% Seidl:2000:CBI,% Coolsaet:1994:TMV,% Kanellakis:1995:CMA% }. \NAMECITE{Parameterized}{% Lamo:2001:SPP% }. \NAMECITE{Parametric}{% Fernandez-Baca:1996:USP,% Hoyer:1998:PPR,% Spelberg:2001:PRT% }. \NAMECITE{Parentheses}{% Husfeldt:1996:LBD% }. \NAMECITE{Parity}{% Petersson:2001:RSA% }. \NAMECITE{Partial}{% Burghardt:2001:MPS,% Grobauer:2001:PEP% }. \NAMECITE{Partially}{% Brodal:1996:PPD% }. \NAMECITE{Partitioning}{% Heggernes:1998:PGG% }. \NAMECITE{Path}{% Bremler-Barr:2007:PLT,% Larsen:1999:EAA% }. \NAMECITE{Paths}{% Natarajan:1996:DPC,% Pal:1997:OPA% }. \NAMECITE{Pattern}{% Grobauer:2001:PEP,% Hammouda:2002:PBJ,% Karhumaki:2000:PMP,% Karpinski:1997:EPM,% Koskinen:2006:PBA,% Lemstrom:2003:TIP,% Raiha:2008:PBG% }. \NAMECITE{Pattern-Based}{% Hammouda:2002:PBJ,% Koskinen:2006:PBA,% Raiha:2008:PBG% }. \NAMECITE{Pattern-Matching}{% Karhumaki:2000:PMP,% Karpinski:1997:EPM% }. \NAMECITE{Patterns}{% Selonen:2004:TUP,% Wenzel:2005:ADI% }. \NAMECITE{\penalty0{}{CPN}}{% Al-Azzoni:2005:MVC% }. \NAMECITE{Penetration}{% Agarwal:2000:PDT% }. \NAMECITE{Permutation}{% Andreou:1999:NCA,% Hoyer:1998:PPR% }. \NAMECITE{Persistency}{% Lamo:2001:SPP% }. \NAMECITE{Persistent}{% Brodal:1996:PPD,% Sjoberg:1997:PWP% }. \NAMECITE{{Petri}}{% Abdulla:2007:UFR,% Al-Azzoni:2005:MVC,% Barros:2005:CSC,% Billington:2005:VCS% }. \NAMECITE{pi}{% Amadio:2002:DCR,% Carbone:2003:EPP% }. \NAMECITE{pi-Calculus}{% Amadio:2002:DCR,% Carbone:2003:EPP% }. \NAMECITE{Piles}{% Katajainen:2003:NPA% }. \NAMECITE{Place}{% Hofmann:2000:TSB,% Katajainen:1996:PPM% }. \NAMECITE{Placement}{% Petrank:2005:HCC% }. \NAMECITE{Placing}{% Segal:2003:POF% }. \NAMECITE{Planar}{% Husfeldt:1996:LBD% }. \NAMECITE{Point}{% Husfeldt:1996:LBD,% Kamakoti:1995:ERA% }. \NAMECITE{Pointer}{% Ross:1998:BBB% }. \NAMECITE{Points}{% Ottmann:2001:EEP,% Roos:1997:NUB% }. \NAMECITE{Polyadic}{% Carbone:2003:EPP% }. \NAMECITE{polygon}{% Das:1994:FAW,% Schuierer:1994:TAC% }. \NAMECITE{Polygonal}{% Schneider:2004:CIK% }. \NAMECITE{Polygons}{% Hammar:2002:IER% }. \NAMECITE{Polynomially}{% Kann:1994:PBM% }. \NAMECITE{Polytopes}{% Agarwal:2000:PDT% }. \NAMECITE{Power}{% Carbone:2003:EPP,% Crolard:2006:EPL,% Ganley:1998:PST% }. \NAMECITE{Power-}{% Ganley:1998:PST% }. \NAMECITE{Powerful}{% Berman:1999:SMP% }. \NAMECITE{Practical}{% Dobrzanski:2005:PRE,% Katajainen:1996:PPM% }. \NAMECITE{{PRAM}}{% Leppanen:1995:WOS% }. \NAMECITE{predicates}{% Verhoef:1995:CTS% }. \NAMECITE{premises}{% Verhoef:1995:CTS% }. \NAMECITE{Presence}{% Brown:1996:BSP,% Tsin:1996:GVD% }. \NAMECITE{Presentation}{% Normark:1999:APT,% Vestdam:2000:DTP% }. \NAMECITE{Preserve}{% Veldhuizen:2005:LEP% }. \NAMECITE{Priority}{% Katajainen:2003:NPA% }. \NAMECITE{{PRO}}{% Gebremedhin:2006:PMD% }. \NAMECITE{Probabilistic}{% Celiku:2004:CBA,% Segala:1995:PSP,% Troubitsyna:1999:RAT% }. \NAMECITE{Problem}{% Amadio:2002:DCR,% Asano:1996:AAM,% Bodlaender:2000:CMC,% Ganley:1998:PST,% Israeli:1997:TMT,% Johnsson:1998:EMP,% Larsen:1999:EAA,% Lau:1996:RAC,% Mukhopadhyay:1997:OLP,% Narasimhan:2002:AAB,% Ostergaard:2001:NAM,% Rick:1995:NFA,% Yamaguchi:1997:AAM,% Kamakoti:1995:ERA% }. \NAMECITE{Problems}{% Bollobas:2001:TSS,% Clausen:1995:FBC,% Datta:1996:OPA,% Fernandez-Baca:1996:USP,% Gupta:2006:RAQ,% Karhumaki:2000:PMP,% Kaser:1997:OHR,% Kratochvil:1998:CGC,% Marathe:1996:SCN,% Golin:1995:SRA,% Janardan:1994:WCP,% Kann:1994:PBM,% Marathe:1994:CAP,% Pferschy:1994:SGC,% Telle:1994:CDT% }. \NAMECITE{Procedural}{% Harsu:2000:IOO,% Seidl:2000:CBI% }. \NAMECITE{Process}{% Fecher:2001:RTP,% Mohagheghi:2008:MSP,% Mork:2001:DIP,% Staron:2004:CSP% }. \NAMECITE{Process-Algebra}{% Mork:2001:DIP% }. \NAMECITE{Processes}{% Hoenicke:2002:COD,% Burkart:1995:CDM,% Hungar:1994:LMC,% Segala:1995:PSP% }. \NAMECITE{processors}{% Coolsaet:1994:TMV% }. \NAMECITE{Product}{% Santos:2006:MDA% }. \NAMECITE{Product-Line}{% Santos:2006:MDA% }. \NAMECITE{Profiles}{% Selonen:2004:TUP% }. \NAMECITE{Program}{% Dosch:2001:CAF,% Magnusson:2000:PVU,% Paakki:1997:RPD,% Ross:1998:BBB,% Vestdam:2002:EPT,% Vestdam:2004:MPU% }. \NAMECITE{Programming}{% Bodlaender:2004:SEC,% Hedin:1997:AET,% Kristiansen:2005:PLC,% Lilius:2004:GEF,% Mork:2001:DIP,% Mughal:1999:GEF,% Nielsen:2002:TCC,% Normark:2000:EP,% Opdahl:2000:GEF,% Ron:1999:ODP,% Sjoberg:1997:PWP,% Subramani:2006:CPD,% Mendler:1995:LVC,% Bendix:2002:SSE% }. \NAMECITE{Programs}{% Benke:2003:UGP,% Celiku:2004:CBA,% Hune:2001:GSC,% Lamo:2001:SPP,% Leino:1998:ROT,% Seidl:2000:CBI% }. \NAMECITE{Progress}{% Fecher:2001:RTP% }. \NAMECITE{Proofs}{% Benke:2003:UGP,% Lysne:1994:HCA% }. \NAMECITE{Propagating}{% Fecht:1998:PDE% }. \NAMECITE{Properties}{% Fernandez:2003:INM,% Pilegaard:2003:AAA% }. \NAMECITE{Proportion}{% Chen:1996:PSS% }. \NAMECITE{Protocol}{% Nesi:2006:DTF% }. \NAMECITE{Protocols}{% Abadi:1998:BMC,% Al-Azzoni:2005:MVC,% Billington:2005:VCS,% Pilegaard:2003:AAA% }. \NAMECITE{{PSPACE}}{% Marathe:1994:CAP% }. \NAMECITE{{PSPACE}-complete}{% Marathe:1994:CAP% }. \NAMECITE{pushdown}{% Burkart:1995:CDM% }. \NAMECITE{Pyramids}{% Chung:1995:MPD% }. \NAMECITE{Quadtree}{% Krznaric:1998:CTQ% }. \NAMECITE{quadtrees}{% Vassilakopoulos:1995:EAO% }. \NAMECITE{Quality}{% Mohagheghi:2008:MSP% }. \NAMECITE{quartic}{% Lam:1996:CUM% }. \NAMECITE{Queries}{% Berlea:2004:BQD,% Berlea:2006:OER,% Krizanc:2005:RMR% }. \NAMECITE{Query}{% Gupta:2006:RAQ% }. \NAMECITE{Queues}{% Katajainen:2003:NPA% }. \NAMECITE{Radar}{% Ernits:2005:MAS% }. \NAMECITE{{Ragnarok}}{% Christensen:1999:RSD% }. \NAMECITE{Randomized}{% Baba:2003:NRA,% Brodal:1996:RCM,% Lau:1996:RAC,% Petersson:2001:RSA,% Seiden:1999:ROM,% Golin:1995:SRA,% Kamakoti:1995:ERA,% Peinado:1994:HGR% }. \NAMECITE{Range}{% Gupta:2006:RAQ,% Krizanc:2005:RMR% }. \NAMECITE{Range-Aggregate}{% Gupta:2006:RAQ% }. \NAMECITE{Ratio}{% Boyar:2001:CRL% }. \NAMECITE{Reachability}{% Abdulla:2007:UFR,% Amadio:2002:DCR,% Labroue:2002:ATA% }. \NAMECITE{Real}{% Fecher:2001:RTP,% Fersman:2004:GAS,% Godskesen:1995:SDF,% Lind:2008:ERT,% Spelberg:2001:PRT% }. \NAMECITE{Real-Time}{% Fecher:2001:RTP,% Fersman:2004:GAS,% Lind:2008:ERT,% Spelberg:2001:PRT% }. \NAMECITE{Realization}{% Staron:2004:CSP% }. \NAMECITE{Reasoning}{% Lam:2007:FRA% }. \NAMECITE{Rebalancing}{% Malmi:1996:NMU% }. \NAMECITE{recognition}{% Heggernes:2007:LTC% }. \NAMECITE{Recognizing}{% Berry:2000:RWT% }. \NAMECITE{Rectilinear}{% Hammar:2002:IER,% Tsin:1996:GVD% }. \NAMECITE{Recursion}{% Bove:2001:SGR,% Uustalu:2001:RSC% }. \NAMECITE{Recursive}{% Leino:1998:ROT% }. \NAMECITE{Reducing}{% Prieto:2005:RIS% }. \NAMECITE{Reduction}{% Kaser:1997:OHR% }. \NAMECITE{{Rees}}{% Nesi:2006:DTF% }. \NAMECITE{Refactoring}{% Dobrzanski:2005:PRE% }. \NAMECITE{Reference}{% Magnusson:2000:PVU% }. \NAMECITE{Refinement}{% Troubitsyna:1999:RAT% }. \NAMECITE{Refinements}{% Johnsen:2003:ART,% Raiha:2008:PBG% }. \NAMECITE{Refining}{% Runde:2005:RUI% }. \NAMECITE{Reflective}{% Lahtinen:2008:MBA% }. \NAMECITE{Regular}{% Berlea:2006:OER,% Boichut:2008:ABT,% Mauborgne:2000:IUR,% Navarro:2004:ARE% }. \NAMECITE{Regularities}{% Iliopoulos:2003:SRD% }. \NAMECITE{Relating}{% Wehrheim:2002:RSB% }. \NAMECITE{Relational}{% Paakki:1997:RPD% }. \NAMECITE{Reliability}{% Troubitsyna:1999:RAT% }. \NAMECITE{reliable}{% Chlebus:1994:SNS% }. \NAMECITE{removal}{% Halldorsson:1994:IAI% }. \NAMECITE{Repetitions}{% Franek:2003:NCR% }. \NAMECITE{replication}{% Jajodia:1994:VBD% }. \NAMECITE{Representation}{% Mauborgne:2000:IUR% }. \NAMECITE{Requirement}{% Jonsson:2001:IRS% }. \NAMECITE{{ReRAGs}}{% Nilsson:2004:IJC% }. \NAMECITE{Research}{% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Restricted}{% Boyar:2001:CRL% }. \NAMECITE{Reusability}{% Bosch:1997:DCO% }. \NAMECITE{Reverse}{% Sakkinen:2013:TFF% }. \NAMECITE{reversing}{% Bodlaender:1994:TON% }. \NAMECITE{Revisited}{% Baeza-Yates:1998:ALH,% Lamo:2001:SPP,% Grobauer:2001:PEP% }. \NAMECITE{Rewriting}{% Ghani:2003:RC,% Nesi:2006:DTF% }. \NAMECITE{Rigourous}{% Ruksenas:2004:RED% }. \NAMECITE{Ring}{% Fokkink:2005:NKS% }. \NAMECITE{Roles}{% Byckling:2006:ICO% }. \NAMECITE{Roundings}{% Asano:2000:ORS% }. \NAMECITE{Routing}{% Hoyer:1998:PPR% }. \NAMECITE{{RPPS}}{% Labroue:2002:ATA% }. \NAMECITE{Run}{% Makinen:2005:SSA% }. \NAMECITE{Run-Length}{% Makinen:2005:SSA% }. \NAMECITE{Safe}{% Ernst:2002:SDM% }. \NAMECITE{Safety}{% Veldhuizen:2005:LEP% }. \NAMECITE{Satisfaction}{% Lau:1996:RAC% }. \NAMECITE{Satisfiability}{% Asano:1996:AAM% }. \NAMECITE{Scalable}{% Gebremedhin:2006:PMD% }. \NAMECITE{Scenarios}{% Koskinen:2006:PBA% }. \NAMECITE{Schedulability}{% Fersman:2004:GAS% }. \NAMECITE{Scheduling}{% Liberatore:2000:SJB,% Xu:2008:FST% }. \NAMECITE{Scheme}{% Hwang:1999:DKG% }. \NAMECITE{Schemes}{% Uustalu:2001:RSC% }. \NAMECITE{Searching}{% Brown:1996:BSP,% Navarro:2004:ARE% }. \NAMECITE{Security}{% Pilegaard:2003:AAA% }. \NAMECITE{Segmented}{% Chung:1995:FMF% }. \NAMECITE{Selection}{% Raman:1999:IUB% }. \NAMECITE{Self}{% Fokkink:2005:NKS,% Gairing:2004:SSA% }. \NAMECITE{Self-stabilization}{% Fokkink:2005:NKS% }. \NAMECITE{Self-stabilizing}{% Gairing:2004:SSA% }. \NAMECITE{Selftypes}{% Palsberg:1997:TIS% }. \NAMECITE{Semantic}{% Gayo:2001:MDI,% Gyimothy:1997:LSF% }. \NAMECITE{Semantics}{% Nielson:1996:OST,% Verhoef:1995:CTS% }. \NAMECITE{Sensitive}{% Sen:1999:DSA,% Sleumer:1999:OSC% }. \NAMECITE{Separability}{% Berry:2000:RWT% }. \NAMECITE{Separated}{% Bollobas:2001:TSS% }. \NAMECITE{Sequences}{% Asano:2000:ORS,% Boyar:2001:CRL% }. \NAMECITE{Series}{% Bollobas:2001:TSS% }. \NAMECITE{Service}{% Carrez:2008:SES,% Marathe:1996:SCN% }. \NAMECITE{Service-Constrained}{% Marathe:1996:SCN% }. \NAMECITE{Set}{% Berman:2000:AMW,% Prieto:2005:RIS% }. \NAMECITE{Sets}{% Bollobas:2001:TSS,% Eades:1996:TMD,% Heggernes:1998:PGG,% Halldorsson:1994:IAI,% Kamakoti:1995:ERA% }. \NAMECITE{Shared}{% Lundberg:1997:BGC% }. \NAMECITE{Short}{% Karpinski:1997:EPM% }. \NAMECITE{Shortest}{% Fraser:1995:AAS,% Larsen:1999:EAA,% Pal:1997:OPA% }. \NAMECITE{Shut}{% Liberatore:2000:SJB% }. \NAMECITE{Shut-Down}{% Liberatore:2000:SJB% }. \NAMECITE{Similarity}{% Bollobas:2001:TSS% }. \NAMECITE{Simple}{% Bove:2001:SGR,% Golin:1995:SRA,% Palsberg:1997:TIS% }. \NAMECITE{Simplified}{% Schellekens:2006:SDT% }. \NAMECITE{{SIMS}}{% Carrez:2008:SES% }. \NAMECITE{simulation}{% Leppanen:1995:WOS% }. \NAMECITE{simulations}{% Segala:1995:PSP% }. \NAMECITE{Size}{% Lind:2008:ERT% }. \NAMECITE{Slicing}{% Bruckner:2006:OSF% }. \NAMECITE{Software}{% Alanen:2005:CMF,% Arisholm:2002:WBS,% Bendix:2000:SSC,% Christensen:1999:RSD,% Harsu:2000:IOO,% Haveraaen:1999:FSE,% Lilius:2004:GEF,% Lind:2008:ERT,% Mohagheghi:2008:MSP,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Solution}{% Gambosi:1997:LMA% }. \NAMECITE{Solutions}{% Stovring:2006:HOB,% Seidl:1996:LGS% }. \NAMECITE{Solvable}{% Clausen:1995:FBC% }. \NAMECITE{Solver}{% Nielson:2002:SSA% }. \NAMECITE{Some}{% Pferschy:1994:SGC,% Mahajan:2007:BSC,% Wagner:2002:ASS% }. \NAMECITE{Sort}{% Chen:1996:PSS% }. \NAMECITE{Sorting}{% Katajainen:2003:NPA,% Mahajan:2007:BSC,% Schellekens:2006:SDT,% Hagerup:1994:GTS% }. \NAMECITE{Source}{% Bendix:2000:SSC,% Paakki:1998:SST% }. \NAMECITE{Source-to-Source}{% Paakki:1998:SST% }. \NAMECITE{Space}{% Bodlaender:2004:SEC,% Franek:2003:NCR,% Hofmann:2000:TSB,% Raman:1999:IUB,% Tiusanen:2013:GKA% }. \NAMECITE{Space-Efficient}{% Bodlaender:2004:SEC,% Franek:2003:NCR% }. \NAMECITE{Spanning}{% Fernandez-Baca:1996:USP,% Krznaric:1999:MST,% Prieto:2005:RIS% }. \NAMECITE{Sparse}{% Chlebus:1994:SNS% }. \NAMECITE{Sparsification}{% Fernandez-Baca:1996:USP% }. \NAMECITE{specialization}{% Fisher:1994:LCO% }. \NAMECITE{Specification}{% Dahl:1998:SCS,% Hoenicke:2002:COD,% Jonsson:2001:IRS,% Lamo:2001:SPP,% Man:2007:FSA% }. \NAMECITE{Specifications}{% Bruckner:2006:OSF,% Kyas:2005:CTL,% Wagner:2002:ASS,% Walicki:1995:SSI,% Marathe:1994:CAP% }. \NAMECITE{Specifying}{% Mohagheghi:2008:MSP% }. \NAMECITE{Speed}{% Berman:1999:SMP% }. \NAMECITE{Split}{% Chen:1996:PSS% }. \NAMECITE{Splitting}{% Spelberg:2001:PRT% }. \NAMECITE{stabilization}{% Fokkink:2005:NKS% }. \NAMECITE{stabilizing}{% Gairing:2004:SSA% }. \NAMECITE{Staging}{% Veldhuizen:2005:LEP% }. \NAMECITE{{Standard}}{% Russo:2000:FCS% }. \NAMECITE{State}{% Fokkink:2005:NKS,% Roche:1997:CFF,% Tiusanen:2013:GKA,% Wehrheim:2002:RSB% }. \NAMECITE{State-based}{% Wehrheim:2002:RSB% }. \NAMECITE{Static}{% Nielsen:2006:SAB% }. \NAMECITE{Statically}{% Ernst:1999:DIS% }. \NAMECITE{{Steiner}}{% Ganley:1998:PST% }. \NAMECITE{Steps}{% Linnestad:1996:FSK% }. \NAMECITE{Stop}{% Billington:2005:VCS% }. \NAMECITE{Stop-and-Wait}{% Billington:2005:VCS% }. \NAMECITE{Storage}{% Ang:1996:AAS% }. \NAMECITE{Streaming}{% Lemire:2006:SMM% }. \NAMECITE{Stretch}{% Narasimhan:2002:AAB% }. \NAMECITE{String}{% Baba:2003:NRA,% Crochemore:2002:ASM,% Iliopoulos:2003:SRD,% Mohri:1997:SMA,% Sutinen:2004:ASM% }. \NAMECITE{String-Matching}{% Mohri:1997:SMA% }. \NAMECITE{Strings}{% Grobauer:2001:PEP,% Karpinski:1997:EPM,% Lemstrom:2003:TIP% }. \NAMECITE{Strong}{% Dobrev:1998:CCS% }. \NAMECITE{Structural}{% Wenzel:2005:ADI,% Lysne:1994:HCA% }. \NAMECITE{Structure}{% Prieto:2005:RIS% }. \NAMECITE{Structured}{% Bortin:2006:SFD,% Kaser:1997:OHR,% Storrle:2004:SNU,% Walicki:1995:SSI,% Verhoef:1995:CTS% }. \NAMECITE{Structures}{% Brodal:1996:PPD,% Paakki:1997:RPD,% Russo:2000:FCS% }. \NAMECITE{Structuring}{% Sere:2001:SVD% }. \NAMECITE{Study}{% Barros:2005:CSC,% Bostrom:2004:ICS,% Staron:2004:CSP,% Tahar:1999:CHM% }. \NAMECITE{Style}{% Uustalu:1999:MSI% }. \NAMECITE{sub}{% Lam:1996:CUM% }. \NAMECITE{sub-quartic}{% Lam:1996:CUM% }. \NAMECITE{Subexponential}{% Petersson:2001:RSA% }. \NAMECITE{subgraph}{% Halldorsson:1994:IAI% }. \NAMECITE{subgraphs}{% Heggernes:2007:LTC% }. \NAMECITE{sublinear}{% Alon:1996:CCH% }. \NAMECITE{Subsequence}{% Rick:1995:NFA,% Tronicek:2004:EDA% }. \NAMECITE{Subsets}{% Cieliebak:2008:CVE% }. \NAMECITE{subtrees}{% Lam:1996:CUM% }. \NAMECITE{Subtyping}{% Dahl:1998:SCS,% Wehrheim:2002:RSB% }. \NAMECITE{Subworkshop}{% Bendix:1999:SSC,% Bendix:2000:SSC,% Bendix:2002:SSE% }. \NAMECITE{Succinct}{% Makinen:2005:SSA,% Nielson:2002:SSA% }. \NAMECITE{Suffix}{% Inenaga:2003:BCS,% Makinen:2005:SSA% }. \NAMECITE{Sum}{% Cieliebak:2008:CVE,% Doddi:2000:AAC% }. \NAMECITE{Summary}{% Bendix:1999:SSC,% Bendix:2000:SSC,% Bendix:2002:SSE% }. \NAMECITE{Sums}{% Burghardt:2001:MPS% }. \NAMECITE{Supersequence}{% Fraser:1995:AAS% }. \NAMECITE{Supertree}{% Yamaguchi:1997:AAM% }. \NAMECITE{Support}{% Arisholm:2002:WBS% }. \NAMECITE{Supporting}{% Mohagheghi:2008:MSP,% Chlebus:1994:SNS% }. \NAMECITE{survey}{% Orponen:1994:CCN% }. \NAMECITE{Switch}{% Tahar:1999:CHM% }. \NAMECITE{switching}{% Bremler-Barr:2007:PLT% }. \NAMECITE{Symmetry}{% Brown:1996:BSP% }. \NAMECITE{Synchronisation}{% Carbone:2003:EPP% }. \NAMECITE{Synthesis}{% Amnell:2002:CST,% Ernits:2005:MAS,% Hune:2001:GSC% }. \NAMECITE{Synthesize}{% Lin:1996:SAS% }. \NAMECITE{Synthesizing}{% Godskesen:1995:SDF% }. \NAMECITE{System}{% Hofmann:2000:TSB,% Lilius:2005:AEE,% Pottier:2000:VCB,% Mossenbock:1994:EOS% }. \NAMECITE{Systematic}{% Lin:1996:SAS% }. \NAMECITE{Systems}{% Back:2001:CAS,% Bjarnason:1999:ILD,% Bostrom:2004:ICS,% Erdogmus:1997:ADV,% Fecht:1998:PDE,% Godskesen:1995:SDF,% Jonsson:2001:IRS,% Labroue:2002:ATA,% Man:2007:FSA,% Mork:2001:DIP,% Poddar:2006:VGB,% Ronkko:2001:LHA,% Ruksenas:2004:RED,% Schneider:2004:CIK,% Tsiopoulos:2006:FDN% }. \NAMECITE{tabular}{% Coolsaet:1994:TMV% }. \NAMECITE{Tasks}{% Fersman:2004:GAS% }. \NAMECITE{Technique}{% Hedin:1997:AET% }. \NAMECITE{Techniques}{% Hoenicke:2002:COD% }. \NAMECITE{Technologies}{% Ciancarini:1999:CTI% }. \NAMECITE{Temporal}{% Nielsen:2002:TCC% }. \NAMECITE{Termination}{% Nielson:1996:OST% }. \NAMECITE{Testers}{% Latvala:2004:IFV% }. \NAMECITE{theorem}{% Verhoef:1995:CTS% }. \NAMECITE{Theoretic}{% Labroue:2002:ATA% }. \NAMECITE{Theories}{% Xu:2008:FST% }. \NAMECITE{Theory}{% Benke:2003:UGP,% Bove:2001:SGR,% Melham:1994:MTC% }. \NAMECITE{thoughts}{% Wagner:2002:ASS% }. \NAMECITE{Threaded}{% Krznaric:1998:CTQ,% Seiden:1999:ROM% }. \NAMECITE{Threads}{% Vestdam:2000:DTP% }. \NAMECITE{Three}{% Lemire:2006:SMM% }. \NAMECITE{Time}{% Bollobas:2001:TSS,% Brodal:1996:PPD,% Burghardt:2001:MPS,% Clausen:1995:FBC,% Dobrev:1998:CCS,% Fecher:2001:RTP,% Fersman:2004:GAS,% Godskesen:1995:SDF,% Hoenicke:2002:COD,% Israeli:1997:TMT,% Lind:2008:ERT,% Raman:1999:IUB,% Spelberg:2001:PRT,% Zito:2000:LTM,% Das:1994:FAW,% Hagerup:1994:GTS,% Heggernes:2007:LTC,% Krznaric:1998:CTQ,% Lam:1996:CUM,% Schuierer:1994:TAC% }. \NAMECITE{Time-Message}{% Israeli:1997:TMT% }. \NAMECITE{Time-Optimal}{% Dobrev:1998:CCS% }. \NAMECITE{Time-Series}{% Bollobas:2001:TSS% }. \NAMECITE{Time-Space}{% Raman:1999:IUB% }. \NAMECITE{Timed}{% Abdulla:2007:UFR,% Amnell:2002:CST,% Ouaknine:2003:TCC,% Man:2007:FSA% }. \NAMECITE{Timing}{% Kranakis:2008:TMU,% Schellekens:2006:SDT% }. \NAMECITE{Tolerant}{% Diks:1996:FTL,% Kanellakis:1995:CMA% }. \NAMECITE{Tool}{% Kjelstrom:1999:CTC,% Mohagheghi:2008:MSP% }. \NAMECITE{Tools}{% Carrez:2008:SES,% Normark:1999:APT,% Vestdam:2004:MPU% }. \NAMECITE{topological}{% Hagerup:1994:GTS% }. \NAMECITE{Trace}{% Kyas:2005:CTL% }. \NAMECITE{Track}{% Lemstrom:2003:TIP% }. \NAMECITE{Tracking}{% Kranakis:2008:TMU% }. \NAMECITE{Trade}{% Bodlaender:1994:TON,% Israeli:1997:TMT,% Pagh:2000:TWC,% Raman:1999:IUB% }. \NAMECITE{Trade-Off}{% Pagh:2000:TWC% }. \NAMECITE{Trade-Offs}{% Israeli:1997:TMT,% Bodlaender:1994:TON,% Raman:1999:IUB% }. \NAMECITE{Transducers}{% Roche:1997:CFF% }. \NAMECITE{Transfinite}{% Nestra:2005:TC% }. \NAMECITE{Transformation}{% Johnsen:2003:ART% }. \NAMECITE{Transitive}{% Husfeldt:1996:LBD% }. \NAMECITE{Translation}{% Harsu:1999:TCC,% Paakki:1998:SST% }. \NAMECITE{Transposition}{% Lemstrom:2003:TIP% }. \NAMECITE{Tree}{% Berlea:2006:OER,% Boichut:2008:ABT,% Fernandez-Baca:1996:USP,% Ganley:1998:PST,% Kaser:1997:OHR,% Malmi:1996:NMU,% Prieto:2005:RIS,% Bremler-Barr:2007:PLT% }. \NAMECITE{Tree-Structured}{% Kaser:1997:OHR% }. \NAMECITE{Tree-Type}{% Malmi:1996:NMU% }. \NAMECITE{Trees}{% Akl:1996:GAT,% Berlea:2004:BQD,% Fiala:2003:GCC,% Inenaga:2003:BCS,% Krizanc:2005:RMR,% Krznaric:1999:MST,% Mauborgne:2000:IUR,% Spelberg:2001:PRT,% Zito:2000:LTM,% Becker:1994:NAC,% Blair:1994:FMD% }. \NAMECITE{Triangulated}{% Berry:2000:RWT% }. \NAMECITE{Triangulation}{% Gudmundsson:2000:PAA,% Krznaric:1998:CTQ% }. \NAMECITE{True}{% Bradfield:2002:IFM% }. \NAMECITE{{TSP}}{% Gudmundsson:1999:FAA% }. \NAMECITE{Turnip}{% Klipsch:2002:NBD% }. \NAMECITE{Tutorials}{% Vestdam:2002:EPT% }. \NAMECITE{Two}{% Agarwal:2000:PDT,% Bodlaender:1995:CAT,% Eades:1996:TMD,% Karhumaki:2000:PMP% }. \NAMECITE{Two-Dimensional}{% Bodlaender:1995:CAT,% Karhumaki:2000:PMP% }. \NAMECITE{Type}{% Benke:2003:UGP,% Bove:2001:SGR,% Hofmann:2000:TSB,% Malmi:1996:NMU,% Nesi:2006:DTF,% Palsberg:1997:TIS,% Pottier:2000:VCB,% Telle:1994:CDT% }. \NAMECITE{Typed}{% Ernst:1999:DIS% }. \NAMECITE{Types}{% Leino:1998:ROT,% Nielson:1996:OST,% Uustalu:1999:MSI,% Walicki:1995:SSI% }. \NAMECITE{Ugly}{% Harsu:2013:CCG% }. \NAMECITE{{UML}}{% Byckling:2006:ICO,% Dobrzanski:2005:PRE,% Lam:2007:FRA,% Runde:2005:RUI,% Selonen:2004:TUP,% Storrle:2004:SNU,% Wenzel:2005:ADI% }. \NAMECITE{Unambiguous}{% Siikarla:2006:TUM% }. \NAMECITE{Uncountable}{% DiGianantonio:1995:ULL% }. \NAMECITE{Undefinedness}{% Sivertsen:2004:UVU% }. \NAMECITE{Underspecification}{% Runde:2005:RUI,% Sivertsen:2004:UVU% }. \NAMECITE{Understanding}{% Vestdam:2004:MPU% }. \NAMECITE{Unification}{% Selonen:2004:TUP% }. \NAMECITE{Unique}{% Mauborgne:2000:IUR% }. \NAMECITE{Unison}{% Israeli:1997:TMT% }. \NAMECITE{Universes}{% Benke:2003:UGP% }. \NAMECITE{unrooted}{% Lam:1996:CUM% }. \NAMECITE{Unweighted}{% Pal:1997:OPA% }. \NAMECITE{Update}{% Brodal:1996:PPD,% Hofmann:2000:TSB% }. \NAMECITE{Updating}{% Malmi:1996:NMU% }. \NAMECITE{{UPPAAL}}{% Hune:2001:GSC% }. \NAMECITE{Upper}{% Raman:1999:IUB,% Roos:1997:NUB% }. \NAMECITE{Usage}{% Koskinen:2006:PBA% }. \NAMECITE{Users}{% Kranakis:2008:TMU% }. \NAMECITE{Using}{% Abdulla:2007:UFR,% Al-Azzoni:2005:MVC,% Bostrom:2004:ICS,% Fernandez-Baca:1996:USP,% Hune:2001:GSC,% Lemire:2006:SMM,% Magnusson:2000:PVU,% Nilsson:2004:IJC,% Spelberg:2001:PRT,% Kranakis:2008:TMU,% Sassone:2003:DBC% }. \NAMECITE{Utilization}{% Ang:1996:AAS% }. \NAMECITE{Validating}{% Herczeg:2013:TFF% }. \NAMECITE{Validation}{% Carrez:2008:SES% }. \NAMECITE{Value}{% Mossin:1998:HOV% }. \NAMECITE{Variability}{% Santos:2006:MDA% }. \NAMECITE{Variants}{% Bodlaender:2004:SEC% }. \NAMECITE{Variations}{% Cieliebak:2008:CVE% }. \NAMECITE{Vector}{% Hyyro:2003:BVA% }. \NAMECITE{Verification}{% Abdulla:2007:UFR,% Al-Azzoni:2005:MVC,% Billington:2005:VCS,% Bruckner:2006:OSF,% Erdogmus:1997:ADV,% Ernits:2005:MAS,% Latvala:2004:IFV,% Lillieroth:1999:FVF,% Poddar:2006:VGB,% Tahar:1999:CHM,% Coolsaet:1994:TMV% }. \NAMECITE{Verifying}{% Sere:2001:SVD% }. \NAMECITE{Versatile}{% Pottier:2000:VCB% }. \NAMECITE{Via}{% Ghani:2003:RC,% Halldorsson:1994:IAI,% Hoyer:1998:PPR% }. \NAMECITE{view}{% Jajodia:1994:VBD,% Mendler:1995:LVC% }. \NAMECITE{view-based}{% Jajodia:1994:VBD% }. \NAMECITE{visible}{% Das:1994:FAW% }. \NAMECITE{Visual}{% Paakki:1998:SST% }. \NAMECITE{Visualization}{% Magnusson:2000:PVU% }. \NAMECITE{Volume}{% Anonymous:2002:AIV,% Anonymous:2003:AIV,% Anonymous:2004:AIV% }. \NAMECITE{{Voronoi}}{% Roos:1997:NUB,% Tsin:1996:GVD% }. \NAMECITE{{Vorono{{\i}}diagrams}}{% Krussel:1994:NHO% }. \NAMECITE{vs}{% Sivertsen:2004:UVU% }. \NAMECITE{Wait}{% Billington:2005:VCS% }. \NAMECITE{Weak}{% Israeli:1997:TMT% }. \NAMECITE{Weakly}{% Berry:2000:RWT,% Das:1994:FAW% }. \NAMECITE{{Web}}{% Arisholm:2002:WBS,% Herczeg:2013:TFF% }. \NAMECITE{{Web}-Based}{% Arisholm:2002:WBS% }. \NAMECITE{Weight}{% Berman:2000:AMW,% Gudmundsson:2000:PAA,% Ostergaard:2001:NAM% }. \NAMECITE{Weights}{% Navarro:2004:ARE% }. \NAMECITE{Well}{% Bollobas:2001:TSS% }. \NAMECITE{Well-Separated}{% Bollobas:2001:TSS% }. \NAMECITE{Widest}{% Janardan:1994:WCP% }. \NAMECITE{Widest-corridor}{% Janardan:1994:WCP% }. \NAMECITE{Work}{% Cinque:2003:WOP,% Leppanen:1995:WOS% }. \NAMECITE{Work-Optimal}{% Cinque:2003:WOP,% Leppanen:1995:WOS% }. \NAMECITE{Workshop}{% Sjoberg:1997:PWP% }. \NAMECITE{Worst}{% Pagh:2000:TWC% }. \NAMECITE{Worst-Case}{% Pagh:2000:TWC% }.