%%====================================================================== %% 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@sunbelt.math.utah.edu on Wed Apr 13 08:42:49 MDT 2005 %%====================================================================== \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{$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{-Matching}{% Johnsson:1998:EMP% }. \NAMECITE{-packing}{% Gairing:2004:SSA% }. \NAMECITE{{}-trees}{% Becker:1994:NAC% }. \NAMECITE{{2.0}}{% Storrle:2004:SNU% }. \NAMECITE{{ABEL}}{% Kristoffersen:1998:IHO% }. \NAMECITE{Abstracting}{% Johnsen:2003:ART% }. \NAMECITE{Access}{% Hwang:1999:DKG,% Paakki:1997:RPD,% Kanellakis:1995:CMA% }. \NAMECITE{Action}{% Back:2001:CAS,% Bostrom:2004:ICS,% Ronkko:2001:LHA% }. \NAMECITE{Activities}{% Storrle:2004:SNU% }. \NAMECITE{Acyclic}{% Tronicek:2004:EDA% }. \NAMECITE{Agents}{% Ciancarini:1999:CTI% }. \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,% Narasimhan:2002:AAB,% Sen:1999:DSA,% Sere:2001:SVD,% Coolsaet:1994:TMV,% Golin:1995:SRA,% 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}{% Baeza-Yates:1998:ALH,% Celiku:2004:CBA,% Fersman:2004:GAS,% Labroue:2002:ATA,% Seidl:2000:CBI,% Vassilakopoulos:1995:EAO% }. \NAMECITE{Analyzing}{% Pilegaard:2003:AAA% }. \NAMECITE{ancestors}{% Schenk:1994:PDL% }. \NAMECITE{Animation}{% Normark:1999:APT% }. \NAMECITE{Application}{% Hammouda:2002:PBJ% }. \NAMECITE{Applications}{% Fernandez:2003:INM,% Katajainen:2003:NPA,% Nielsen:2002:TCC% }. \NAMECITE{Approach}{% Fersman:2004:GAS,% Franek:2003:NCR,% Labroue:2002:ATA,% Lin:1996:SAS,% Pilegaard:2003:AAA% }. \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,% Doddi:2000:AAC,% Fraser:1995:AAS,% Gudmundsson:1999:FAA,% Gudmundsson:2000:PAA,% Narasimhan:2002:AAB,% Yamaguchi:1997:AAM,% Marathe:1994:CAP% }. \NAMECITE{Approximations}{% Lau:1996:RAC,% Halldorsson:1994:IAI% }. \NAMECITE{Arbitrary}{% Ang:1996:AAS,% Navarro:2004:ARE% }. \NAMECITE{Arc}{% Natarajan:1996:DPC% }. \NAMECITE{Architecture}{% Erdogmus:1997:ADV% }. \NAMECITE{Architecture-Driven}{% Erdogmus:1997:ADV% }. \NAMECITE{Arrangements}{% Sleumer:1999:OSC% }. \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{Attribute}{% Efremidis:1997:AAG,% Gyimothy:1997:LSF,% Hedin:1997:AET% }. \NAMECITE{Attributed}{% Magnusson:2000:PVU% }. \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}{% Lysne:1994:HCA% }. \NAMECITE{Availability}{% Pilegaard:2003:AAA% }. \NAMECITE{Average}{% Ang:1996:AAS% }. \NAMECITE{{B}}{% Bostrom:2004:ICS% }. \NAMECITE{Backtrack}{% Brown:1996:BSP% }. \NAMECITE{Barriers}{% Tsin:1996:GVD% }. \NAMECITE{Based}{% Arisholm:2002:WBS,% Celiku:2004:CBA,% Hammouda:2002:PBJ,% Mork:2001:DIP,% Pottier:2000:VCB,% Ron:1999:ODP,% Seidl:2000:CBI,% Jajodia:1994:VBD,% Wehrheim:2002:RSB% }. \NAMECITE{before}{% Liberatore:2000:SJB% }. \NAMECITE{Behaviour}{% Wehrheim:2002:RSB% }. \NAMECITE{Behaviour-oriented}{% Wehrheim:2002:RSB% }. \NAMECITE{{Bendix}}{% Linnestad:1996:FSK% }. \NAMECITE{between}{% Ross:1998:BBB% }. \NAMECITE{Bidirectional}{% Inenaga:2003:BCS% }. \NAMECITE{Bin}{% Boyar:2001:CRL,% Gambosi:1997:LMA% }. \NAMECITE{Bin-Packing}{% Gambosi:1997:LMA% }. \NAMECITE{Binary}{% Berlea:2004:BQD% }. \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{Block}{% Cinque:2003:WOP% }. \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}{% Husfeldt:1996:LBD,% Raman:1999:IUB,% Roos:1997:NUB% }. \NAMECITE{Bridge}{% Ross:1998:BBB% }. \NAMECITE{Broadcasting}{% Diks:1996:FTL,% Chlebus:1994:SNS% }. \NAMECITE{Bucket}{% Ang:1996:AAS% }. \NAMECITE{Building}{% Gayo:2001:MDI,% Ross:1998:BBB% }. \NAMECITE{bundles}{% Jansen:1994:IFD% }. \NAMECITE{Buses}{% Chung:1995:FMF% }. \NAMECITE{Calculus}{% Amadio:2002:DCR,% Carbone:2003:EPP,% DiGianantonio:1995:ULL,% Fisher:1994:LCO,% Havelund:1994:FC,% Melham:1994:MTC% }. \NAMECITE{Cardinality}{% Clausen:1995:FBC% }. \NAMECITE{Cares}{% Iliopoulos:2003:SRD% }. \NAMECITE{Case}{% Bostrom:2004:ICS,% Pagh:2000:TWC,% 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{Change}{% Bendix:1999:SSC,% Bendix:2000:SSC% }. \NAMECITE{Changing}{% Lundberg:1997:BGC% }. \NAMECITE{Checking}{% Spelberg:2001:PRT,% Burkart:1995:CDM,% Hungar:1994:LMC% }. \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}{% Russo:2000:FCS% }. \NAMECITE{Claw}{% Berman:2000:AMW% }. \NAMECITE{Clique}{% Ostergaard:2001:NAM,% Blair:1994:FMD% }. \NAMECITE{Clock}{% Larsen:1999:CDD% }. \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% }. \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{{COM}}{% Kjelstrom:1999:CTC% }. \NAMECITE{Combination}{% Hoenicke:2002:COD% }. \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{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,% Dobrev:1998:CCS,% Kratochvil:1998:CGC,% Telle:1994:CDT,% Marathe:1994:CAP,% Orponen:1994:CCN% }. \NAMECITE{Composition}{% Burkart:1995:CDM% }. \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{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{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,% Jajodia:1994:VBD% }. \NAMECITE{Controlling}{% Kanellakis:1995:CMA% }. \NAMECITE{Conventions}{% Hedin:1997:AET% }. \NAMECITE{Convex}{% Agarwal:2000:PDT% }. \NAMECITE{Coordination}{% Ciancarini:1999:CTI% }. \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% }. \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,% Walicki:1995:SSI,% Coolsaet:1994:TMV% }. \NAMECITE{{DC}}{% Hoenicke:2002:COD% }. \NAMECITE{Decidability}{% Amadio:2002:DCR% }. \NAMECITE{decomposition}{% Burkart:1995:CDM% }. \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% }. \NAMECITE{Deriving}{% Sassone:2003:DBC% }. \NAMECITE{Described}{% Karhumaki:2000:PMP% }. \NAMECITE{Descriptions}{% Karpinski:1997:EPM% }. \NAMECITE{Design}{% Marathe:1996:SCN,% Normark:1999:APT% }. \NAMECITE{Determinants}{% Staron:2004:CSP% }. \NAMECITE{Development}{% Bjarnason:1999:ILD,% Christensen:1999:RSD,% Gayo:2001:MDI,% Hammouda:2002:PBJ,% Kjelstrom:1999:CTC,% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF,% Ruksenas:2004:RED% }. \NAMECITE{Diagrams}{% Larsen:1999:CDD,% Parrow:1995:ID,% Roos:1997:NUB,% Tsin:1996:GVD% }. \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% }. \NAMECITE{Differences}{% Fecht:1998:PDE% }. \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% }. \NAMECITE{Dual}{% Boyar:2001:CRL% }. \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,% Koskimies:1997:EF,% Lingas:1994:EF,% Osterbye:2002: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,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Sere:2001:GEF,% Sere:2004:GEF% }. \NAMECITE{Effectiveness}{% Staron:2004:CSP% }. \NAMECITE{Efficiency}{% Vassilakopoulos:1995:EAO% }. \NAMECITE{Efficient}{% Bodlaender:2004:SEC,% Fecht:1998:PDE,% Franek:2003:NCR,% Karpinski:1997:EPM,% Pagh:2000:TWC,% Chlebus:1994:SNS,% Kamakoti:1995:ERA,% Kanellakis:1995:CMA% }. \NAMECITE{Elucidative}{% Normark:2000:EP,% Vestdam:2002:EPT% }. \NAMECITE{Embedded}{% Bjarnason:1999:ILD,% Mork:2001:DIP% }. \NAMECITE{Enforcing}{% Hedin:1997:AET% }. \NAMECITE{Engineering}{% Arisholm:2002:WBS,% Bosch:1997:DCO,% Haveraaen:1999:FSE% }. \NAMECITE{Enumerating}{% Ottmann:2001:EEP% }. \NAMECITE{Enumeration}{% Sleumer:1999:OSC% }. \NAMECITE{Environment}{% Arisholm:2002:WBS,% Christensen:1999:RSD,% Hammouda:2002:PBJ,% Lilius:2004:GEF,% 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{equations}{% Seidl:1996:LGS% }. \NAMECITE{{Euclidean}}{% Johnsson:1998:EMP% }. \NAMECITE{Evaluation}{% Grobauer:2001:PEP% }. \NAMECITE{Evolving}{% Jonsson:2001:IRS% }. \NAMECITE{exchange}{% Coolsaet:1994:TMV% }. \NAMECITE{Experiments}{% Arisholm:2002:WBS,% Larsen:1999:EAA% }. \NAMECITE{Exploration}{% Hammar:2002:IER% }. \NAMECITE{Expression}{% Navarro:2004:ARE% }. \NAMECITE{Expressive}{% Carbone:2003:EPP% }. \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{Features}{% Harsu:2000:IOO% }. \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{Flexible}{% Rick:1995:NFA% }. \NAMECITE{Flow}{% Mossin:1998:HOV,% Jansen:1994:IFD% }. \NAMECITE{fly}{% Latvala:2004:IFV% }. \NAMECITE{Foreword}{% Aceto:2002:GEF,% Halldorsson:2000:GEF,% Hankin:1998:GEF,% Haveraaen:2001:GEF,% Haveraaen:2002:GEF,% Haveraaen:2003:GEF,% Holub:2003:GEF,% Karlsson:1996:GEF,% Koskimies:1997:EF,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Osterbye:2002: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{Formal}{% Haveraaen:1999:FSE,% Lillieroth:1999:FVF% }. \NAMECITE{Formulae}{% Godskesen:1995:SDF% }. \NAMECITE{{FPGA}}{% Lillieroth:1999:FVF% }. \NAMECITE{Fragmented}{% Vestdam:2000:DTP% }. \NAMECITE{Free}{% Berman:2000:AMW,% Hungar:1994:LMC% }. \NAMECITE{Friendly}{% Bradfield:2002:IFM% }. \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{Generating}{% Akl:1996:GAT% }. \NAMECITE{Generation}{% Hwang:1999:DKG% }. \NAMECITE{Generic}{% Benke:2003:UGP,% Fersman:2004:GAS% }. \NAMECITE{Geodesic}{% Tsin:1996:GVD% }. \NAMECITE{Geometric}{% Bollobas:2001:TSS,% Segal:2003:POF,% Pferschy:1994:SGC% }. \NAMECITE{Geometry}{% Mukhopadhyay:1997:OLP% }. \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,% Jonsson:1995:GEF,% Karlsson:1996:GEF,% Lagergren:1999:GEF,% Lilius:2004:GEF,% Mughal:1999:GEF,% Nestmann:2003:GEF,% Opdahl:2000:GEF,% Osterbye:2002:GEF,% Sere:1999:GEF,% Sere:2001:GEF,% Sere:2004:GEF,% Skyum:1994:GEF,% Smolka:2000:GEF% }. \NAMECITE{Guided}{% Hune:2001:GSC% }. \NAMECITE{{HALDEN}}{% Sivertsen:2004:UVU% }. \NAMECITE{{Halld{\'o}rsson}}{% Peinado:1994:HGR% }. \NAMECITE{Hard}{% Peinado:1994:HGR,% Kann:1994:PBM% }. \NAMECITE{Hashing}{% Baeza-Yates:1998:ALH% }. \NAMECITE{Height}{% Kaser:1997:OHR% }. \NAMECITE{Heuristics}{% Lysne:1994:HCA% }. \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,% Krussel:1994:NHO% }. \NAMECITE{Higher-Order}{% Mossin:1998:HOV% }. \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{Incremental}{% Jonsson:2001:IRS,% Mauborgne:2000:IUR% }. \NAMECITE{Independence}{% Bradfield:2002:IFM% }. \NAMECITE{Independence-Friendly}{% Bradfield:2002:IFM% }. \NAMECITE{Independent}{% Berman:2000:AMW,% Halldorsson:1994:IAI% }. \NAMECITE{Index}{% Anonymous:2002:AIV,% Anonymous:2003:AIV,% Anonymous:2004:AIV% }. \NAMECITE{Induced}{% Zito:2000:LTM% }. \NAMECITE{induction}{% Lysne:1994:HCA% }. \NAMECITE{Inductive}{% Uustalu:1999:MSI% }. \NAMECITE{Industrial}{% Staron:2004:CSP% }. \NAMECITE{Inference}{% Palsberg:1997:TIS,% Pottier:2000:VCB% }. \NAMECITE{Inheritance}{% Ernst:1999:DIS,% Ernst:2002:SDM% }. \NAMECITE{Input}{% Boyar:2001:CRL% }. \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{Interactive}{% Bjarnason:1999:ILD% }. \NAMECITE{Interdistances}{% Bereg:2004:DAA% }. \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{Issues}{% Vestdam:2004:MPU% }. \NAMECITE{{J2EE}}{% Hammouda:2002:PBJ% }. \NAMECITE{{Java}}{% Nilsson:2004:IJC% }. \NAMECITE{Jobs}{% Liberatore:2000:SJB% }. \NAMECITE{kernel}{% Schuierer:1994:TAC% }. \NAMECITE{Kernels}{% Schneider:2004:CIK% }. \NAMECITE{Key}{% Hwang:1999:DKG% }. \NAMECITE{{Knuth}}{% Linnestad:1996:FSK% }. \NAMECITE{{Knuth-Bendix}}{% Linnestad:1996:FSK% }. \NAMECITE{lambda}{% DiGianantonio:1995:ULL,% Fisher:1994:LCO% }. \NAMECITE{Language}{% Bjarnason:1999:ILD,% Bosch:1997:DCO,% Ernst:1999:DIS,% Mork:2001:DIP% }. \NAMECITE{Languages}{% Paakki:1998:SST% }. \NAMECITE{Learning}{% Gyimothy:1997:LSF% }. \NAMECITE{Least}{% Seidl:1996:LGS% }. \NAMECITE{{Levenshtein}}{% Hyyro:2003:BVA% }. \NAMECITE{limits}{% DiGianantonio:1995:ULL% }. \NAMECITE{Line}{% Boyar:2001:CRL,% Gambosi:1997:LMA,% Mukhopadhyay:1997:OLP% }. \NAMECITE{Linear}{% Baeza-Yates:1998:ALH,% Diks:1996:FTL,% Ronkko:2001:LHA,% Zito:2000:LTM,% Das:1994:FAW,% Hagerup:1994:GTS,% Krznaric:1998:CTQ% }. \NAMECITE{Local}{% Hungar:1994:LMC% }. \NAMECITE{Location}{% Husfeldt:1996:LBD% }. \NAMECITE{Logarithmic}{% Burghardt:2001:MPS% }. \NAMECITE{Logic}{% Bradfield:2002:IFM,% Leino:1998:ROT,% Nielsen:2002:TCC% }. \NAMECITE{logical}{% Mendler:1995:LVC% }. \NAMECITE{logics}{% Nielsen:1995:GLN% }. \NAMECITE{Longest}{% Rick:1995:NFA% }. \NAMECITE{Lossless}{% Cinque:2003:WOP% }. \NAMECITE{Lower}{% Husfeldt:1996:LBD% }. \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{Management}{% Bendix:1999:SSC,% Bendix:2000:SSC% }. \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,% 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,% Ostergaard:2001:NAM,% Zito:2000:LTM,% Lam:1996:CUM% }. \NAMECITE{Maximum-Weight}{% Ostergaard:2001:NAM% }. \NAMECITE{{McCarthy}}{% Fernandez:2003:INM% }. \NAMECITE{{MDA}}{% Staron:2004:CSP% }. \NAMECITE{{MDG}}{% Tahar:1999:CHM% }. \NAMECITE{Mechanised}{% Celiku:2004:CBA% }. \NAMECITE{mechanized}{% Melham:1994:MTC% }. \NAMECITE{Median}{% Chung:1995:FMF% }. \NAMECITE{Median-Finding}{% Chung:1995:FMF% }. \NAMECITE{Memory}{% 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{Method}{% Abadi:1998:BMC,% Malmi:1996:NMU,% Coolsaet:1994:TMV,% Fisher:1994:LCO% }. \NAMECITE{Methods}{% Ang:1996:AAS% }. \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,% 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{Modal}{% Bradfield:2002:IFM% }. \NAMECITE{Model}{% Back:2001:CAS,% Spelberg:2001:PRT,% Burkart:1995:CDM,% Hungar:1994:LMC% }. \NAMECITE{Modelling}{% Haveraaen:1999:FSE% }. \NAMECITE{models}{% 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% }. \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}{% Fernandez:2003:INM% }. \NAMECITE{Network}{% Gudmundsson:2001:AMM,% Marathe:1996:SCN% }. \NAMECITE{Networks}{% Segal:2003:POF,% Chlebus:1994:SNS,% Coolsaet:1994:TMV,% Orponen:1994:CCN% }. \NAMECITE{neural}{% Orponen:1994:CCN% }. \NAMECITE{Nodes}{% Storrle:2004:SNU% }. \NAMECITE{non}{% Bodlaender:1994:TON% }. \NAMECITE{non-reversing}{% Bodlaender:1994:TON% }. \NAMECITE{Nondeterministic}{% Walicki:1995:SSI% }. \NAMECITE{noninterleaving}{% Nielsen:1995:GLN% }. \NAMECITE{{Nordic}}{% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Note}{% Baba:2003:NRA,% 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}{% Harsu:2000:IOO,% Leino:1998:ROT,% Normark:1999:APT% }. \NAMECITE{Object-Oriented}{% 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}{% Seiden:1999:ROM% }. \NAMECITE{Open}{% Bendix:2000:SSC,% Fecher:2001:RTP% }. \NAMECITE{Operational}{% Nielson:1996:OST,% Verhoef:1995:CTS% }. \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{Order}{% Kristoffersen:1998:IHO,% Mossin:1998:HOV,% Krussel:1994:NHO% }. \NAMECITE{Ordered}{% Sutinen:2004:ASM% }. \NAMECITE{Ordinary}{% Devillers:1999:FOC,% Mukhopadhyay:1997:OLP% }. \NAMECITE{Oriented}{% Harsu:2000:IOO,% Leino:1998:ROT,% Normark:1999:APT,% Wehrheim:2002:RSB% }. \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,% 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}{% 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,% Lemstrom:2003:TIP% }. \NAMECITE{Pattern-Based}{% Hammouda:2002:PBJ% }. \NAMECITE{Pattern-Matching}{% Karhumaki:2000:PMP,% Karpinski:1997:EPM% }. \NAMECITE{Patterns}{% Selonen:2004:TUP% }. \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{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{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,% Ganley:1998:PST% }. \NAMECITE{Power-}{% Ganley:1998:PST% }. \NAMECITE{Powerful}{% Berman:1999:SMP% }. \NAMECITE{Practical}{% 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{Priority}{% Katajainen:2003:NPA% }. \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,% 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,% 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{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,% Lilius:2004:GEF,% Mork:2001:DIP,% Mughal:1999:GEF,% Nielsen:2002:TCC,% Normark:2000:EP,% Opdahl:2000:GEF,% Ron:1999:ODP,% Sjoberg:1997:PWP,% 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{Protocols}{% Abadi:1998:BMC,% 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{quartic}{% Lam:1996:CUM% }. \NAMECITE{Queries}{% Berlea:2004:BQD% }. \NAMECITE{Queues}{% Katajainen:2003:NPA% }. \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{Ratio}{% Boyar:2001:CRL% }. \NAMECITE{Reachability}{% Amadio:2002:DCR,% Labroue:2002:ATA% }. \NAMECITE{Real}{% Fecher:2001:RTP,% Fersman:2004:GAS,% Godskesen:1995:SDF,% Spelberg:2001:PRT% }. \NAMECITE{Real-Time}{% Fecher:2001:RTP,% Fersman:2004:GAS,% Spelberg:2001:PRT% }. \NAMECITE{Realization}{% Staron:2004:CSP% }. \NAMECITE{Rebalancing}{% Malmi:1996:NMU% }. \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{Reduction}{% Kaser:1997:OHR% }. \NAMECITE{Reference}{% Magnusson:2000:PVU% }. \NAMECITE{Refinement}{% Troubitsyna:1999:RAT% }. \NAMECITE{Refinements}{% Johnsen:2003:ART% }. \NAMECITE{Regular}{% 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{reversing}{% Bodlaender:1994:TON% }. \NAMECITE{Revisited}{% Baeza-Yates:1998:ALH,% Lamo:2001:SPP,% Grobauer:2001:PEP% }. \NAMECITE{Rewriting}{% Ghani:2003:RC% }. \NAMECITE{Rigourous}{% Ruksenas:2004:RED% }. \NAMECITE{Roundings}{% Asano:2000:ORS% }. \NAMECITE{Routing}{% Hoyer:1998:PPR% }. \NAMECITE{{RPPS}}{% Labroue:2002:ATA% }. \NAMECITE{Safe}{% Ernst:2002:SDM% }. \NAMECITE{Satisfaction}{% Lau:1996:RAC% }. \NAMECITE{Satisfiability}{% Asano:1996:AAM% }. \NAMECITE{Schedulability}{% Fersman:2004:GAS% }. \NAMECITE{Scheduling}{% Liberatore:2000:SJB% }. \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}{% Gairing:2004:SSA% }. \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}{% Marathe:1996:SCN% }. \NAMECITE{Service-Constrained}{% Marathe:1996:SCN% }. \NAMECITE{Set}{% Berman:2000:AMW% }. \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{simulation}{% Leppanen:1995:WOS% }. \NAMECITE{simulations}{% Segala:1995:PSP% }. \NAMECITE{Software}{% Arisholm:2002:WBS,% Bendix:2000:SSC,% Christensen:1999:RSD,% Harsu:2000:IOO,% Haveraaen:1999:FSE,% Lilius:2004:GEF,% Mughal:1999:GEF,% Opdahl:2000:GEF% }. \NAMECITE{Solution}{% Gambosi:1997:LMA% }. \NAMECITE{solutions}{% Seidl:1996:LGS% }. \NAMECITE{Solvable}{% Clausen:1995:FBC% }. \NAMECITE{Solver}{% Nielson:2002:SSA% }. \NAMECITE{Some}{% Pferschy:1994:SGC,% Wagner:2002:ASS% }. \NAMECITE{Sort}{% Chen:1996:PSS% }. \NAMECITE{Sorting}{% Katajainen:2003:NPA,% 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% }. \NAMECITE{Space-Efficient}{% Bodlaender:2004:SEC,% Franek:2003:NCR% }. \NAMECITE{Spanning}{% Fernandez-Baca:1996:USP,% Krznaric:1999:MST% }. \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% }. \NAMECITE{Specifications}{% Wagner:2002:ASS,% Walicki:1995:SSI,% Marathe:1994:CAP% }. \NAMECITE{Speed}{% Berman:1999:SMP% }. \NAMECITE{Split}{% Chen:1996:PSS% }. \NAMECITE{Splitting}{% Spelberg:2001:PRT% }. \NAMECITE{stabilizing}{% Gairing:2004:SSA% }. \NAMECITE{{Standard}}{% Russo:2000:FCS% }. \NAMECITE{State}{% Roche:1997:CFF,% Wehrheim:2002:RSB% }. \NAMECITE{State-based}{% Wehrheim:2002:RSB% }. \NAMECITE{Statically}{% Ernst:1999:DIS% }. \NAMECITE{{Steiner}}{% Ganley:1998:PST% }. \NAMECITE{Steps}{% Linnestad:1996:FSK% }. \NAMECITE{Storage}{% Ang:1996:AAS% }. \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}{% Lysne:1994:HCA% }. \NAMECITE{Structured}{% 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}{% 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{sublinear}{% Alon:1996:CCH% }. \NAMECITE{Subsequence}{% Rick:1995:NFA,% Tronicek:2004:EDA% }. \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}{% Nielson:2002:SSA% }. \NAMECITE{Suffix}{% Inenaga:2003:BCS% }. \NAMECITE{Sum}{% 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}{% Chlebus:1994:SNS% }. \NAMECITE{survey}{% Orponen:1994:CCN% }. \NAMECITE{Switch}{% Tahar:1999:CHM% }. \NAMECITE{Symmetry}{% Brown:1996:BSP% }. \NAMECITE{Synchronisation}{% Carbone:2003:EPP% }. \NAMECITE{Synthesis}{% Amnell:2002:CST,% Hune:2001:GSC% }. \NAMECITE{Synthesize}{% Lin:1996:SAS% }. \NAMECITE{Synthesizing}{% Godskesen:1995:SDF% }. \NAMECITE{System}{% Hofmann:2000:TSB,% 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,% Mork:2001:DIP,% Ronkko:2001:LHA,% Ruksenas:2004:RED,% Schneider:2004:CIK% }. \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{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{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,% Raman:1999:IUB,% Spelberg:2001:PRT,% Zito:2000:LTM,% Das:1994:FAW,% Hagerup:1994:GTS,% 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}{% Amnell:2002:CST,% Ouaknine:2003:TCC% }. \NAMECITE{Tolerant}{% Diks:1996:FTL,% Kanellakis:1995:CMA% }. \NAMECITE{Tool}{% Kjelstrom:1999:CTC% }. \NAMECITE{Tools}{% Normark:1999:APT,% Vestdam:2004:MPU% }. \NAMECITE{topological}{% Hagerup:1994:GTS% }. \NAMECITE{Track}{% Lemstrom:2003:TIP% }. \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{Transformation}{% Johnsen:2003:ART% }. \NAMECITE{Transitive}{% Husfeldt:1996:LBD% }. \NAMECITE{Translation}{% Harsu:1999:TCC,% Paakki:1998:SST% }. \NAMECITE{Transposition}{% Lemstrom:2003:TIP% }. \NAMECITE{Tree}{% Fernandez-Baca:1996:USP,% Ganley:1998:PST,% Kaser:1997:OHR,% Malmi:1996:NMU% }. \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,% 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,% 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{{UML}}{% Selonen:2004:TUP,% Storrle:2004:SNU% }. \NAMECITE{Uncountable}{% DiGianantonio:1995:ULL% }. \NAMECITE{Undefinedness}{% Sivertsen:2004:UVU% }. \NAMECITE{Underspecification}{% 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{Using}{% Bostrom:2004:ICS,% Fernandez-Baca:1996:USP,% Hune:2001:GSC,% Magnusson:2000:PVU,% Nilsson:2004:IJC,% Spelberg:2001:PRT,% Sassone:2003:DBC% }. \NAMECITE{Utilization}{% Ang:1996:AAS% }. \NAMECITE{Value}{% Mossin:1998:HOV% }. \NAMECITE{Variants}{% Bodlaender:2004:SEC% }. \NAMECITE{Vector}{% Hyyro:2003:BVA% }. \NAMECITE{Verification}{% Erdogmus:1997:ADV,% Latvala:2004:IFV,% Lillieroth:1999:FVF,% 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{\u{\i}}diagrams}}{% Krussel:1994:NHO% }. \NAMECITE{vs}{% Sivertsen:2004:UVU% }. \NAMECITE{Weak}{% Israeli:1997:TMT% }. \NAMECITE{Weakly}{% Berry:2000:RWT,% Das:1994:FAW% }. \NAMECITE{{Web}}{% Arisholm:2002:WBS% }. \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% }.