%%====================================================================== %% 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@psi.math.utah.edu on Fri Jul 8 14:16:06 MDT 2005 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$(0,\pm1)$}{% Tamura:2000:PMP% }. \NAMECITE{$(1+1)$}{% Droste:2002:AEA% }. \NAMECITE{$(1,\lambda)$}{% Auger:2005:CRS% }. \NAMECITE{$(2+p)$}{% Achlioptas:2001:RRR% }. \NAMECITE{$(2-2/(k+1))^n$}{% Dantsin:2002:DKA% }. \NAMECITE{$(3^n-1)$}{% Kong:2003:KTP% }. \NAMECITE{$(A,B)$}{% Klimann:2003:SPB% }. \NAMECITE{$(h,k)$}{% Manabe:2004:AME% }. \NAMECITE{$+$}{% Alpuente:2004:RST,% Cuninghame-Green:2003:EXB% }. \NAMECITE{$1$}{% Bazgan:2001:PVT,% Elder:2005:CFC,% Muradian:2003:BMP% }. \NAMECITE{$1/\epsilon$}{% Burago:2004:ASP% }. \NAMECITE{$2$}{% Amenta:2003:CTA,% Baeza-Yates:2003:FAS,% Bockenhauer:2004:HCM,% Chrobak:2004:WSP,% Habib:2004:CAD,% Labelle:2003:CPP,% Nikolskaia:2001:SOR,% Sheng:2003:RAT,% Sinha:2003:AOD,% Stevens:2003:AOS,% Vialette:2004:CCI,% delaVega:2001:RSR% }. \NAMECITE{$2^{\leq \omega}$}{% Becher:2004:RTP% }. \NAMECITE{$2^n$}{% Iwama:2003:FNW,% Kong:2003:KTP% }. \NAMECITE{$2k$}{% Coja-Oghlan:2004:TCA% }. \NAMECITE{$2 \times 2 \cdots{} \times 2 \times J$}{% Matsui:2004:RGC% }. \NAMECITE{$3$}{% Achlioptas:2001:LBR,% Baeza-Yates:2003:FAS,% Barbanchon:2004:UGC,% Bein:2002:SPP,% Belaga:2001:MAT,% Chang:2004:WSN,% Cocco:2004:HAC,% Yamasaki:2001:SCP% }. \NAMECITE{$4$}{% Diaz:2003:BMM% }. \NAMECITE{$5$}{% Berrizbeitia:2003:PTN% }. \NAMECITE{$5/2^+$}{% Aberkane:2005:TMW% }. \NAMECITE{$50$}{% Nivat:2004:AEG% }. \NAMECITE{$8$}{% Imai:2000:CUT,% Noguchi:2004:SSM% }. \NAMECITE{$8 \times 8$}{% Breuker:2000:SD% }. \NAMECITE{$= k$}{% Fernau:2003:HMC% }. \NAMECITE{$^*$}{% Esik:2004:IS,% Kesten:2005:CAC% }. \NAMECITE{$^,$}{% DAlessandro:2004:WQO,% Flammini:2005:RWA% }. \NAMECITE{$^0$}{% Hesse:2003:DCT% }. \NAMECITE{$_{\mbox{lgol}}$}{% Ghica:2003:RLS% }. \NAMECITE{$_p$}{% Bueno:2005:TTC% }. \NAMECITE{$\alpha$}{% Waldispuhl:2005:MPA% }. \NAMECITE{$\alpha, \beta$}{% Bjornsson:2001:MCP% }. \NAMECITE{$A\otimes x = B\otimes y$}{% Cuninghame-Green:2003:EXB% }. \NAMECITE{$AX-XB^T = C$}{% Kirrinnis:2001:FAS% }. \NAMECITE{$b$}{% Kalyanasundaram:2000:ODA% }. \NAMECITE{$\beta$}{% Chi:2004:SWS% }. \NAMECITE{$C$}{% Blaser:2002:UCC,% Nielsen:2001:PCO% }. \NAMECITE{$d$}{% Li:2003:GWS,% Osterloh:2005:OOR% }. \NAMECITE{$\delta$}{% Bellantoni:2004:SNA% }. \NAMECITE{$E$}{% Degtyarev:2000:DCS% }. \NAMECITE{$\ell_1$}{% Furedi:2004:DGN% }. \NAMECITE{$\epsilon$}{% Kempe:2004:ERI% }. \NAMECITE{$\exists$}{% Ruggieri:2001:UTL% }. \NAMECITE{$\forall\exists^5$}{% Vorobyov:2002:ETC% }. \NAMECITE{$H$}{% Chateau:2004:CDU,% Diaz:2002:CHC,% Royer:2004:CCL,% Manabe:2004:AME% }. \NAMECITE{$K$}{% Khuller:2000:FTC,% Allouche:2003:RKR,% Apolloni:2000:SSP,% Bartal:2004:CRW,% Bonizzoni:2001:NPS,% Dantsin:2002:DKA,% Dessmark:2000:MPC,% Diaz:2002:CHC,% Dinitz:2000:TDC,% Elkin:2005:ASP,% Hoory:2005:CUS,% Kabanets:2003:AKW,% Kang:2003:LBM,% Kashem:2000:AGV,% Koutsoupias:2004:CPO,% Lim:2005:CPM,% Manabe:2004:AME,% Nandy:2001:DMW,% Nandy:2003:ENN,% Pluhar:2002:AKR,% Richomme:2002:SRK,% Yeh:2001:WCD% }. \NAMECITE{$k > 2$}{% Elkin:2005:ASP% }. \NAMECITE{$l$}{% Abraham:2001:SSE% }. \NAMECITE{$L(A) = L(B)$}{% Senizergues:2001:BDR% }. \NAMECITE{$L^1/L^\infty$}{% Bernhard:2003:MXF% }. \NAMECITE{$\lambda$}{% Berline:2000:CFF,% Dezani-Ciancaglini:2004:BIL,% Ishihara:2002:CIU,% Joachimski:2004:CCC,% Joly:2001:CTP,% Ker:2002:IGM,% Ker:2003:AIG,% Kerth:2001:CSM,% Kesner:2000:CEN,% vanBakel:2002:ITF% }. \NAMECITE{$\leq k$}{% Fernau:2003:HMC% }. \NAMECITE{$M$}{% Berrizbeitia:2003:PTN,% Lopez-Ortiz:2001:USS,% Sano:2004:BWG% }. \NAMECITE{$M^4 - 1$}{% Berrizbeitia:2003:PTN% }. \NAMECITE{$\mathbb{Z}^2$}{% Matamala:2004:DCA% }. \NAMECITE{$\mathbb{Z}^n$}{% Furedi:2004:DGN,% Kong:2003:KTP% }. \NAMECITE{$\mathcal{Z}$}{% Kobayashi:2003:SPR% }. \NAMECITE{$\mu$}{% DAgostino:2005:ABQ,% Emerson:2001:MCS,% Laurent:2002:PPN,% Nakazawa:2002:CSN,% Rabinovich:2000:SMC,% Santocanale:2005:ACS% }. \NAMECITE{$N$}{% Xue:2001:COP,% Iwama:2000:TBN,% Kontorovich:2004:UDG% }. \NAMECITE{$\not=$}{% Flum:2000:GTD% }. \NAMECITE{$O(n^{4.03})$}{% Koucky:2003:LSC% }. \NAMECITE{$O(n \log n)$}{% Thiant:2003:AFD% }. \NAMECITE{$\Omega$}{% Calude:2001:RER,% Chockler:2004:SRL,% Finkel:2004:CPL,% Monti:2000:STL,% Ogawa:2004:WQO,% Torre:2003:FAT,% delaHiguera:2004:ILP% }. \NAMECITE{$\oplus$}{% vanZijl:2004:BIN% }. \NAMECITE{$P$}{% Apolloni:2000:SSP,% Hemaspaandra:1996:RCP,% Hemaspaandra:2000:ESC,% Paun:2004:PMD,% Karpinski:2000:ZTA% }. \NAMECITE{$P(n)/n$}{% Heinis:2002:FBI% }. \NAMECITE{$\phi$}{% Auger:2005:CRS% }. \NAMECITE{$\pi$}{% Carayol:2005:RMA,% Curti:2004:MBP,% Ferrari:2005:CMH,% Hennessy:2002:FAD,% Palamidessi:2005:RES% }. \NAMECITE{$p \times p$}{% Matula:2002:PTP% }. \NAMECITE{$Q$}{% Cucker:2001:WWC,% Fereti:2004:ECP% }. \NAMECITE{$qAC^0[2]$}{% Lu:2001:ECS% }. \NAMECITE{$R$}{% Almeida:2001:SHR% }. \NAMECITE{$R^N$}{% Arnold:2002:PAE% }. \NAMECITE{$R_1$}{% Hashiguchi:2002:ADS% }. \NAMECITE{$R_1 \subseteq R \subseteq R_2$}{% Hashiguchi:2002:ADS% }. \NAMECITE{$R_2$}{% Hashiguchi:2002:ADS% }. \NAMECITE{$\sigma$}{% Hunziker:2004:CPF,% Sutner:2000:ACP% }. \NAMECITE{$t$}{% Dukes:2004:CEB,% Fernau:2003:HMC% }. \NAMECITE{$\tau$}{% Ying:2000:WCI% }. \NAMECITE{$Z^2$}{% Jenkinson:2001:SCT% }. \NAMECITE{$Z^k$}{% Brlek:2003:VRS% }. \NAMECITE{$Z^n$}{% Kong:2002:TAR% }. \NAMECITE{*}{% Anderson:2000:IR% }. \NAMECITE{-adic}{% Karpinski:2000:ZTA% }. \NAMECITE{{}-algorithm}{% Thiant:2003:AFD% }. \NAMECITE{-Approximation}{% Eriksen:2002:ASR% }. \NAMECITE{-Arbiters}{% Manabe:2004:AME% }. \NAMECITE{-ary}{% Bonizzoni:2001:NPS% }. \NAMECITE{-Automata}{% Sutner:2000:ACP,% Hunziker:2004:CPF% }. \NAMECITE{-Balanced}{% Sano:2004:BWG% }. \NAMECITE{{}-body}{% Xue:2001:COP% }. \NAMECITE{{}-bounded}{% Chateau:2004:CDU% }. \NAMECITE{-calculi}{% Kesner:2000:CEN,% Santocanale:2005:ACS% }. \NAMECITE{-calculus}{% Berline:2000:CFF,% Carayol:2005:RMA,% Curti:2004:MBP,% DAgostino:2005:ABQ,% Ferrari:2005:CMH,% Hennessy:2002:FAD,% Joachimski:2004:CCC,% Joly:2001:CTP,% Ker:2002:IGM,% Kerth:2001:CSM,% Palamidessi:2005:RES,% Emerson:2001:MCS,% Laurent:2002:PPN,% Nakazawa:2002:CSN,% Rabinovich:2000:SMC% }. \NAMECITE{{-Center}}{% Lim:2005:CPM,% Khuller:2000:FTC% }. \NAMECITE{-colorability}{% Barbanchon:2004:UGC% }. \NAMECITE{{}-colorings}{% Diaz:2002:CHC% }. \NAMECITE{-connected}{% Bockenhauer:2004:HCM,% Dessmark:2000:MPC,% Kong:2003:KTP% }. \NAMECITE{-counter}{% Elder:2005:CFC% }. \NAMECITE{-cycles}{% Kempe:2004:ERI% }. \NAMECITE{-dense}{% Nandy:2001:DMW% }. \NAMECITE{-deterministic}{% Iwama:2003:FNW% }. \NAMECITE{-diameter}{% Dinitz:2000:TDC% }. \NAMECITE{-dim}{% Sinha:2003:AOD% }. \NAMECITE{-dimension}{% Habib:2004:CAD% }. \NAMECITE{-dimensional}{% Li:2003:GWS,% Osterloh:2005:OOR% }. \NAMECITE{-disconnected}{% Kong:2003:KTP% }. \NAMECITE{-dominating}{% Yeh:2001:WCD% }. \NAMECITE{-domination}{% Yeh:2001:WCD% }. \NAMECITE{-enumeration}{% Fereti:2004:ECP% }. \NAMECITE{-equational}{% Vorobyov:2002:ETC% }. \NAMECITE{-exclusion}{% Abraham:2001:SSE% }. \NAMECITE{-factorizations}{% Stevens:2003:AOS% }. \NAMECITE{{}-function}{% Heinis:2002:FBI% }. \NAMECITE{{}-functions}{% Blaser:2002:UCC% }. \NAMECITE{-gram}{% Kontorovich:2004:UDG% }. \NAMECITE{{}-grammars}{% Leung:2000:SPL% }. \NAMECITE{-hierarchy}{% Savicky:2000:ROL% }. \NAMECITE{-in-a-row}{% Pluhar:2002:AKR% }. \NAMECITE{-inertness}{% Ying:2000:WCI% }. \NAMECITE{-interval}{% Vialette:2004:CCI% }. \NAMECITE{{}-invariance}{% Klimann:2003:SPB% }. \NAMECITE{-irreducible}{% Auger:2005:CRS% }. \NAMECITE{-languages}{% Finkel:2004:CPL,% Monti:2000:STL,% Ogawa:2004:WQO,% delaHiguera:2004:ILP% }. \NAMECITE{-level}{% Nikolskaia:2001:SOR% }. \NAMECITE{-manifolds}{% Amenta:2003:CTA% }. \NAMECITE{-matching}{% Kalyanasundaram:2000:ODA% }. \NAMECITE{-matrices}{% Tamura:2000:PMP% }. \NAMECITE{-mode}{% Fernau:2003:HMC% }. \NAMECITE{-models}{% Dezani-Ciancaglini:2004:BIL,% Ishihara:2002:CIU% }. \NAMECITE{-{NFAs}}{% vanZijl:2004:BIN% }. \NAMECITE{-oriented}{% Nielsen:2001:PCO% }. \NAMECITE{-out-of-}{% Manabe:2004:AME% }. \NAMECITE{-point-based}{% Dukes:2004:CEB% }. \NAMECITE{-power-free}{% Richomme:2002:SRK% }. \NAMECITE{-pruning}{% Bjornsson:2001:MCP% }. \NAMECITE{-Recursion}{% Mycka:2003:RIL% }. \NAMECITE{-regular}{% Allouche:2003:RKR,% Diaz:2003:BMM,% Chockler:2004:SRL% }. \NAMECITE{-Role}{% Sheng:2003:RAT% }. \NAMECITE{{-SA-ES}}{% Auger:2005:CRS% }. \NAMECITE{-{SAT}}{% Achlioptas:2001:LBR,% Achlioptas:2001:RRR,% Dantsin:2002:DKA,% delaVega:2001:RSR,% Coja-Oghlan:2004:TCA,% Hoory:2005:CUS% }. \NAMECITE{-satisfiability}{% Cocco:2004:HAC% }. \NAMECITE{{}-search}{% Arnold:2002:PAE% }. \NAMECITE{-selective}{% Hemaspaandra:2000:ESC,% Hemaspaandra:1996:RCP% }. \NAMECITE{-semirings}{% Esik:2004:IS% }. \NAMECITE{-server}{% Bartal:2004:CRW,% Bein:2002:SPP,% Chrobak:2004:WSP,% Koutsoupias:2004:CPO% }. \NAMECITE{-shifts}{% Chi:2004:SWS% }. \NAMECITE{-spanner}{% Elkin:2005:ASP% }. \NAMECITE{-stage}{% Chang:2004:WSN% }. \NAMECITE{-state}{% Imai:2000:CUT,% Iwama:2000:TBN,% Noguchi:2004:SSM% }. \NAMECITE{-subdomination}{% Kang:2003:LBM% }. \NAMECITE{{}-subsets}{% Kobayashi:2003:SPR% }. \NAMECITE{{}-sufficient}{% Apolloni:2000:SSP% }. \NAMECITE{-system}{% vanderWoude:2003:CSE% }. \NAMECITE{-term-{DNF}}{% Apolloni:2000:SSP% }. \NAMECITE{-theory}{% Ker:2003:AIG% }. \NAMECITE{-tough}{% Bazgan:2001:PVT% }. \NAMECITE{-trees}{% Dessmark:2000:MPC,% Diaz:2002:CHC,% Kashem:2000:AGV,% Labelle:2003:CPP,% Torre:2003:FAT,% vanBakel:2002:ITF% }. \NAMECITE{{}-unification}{% Degtyarev:2000:DCS% }. \NAMECITE{-Universal}{% Ruggieri:2001:UTL% }. \NAMECITE{-valued}{% Yamasaki:2001:SCP% }. \NAMECITE{-wise}{% Kabanets:2003:AKW% }. \NAMECITE{/subsequence}{% Middendorf:2004:CSS% }. \NAMECITE{/substring}{% Middendorf:2004:CSS% }. \NAMECITE{{0L}}{% Nishida:2000:SL,% Watjen:2001:PCL% }. \NAMECITE{{14}}{% Mislove:2004:MFP% }. \NAMECITE{{16}}{% Mislove:2004:MFP% }. \NAMECITE{2-categories}{% Sassone:2005:LRC% }. \NAMECITE{{2002}}{% Demaine:2004:ABO% }. \NAMECITE{251-260}{% Anonymous:2001:MIV% }. \NAMECITE{26-surfaces}{% Ayala:2002:WLF% }. \NAMECITE{2{D}}{% Kuba:2002:RCD,% Malgouyres:2002:CCR% }. \NAMECITE{{2SAT}}{% Dahllof:2005:CMS% }. \NAMECITE{{3}}{% Brueggemann:2004:IDL% }. \NAMECITE{{3-SAT}}{% Brueggemann:2004:IDL% }. \NAMECITE{{3D}}{% Francon:2000:TMS% }. \NAMECITE{{3D-manifolds}}{% Francon:2000:TMS% }. \NAMECITE{{3SAT}}{% Dahllof:2005:CMS% }. \NAMECITE{{A.}}{% Beauquier:2003:BS% }. \NAMECITE{{abc}}{% Croot:2004:ACC% }. \NAMECITE{{Abel}}{% Hwang:2001:UAS% }. \NAMECITE{abelian}{% Currie:2004:NBW% }. \NAMECITE{absolutely}{% Becher:2002:ECA% }. \NAMECITE{Abstract}{% Borger:2005:ASM,% Adamek:2002:ADT,% Cortesi:2002:OAS,% Cousot:2002:CDH,% Cousot:2002:PAI,% Giacobazzi:2005:TSA,% Gori:2002:AIF,% Hennessy:2002:FAD,% Hildebrandt:2003:TCM,% Ingolfsdottir:2001:FAD,% Jeffrey:2005:FAM,% McIver:2003:ACE,% Mohamed:2003:NTM,% Nanchen:2005:LSM,% Pixton:2000:SAF,% Ressayre:2004:WSI,% Schachte:2003:PGI,% Schurmann:2001:PRH,% Thomsen:2001:FAD% }. \NAMECITE{abstraction}{% Lermer:2001:RSM,% Regev:2004:BAB,% Rosu:2004:BAH% }. \NAMECITE{Abstractions}{% Chothia:2004:AFT,% Kudoh:2003:DAD% }. \NAMECITE{accelerated}{% Pluhar:2002:AKR% }. \NAMECITE{accelerating}{% Shagrir:2004:STA% }. \NAMECITE{acceptance}{% Holzer:2005:DCF,% Lescow:2000:MSS,% Torre:2005:WMA,% vanZijl:2004:GAS% }. \NAMECITE{accepting}{% Ambainis:2003:ERA,% Hashiguchi:2002:ADS,% Matsushita:2001:APU% }. \NAMECITE{acceptors}{% Nykanen:2001:UAT% }. \NAMECITE{access}{% Blundo:2004:BCU,% Bonis:2003:CGS,% Chlebus:2000:APA,% Elmasry:2004:SAT,% Hennessy:2004:TBT,% Humphreys:2004:CLP,% Laber:2002:SSD,% Nanchen:2005:LSM,% Nicola:2000:TAC% }. \NAMECITE{Accidental}{% Harper:2003:ACA% }. \NAMECITE{accuracy}{% Nock:2003:CCA% }. \NAMECITE{Accurate}{% Hornof:2000:ABT,% Muller:2000:APA% }. \NAMECITE{{ACI}}{% Codish:2000:TDL% }. \NAMECITE{{ACI}-unification}{% Codish:2000:TDL% }. \NAMECITE{action}{% Gadducci:2002:CLR,% Hedman:2000:CAS,% Ronkko:2002:HAS,% Sekerinski:2005:VRF,% vanGlabbeek:2004:WBF% }. \NAMECITE{action-based}{% Sekerinski:2005:VRF% }. \NAMECITE{actions}{% Corradini:2001:SDA,% Corradini:2001:TUT,% Jacobs:2000:OOH% }. \NAMECITE{activation}{% Kelemen:2000:CLA% }. \NAMECITE{active}{% Bailey:2004:DTP% }. \NAMECITE{Actor}{% Talcott:2002:ATR% }. \NAMECITE{Acyclic}{% Guingne:2004:ANM,% Annexstein:2000:MTR,% Chen:2000:EAA,% Fukuda:2001:NAO,% Miyamoto:2004:TDA,% Saunders:2003:ISP% }. \NAMECITE{ad}{% Glasser:2005:FDA,% Li:2004:PEE% }. \NAMECITE{Adapting}{% Ker:2003:AIG% }. \NAMECITE{adaptive}{% Cicalese:2002:LAO,% Reznik:2002:SRT% }. \NAMECITE{Adaptively}{% Frankel:2002:ASD% }. \NAMECITE{adaptiveness}{% Kowalski:2005:TCR% }. \NAMECITE{add}{% Ziv:2002:SGM% }. \NAMECITE{Adding}{% Costagliola:2005:ASI% }. \NAMECITE{addition}{% Crvenkovi:2002:ACR,% Fournier:2001:SNC,% Ibarra:2004:CPS% }. \NAMECITE{additional}{% Kaufmann:2001:RLI% }. \NAMECITE{Additive}{% Daumas:2002:ASN,% Frougny:2003:AMP,% Ying:2002:AMP,% Aguilo:2004:SAA,% Fill:2004:LDA,% Formenti:2003:SAC% }. \NAMECITE{Additives}{% TortoradeFalco:2003:ALL,% Abrusci:2003:TSP% }. \NAMECITE{addressing}{% Shi:2005:NFA% }. \NAMECITE{adiabatic}{% Kieu:2004:HQA% }. \NAMECITE{adic}{% Karpinski:2000:ZTA% }. \NAMECITE{adjacency}{% Kong:2002:TAR% }. \NAMECITE{adjoint}{% Lawvere:2004:LRA% }. \NAMECITE{adjunctions}{% Hermida:2004:PIA% }. \NAMECITE{admissibility}{% Schroder:2002:EA% }. \NAMECITE{admissions}{% Baiou:2004:SAF% }. \NAMECITE{admit}{% Maehara:2001:WDP% }. \NAMECITE{admitting}{% Klazar:2004:LEG% }. \NAMECITE{{ADMs}}{% Calinescu:2002:STP% }. \NAMECITE{Advanced}{% Lange:2003:AEF% }. \NAMECITE{advancing}{% Bravetti:2002:DTG% }. \NAMECITE{adversarial}{% Willmott:2001:AAP% }. \NAMECITE{adversaries}{% Herzog:2005:CID,% Zunino:2005:WPE% }. \NAMECITE{affine}{% Baillot:2004:TIL,% Blondel:2001:DSM,% Konecny:2002:RFC,% Lago:2004:PSD,% Murawski:2004:ISR% }. \NAMECITE{affines}{% Col:2001:AQA% }. \NAMECITE{against}{% Cicalese:2000:OSA,% Encheva:2002:FCA,% Hierons:2004:TCD,% Nock:2003:CCA,% Pedrotti:2002:PST% }. \NAMECITE{agenda}{% Goguen:2000:HA% }. \NAMECITE{agent}{% Dekhtyar:2003:FCC% }. \NAMECITE{agents}{% Kraus:2000:ADT% }. \NAMECITE{aggregation}{% Arenas:2003:SAI,% Chin:2004:ADR,% Kaporin:2004:ACT% }. \NAMECITE{agreement}{% Choy:2005:CMA,% Herlihy:2002:CWF,% Yi:2004:AKA% }. \NAMECITE{ahead}{% Chung:2001:DLP,% Hornung:2004:STT% }. \NAMECITE{Alarm}{% Lakshmanan:2000:APS% }. \NAMECITE{{Alder}}{% Blaser:2005:BAS% }. \NAMECITE{al{\'e}atoires}{% Penaud:2001:CSH% }. \NAMECITE{aleatory}{% Penaud:2001:CSH% }. \NAMECITE{algebra}{% Aceto:2003:MPA,% Aldini:2005:UPA,% Baeten:2005:BHP,% Bergstra:2001:NRI,% Bergstra:2005:PAH,% Broy:2001:ASP,% Cantone:2003:CDF,% Chen:2004:CAK,% Comet:2003:AMP,% Ducourthial:2003:SSP,% Gastin:2002:TCS,% Gunawardena:2003:MPA,% Hermanns:2002:PAP,% Hivert:2005:ABS,% Majster-Cederbaum:2001:USP,% Noutsos:2004:MAP,% Srba:2001:BPA,% Vagvolgyi:2003:IFG,% VandenBussche:2001:SNR,% Ziegler:2004:CLA,% Dauchet:2000:TAP% }. \NAMECITE{Algebraic}{% Astesiano:2002:CCA,% Asveld:2003:AAF,% Broy:2000:ASR,% Chen:2001:ACT,% Esik:2005:ARR,% Grahne:2003:ARO,% Grigoriev:2003:APS,% Kindler:2001:ANF,% Kiwi:2003:ATW,% Oger:2004:AMT,% Pin:2003:ATC,% Bernardinello:2002:AMO,% Duntsch:2001:RAA,% Ferrari:2002:ACS,% Francez:2003:ACD,% Khoussainov:2003:ALS,% Perez-Diaz:2004:PAA,% Pergola:2002:AAF,% Power:2002:PCC,% Rojas:2000:ULI,% Salibra:2000:AML,% Schneider:2003:TPA,% Stephan:2001:LAS,% Wyk:2003:SLA% }. \NAMECITE{algebras}{% Akama:2004:LPC,% Bergman:2002:CCS,% Bernardo:2002:PMS,% Bigotte:2002:LWS,% Bodei:2002:PAP,% Bruni:2002:NFA,% Corradini:2002:FSM,% Crvenkovic:2000:VKA,% Duchamp:2002:SGL,% Hermida:2003:PIP,% Mulry:2002:LRC,% Nicola:2000:LBA,% Petkovic:2004:UAS,% Zimmermann:2003:DOM% }. \NAMECITE{algorithm}{% Aguilo:2004:SAA,% Akhavi:2003:OLA,% Akutsu:2003:SGA,% Allauzen:2004:OPD,% Andrei:2003:NAR,% Arulanandham:2004:FNA,% Bampis:2002:AAP,% Bartal:2004:CRW,% Becker:2002:SAC,% Birkedal:2001:CBR,% Blair:2001:PAM,% Blanchet-Sadri:2004:LPB,% Brueggemann:2004:IDL,% Brunetti:2003:ARC,% Chattaraj:2005:IST,% Chen:2001:IFT,% Chen:2004:BEV,% Chen:2004:SEA,% Cicerone:2003:FDA,% Dantsin:2002:DKA,% DasGupta:2001:PTA,% Desreux:2003:AGE,% Dovier:2004:EAC,% Droste:2002:AEA,% Dulucq:2003:RSS,% Evfimievski:2000:PAU,% Feder:2000:SPA,% Fuster-Sabater:2001:EAG,% Georgiadis:2003:AOP,% Gu:2004:RAM,% He:2005:WWS,% Hirao:2003:PAF,% Jung:2003:EDP,% Kalyanasundaram:2000:ODA,% Knuutila:2001:RDA,% Lester:2002:CAF,% Lin:2000:SEH,% Lorys:2003:NAA,% Malewicz:2004:TAN,% Merlini:2002:SLT,% Muthukrishnan:2004:EAS,% Nandy:2003:ENN,% Noga:2001:OOA,% Okhotin:2003:RPA,% Pasechnik:2001:CHB,% Prisco:2000:RPA,% Prugel-Bennett:2004:WGA,% Rao:2004:PQP,% Ravikumar:2004:WMD,% Riany:2001:TPS,% Rytter:2003:MSC,% Sarkar:2000:DCA,% Sawada:2003:FAG,% Shankar:2000:NAL,% Stomp:2002:CSP,% Thiant:2003:AFD,% Vajnovszki:2003:LAG,% Watson:2003:NRG,% Winands:2004:ETL,% Xue:2001:COP% }. \NAMECITE{Algorithmic}{% Burgin:2004:ACR,% Demaine:2004:ABO,% Beal:2004:AVG,% Gammerman:2002:PAC,% Gritzmann:2002:AID% }. \NAMECITE{Algorithms}{% Chlebus:2000:APA,% Dahllof:2004:AFV,% Gerber:2003:AVP,% Hashiguchi:2002:ADS,% Healy:2004:AML,% Kashem:2000:AGV,% Kraus:2000:ADT,% Luccio:2002:ANS,% Mauri:2005:APM,% Schmitt:2004:TGA,% Trahtman:2000:AFO,% Wan:2002:ACL,% Achlioptas:2000:CAR,% Akhavi:2002:RLT,% Albert:2001:NFA,% Anderson:2002:LUW,% Arikati:2001:AAM,% Baeza-Yates:2003:FAS,% Becchetti:2002:AAR,% Bergeron:2004:CDB,% Beyer:2002:HAE,% Bonis:2001:EAC,% Brandstadt:2004:TSC,% Bronnimann:2004:SEP,% Bunder:2000:PFA,% Burgin:2004:ACR,% Burgin:2004:TAS,% Byskov:2005:NAE,% Caldwell:2000:SAT,% Calegari:2001:COA,% Cantone:2002:QEM,% Champarnaud:2004:NRA,% Chen:2000:EAA,% Chen:2002:RAC,% Chen:2003:AAN,% Chin:2004:ICA,% Coja-Oghlan:2004:TCA,% Czumaj:2003:PTA,% David:2001:ABP,% David:2003:DRP,% Delgado-Friedrichs:2003:DSA,% Duncan:2003:PTA,% Eades:2000:SAS,% Frigioni:2001:DAC,% Gammerman:2002:PAC,% Glazek:2001:OAP,% Grabner:2002:SAB,% Hagiya:2002:CAS,% Harbane:2001:ERA,% He:2005:OSO,% Heinig:2004:SAS,% Helmbold:2002:DIA,% Heskes:2002:AAN,% Hwang:2000:PAA,% Hwang:2002:SPR,% Iwama:2001:ERR,% Janssen:2001:AAC,% Joung:2000:TDA,% Katoen:2000:PMA,% Kirrinnis:2001:FAS,% Krznaric:2002:OAC,% Lester:2002:UPV,% McIver:2002:QPL,% Mohri:2000:MAS,% Moreira:2004:GAI,% Moschovakis:2003:PRA,% Moura:2003:RIS,% Nishimura:2005:UQC,% Okamoto:2003:EDC,% Park:2001:PAR,% Pijls:2001:GTA,% Sadakane:2005:CAL,% Saunders:2003:ISP,% Schmitt:2001:TGA,% Schott:2004:TOP,% Steinhofel:2002:CSA,% Vallee:2003:DAC% }. \NAMECITE{alignment}{% Bonizzoni:2001:CMS,% Chen:2004:SEA,% Manthey:2003:NAW% }. \NAMECITE{all-}{% Waldispuhl:2005:MPA% }. \NAMECITE{all-optical}{% Auletta:2001:SLW,% Becchetti:2002:AAR,% Flammini:2005:RWA% }. \NAMECITE{all-pairs}{% Pettie:2004:NAA% }. \NAMECITE{all-to-all}{% Flammini:2005:RWA,% Opatrny:2003:UMH% }. \NAMECITE{allocation}{% Kraus:2000:ADT,% Sussman:2002:BPE% }. \NAMECITE{allusion}{% Takeda:2003:DIP% }. \NAMECITE{Almost}{% Ambos-Spies:2003:ACS,% Kabanets:2003:AKW,% McIver:2003:ACE,% Muchnik:2003:APS,% Dinur:2002:ASW,% Maes:2000:MMA% }. \NAMECITE{Almost-certain}{% McIver:2003:ACE% }. \NAMECITE{almost-periodicity}{% Maes:2000:MMA% }. \NAMECITE{almost-polynomial}{% Dinur:2002:ASW% }. \NAMECITE{along}{% Bellantoni:2004:SNA,% Domaratzki:2004:DAT% }. \NAMECITE{alphabet}{% Anselmo:2005:NOR,% Popov:2003:APP% }. \NAMECITE{Alphabetic}{% Rahonis:2001:AST% }. \NAMECITE{alphabets}{% Francez:2003:ACD,% Jevtic:2005:LBC% }. \NAMECITE{Alternating}{% Holzer:2003:AEA,% Salomaa:2000:AFA,% Ayari:2003:DPI,% Chlebus:2000:APA,% Fritz:2005:SRA,% Leivant:2000:CAL,% Moriya:2005:SAC,% Salomaa:2000:EIR,% Xu:2001:ASS,% czyk:2003:FGP% }. \NAMECITE{Alternation}{% Xu:2001:ASS,% Matz:2002:DDM,% Piterman:2003:BA% }. \NAMECITE{alternative}{% Adamowicz:2004:WBP,% Eveillard:2004:MSC% }. \NAMECITE{always}{% Bousquet-Melou:2003:WCQ% }. \NAMECITE{Amalgamation}{% Schroder:2005:ASC,% Schulz:2001:CCS% }. \NAMECITE{{Amazons}}{% Snatzke:2004:NRE% }. \NAMECITE{{amb}}{% Carayol:2005:RMA% }. \NAMECITE{{Ambainis}}{% Zhang:2005:PAL% }. \NAMECITE{ambient}{% Amenta:2003:CTA,% Maffeis:2005:CSP% }. \NAMECITE{ambients}{% Boneva:2005:WAC,% Busi:2004:EPM,% Cardelli:2000:MA,% Charatonik:2003:MCM% }. \NAMECITE{Ambiguity}{% Finkel:2003:AOC% }. \NAMECITE{Ambiguous}{% Santocanale:2005:ACS,% Klimann:2004:DUS% }. \NAMECITE{amidst}{% Fujimura:2002:TMP% }. \NAMECITE{{Ammann}}{% Harriss:2004:CST% }. \NAMECITE{among}{% Park:2000:RCT,% Stabler:2003:SSW,% Zheng:2003:CAN% }. \NAMECITE{amplitude}{% Cegielski:2003:AIN% }. \NAMECITE{analog}{% Ben-Hur:2004:PAA% }. \NAMECITE{Analogies}{% Bertoni:2001:ADB% }. \NAMECITE{analogs}{% Hemaspaandra:2000:SST% }. \NAMECITE{analogue}{% Goldblatt:2001:WCA% }. \NAMECITE{analyse}{% Beyer:2002:HAE% }. \NAMECITE{analyses}{% Muller:2000:APA% }. \NAMECITE{Analysis}{% Busi:2002:AIP,% Goerdt:2003:AED,% Li:2004:ARL,% Martinelli:2002:ASP,% Panholzer:2003:AMQ,% Achlioptas:2000:CAR,% Akutsu:2003:SGA,% Arnold:2002:PAE,% Baeza-Yates:2003:FAS,% Benzinger:2004:AHO,% Boreale:2000:CAB,% Boreale:2005:MSA,% Borger:2005:ASM,% Bridges:2002:KSC,% Cocco:2004:HAC,% Droste:2002:AEA,% Dulucq:2003:RSS,% Ekin:2000:CLA,% Glasser:2005:FDA,% Gorrieri:2005:TFS,% Grabner:2002:SAB,% Hagiya:2002:CAS,% Hernest:2005:CAF,% Hornof:2000:ABT,% Lavi:2004:CAI,% Lawson:2004:IAC,% Lorenz:2004:EAM,% Louchard:2003:ARS,% Malajovich:2004:HPA,% Malewicz:2004:TAN,% Muller-Olm:2004:PID,% Ono:2002:LAD,% Rohrmair:2005:UDI,% Scozzari:2002:LOG,% Shmatikov:2002:FSA,% Vallee:2003:DAC,% Zhou:2000:GHC% }. \NAMECITE{analytic}{% Banderier:2002:BAC,% Hasegawa:2002:TAA,% Massacci:2000:PCA% }. \NAMECITE{Ancestor}{% Bender:2004:LAP% }. \NAMECITE{{Anderson}}{% Malewicz:2004:TAN% }. \NAMECITE{animation}{% Hayashi:2002:TAP% }. \NAMECITE{anniversary}{% Nivat:2004:AEG% }. \NAMECITE{annotation}{% Grant:2000:DEA% }. \NAMECITE{annotation-directed}{% Grant:2000:DEA% }. \NAMECITE{annotations}{% Alber:2004:CST,% Taha:2000:MMS% }. \NAMECITE{anonymous}{% Flocchini:2003:CAN% }. \NAMECITE{answering}{% Fagin:2005:DES% }. \NAMECITE{anthologies}{% Takeda:2003:DIP% }. \NAMECITE{anti}{% Stevens:2003:AOS% }. \NAMECITE{anti-{Oberwolfach}}{% Stevens:2003:AOS% }. \NAMECITE{anticipating}{% Gao:2001:SAD% }. \NAMECITE{{Antonio}}{% Anonymous:2005:EAF% }. \NAMECITE{ants}{% Gajardo:2004:DCA% }. \NAMECITE{any}{% Ferretti:2000:NTT% }. \NAMECITE{appeal}{% Fraenkel:2004:CAC% }. \NAMECITE{Appendix}{% Demaine:2004:ABO,% Grossman:2004:ARF% }. \NAMECITE{applicable}{% Jiang:2003:UEW% }. \NAMECITE{Application}{% Comet:2003:AMP,% Rytter:2003:ALZ,% Beal:2001:TDL,% Berline:2000:CFF,% Bolton:2005:HFB,% Damiand:2001:SPG,% Fournier:2003:CPM,% Indermitte:2001:VDP,% Jansen:2003:ASS,% Maurel:2001:SPT,% Merkle:2001:SPB,% Na:2003:TST,% Oles:2000:ALT,% VandenBussche:2001:SNR% }. \NAMECITE{Applications}{% Brown:2002:ASS,% Col:2001:AQA,% Kern:2000:ARF,% Kuo:2004:AGC,% Arques:2000:SCS,% Bar-Ilan:2001:GSC,% Blanck:2002:DRP,% Bonichon:2003:WUR,% Bonis:2003:CGS,% Bousquet:2003:TBP,% Buhrman:2000:NAI,% Corradini:2002:FSM,% Fischlin:2001:CLP,% Gerbessiotis:2003:AIP,% Habib:2000:LBP,% Hasegawa:2002:TAA,% Iwamoto:2002:CFC,% Konikowska:2002:RSD,% Koubarakis:2001:TDL,% Ravikumar:2004:WMD,% Shahrokhi:2000:NLB,% Wang:2000:TDW,% Ying:2002:BIT% }. \NAMECITE{applicative}{% Nicola:2000:LBA% }. \NAMECITE{applied}{% Beal:2001:TDL,% Demongeot:2004:DAP% }. \NAMECITE{Applying}{% Willmott:2001:AAP% }. \NAMECITE{approach}{% Chen:2004:CAK,% Cirstea:2002:CEA,% Cirstea:2004:CAD,% Duffy:2002:GAL,% Duntsch:2001:RAA,% Fereti:2004:ECP,% Flajolet:2002:RIR,% Gerla:2000:CSA,% Golin:2001:CAG,% Hachaichi:2003:DCA,% Hubalek:2000:VIP,% Kesten:2005:CAC,% Kitagawa:2003:SPA,% Kolb:2003:ODA,% Mertens:2001:PAN,% Pattinson:2005:CAM,% Pettie:2004:NAA,% Pin:2005:TAT,% Toman:2005:RAS,% Wirsing:2002:FAO,% vanderAalst:2002:IWA% }. \NAMECITE{approaches}{% Heskes:2002:AAN,% Wang:2002:NCT% }. \NAMECITE{Approximability}{% Halldorsson:2003:ARS,% Karuno:2004:ARM,% Krupski:2002:ESA,% Manthey:2003:NAW,% Serna:2001:PAS,% Serna:2005:ANB,% Thimm:2003:AST% }. \NAMECITE{Approximate}{% Chin:2004:ADR,% Heskes:2002:AAN,% Holub:2000:ASM,% Jansen:2003:ASS,% Lee:2001:AEC,% Lemstrom:2003:APM,% Sessa:2002:ARS,% Sim:2001:APS,% Angel:2003:ATB,% Evans:2003:CFC,% Hitchcock:2002:MEH,% Kolpakov:2003:FAR,% Navarro:2000:IAP,% Navarro:2004:ACE,% Perez-Diaz:2004:PAA,% Popov:2003:APP,% Schuster:2003:UEA% }. \NAMECITE{Approximating}{% Angel:2004:APC,% Aurenhammer:2002:AUT,% Burago:2004:ASP,% Dinur:2002:ASW,% Elkin:2005:ASP,% Fujito:2000:AMF,% Pergola:2002:AAF,% Chen:2005:AMV,% Vazirani:2000:RRA% }. \NAMECITE{Approximation}{% Arikati:2001:AAM,% Becchetti:2002:AAR,% Chen:2003:AAN,% Eriksen:2002:ASR,% Hong:2001:ASN,% Huang:2005:AWE,% Janssen:2001:AAC,% Sauerhoff:2003:ABF,% Akutsu:2000:ALC,% Amenta:2003:CTA,% Augustine:2004:LTA,% Bai:2004:IEC,% Bampis:2002:AAP,% Bartlett:2002:HRN,% Bazgan:2005:CSD,% Bazgan:2005:DAM,% Bockenhauer:2002:TNS,% Coja-Oghlan:2004:TCA,% Czumaj:2003:PTA,% Halldorsson:2004:RAS,% Jansen:2003:AFP,% Lorys:2003:NAA,% Ruan:2004:GAM,% Rytter:2003:ALZ,% Schuurman:2000:PTA,% Spreen:1999:FPL,% Spreen:2001:CSF,% vanBakel:2002:NAS% }. \NAMECITE{Approximations}{% Aspvall:2001:AGB,% Chen:2001:AST,% Dang:2003:GDT,% Lin:2001:SGR,% Mehta:2002:DTA,% Stephan:2002:LCA% }. \NAMECITE{{APX}}{% Alimonti:2000:SAC,% Bafna:2005:PAH,% Bazgan:2005:CSD% }. \NAMECITE{{APX}-}{% Bazgan:2005:CSD% }. \NAMECITE{{APX}-completeness}{% Alimonti:2000:SAC% }. \NAMECITE{{APX}-hard}{% Bafna:2005:PAH% }. \NAMECITE{Arbiters}{% Manabe:2004:AME% }. \NAMECITE{arbitrary}{% Constantinescu:2005:GFW,% Heinig:2004:SAS,% Jonsson:2000:BCS,% Lange:2000:FPA,% Okhotin:2003:RPA,% Schmitt:2004:TGA,% Weihrauch:2005:CSK% }. \NAMECITE{Arborescence}{% Georgiadis:2003:AOP% }. \NAMECITE{arborescent}{% Bousquet:2003:TBP% }. \NAMECITE{arc}{% Alber:2004:CST% }. \NAMECITE{{Archimedean}}{% Boldi:2000:TCA,% Delorme:2004:RTR% }. \NAMECITE{architectural}{% Aldini:2005:UPA% }. \NAMECITE{Architecture}{% Gerbessiotis:2003:AIP,% Hooman:2005:SMT% }. \NAMECITE{arcs}{% Baldan:2004:DES,% Busi:2002:AIP,% Kindler:2001:ANF,% Vogler:2002:EAS,% Vogler:2002:POS% }. \NAMECITE{area}{% Ferrari:2003:SBR,% Kirsten:2003:TTA,% Lin:2003:TAR% }. \NAMECITE{argument}{% Bringsjord:2004:MAH,% Simon:2000:BCA% }. \NAMECITE{arising}{% Hwang:2001:UAS% }. \NAMECITE{arithmetic}{% Aehlig:2004:ANS,% Belaga:2001:MAT,% Blaser:2003:CBP,% Col:2002:ALC,% Dimitracopoulos:2001:EEM,% Etiemble:2002:CAH,% Hertling:2002:LBR,% Howse:2004:PAP,% Lester:2002:UPV,% Luttik:2005:DOA,% Rigo:2001:NSR,% Zaslavsky:2004:SGP,% vonzurGathen:2004:FAG% }. \NAMECITE{arithmetic-periodicity}{% Howse:2004:PAP% }. \NAMECITE{Arithmetical}{% Frid:2003:ACS,% Hachaichi:2004:ADC,% Frid:2005:SLA,% Korec:2001:LAS,% Matiyasevich:2001:SAR% }. \NAMECITE{Arithmetics}{% Ressayre:2001:WA,% Richard:2001:WWA% }. \NAMECITE{arrangements}{% Hsu:2003:PTC% }. \NAMECITE{array}{% Tsai:2004:LAR% }. \NAMECITE{Arrays}{% Fraenkel:2002:ANS,% Apostolico:2000:FAT,% Cohen:2003:OPO,% Harbane:2001:ERA,% Kim:2003:GSAa,% Kim:2003:GSAb,% Levin:2000:SSC,% Li:2004:ARL,% Stevens:2004:PA,% Stewart:2002:PSA% }. \NAMECITE{artificial}{% Engel:2001:CLA% }. \NAMECITE{ary}{% Bonizzoni:2001:NPS% }. \NAMECITE{Ascending}{% Louchard:2003:ARS% }. \NAMECITE{asking}{% Erlebach:2001:LOV% }. \NAMECITE{{ASM}}{% Schellhorn:2005:ARG% }. \NAMECITE{Aspects}{% Kari:2005:ASD,% Meyer:2001:ACP,% Asveld:2003:AAF,% Burgin:2004:TAS,% Cohen:2005:PAD,% Habib:2004:CAD,% Harju:2004:MAD,% Mihalache:2001:LTA% }. \NAMECITE{Assembling}{% Holzer:2004:AMA% }. \NAMECITE{assembly}{% Ehrenfeucht:2002:GAT,% Ehrenfeucht:2003:FSG% }. \NAMECITE{assertion}{% Abraham:2005:ABP% }. \NAMECITE{assertion-based}{% Abraham:2005:ABP% }. \NAMECITE{assertional}{% Kesten:2001:SMC% }. \NAMECITE{assertions}{% Gordon:2003:TCA% }. \NAMECITE{assignment}{% Angel:2001:LRQ,% Azar:2002:LTT,% Bodlaender:2000:HPP,% Chen:2003:AAN,% Clementi:2003:MBR,% Ishihara:2002:CIU,% Janssen:2001:AAC,% Yokouchi:2002:CTA,% Zhou:2004:CAP% }. \NAMECITE{assignments}{% Sheng:2003:RAT% }. \NAMECITE{assistance}{% Kolano:2002:PAR% }. \NAMECITE{assistants}{% Arvind:2000:ELT% }. \NAMECITE{associated}{% Chen:2003:DCR,% Dartnell:2003:CCA% }. \NAMECITE{association}{% Angiulli:2004:CIC% }. \NAMECITE{Associative}{% Cherubini:2002:ALD,% Germain:2000:LRD% }. \NAMECITE{assumption}{% Zunino:2005:WPE% }. \NAMECITE{asymmetric}{% Abadi:2003:STA,% Chang:2004:WSN,% Jiao:2004:LBA% }. \NAMECITE{Asymptotic}{% Barge:2003:AOP,% Mairesse:2002:ABH,% David:2001:ABP,% Giorgetti:2003:ASP,% Jansen:2003:AFP,% Peter:2003:ADE,% Smith:2001:CAP% }. \NAMECITE{Asymptotically}{% Geffert:2000:AEP,% Sinha:2003:AOD% }. \NAMECITE{asymptotics}{% Hwang:2001:UAS% }. \NAMECITE{Asynchronous}{% Droste:2000:ACA,% Brzozowski:2000:AAB,% Corradini:2005:MPA,% Flocchini:2005:GAR,% Guerraoui:2001:GAM,% Jenner:2001:FAS,% Sussman:2002:BPE,% Vogler:2002:EAS,% Yoshida:2002:MSR% }. \NAMECITE{asynchronously}{% deBoer:2002:HLD% }. \NAMECITE{{ATM}}{% Becchetti:2002:DEA,% Bermond:2002:DVP% }. \NAMECITE{atomic}{% Guerraoui:2001:GAM,% Pedone:2002:OAB% }. \NAMECITE{{ATOMIX}}{% Holzer:2004:AMA% }. \NAMECITE{atoms}{% Chrobak:2001:RPS% }. \NAMECITE{attendants}{% Flake:2002:RHP% }. \NAMECITE{auctions}{% Blum:2004:OLO,% Huang:2005:AWE,% Lavi:2004:CAI% }. \NAMECITE{Augmenting}{% Ibarra:2002:ADT% }. \NAMECITE{Authenticated}{% Yi:2004:AKA% }. \NAMECITE{Authentication}{% Guttman:2002:ATS,% Abadi:2004:PA,% Bhargavan:2005:SWS,% Bodei:2002:PAP,% Ding:2005:CTC,% Focardi:2003:CTA,% Safavi-Naini:2001:BAG% }. \NAMECITE{Author}{% Anonymous:2001:AIVa,% Anonymous:2001:AIVb,% Anonymous:2001:AIVc,% Anonymous:2001:AIVd,% Anonymous:2001:AIVe,% Anonymous:2001:AIVf,% Anonymous:2001:AIVg,% Anonymous:2001:AIVh,% Anonymous:2001:AIVi,% Anonymous:2001:AIVj,% Anonymous:2001:AIVk,% Anonymous:2001:AIVl,% Anonymous:2001:AIVm,% Anonymous:2001:AIVn,% Anonymous:2001:AIVo,% Anonymous:2002:AIVa,% Anonymous:2002:AIVb,% Anonymous:2002:AIVc,% Anonymous:2002:AIVd,% Anonymous:2002:AIVe,% Anonymous:2002:AIVf,% Anonymous:2002:AIVg,% Anonymous:2002:AIa,% Anonymous:2002:AIb,% Anonymous:2002:AIc,% Anonymous:2002:AId,% Anonymous:2002:AIe,% Anonymous:2002:AIf,% Anonymous:2002:AIg,% Anonymous:2002:AIh,% Anonymous:2002:AIi,% Anonymous:2002:AIj,% Anonymous:2002:AIk,% Anonymous:2002:AIl,% Anonymous:2002:AIm,% Anonymous:2003:AIa,% Anonymous:2003:AIb,% Anonymous:2003:AIc,% Anonymous:2003:AId,% Anonymous:2003:AIe,% Anonymous:2003:AIf,% Anonymous:2003:AIg,% Anonymous:2003:AIh,% Anonymous:2003:AIi,% Anonymous:2003:AIj,% Anonymous:2003:AIk,% Anonymous:2003:AIl,% Anonymous:2003:AIm,% Anonymous:2003:AIn,% Anonymous:2003:AIo,% Anonymous:2003:AIp,% Anonymous:2003:AIq,% Anonymous:2003:AIr,% Anonymous:2003:AIs,% Anonymous:2004:AIa,% Anonymous:2004:AIb,% Anonymous:2004:AIc,% Anonymous:2004:AId,% Anonymous:2004:AIe,% Anonymous:2004:AIf,% Anonymous:2004:AIg,% Anonymous:2004:AIh,% Anonymous:2004:AIi,% Anonymous:2004:AIj,% Anonymous:2004:AIk,% Anonymous:2004:AIl,% Anonymous:2004:AIm,% Anonymous:2004:AIn,% Anonymous:2004:AIo,% Anonymous:2004:AIp,% Anonymous:2004:AIq,% Anonymous:2004:AIr,% Anonymous:2004:AIs,% Anonymous:2004:AIt,% Anonymous:2005:AIa,% Anonymous:2005:AIb,% Anonymous:2005:AIc,% Anonymous:2005:AId,% Anonymous:2005:AIe,% Anonymous:2005:AIf,% Anonymous:2005:AIg,% Anonymous:2005:AIh,% Anonymous:2005:AIi,% Anonymous:2005:AIj% }. \NAMECITE{autobiography}{% Harper:2003:ACA% }. \NAMECITE{Automata}{% Brzozowski:2000:AAB,% Chrobak:2003:ESA,% Rabinovich:2003:ACT,% Ramesh:2001:ADE,% Sutner:2000:ACP,% Aceto:2003:PRT,% Alur:2004:OPW,% Ambainis:2002:TWF,% Ambainis:2003:ERA,% Ananichev:2004:SMA,% Ananichev:2005:SGM,% Ayari:2003:DPI,% Baldwin:2000:CCA,% Barbe:2004:PMH,% Beauquier:2002:DVR,% Beauquier:2003:PTA,% Ben-Hur:2004:PAA,% Bertoni:2001:ADB,% Bertoni:2005:SSQ,% Birget:2000:PCP,% Bouyer:2004:UTA,% Boykett:2004:EEL,% Brandenburg:2005:FGA,% Bunimovich:2003:LGC,% Calude:2000:FNA,% Campeanu:2001:MCA,% Caron:2000:CGA,% Carton:2003:UBA,% Cattaneo:2000:ETR,% Cattaneo:2000:ITC,% Cattaneo:2004:SSC,% Champarnaud:2001:SCC,% Chrobak:1986:FAU,% Comon:2005:TAO,% Czeizler:2004:SIN,% Daciuk:2004:FAC,% Dang:2003:GDT,% Dang:2003:PLV,% Dang:2003:PTA,% Dang:2004:PPT,% Dang:2005:TWN,% Dartnell:2003:CCA,% Delorme:2002:RPL,% Demongeot:2004:DAP,% Dierks:2001:PAN,% Domosi:2000:CSA,% Domosi:2003:FSF,% Droste:2000:ACA,% Dubacq:2001:KCC,% Duchamp:2001:DDL,% Durand-Lose:2000:RST,% Durand:2003:NCC,% Durr:2004:CAC,% Fernau:2002:SGA,% Ferrari:2005:CMH,% Fiorenzi:2003:CAS,% Formenti:2003:NCC,% Formenti:2003:SAC,% Fritz:2005:SRA,% Geffert:2003:CTW,% Hashiguchi:2000:NUB,% Hermida:2004:PIA,% Hirshfeld:2001:PAM,% Holub:2000:ASM,% Holzer:2002:MHF,% Holzer:2003:AEA,% Holzer:2004:DFA,% Holzer:2005:DCF,% Hunziker:2004:CPF,% Imreh:2000:ECP,% Iwamoto:2002:CFC,% Jiang:2003:UEW,% Karakostas:2003:CIF,% Kari:2003:SFA,% Kari:2005:TCA,% Katritzke:2004:EPT,% Kelarev:2003:CAD,% Klein:2003:FOW,% Klimann:2001:NTA,% Konecny:2002:RFC,% Konecny:2004:RFI,% Kuske:2004:BAC,% LHer:2001:PSF,% Lanotte:2003:CTA,% Lee:2003:SOD,% Leung:2004:LPD,% Levin:2000:SSC,% Lugiez:2005:MAC,% Malcher:2004:MFA,% Malcher:2005:TWC,% Margenstern:2001:NPT,% Martin:2001:SCA,% Matamala:2004:DCA,% Mateus:2003:CFR,% Maurel:2001:SPT,% Mera:2005:CUN,% Moore:2000:QAQ% }. \NAMECITE{automata}{% Moreira:2003:UDN,% Moreira:2004:CMO,% Neven:2002:QAF,% Nichitiu:2004:LEP,% Qiu:2004:CQA,% Ravikumar:2004:PSS,% Rutten:2003:BDE,% Sakamoto:2000:IDP,% Salomaa:2000:AFA,% Salomaa:2000:EIR,% Schnitger:2001:PVI,% Shahbazyan:2004:ELA,% Springintveld:2001:TTA,% Sutner:2003:CAI,% Sutner:2003:SPA,% Sutner:2004:CRC,% Tamm:2004:BAM,% Terrier:2003:TDC,% Terrier:2004:TDC,% Torre:2003:FAT,% Torre:2005:WMA,% Trahtman:2000:OEO,% Trahtman:2001:ESE,% Vagvolgyi:2003:GTT,% Wolter:2002:CPA,% Xu:2001:ASS,% Yamasaki:2002:OWP,% Yamasaki:2005:QVD,% Yao:2004:SPI,% Ziadi:2000:SDT,% czyk:2003:FGP,% vanZijl:2004:GAS,% Lescow:2000:MSS% }. \NAMECITE{Automata-driven}{% Ramesh:2001:ADE% }. \NAMECITE{Automated}{% Benzinger:2004:AHO,% Colby:2002:ATP% }. \NAMECITE{automates}{% Delorme:2002:RPL% }. \NAMECITE{Automatic}{% Bouajjani:2003:AVR,% Campbell:2001:AS,% Krishnan:2003:ASS,% Kwiatkowska:2002:AVR,% Lesens:2001:AVP,% Peter:2003:ADE,% Rigo:2000:GAS,% Silva:2002:ESA% }. \NAMECITE{automaticity}{% Barbe:2001:DIS% }. \NAMECITE{automaton}{% Caron:2000:LMP,% Champarnaud:2002:CDP,% Elston:2004:GWW,% Herrmann:2003:UCA,% Ibarra:2002:ADT,% Imai:2000:CUT,% Klimann:2004:DUS,% Toffoli:2004:HTS,% Trahtman:2000:AFO% }. \NAMECITE{aux}{% Durand:2002:LP% }. \NAMECITE{auxiliary}{% Holzer:2003:AEA% }. \NAMECITE{avalanche}{% Zheng:2003:CAN% }. \NAMECITE{Average}{% Navarro:2004:ACE,% Akutsu:2003:SGA,% Cocco:2004:HAC,% Erlebach:2001:LOV,% Hwang:2000:PAA,% Janson:2004:ASC% }. \NAMECITE{average-case}{% Cocco:2004:HAC,% Hwang:2000:PAA% }. \NAMECITE{avoidance}{% Currie:2005:PAT,% Slany:2002:EPS% }. \NAMECITE{Avoiding}{% Ott:2002:ACT,% Rampersad:2005:ALS,% Currie:2004:NBW,% Liskiewicz:2003:CCS% }. \NAMECITE{axiom}{% Ulidowski:2000:FAS% }. \NAMECITE{axiomatic}{% Tini:2001:ASE% }. \NAMECITE{axiomatizability}{% Rosu:2001:EAC% }. \NAMECITE{Axiomatization}{% Calders:2002:AFI,% Aceto:2005:CHM,% DAgostino:2005:ABQ% }. \NAMECITE{Axiomatizing}{% Esik:2002:ASS% }. \NAMECITE{Axioms}{% Schobbens:2002:ART,% Arai:2000:ENF,% Atserias:2003:IBW,% Crvenkovi:2002:ACR% }. \NAMECITE{axis}{% Bellantoni:2004:SNA% }. \NAMECITE{{B}}{% Demaine:2004:ABO,% Senizergues:2002:BSD% }. \NAMECITE{backtrack}{% Cocco:2004:HAC,% Herley:2002:DPB% }. \NAMECITE{backtranslation}{% Moreira:2004:GAI% }. \NAMECITE{backup}{% Ito:2005:SBT% }. \NAMECITE{backups}{% Damaschke:2002:OSB% }. \NAMECITE{{Bahncard}}{% Fleischer:2001:BP% }. \NAMECITE{Balance}{% Berthe:2002:BPM% }. \NAMECITE{Balanced}{% Sano:2004:BWG,% Chung:2002:LBP,% Itai:2002:PCP,% Jenkinson:2004:CBW% }. \NAMECITE{Balances}{% Adamczewski:2003:BFP% }. \NAMECITE{balancing}{% Lam:2002:LLB% }. \NAMECITE{{Banach}}{% Gurvits:2001:NSS% }. \NAMECITE{{Bancomat}}{% Sussman:2002:BPE% }. \NAMECITE{banded}{% Chung:2002:LBP% }. \NAMECITE{banded-system}{% Chung:2002:LBP% }. \NAMECITE{bandwidth}{% Blum:2000:SDR,% Calamoneri:2003:NRE,% Harper:2003:BHG,% Muradian:2003:BMP% }. \NAMECITE{bandwidths}{% Zhou:2000:BBG% }. \NAMECITE{base}{% Edson:2004:RPI,% Frougny:2003:LDS% }. \NAMECITE{based}{% Abraham:2005:ABP,% Adamek:2004:CBC,% Ayari:2003:DPI,% Bidoit:2003:OLC,% Birkedal:2001:CBR,% Bolton:2005:HFB,% Chattaraj:2005:IST,% Chen:2005:MBM,% Cohen:2005:PAD,% Crvenkovic:2000:VKA,% Dantsin:2002:DKA,% Drewes:2000:TBP,% Drewes:2001:TBG,% Dukes:2004:CEB,% Frougny:2003:AMP,% Gammerman:2002:PAC,% Huang:2004:SBP,% Jagannathan:2000:CBT,% Katoen:2000:PMA,% Lu:2001:WSB,% Martin:2003:RSC,% Mohamed:2003:NTM,% Monin:2001:OMB,% Nicola:2000:LBA,% Nock:2004:DPI,% Okamoto:2003:EDC,% Paun:2000:DCB,% Poulakidas:2000:ICF,% Rytter:2003:ALZ,% Sekerinski:2005:VRF,% Sessa:2002:ARS,% Takimoto:2000:LEE,% Takimoto:2003:TDT,% Yamamoto:2003:HFB,% Yang:2005:MBR% }. \NAMECITE{bases}{% Cori:2002:PIS,% Pasechnik:2001:CHB% }. \NAMECITE{Basic}{% Banderier:2002:BAC,% Srba:2001:BPA,% Koubarakis:2001:TDL,% Malgouyres:2002:CCR,% Strahm:2004:PTC% }. \NAMECITE{basis}{% Aceto:2003:MPA,% Aguilo:2004:SAA,% Boyar:2000:MCB,% Durand:2002:CRH% }. \NAMECITE{batch}{% Yuan:2004:USM% }. \NAMECITE{batching}{% Angel:2003:ATB% }. \NAMECITE{{Baumslag}}{% Elder:2005:CFC% }. \NAMECITE{{Bayes}}{% Gama:2003:IB% }. \NAMECITE{{Bayesian}}{% Heskes:2002:AAN% }. \NAMECITE{{BB'IW}}{% Broda:2004:DFB% }. \NAMECITE{{BB'IW}-logic}{% Broda:2004:DFB% }. \NAMECITE{{BC}}{% Case:2000:VBL% }. \NAMECITE{{BDDs}}{% Campos:2001:VLR% }. \NAMECITE{be}{% Boneva:2005:WAC,% Chen:2002:NNC,% Foy:2004:DSW,% Jonsson:2002:TPP,% Kral:2004:ITP% }. \NAMECITE{beaver}{% Michel:2004:STM% }. \NAMECITE{{Beenker}}{% Harriss:2004:CST% }. \NAMECITE{behaved}{% Adamowicz:2004:WBP,% vanGlabbeek:2004:WBF% }. \NAMECITE{behavior}{% Dekhtyar:2003:FCC,% Huang:2004:SBP,% Mairesse:2002:ABH,% Taylor:2003:EBB% }. \NAMECITE{Behavioral}{% Rosu:2004:BAH% }. \NAMECITE{behaviors}{% Brzozowski:2000:AAB% }. \NAMECITE{behaviour}{% David:2001:ABP% }. \NAMECITE{Behavioural}{% Dezani-Ciancaglini:2004:BIL,% Rutten:2003:BDE,% Hennessy:2004:TBT,% vanBreugel:2005:BPP% }. \NAMECITE{behaviours}{% Kucera:2000:EDS% }. \NAMECITE{{Bendix}}{% Lepper:2001:DLO% }. \NAMECITE{{Berarducci}}{% Dezani-Ciancaglini:2003:ILC% }. \NAMECITE{{Bernoulli}}{% deLuca:2002:SCR% }. \NAMECITE{{Bernstein}}{% Bini:2004:BBM% }. \NAMECITE{{Berstel}}{% Anonymous:2003:PJB,% Brlek:2003:VRS% }. \NAMECITE{{Besicovitch}}{% Formenti:2003:SAC% }. \NAMECITE{best}{% Breuker:2001:SGP,% Chen:2004:BEV,% Hirao:2003:PAF,% Takimoto:2001:PNW,% Takimoto:2002:PNW% }. \NAMECITE{best-first}{% Breuker:2001:SGP% }. \NAMECITE{beta}{% Elkharrat:2004:SGB,% Frougny:2003:AMP% }. \NAMECITE{beta-integers}{% Frougny:2003:AMP% }. \NAMECITE{beta-lattices}{% Elkharrat:2004:SGB% }. \NAMECITE{Better}{% Forster:2003:BQO,% Epstein:2003:MWS% }. \NAMECITE{Better-quasi-orderings}{% Forster:2003:BQO% }. \NAMECITE{between}{% Bertoni:2001:ADB,% Choffrut:2002:DBL,% Deutsch:2003:BBD,% Durand:2002:CBC,% Kalnishkan:2002:GLR,% Klein:2002:DTM,% Kucera:2002:WBB,% Levene:2001:GNI,% Ma:2002:CSB,% Margenstern:2000:FBD,% Mili:2000:SDB,% Moshier:2004:RBC,% Nadathur:2000:CBC,% Pratt:2003:CSS,% Salomaa:2005:CBS,% Schellekens:2004:CBP,% Vereshchagin:2002:IML% }. \NAMECITE{Beyond}{% Blaser:2005:BAS,% Corradini:2002:CSB% }. \NAMECITE{{Bezoutian}}{% Bini:2004:BBM% }. \NAMECITE{{BFS}}{% Habib:2000:LBP% }. \NAMECITE{bi}{% Heinis:2002:FBI,% Karhumaki:2003:DTB,% Zhang:2003:CCF,% Pym:2004:PWR% }. \NAMECITE{bi-decoding}{% Zhang:2003:CCF% }. \NAMECITE{bi-infinite}{% Heinis:2002:FBI,% Karhumaki:2003:DTB% }. \NAMECITE{bibliography}{% Marti-Oliet:2002:RLR% }. \NAMECITE{bicliques}{% Dias:2005:GBG% }. \NAMECITE{bicolored}{% Frosini:2004:NCT% }. \NAMECITE{bicomponent}{% deFalco:2004:FSO% }. \NAMECITE{bicriteria}{% Angel:2003:ATB,% Angel:2004:APC% }. \NAMECITE{Bideterministic}{% Tamm:2004:BAM% }. \NAMECITE{bidimensional}{% Epifanio:2003:CBW,% Mignosi:2003:FWT% }. \NAMECITE{bidirected}{% Tamura:2000:PMP% }. \NAMECITE{bidirectional}{% Poibeau:2001:PNL% }. \NAMECITE{bidirectionality}{% Piterman:2003:BA% }. \NAMECITE{bijection}{% Deutsch:2003:BBD,% Poulalhon:2003:BTP% }. \NAMECITE{Bijections}{% Shapiro:2003:BRG% }. \NAMECITE{bijective}{% Bousquet:2003:TBP,% Ferrari:2003:SBR% }. \NAMECITE{Bilateral}{% Garcia:2003:BLT% }. \NAMECITE{billiard}{% Borel:2005:PFB% }. \NAMECITE{bin}{% Azar:2001:LS,% Fujita:2002:TDL,% Jansen:2003:AFP% }. \NAMECITE{bin-stretching}{% Azar:2001:LS% }. \NAMECITE{Binary}{% Halava:2002:BGP,% Auletta:2002:RPC,% Blanchet-Sadri:2004:LPB,% Brodal:2001:CNB,% Chernov:2002:USL,% Chuan:2004:MCC,% Currie:2004:NBW,% Dang:2003:PTA,% Drmota:2002:VHB,% Drmota:2004:RCB,% Fuster-Sabater:2001:EAG,% Gibbons:2004:RSE,% Grabner:2004:DRL,% Hivert:2005:ABS,% Jiraskova:2005:SCS,% Kalorkoti:2001:PQB,% Knessl:2002:HBS,% Malgouyres:2002:CCR,% Matula:2002:PTP,% Mauduit:2002:FIP,% Merlini:2002:MBS,% Naudts:2002:GPD,% Ozeki:2000:CRC,% Rampersad:2005:ALS,% Ravindran:2000:DED,% Robson:2002:NCB,% Smith:2001:CAP,% Taylor:2003:EBB,% Ziv:2002:SGM,% vanZijl:2004:BIN% }. \NAMECITE{binding}{% Hornof:2000:ABT,% Matthes:2004:SNW% }. \NAMECITE{binding-time}{% Hornof:2000:ABT% }. \NAMECITE{binoid}{% Hashiguchi:2003:RBE,% Hashiguchi:2004:ERB% }. \NAMECITE{binoids}{% Hashiguchi:2004:ERB% }. \NAMECITE{bio}{% Daley:2003:CDP,% Daley:2004:FLD% }. \NAMECITE{bio-operations}{% Daley:2003:CDP,% Daley:2004:FLD% }. \NAMECITE{BioAmbients}{% Regev:2004:BAB% }. \NAMECITE{biochemical}{% Antoniotti:2004:TCB,% Curti:2004:MBP% }. \NAMECITE{biographie}{% Curien:2002:BBS% }. \NAMECITE{Biography}{% Beauquier:2003:BS,% Curien:2002:BBS% }. \NAMECITE{biological}{% Comet:2003:AMP,% Indermitte:2001:VDP,% Regev:2004:BAB% }. \NAMECITE{biology}{% Danos:2004:FMB,% Frisco:2004:CPS% }. \NAMECITE{biology-inspired}{% Frisco:2004:CPS% }. \NAMECITE{biomolecular}{% Brenneman:2002:SDB,% Chabrier-Rivier:2004:MQB% }. \NAMECITE{bipartite}{% Caragiannis:2002:ECB,% Euler:2001:CBT,% Fournier:2003:CPM,% Horodecki:2003:RTB,% Maehara:2001:WDP,% Nagamochi:2005:OSC,% Shahrokhi:2000:NLB,% vanderWoude:2003:CSE% }. \NAMECITE{{Birkhoff}}{% Goldblatt:2001:WCA% }. \NAMECITE{bisection}{% Bezrukov:2004:NSL,% Diaz:2003:BMM% }. \NAMECITE{bisimilarity}{% Boreale:2000:CAB,% Kucera:2002:WBB,% Mayr:2005:WBR,% era:2003:CBC% }. \NAMECITE{bisimilarity-checking}{% era:2003:CBC% }. \NAMECITE{Bisimulation}{% Ying:2002:BIT,% Antoniotti:2004:TCB,% Bergstra:2003:BTO,% DAgostino:2005:ABQ,% Dovier:2004:EAC,% Fu:2005:QOB,% Jancar:2001:DBL,% Jeffrey:2004:TBF,% Resende:2001:QFO,% Roggenbach:2000:TUV,% Sewell:2002:RRB% }. \NAMECITE{bisimulation-like}{% Jancar:2001:DBL% }. \NAMECITE{Bisimulations}{% Fournet:2001:BJC% }. \NAMECITE{bit}{% Bergeron:2004:CDB,% Matula:2002:PTP,% Tong:2001:CGB% }. \NAMECITE{bit-vector}{% Bergeron:2004:CDB% }. \NAMECITE{bits}{% Szegedy:2004:CBF% }. \NAMECITE{bivariate}{% Blaser:2003:CBP% }. \NAMECITE{black}{% Burgin:2004:TAS,% Park:2001:PAR% }. \NAMECITE{{BLL}}{% Hofmann:2004:RMB% }. \NAMECITE{{BLL}-like}{% Hofmann:2004:RMB% }. \NAMECITE{block}{% Aspvall:2001:AGB,% Danvy:2000:LDT,% McQuillan:2005:GCB,% Muthukrishnan:2004:EAS% }. \NAMECITE{block-synchronized}{% McQuillan:2005:GCB% }. \NAMECITE{blocking}{% Rozenberg:2003:DCB% }. \NAMECITE{Board}{% Anonymous:2002:EBf,% Anonymous:2002:EBa,% Anonymous:2002:EBb,% Anonymous:2002:EBc,% Anonymous:2002:EBd,% Anonymous:2002:EBe,% Anonymous:2003:EBa,% Anonymous:2003:EBb,% Anonymous:2003:EBc,% Anonymous:2003:EBd,% Anonymous:2003:EBe,% Anonymous:2003:EBf,% Anonymous:2003:EBg,% Anonymous:2003:EBh,% Anonymous:2003:EBi,% Anonymous:2003:EBj,% Anonymous:2003:EBk,% Anonymous:2003:EBl,% Anonymous:2003:EBm,% Anonymous:2003:EBn,% Anonymous:2003:EBo,% Anonymous:2003:EBp,% Anonymous:2003:EBq,% Anonymous:2004:EBVa,% Anonymous:2004:EBVb,% Anonymous:2004:EBf,% Anonymous:2004:EBg,% Anonymous:2004:EBh,% Anonymous:2004:EBi,% Anonymous:2004:EBj,% Anonymous:2004:EBk,% Anonymous:2004:EBl,% Anonymous:2004:EBm,% Anonymous:2004:EBn,% Anonymous:2004:EBo,% Anonymous:2004:EBp,% Anonymous:2004:EBq,% Anonymous:2004:EBr,% Anonymous:2005:EBVa,% Anonymous:2005:EBVb,% Anonymous:2005:EBVc,% Anonymous:2005:EBVd,% Anonymous:2005:EBa,% Anonymous:2005:EBb,% Anonymous:2005:EBc,% Anonymous:2005:EBd,% Anonymous:2005:EBe,% Anonymous:2005:EBf,% Anonymous:2005:EBg,% Anonymous:2003:EBr,% Anonymous:2004:EBa,% Anonymous:2004:EBb,% Anonymous:2004:EBc,% Anonymous:2004:EBd,% Anonymous:2004:EBe% }. \NAMECITE{body}{% Xue:2001:COP% }. \NAMECITE{{B{\"o}hm}}{% Ker:2003:AIG% }. \NAMECITE{bond}{% Kari:2005:PBF% }. \NAMECITE{bond-free}{% Kari:2005:PBF% }. \NAMECITE{boolean}{% Akutsu:2003:IGN,% Bucciarelli:2002:RDB,% Gribomont:2000:SBV,% Pucella:2001:EPF,% Reith:2001:BLB,% Sauerhoff:2003:ABF,% Ayari:2003:DPI,% Boyar:2000:MCB,% Burckel:2004:SCL,% Duchier:2003:DCB,% Eiter:2002:DLR,% Jonsson:2000:BCS,% Kabanets:2003:AKW,% Kutz:2004:CBM,% Lee:2001:AEC,% Maitra:2002:CSB,% Mehta:2002:DTA,% Sengupta:2000:NCB,% Serna:2005:ANB,% Szegedy:2004:CBF,% Takenaga:2001:TSB,% Wu:2004:CIR% }. \NAMECITE{boosting}{% Takimoto:2003:TDT% }. \NAMECITE{bordered}{% Harju:2005:CBP% }. \NAMECITE{{Borel}}{% Duparc:2001:CSF,% Finkel:2003:OCF% }. \NAMECITE{boring}{% Smyth:2000:RPC% }. \NAMECITE{bottleneck}{% Simon:2000:BCA% }. \NAMECITE{bottom}{% Maletti:2005:HAD% }. \NAMECITE{bottom-up}{% Maletti:2005:HAD% }. \NAMECITE{bound}{% Ageev:2002:MGL,% Ambuhl:2001:NLB,% Blaser:2005:BAS,% Dukes:2004:CEB,% Era:2000:UBG,% Gharavi:2005:UBL,% Goldman:2002:LUP,% Grigoriev:2001:LLB,% Hertling:2002:LBR,% Horodecki:2003:RTB,% Jain:2001:BBN,% Jevtic:2005:LBC,% Poon:2000:SLB,% Savicky:2000:ROL,% Shahrokhi:2000:NLB% }. \NAMECITE{boundary}{% Brandenburg:2005:FGA,% Cheng:2000:STP,% Kiwi:2001:MMB,% Lu:2001:FSB% }. \NAMECITE{Bounded}{% Farre:2004:BCN,% Mukund:2002:BTS,% Adamowicz:2004:WBP,% Arvind:2001:PRB,% Cai:2003:TZP,% Chateau:2004:CDU,% Csuhaj-Varju:2002:PCG,% Dai:2003:SKZ,% Dang:2005:TWN,% Eloranta:2003:BEV,% Esteban:2004:CRB,% Gurvits:2001:NSS,% Kim:2000:LBP,% Kral:2003:MHB,% Kralovic:2000:CSP,% Lodaya:2000:SPL,% Merkle:2001:SPB,% Nakamura:2000:QLB,% Pavan:2000:CDP,% Pedrotti:2002:PST,% Sauerhoff:2005:QBP,% Thiant:2003:AFD,% Wang:2000:RBR,% Xu:2001:ASS,% Kari:2000:UDS% }. \NAMECITE{Bounded-connect}{% Farre:2004:BCN% }. \NAMECITE{bounded-width}{% Lodaya:2000:SPL,% Nakamura:2000:QLB% }. \NAMECITE{boundedness}{% Drmota:2004:RCB,% Jiao:2004:LBA% }. \NAMECITE{Bounding}{% Berthiaume:2004:BFS,% Zhou:2000:BBG% }. \NAMECITE{Bounds}{% Blundo:2004:BCU,% Diaz:2003:BMM,% Achlioptas:2001:LBR,% Aldaz:2001:NMO,% Antos:2002:LBR,% Atserias:2003:IBW,% Aumann:2000:CRT,% Bezrukov:2004:NSL,% Dubois:2001:UBS,% Engebretsen:2003:TOL,% Epstein:2003:LBL,% Franco:2001:RRT,% Hashiguchi:2000:NUB,% Hemaspaandra:2004:LBH,% Iwama:2000:TBN,% Kang:2003:LBM,% Libkin:2002:LBI,% Long:2000:IBA,% Malajovich:2002:NLB,% McIver:2002:QPL,% Nock:2004:DPI,% Radzik:2004:ITB,% Razborov:2003:RLB,% Robson:2002:NCB,% Seiden:2005:NBR,% Shachnai:2004:TBO,% Tsai:2001:LBW,% Tse:2004:NBM,% Wang:2000:TBS,% Zhang:2005:PAL% }. \NAMECITE{boxes}{% Nielsen:2000:FSB% }. \NAMECITE{{Boyer}}{% Stomp:2002:CSP% }. \NAMECITE{{BPA}}{% Kucera:2002:WBB% }. \NAMECITE{{BPP}}{% Ablayev:2001:BVN,% Kucera:2002:WBB,% vanMelkebeek:2000:ZOL% }. \NAMECITE{Branch}{% Jain:2001:BBN,% Ott:2000:SMG% }. \NAMECITE{Branching}{% Bergstra:2003:BTO,% Kuske:2004:BAC,% Madhusudan:2002:BTC,% Ablayev:2001:BVN,% Laroussinie:2003:ECQ,% Reznik:2002:SRT,% Sauerhoff:2005:QBP,% Savicky:2000:ROL% }. \NAMECITE{branching-time}{% Laroussinie:2003:ECQ% }. \NAMECITE{breadth}{% Franciosa:2001:SDB% }. \NAMECITE{breadth-first}{% Franciosa:2001:SDB% }. \NAMECITE{Breaking}{% Krishna:2003:BUP,% Harary:2004:LSB% }. \NAMECITE{br{\`e}ve}{% Curien:2002:BBS% }. \NAMECITE{bridge}{% Pratt:2003:CSS% }. \NAMECITE{brief}{% Baeten:2005:BHP,% Curien:2002:BBS% }. \NAMECITE{{Brier}}{% Vovk:2001:PTB% }. \NAMECITE{Broadcast}{% Safavi-Naini:2001:BAG,% Clementi:2003:DBR,% Clementi:2003:MBR,% Fertin:2000:SMB,% Grabner:2002:SAB,% Pedone:2002:OAB% }. \NAMECITE{broadcasting}{% Diks:2002:IIB,% Kowalski:2005:TCR% }. \NAMECITE{broadcasts}{% Kim:2004:SBD% }. \NAMECITE{{Brownian}}{% Louchard:2003:GCM% }. \NAMECITE{{Bruijn}}{% Harbane:2001:ERA% }. \NAMECITE{{BSS}}{% Michaux:2000:ITB% }. \NAMECITE{{B{\"u}chi}}{% Carton:2003:UBA,% Fritz:2005:SRA% }. \NAMECITE{buffer}{% Kesselman:2004:HBM,% Lu:2001:WSB% }. \NAMECITE{build}{% Schalk:2004:PVS% }. \NAMECITE{Building}{% Berardi:2004:BCW% }. \NAMECITE{bundles}{% Guttman:2002:ATS% }. \NAMECITE{{Burrows}}{% Crochemore:2005:NBW% }. \NAMECITE{buses}{% Iwama:2001:ERR% }. \NAMECITE{busing}{% Seiden:2005:NBR% }. \NAMECITE{busy}{% Michel:2004:STM% }. \NAMECITE{butterfly}{% Sibeyn:2005:FGB% }. \NAMECITE{bytecode}{% Klein:2003:VBV% }. \NAMECITE{{Byzantine}}{% Fernandez:2005:DAP,% Malkhi:2003:DFR% }. \NAMECITE{{C}}{% Grant:2000:DEA,% Malajovich:2002:NLB% }. \NAMECITE{{C\#}}{% Borger:2005:HLM% }. \NAMECITE{c.e}{% Calude:2002:CCR% }. \NAMECITE{cache}{% Jin:2001:TFP% }. \NAMECITE{caches}{% Cohen:2005:PAD% }. \NAMECITE{caching}{% Feder:2004:CRS,% Jelenkovic:2004:LRU,% Kimbrel:2001:OPF,% Lempel:2004:CCQ,% Mendel:2004:OCC% }. \NAMECITE{cacti}{% Bousquet:2003:TBP% }. \NAMECITE{Cafe{OBJ}}{% Diaconescu:2002:LFC% }. \NAMECITE{calculating}{% Matsui:2001:NCC% }. \NAMECITE{calculi}{% Bonelli:2005:NHO,% Gadducci:2002:CLR,% Kameyama:2002:SNN,% Kesner:2000:CEN,% Maffeis:2005:CSP,% Maksimova:2003:CSP,% Reus:2004:SLO,% Santocanale:2005:ACS,% Spreen:1999:FPL,% Spreen:2001:CSF,% Ying:2001:REH% }. \NAMECITE{Calculs}{% Bourgade:2002:CSL% }. \NAMECITE{calculus}{% Achermann:2005:CRA,% Arai:2000:TCF,% Berline:2000:CFF,% Carayol:2005:RMA,% Curti:2004:MBP,% DAgostino:2005:ABQ,% Devillers:2003:GPR,% Dezani-Ciancaglini:2003:ILC,% Duntsch:2001:RAA,% Ehrhard:2003:DLC,% Emerson:2001:MCS,% Engelfriet:2001:SIP,% Felty:2000:CCF,% Ferrari:2005:CMH,% Fiech:2002:PLC,% Fournet:2001:BJC,% Frias:2001:CRC,% Fu:2002:UMC,% Fu:2003:TLP,% Grigoriev:2001:LLB,% Guelev:2005:CDD,% Hashimoto:2001:TCC,% Hennessy:2002:FAD,% Igarashi:2004:GTS,% Joachimski:2004:CCC,% Joly:2001:CTP,% Ker:2002:IGM,% Kerth:2001:CSM,% Laurent:2002:PPN,% McDowell:2003:ETS,% Nakazawa:2002:CSN,% Palamidessi:2005:RES,% Rabinovich:2000:SMC,% Rutten:2003:BDE,% Salibra:2000:AML,% Seldin:2000:GSS,% Song:2000:SRL,% Strassburger:2003:MCS,% Thomsen:2001:FAD,% Tzouvaras:2001:OTL,% Wabenhorst:2003:ITI% }. \NAMECITE{call}{% Becchetti:2002:AAR,% Boudol:2000:SCN,% Erlebach:2001:CPC,% Ishihara:2002:CIU,% Nakazawa:2002:CSN% }. \NAMECITE{call-by-name}{% Boudol:2000:SCN% }. \NAMECITE{call-by-value}{% Ishihara:2002:CIU,% Nakazawa:2002:CSN% }. \NAMECITE{Can}{% Maehara:2000:CCP,% Reischuk:2000:CLF,% Jonsson:2002:TPP% }. \NAMECITE{cancellation}{% Kaporin:2004:ACT% }. \NAMECITE{cancellative}{% Sengupta:2000:NCB% }. \NAMECITE{cannot}{% Boneva:2005:WAC,% Foy:2004:DSW% }. \NAMECITE{Canonical}{% Champarnaud:2002:CDP,% Harriss:2004:CST,% Akiyama:2002:CNS% }. \NAMECITE{{Cantor}}{% Cegielski:2001:DTN% }. \NAMECITE{capabilities}{% Ateniese:2001:ECV,% Campagnolo:2004:CTC% }. \NAMECITE{capacity}{% McQuillan:2005:GCB% }. \NAMECITE{capital}{% Damaschke:2003:NOS% }. \NAMECITE{card}{% Denney:2002:CJC% }. \NAMECITE{cardinals}{% Ressayre:2004:WSI% }. \NAMECITE{cards}{% Stiglic:2001:CDC% }. \NAMECITE{carriers}{% Martin-Vide:2002:MSC% }. \NAMECITE{carte}{% Arques:2000:SCS% }. \NAMECITE{cartesian}{% Bezrukov:2003:EIP,% Valentini:2002:CCC,% Freyd:2002:CL% }. \NAMECITE{cas}{% Labhalla:2001:EMR% }. \NAMECITE{cascade}{% Bergeron:2004:CDB% }. \NAMECITE{cascades}{% Friburger:2004:FST% }. \NAMECITE{case}{% Akutsu:2003:SGA,% Artho:2005:CTC,% Brit:2002:PDS,% Cocco:2004:HAC,% Daumas:2002:ASN,% Dimitri:2004:EEE,% Hwang:2000:PAA,% Nock:2003:CCA,% Nock:2004:DPI,% Puitg:2000:FMH% }. \NAMECITE{cases}{% Bafna:2005:PAH,% Damaschke:2003:NOS,% Dekhtyar:2003:FCC,% Karhumaki:2005:CDC,% Kunc:2004:UTC,% Matula:2002:PTP% }. \NAMECITE{{CASL}}{% Astesiano:2002:CCA,% Mossakowski:2002:RCO,% Schroder:2005:ASC% }. \NAMECITE{{Catalan}}{% Fill:2004:LDA% }. \NAMECITE{catalysts}{% Freund:2005:CUP% }. \NAMECITE{Catalytic}{% Ibarra:2004:CPS% }. \NAMECITE{catch}{% Kameyama:2002:SNN% }. \NAMECITE{catch/throw}{% Kameyama:2002:SNN% }. \NAMECITE{Categorical}{% Mateus:2003:CFR,% Angiulli:2004:CIC,% Bauderon:2001:NRG,% Hildebrandt:2003:TCM,% Oriat:2000:DEM,% Porter:2004:ISK,% Soloviev:2003:CEG% }. \NAMECITE{categories}{% Cockett:2002:RCC,% Cockett:2003:RCI,% Fiorentini:2003:CWP,% Gumm:2003:DCC,% Johnstone:2001:SCC,% Mulry:2002:LRC,% Power:2002:PCC,% Sassone:2005:LRC% }. \NAMECITE{Category}{% Lenisa:2004:CTO,% Alessi:2002:CCD,% Valentini:2002:CCC% }. \NAMECITE{caterpillars}{% Muradian:2003:BMP% }. \NAMECITE{causal}{% Aura:2000:CST,% Degano:2002:CSC,% Durchholz:2002:GCM,% Naundorf:2000:SCF% }. \NAMECITE{{Cayley}}{% Roka:2000:FSS,% Zhou:2004:CAP% }. \NAMECITE{{CCP}}{% Valencia:2005:DIS% }. \NAMECITE{{CCS}}{% Aceto:2005:CHM,% Cattani:2003:PMC,% Degano:2002:CSC% }. \NAMECITE{{CCS}-like}{% Cattani:2003:PMC% }. \NAMECITE{Cell}{% Webster:2003:CCO,% Frisco:2004:CPS% }. \NAMECITE{cells}{% Francon:2000:TMS,% Malcher:2005:TWC% }. \NAMECITE{cellulaires}{% Delorme:2002:RPL% }. \NAMECITE{Cellular}{% Durr:2004:CAC,% Fiorenzi:2003:CAS,% Sutner:2003:CAI,% Baldwin:2000:CCA,% Barbe:2004:PMH,% Boykett:2004:EEL,% Bunimovich:2003:LGC,% Cattaneo:2000:ETR,% Cattaneo:2000:ITC,% Cattaneo:2004:SSC,% Czeizler:2004:SIN,% Dartnell:2003:CCA,% Delorme:2002:RPL,% Demongeot:2004:DAP,% Droste:2000:ACA,% Dubacq:2001:KCC,% Durand-Lose:2000:RST,% Durand:2003:NCC,% Formenti:2003:NCC,% Formenti:2003:SAC,% Herrmann:2003:UCA,% Imai:2000:CUT,% Iwamoto:2002:CFC,% Kari:2005:TCA,% Klein:2003:FOW,% Lee:2003:SOD,% Malcher:2005:TWC,% Margenstern:2001:NPT,% Martin:2001:SCA,% Moreira:2003:UDN,% Moreira:2004:CMO,% Nichitiu:2004:LEP,% Sutner:2004:CRC,% Terrier:2003:TDC,% Terrier:2004:TDC,% Toffoli:2004:HTS% }. \NAMECITE{center}{% Khuller:2000:FTC,% Lim:2005:CPM% }. \NAMECITE{central}{% Carpi:2005:CCS% }. \NAMECITE{centroskew}{% Bai:2004:IEC% }. \NAMECITE{centrosymmetric}{% Bai:2004:IEC% }. \NAMECITE{certain}{% Burdick:2002:NID,% DasGupta:2001:PTA,% McIver:2003:ACE,% Salomaa:2005:CBS% }. \NAMECITE{certainly}{% Smyth:2000:RPC% }. \NAMECITE{certificates}{% Gottlob:2002:CLC% }. \NAMECITE{chain}{% Danyi:2001:CHC,% Kim:2002:TUR% }. \NAMECITE{chain-free}{% Danyi:2001:CHC% }. \NAMECITE{chains}{% Auger:2005:CRS,% Becchetti:2002:AAR,% Demri:2003:PSC,% Wan:2002:ACL% }. \NAMECITE{{Chaitin}}{% Calude:2001:RER,% Calude:2002:CNS% }. \NAMECITE{challenges}{% Fraenkel:2004:CAC% }. \NAMECITE{challenging}{% Choffrut:2002:CFS% }. \NAMECITE{change}{% Jain:2002:MCC,% vanderAalst:2002:IWA% }. \NAMECITE{Channel}{% Tong:2001:CGB,% Freund:2005:TPS,% Janssen:2001:AAC,% Zhou:2004:CAP% }. \NAMECITE{channels}{% Bonis:2003:CGS% }. \NAMECITE{chaos}{% Cattaneo:2000:ITC% }. \NAMECITE{Characterisations}{% Jenkinson:2004:CBW% }. \NAMECITE{characteristic}{% Chuan:2005:FCW,% Hoang:2003:CCM,% Lee:2001:AEC,% Takeda:2003:DCE% }. \NAMECITE{characteristics}{% Okamoto:2003:EDC,% Rao:2000:SCS% }. \NAMECITE{Characterization}{% Caron:2000:CGA,% Ganjali:2004:CNS,% Calude:2002:CCR,% Caporaso:2001:PDC,% Caron:2000:LMP,% Dang:2003:PTA,% Eilam:2002:CCN,% Ferrari:2002:ACS,% Francez:2003:ACD,% Leivant:2000:CAL,% Lu:2001:ECS,% Nagayama:2003:GTC,% Schellekens:2003:CPM,% Strahm:2004:PTC,% Vickers:2004:UCD,% Wang:2004:RSC% }. \NAMECITE{Characterizations}{% Qiu:2004:CQA,% Chen:2001:ACT,% Hayashi:2003:UCP,% Okawa:2001:HCR% }. \NAMECITE{characterized}{% Jonsson:2002:TPP% }. \NAMECITE{Characterizing}{% Euler:2001:CBT,% Hemaspaandra:2000:CEO,% Wiedermann:2004:CST,% Chandran:2003:GCP,% Ong:2004:GCL% }. \NAMECITE{chart}{% LHer:2001:PSF% }. \NAMECITE{charts}{% Lohrey:2003:RHL% }. \NAMECITE{{Chebyshev}}{% Hunziker:2004:CPF,% Sutner:2000:ACP% }. \NAMECITE{{Chebyshev}-polynomials}{% Sutner:2000:ACP% }. \NAMECITE{checker}{% Arvind:2001:NNC% }. \NAMECITE{checking}{% Abdulla:2002:MCS,% Baumgartner:2002:PDL,% Charatonik:2003:MCM,% DasGupta:2001:PTA,% Dekhtyar:2003:FCC,% Emerson:2001:MCS,% Kesten:2001:SMC,% Mayr:2001:DMC,% Pacini:2000:LCS,% Rabinovich:2000:SMC,% era:2003:CBC% }. \NAMECITE{Checkpointing}{% Cao:2002:CMC% }. \NAMECITE{checkpoints}{% Cao:2002:CMC% }. \NAMECITE{checks}{% Shen:2001:LCL% }. \NAMECITE{chemical}{% Bonis:2001:EAC% }. \NAMECITE{Chemins}{% Penaud:2001:CSH% }. \NAMECITE{chessboard}{% Alekhnovich:2004:MCP% }. \NAMECITE{{Chew}}{% Mano:2001:UNF% }. \NAMECITE{chi}{% Fu:2002:UMC% }. \NAMECITE{chilean}{% Kiwi:2004:CHP% }. \NAMECITE{chip}{% Goles:2000:SRC,% Goles:2002:SLC% }. \NAMECITE{choice}{% Jiao:2004:LBA,% Krivine:2003:DCS,% Palamidessi:2005:RES,% Schuster:2003:UEA% }. \NAMECITE{chord}{% Daurat:2002:CP% }. \NAMECITE{chordal}{% Barriere:2001:GCR,% Brandstadt:2004:TSC,% Chandran:2003:GCP% }. \NAMECITE{chromatic}{% Engebretsen:2003:TOL,% Erdos:2004:NGC,% Yeh:2005:RSS% }. \NAMECITE{Chu}{% Pratt:2003:CSS% }. \NAMECITE{{Church}}{% TortoradeFalco:2003:ALL% }. \NAMECITE{ciliate}{% Daley:2003:CDP,% Daley:2004:FLD% }. \NAMECITE{ciliates}{% Ehrenfeucht:2003:FSG% }. \NAMECITE{circuit}{% Nishimura:2002:CCU,% Nishimura:2005:UQC% }. \NAMECITE{circuits}{% Krantz:2001:EHC,% Legenstein:2002:NCP,% Reischuk:2000:CLF,% Sengupta:2000:NCB% }. \NAMECITE{circulants}{% Park:2000:RCT% }. \NAMECITE{circular}{% Aberkane:2005:TMW,% Hsu:2003:PTC,% Levin:2000:SSC,% Yeh:2005:RSS% }. \NAMECITE{circular-ones}{% Hsu:2003:PTC% }. \NAMECITE{clairvoyant}{% Becchetti:2004:SCS% }. \NAMECITE{class}{% Aracena:2003:CPR,% Barthe:2001:WNI,% Bueno:2005:TTC,% Dierks:2001:PAN,% Ding:2000:SSC,% Gajardo:2004:DCA,% Lopez:2001:SIE,% Melski:2000:ICS,% Schott:2004:TOP,% Shachnai:2004:TBO,% Vallee:2003:DAC% }. \NAMECITE{class-constrained}{% Shachnai:2004:TBO% }. \NAMECITE{classes}{% Adamek:2004:CBC,% Bazgan:2005:CSD,% Boliac:2003:IDF,% Caporaso:2001:PDC,% Chuan:2004:MCC,% Daley:2003:CDP,% Demaine:2003:UEC,% Feder:2004:DCH,% Frigioni:2001:DAC,% Gumm:2001:EIC,% Hemaspaandra:1996:RCP,% Hemaspaandra:2000:ESC,% Khoussainov:2003:ALS,% Klazar:2004:LEG,% Maletti:2005:HAD,% Okawa:2001:HCR,% Rao:2000:SCP,% Sakuma:2000:FCC,% Santocanale:2005:ACS,% Stephan:2002:LCA,% Tasic:2001:OCC,% Zilles:2004:SUL% }. \NAMECITE{classical}{% Ambainis:2002:TWF,% Cantone:2002:QEM,% Danos:2003:CIC,% Nadathur:2000:CBC,% Nour:2003:SPC,% Raffalli:2004:GRP,% Ritter:2000:IFC,% Takeda:2003:DIP,% Wiedermann:2004:CST% }. \NAMECITE{classifiability}{% Baldwin:2000:CCA% }. \NAMECITE{classification}{% Cockett:2003:RCI,% Dubacq:2001:KCC,% Herlihy:2002:CWF,% Labelle:2003:CPP,% Pinter:2002:RCE% }. \NAMECITE{Classifying}{% Condon:2004:CRP% }. \NAMECITE{clausal}{% Aguilera:2001:RNC,% Massacci:2000:PCA% }. \NAMECITE{clause}{% Fleischner:2002:PTR% }. \NAMECITE{clause-variable}{% Fleischner:2002:PTR% }. \NAMECITE{climbing}{% Prugel-Bennett:2004:WGA% }. \NAMECITE{clique}{% Eisenbrand:2004:CFP,% Engebretsen:2003:TOL,% Gerber:2003:AVP,% Yeh:2001:WCD% }. \NAMECITE{clique-width}{% Gerber:2003:AVP% }. \NAMECITE{cliques}{% Bouchitte:2002:LAP% }. \NAMECITE{Clobber}{% Grossman:2004:ARF,% Demaine:2004:SC% }. \NAMECITE{clock}{% Krivine:2003:DCS% }. \NAMECITE{{Clos}}{% Chang:2004:WSN,% Tsai:2001:LBW% }. \NAMECITE{closed}{% Albert:2003:RCS,% Cenzer:2002:ECS,% Duggan:2002:OCS,% Klazar:2004:LEG,% Michaux:2000:ITB,% Valentini:2002:CCC% }. \NAMECITE{Closedness}{% Apsitis:2001:CPE% }. \NAMECITE{closing}{% Lohrey:2003:RHL% }. \NAMECITE{Closure}{% Daley:2003:CDP,% Finkel:2004:CPL,% Slapal:2003:COD,% Boldi:2000:TCA,% Cucker:2001:WWC,% Geerts:2005:DTQ,% Hesse:2003:DCT,% Ito:2000:SSD,% Lemstrom:2003:APM,% Matz:2002:DDM,% Okhotin:2003:CPL,% Zheng:2002:CPR% }. \NAMECITE{Clustering}{% Keller:2003:CPN,% Krznaric:2002:OAC% }. \NAMECITE{{CNN}}{% Koutsoupias:2004:CPO% }. \NAMECITE{co}{% Wild:2003:ICI% }. \NAMECITE{co-idempotent}{% Wild:2003:ICI% }. \NAMECITE{Coalgebra}{% Lasota:2002:CMS,% Adamek:2004:CBC,% Adamek:2004:TCC,% Hughes:2004:SC,% Kawahara:2000:SFC,% Pavlovi:2002:CFC,% Rosu:2001:EAC,% Rutten:2000:UCT% }. \NAMECITE{Coalgebraic}{% Ferrari:2005:CMH,% Pattinson:2003:CML,% Aczel:2003:ITC,% Chen:2004:CAK,% Cirstea:2002:CEA,% Corradini:2001:CPS,% Corradini:2002:CSB,% Goldblatt:2001:WCA,% Kurz:2002:IMC,% Palmigiano:2004:CVP% }. \NAMECITE{Coalgebras}{% Jacobs:2003:CMS,% Adamek:2003:FCC,% Adamek:2004:TCC,% Cirstea:2004:CAD,% Gumm:2001:EIC,% Gumm:2003:DCC,% Jacobs:2000:OOH,% Johnstone:2001:SCC,% Kupke:2004:SC,% Kurz:2001:SCM,% Ro:2001:MLT,% Tasic:2001:OCC,% Wolter:2002:CPA% }. \NAMECITE{coalitions}{% Encheva:2002:FCA,% Peleg:2002:LMC% }. \NAMECITE{cocycle}{% Jenkinson:2001:SCT% }. \NAMECITE{code}{% Colby:2002:ATP,% Kim:2002:TUR,% Tsuiki:2002:RNC,% Weil:2004:CGC% }. \NAMECITE{Codes}{% Beal:2005:CSC,% Blanchet-Sadri:2004:COP,% Carpi:2005:CCS,% Mantaci:2001:CET,% Bonis:2003:CGS,% Daniel:2004:ICS,% Ding:2000:SSC,% Ding:2005:CTC,% Encheva:2002:FCA,% Felice:2005:EPF,% Gaborit:2005:LCD,% Guesnet:2002:MCF,% Guesnet:2003:MSC,% Karhumaki:2005:CC,% Kiwi:2003:ATW,% Lam:2001:FMS,% Lam:2003:CCF,% Muchnik:2002:CCC,% Neraud:2001:CFD,% Neraud:2002:LCS,% Ozeki:2000:CRC,% Ozeki:2001:CRP,% Restivo:2002:LPC,% Zhang:2003:CCF,% deLuca:2002:SCR% }. \NAMECITE{codicity}{% Beauquier:2003:CUP% }. \NAMECITE{Coding}{% Berstel:2002:CRI,% Arques:2003:GLU,% Bach:2000:TDS,% Ding:2005:CTC,% Hwang:2001:UAS,% Kunc:2004:UTC,% Ott:2002:ACT% }. \NAMECITE{coefficients}{% Lester:2002:CAF% }. \NAMECITE{cographs}{% Damiand:2001:SPG,% Retore:2003:HPN% }. \NAMECITE{Coherence}{% Guerrini:2003:CSP,% Baillot:2004:SCS% }. \NAMECITE{coinduction}{% Forster:2003:BQO% }. \NAMECITE{coinductive}{% Cardone:2002:CCP,% Joachimski:2004:CCC,% Rutten:2003:BDE% }. \NAMECITE{coiteration}{% Abel:2005:ICS% }. \NAMECITE{Collage}{% Choffrut:2005:CTD,% Kida:2003:CSU% }. \NAMECITE{collapsing}{% Antoniotti:2004:TCB,% Besozzi:2003:GPS,% Freund:2004:RRC% }. \NAMECITE{collection}{% Busi:2003:EDC,% Calcagno:2003:PLE% }. \NAMECITE{collective}{% Bermond:2000:ECC% }. \NAMECITE{Colonies}{% Kelemen:2000:CLA% }. \NAMECITE{Color}{% Matiyasevich:2001:SAR,% Sakuma:2000:FCC% }. \NAMECITE{colorability}{% Barbanchon:2004:UGC,% Czumaj:2005:THC% }. \NAMECITE{colored}{% Bodini:2004:TTC,% Bodlaender:2000:HPP,% Bousquet:2003:TBP% }. \NAMECITE{colored-edges}{% Bodini:2004:TTC% }. \NAMECITE{coloring}{% Auletta:2002:RPC,% Caragiannis:2002:ECB,% Corteel:2003:PPC,% Culberson:2001:FDG,% Erlebach:2001:CPC,% Jansen:2003:ASS,% Kral:2003:MHB% }. \NAMECITE{colorings}{% Chen:2000:EAA,% Diaz:2002:CHC,% Yeh:2001:FDC% }. \NAMECITE{colors}{% Aigner:2005:PPT% }. \NAMECITE{coloured}{% Bigotte:2002:LWS% }. \NAMECITE{colouring}{% Gibbons:2004:RSE,% deFigueiredo:2003:DEC% }. \NAMECITE{colourings}{% Yegnanarayanan:2001:GCP% }. \NAMECITE{column}{% Deutsch:2003:BBD% }. \NAMECITE{column-convex}{% Deutsch:2003:BBD% }. \NAMECITE{Combination}{% Schulz:2001:CCS% }. \NAMECITE{combinations}{% Tinelli:2002:UND% }. \NAMECITE{combinator}{% Fu:2002:UMC,% vanBakel:2002:NAS% }. \NAMECITE{Combinatorial}{% Calegari:2001:COA,% Dartnell:2003:CCA,% Demaine:2004:ABO,% Romashchenko:2002:CIK,% Arai:2000:NFM,% Barcucci:2001:SLR,% Berry:2000:IET,% Carpi:2005:CML,% Coja-Oghlan:2004:TCA,% DAlessandro:2002:CPT,% Dukes:2004:CEB,% Fraenkel:2000:RRQ,% Fraenkel:2004:CAC,% Golin:2001:CAG,% Nebel:2002:SST,% Sauerhoff:2003:ABF,% deLuca:2002:SCR% }. \NAMECITE{Combinatorics}{% Fournier:2003:CPM,% Grabner:2003:CGD,% Sadakane:2005:CAL,% Banderier:2002:BAC% }. \NAMECITE{combinatorist}{% Harper:2003:ACA% }. \NAMECITE{combinators}{% Broda:2000:PTC,% Yoshida:2002:MSR% }. \NAMECITE{combinatory}{% Akama:2004:LPC% }. \NAMECITE{Combined}{% Middendorf:2004:CSS% }. \NAMECITE{Combining}{% Artho:2005:CTC,% Feder:2004:CRS,% Fiorentini:2003:CWP,% Power:2002:CMC,% Fernau:2003:HMC% }. \NAMECITE{comma}{% Lam:2003:CCF% }. \NAMECITE{comma-free}{% Lam:2003:CCF% }. \NAMECITE{commerce}{% Adi:2003:NLE% }. \NAMECITE{committee}{% Fine:2002:QCL% }. \NAMECITE{Common}{% Astesiano:2002:CCA,% Akutsu:2000:ALC,% Buchsbaum:2003:FCN,% Cegielski:2003:AIN,% Evans:2003:CFC,% Koch:2001:EAC,% Moschovakis:2003:PRA% }. \NAMECITE{communicating}{% Csuhaj-Varju:2001:CFP,% Csuhaj-Varju:2002:PCG,% Thomsen:2001:FAD,% Watjen:2001:PCL,% deBoer:2002:HLD% }. \NAMECITE{Communication}{% Bockenhauer:2001:CTW,% Abadi:2003:STA,% Bermond:2000:ECC,% Csuhaj-Varju:2001:CFP,% Durr:2004:CAC,% Evfimievski:2000:PAU,% Gordon:2003:TCA,% Malcher:2005:TWC,% Safavi-Naini:2001:BAG,% deWolf:2002:QCC% }. \NAMECITE{communications}{% Bampis:2002:AAP,% Flammini:2005:RWA,% Grabner:2002:SAB% }. \NAMECITE{Commutation}{% Karhumaki:2005:CC,% Choffrut:2002:CFS,% Karhumaki:2005:CDC,% Schott:2004:TOP% }. \NAMECITE{commutative}{% Abrusci:2003:TSP,% Crvenkovi:2002:ACR,% Nagayama:2003:GTC% }. \NAMECITE{comonad}{% Power:2002:CMC% }. \NAMECITE{Compact}{% Fiebig:2002:CFC,% Alvarez-Manilla:2004:PPS,% Coquand:2003:RSC,% Daciuk:2004:FAC,% Labhalla:2001:EMR,% Moshier:2004:RBC,% Vickers:2004:ESS% }. \NAMECITE{companion}{% Mendel:2004:OCC% }. \NAMECITE{comparable}{% Tantau:2003:QCM% }. \NAMECITE{comparative}{% Roggenbach:2000:TUV% }. \NAMECITE{Comparator}{% Brodal:2001:CNB,% Oesterdiekhoff:2000:PCN% }. \NAMECITE{Comparing}{% Busi:2000:CTS,% Gadducci:2002:CLR% }. \NAMECITE{Comparison}{% Durand:2002:CBC,% Dulucq:2003:RSS,% Focardi:2003:CTA,% Galpin:2003:FSE,% Hirowatari:2001:CIC,% Maggiolo-Schettini:2002:CSS,% Muthukrishnan:2004:EAS,% Schellhorn:2005:ARG,% Tajine:2002:TPH,% Wang:2002:NCT% }. \NAMECITE{comparisons}{% Comet:2003:AMP% }. \NAMECITE{compartments}{% Regev:2004:BAB% }. \NAMECITE{compatible}{% Aichholzer:2003:TCT,% Courcelle:2002:EFO,% Lavi:2004:CAI,% Mano:2001:UNF% }. \NAMECITE{competition}{% Fekete:2004:TSP,% Michel:2004:STM% }. \NAMECITE{Competitive}{% Achlioptas:2000:CAR,% Ahn:2004:CFL,% Bose:2004:COR,% Lavi:2004:CAI,% Lempel:2004:CCQ,% Bartal:2004:CRW,% Chin:2004:ICA,% Lopez-Ortiz:2004:LPH% }. \NAMECITE{competitiveness}{% Martinez:2000:CMF% }. \NAMECITE{compilation}{% Heldal:2000:EPE,% Lermer:2002:FMR% }. \NAMECITE{compiler}{% Grant:2000:DEA% }. \NAMECITE{compilers}{% Wyk:2003:SLA% }. \NAMECITE{Compiling}{% Cantone:2003:CDF% }. \NAMECITE{complematarity}{% Mihalache:2001:LTA% }. \NAMECITE{complementary}{% Hwang:2001:CSD% }. \NAMECITE{Complementing}{% Mera:2005:CUN% }. \NAMECITE{complements}{% Vagvolgyi:2000:CCG% }. \NAMECITE{Complete}{% Pavan:2000:CDP,% Senizergues:2000:CFS,% Ambos-Spies:2003:ACS,% Birget:2000:PCP,% Bockenhauer:2004:HCM,% DeAgostino:1994:PCP,% DeAgostino:2000:EPC,% Demaine:2003:UEC,% Domosi:2000:CSA,% Flake:2002:RHP,% Fournier:2001:SNC,% Gramlich:2001:ISC,% Gumm:2001:CCC,% Korec:2001:LAS,% Krznaric:2002:OAC,% Muradian:2003:BMP,% Neraud:2002:LCS,% Ravindran:2000:DED,% Rusinowitch:2003:PIF,% Senizergues:2001:BDR,% Slany:2002:EPS,% Stevens:2003:AOS,% Townsend:2004:PLP,% Yamasaki:2001:SCP,% delaHiguera:2000:TSM% }. \NAMECITE{completely}{% Aczel:2003:ITC% }. \NAMECITE{Completeness}{% Bazgan:2005:CSD,% Frias:2001:CRC,% Ishihara:2002:CIU,% Raffalli:2001:CML,% Yokouchi:2002:CTA,% Abdulla:2001:ECS,% Alimonti:2000:SAC,% Cardone:2002:CCP,% Chrobak:2001:RPS,% Frosini:2004:NCT,% Guelev:2005:CDD,% Matsui:2001:NCC,% Murawski:2003:ESJ,% Nour:2003:SPC,% Okada:2002:USP,% Pattinson:2003:CML,% Wijesekera:2001:NFS% }. \NAMECITE{Completing}{% Lam:2003:CCF% }. \NAMECITE{Completion}{% Zhang:2003:CCF,% Flagg:2002:EIC,% Kunzi:2002:YCQ% }. \NAMECITE{Completions}{% Carpi:2005:CML% }. \NAMECITE{complex}{% Sommese:2004:NFM% }. \NAMECITE{complexes}{% Hachimori:2000:CCR,% Webster:2003:CCO% }. \NAMECITE{complexit{\'e}}{% Labhalla:2001:EMR% }. \NAMECITE{complexities}{% Bostan:2004:CME,% Fraenkel:2000:RRQ,% Kalnishkan:2004:LFC,% Vyugin:2002:IDC% }. \NAMECITE{Complexity}{% Aracena:2003:CPR,% Buhrman:2002:CMD,% Dunne:2000:CTM,% Engel:2001:CLA,% Fraenkel:2004:CAC,% Gonzalez:2004:CPS,% Hagiya:2002:CAS,% Maksimova:2003:CSP,% Nock:2003:CCA,% Tohyama:2000:CPD,% Aberkane:2003:WWC,% Allouche:2003:PC,% Angiulli:2004:CIC,% Antoniotti:2004:TCB,% Arvind:2000:CCG,% Baumgartner:2002:PDL,% Benzinger:2004:AHO,% Bergman:2002:CCS,% Bernholt:2004:CCM,% Blaser:2002:UCC,% Blaser:2003:CBP,% Bonizzoni:2001:CMS,% Boreale:2000:CAB,% Boyar:2000:MCB,% Brandstadt:2004:TSC,% Bruin:2005:CFL,% Burgin:2004:ACR,% Castellanos:2005:SCH,% Champarnaud:2001:SCC,% Chateau:2004:CDU,% Chen:2005:MBM,% Cheng:2004:UCF,% Chou:2005:CCD,% Codenotti:2000:SSP,% Dalmau:2004:CCH,% Degtyarev:2000:DCS,% Dubacq:2001:KCC,% Durand:2002:CBC,% Durand:2002:CRH,% Durand:2002:DCC,% Durr:2004:CAC,% Eilam:2002:CCN,% Eisenbrand:2004:CFP,% Eiter:2002:CDD,% Erlebach:2001:CPC,% Escobar-Molano:2000:CCD,% Esteban:2004:CRB,% Evans:2003:CFC,% Fellows:2003:PCS,% Fernau:2003:NCP,% Fortnow:2003:OCT,% Frid:2003:ACS,% Frid:2005:SLA,% Gardner:2000:CCD,% Grigorieff:2002:KCN,% Guingne:2004:ANM,% Hachaichi:2003:DCA,% Hachaichi:2004:ADC,% Heam:2003:SCR,% Hemaspaandra:2000:SST,% Hernest:2005:CAF,% Hesse:2003:DCT,% Hoang:2003:CCM,% Holzer:2005:DCF,% Ibarra:2004:CCM,% Jain:2002:MCC,% Jancar:2001:NRC,% Janson:2004:ASC,% Jiraskova:2005:SCS,% Jonsson:2000:BCS,% Kalnishkan:2002:GLR,% Karakostas:2003:CIF,% Karhumaki:2005:CDC,% Khot:2002:PCF,% Kobayashi:2001:TDC,% Kowalski:2005:TCR,% Kralovic:2000:CSP,% Kristiansen:2004:CCI,% Kutz:2004:CBM,% Laroussinie:2003:ECQ,% Liskiewicz:2003:CCS,% Malgouyres:2002:CCR,% Martens:2005:CTT,% Massacci:2000:PCA,% Meyer:2001:ACP,% Milidiu:2003:CMM,% Mityagin:2004:CFL,% Muchnik:2002:CCC,% Navarro:2004:ACE,% Nishimura:2002:CCU,% Quas:2004:PLC,% Romashchenko:2002:CIK,% Royer:2004:CCL,% Ruzicka:2000:CMD,% Salomaa:2004:SCR% }. \NAMECITE{complexity}{% Sander:2000:CFL,% Sander:2002:RCF,% Sauerhoff:2005:QBP,% Shen:2002:LOK,% Staiger:2002:KCR,% Sutner:2004:CRC,% Tantau:2003:QCM,% Trahtman:2004:RTC,% VandenBussche:2001:SNR,% Vaszil:2005:DCS,% Vereshchagin:2002:KCC,% Vialette:2004:CCI,% Wang:2000:RBR,% Wang:2005:CFE,% Woods:2004:SSC,% deWolf:2002:QCC,% era:2003:CBC,% uri:2003:CCI,% Wang:2000:TDW% }. \NAMECITE{Complexity-theoretic}{% Dunne:2000:CTM,% Hemaspaandra:2000:SST% }. \NAMECITE{component}{% Danyi:2001:CHC,% Goerdt:2001:GCT,% Liu:2003:RCD% }. \NAMECITE{components}{% Bartha:2003:SEC,% Bordihn:2005:NCC,% Csuhaj-Varju:2003:PGS,% Kelemen:2000:CLA,% Pattinson:2005:CAM% }. \NAMECITE{composed}{% Rusinowitch:2003:PIF% }. \NAMECITE{Composing}{% Meier:2000:CLP% }. \NAMECITE{Composition}{% Salomaa:2003:CSF,% Achermann:2005:CRA,% Groote:2001:PCU,% Peyriere:2004:FCM,% vanGlabbeek:2004:WBF% }. \NAMECITE{Compositional}{% Corradini:2002:CSB,% Alessi:2002:CCD,% Cirstea:2004:CAD,% Kesten:2005:CAC% }. \NAMECITE{comprehensive}{% Goles:2004:SML% }. \NAMECITE{compressed}{% Kida:2003:CSU% }. \NAMECITE{Compression}{% DeAgostino:2000:EPC,% DeAgostino:1994:PCP,% Jevtic:2005:LBC,% Jiang:2003:UEW,% Katritzke:2004:EPT,% Na:2003:TST,% Poulakidas:2000:ICF,% Rytter:2003:ALZ% }. \NAMECITE{Comput}{% Bernardo:2001:CST,% Chrobak:2003:ESA,% DeAgostino:2000:EPC,% Finkelstein:2004:ENF,% Hemaspaandra:2000:ESC,% Spreen:2001:CSF,% Trahtman:2001:ESE,% Valiant:2003:CSM% }. \NAMECITE{Computability}{% Brattka:2003:CSM,% Weihrauch:2000:CCL,% Ziegler:2004:CLA,% Cleland:2004:CC,% Frisco:2004:CPS,% Kobayashi:2001:MSS,% Mori:2002:CWF,% Muchnik:2002:KEC,% Spreen:2001:RVN,% Yoshikawa:2002:IFC% }. \NAMECITE{computable}{% Becher:2002:ECA,% Beltiukov:2004:SIS,% Cenzer:2002:ECS,% Durand:2002:DCC,% Edalat:2002:FCS,% Konecny:2002:RFC,% Konecny:2004:RFI,% Lester:2002:CAF,% Zheng:2002:CPR,% Zhou:2000:GHC% }. \NAMECITE{computably}{% Downey:2002:PCE% }. \NAMECITE{computation}{% Abiteboul:2000:QCW,% Aehlig:2004:ANS,% Balogh:2003:PCU,% Berline:2000:CFF,% Brass:2001:ESD,% Brenneman:2002:SDB,% Burckel:2004:SCL,% Campagnolo:2004:CTC,% Diligenti:2004:NCS,% Duval:2004:LTC,% Hirvensalo:2002:CQI,% Imai:2000:CUT,% Kutz:2004:CBM,% Maass:2001:RTN,% MacLennan:2004:NCN,% Muhlenbein:2002:ECW,% Oja:2002:ULN,% Oostdijk:2002:PCC,% Sagonas:2001:LFO,% Sosik:2002:UCW,% Tsuiki:2002:RNC,% Woods:2005:OMC% }. \NAMECITE{computation-universal}{% Imai:2000:CUT% }. \NAMECITE{Computational}{% Amenta:2003:CTA,% Apel:2000:CIT,% Bergman:2002:CCS,% Danos:2003:CIC,% Habib:2004:CAD,% Nishimura:2002:CCU,% Baumgartner:2002:PDL,% Blaser:2002:UCC,% Chou:2005:CCD,% Codenotti:2000:SSP,% Gardner:2000:CCD,% Hachaichi:2004:ADC,% Herzog:2005:CID,% Ibarra:2004:CCM,% Kristiansen:2004:CCI,% Maffeis:2005:CSP,% Malgouyres:2002:CCR,% Mandache:2000:CPC,% Pardo:2001:FRP,% Royer:2004:CCL,% Seiden:2002:MCM,% Vialette:2004:CCI,% Wang:2000:RBR,% uri:2003:CCI% }. \NAMECITE{Computationally}{% Freund:2005:CUP,% Malcher:2004:MFA% }. \NAMECITE{Computations}{% Stiglic:2001:CDC,% Austinat:2003:SPR,% Austinat:2005:RFC,% Becher:2004:RTP,% Cucker:2001:WWC,% Delzanno:2001:PCL,% Gori:2002:AIF,% Holzer:2002:MHF,% Joly:2001:CTP,% Liu:2000:DSP,% Mayr:2003:UPU,% Normann:2002:ERN,% Radzik:2004:ITB,% Reischuk:2000:CLF% }. \NAMECITE{Computer}{% Duparc:2001:CSF,% Etiemble:2002:CAH,% Althofer:2004:IGP,% Konikowska:2002:RSD,% Ressayre:2004:WSI% }. \NAMECITE{Computers}{% Kornerup:2002:P% }. \NAMECITE{Computing}{% Alber:2004:CST,% Cheong:2003:CFN,% Choy:2005:CMA,% Flocchini:2003:CAN,% Gottlob:2002:CLC,% Hirvensalo:2002:CQI,% Hoory:2005:CUS,% Ma:2002:CSB,% Szegedy:2004:CBF,% Weihrauch:2005:CSK,% Amos:2002:TTD,% Anderson:2002:SPD,% Bernholt:2004:CCM,% Biham:2004:QCE,% Cattell:2000:CGM,% Chothia:2004:AFT,% Dovier:2004:EAC,% Finocchiaro:2002:CDP,% Flocchini:2002:SDD,% Fortnow:2003:OCT,% Freund:2004:RRC,% Manthey:2005:ICH,% Motet:2002:DCO,% Pasechnik:2001:CHB,% Paun:2000:DCB,% Paun:2002:GMC,% Rozenberg:2003:DCB,% Wan:2002:ACL,% Wiedermann:2004:CST,% Xue:2001:COP% }. \NAMECITE{concatenation}{% Bloom:2001:LWT,% Boullier:2003:CRC,% Pin:2003:ATC,% Germain:2000:LRD% }. \NAMECITE{concept}{% Case:2001:PLM,% Cleland:2004:CC% }. \NAMECITE{concerning}{% Drmota:2004:RCB% }. \NAMECITE{Concrete}{% Hains:2001:CDS% }. \NAMECITE{Concurrency}{% Corradini:2005:SPT,% Lanotte:2003:CTA,% Bruni:2002:DCC,% Caires:2004:SLC,% Nygaard:2004:DTC% }. \NAMECITE{Concurrent}{% Marco:2001:CMW,% Bernardo:1998:TET,% Bernardo:2001:CST,% Boudol:2002:NCP,% Busch:2005:CCL,% Gastin:2002:TCS,% Gupta:2002:TCC,% Jeffrey:2004:TBF,% Jeffrey:2005:FAM,% Katoen:2001:MST,% Sekerinski:2005:VRF,% Yoshida:2002:MSR% }. \NAMECITE{condensation}{% Kuo:2004:AGC% }. \NAMECITE{condensing}{% Goeman:2001:PCS% }. \NAMECITE{condition}{% Chen:2002:NNC,% Malajovich:2004:HPA% }. \NAMECITE{Conditional}{% Muchnik:2002:CCC,% Chernov:2002:USL,% Clavel:2002:RCR,% Ohlebusch:2001:ICT,% Tsai:2004:LAR,% Vereshchagin:2002:KCC,% Vyugin:2002:IDC,% Yamada:2000:LCR% }. \NAMECITE{Conditioning}{% Gerla:2000:CSA% }. \NAMECITE{Conditions}{% vanderWoude:2003:CSE,% Gribomont:2000:SBV,% Holzer:2005:DCF,% Katsura:2003:UPM,% Lescow:2000:MSS,% Torre:2005:WMA,% Vaszil:2005:DCS,% Zhu:2003:NCI% }. \NAMECITE{Conference}{% Anonymous:2001:C% }. \NAMECITE{confidence}{% Gammerman:2002:PAC% }. \NAMECITE{configurations}{% Barbe:2004:PMH,% Blondel:2002:PPC,% Col:2002:ALC,% Delvenne:2004:QPC,% Desreux:2004:DTR% }. \NAMECITE{confined}{% Bousquet-Melou:2003:WCQ% }. \NAMECITE{confinement}{% Pierro:2005:MCP% }. \NAMECITE{conflict}{% Bonis:2003:CGS,% Khasidashvili:2002:RCF% }. \NAMECITE{conflict-free}{% Khasidashvili:2002:RCF% }. \NAMECITE{Confluence}{% Joachimski:2004:CCC,% Kesner:2000:CEN,% Ying:2000:WCI% }. \NAMECITE{Confluency}{% Nakazawa:2002:CSN% }. \NAMECITE{confluent}{% Kobayashi:2001:TDC% }. \NAMECITE{conformance}{% Hierons:2004:TCD% }. \NAMECITE{conformon}{% Frisco:2004:CPS% }. \NAMECITE{conformon-{P}}{% Frisco:2004:CPS% }. \NAMECITE{congested}{% Cicerone:2002:SDL% }. \NAMECITE{congruences}{% Bergman:2002:CCS,% Bernardo:2002:PMS,% Bruni:2005:OCD,% DasGupta:2001:PTA,% Kelarev:2003:CAD,% Petkovic:2004:UAS,% Quaglia:2001:ESP,% Rosaz:2003:WPC,% Sewell:2002:RRB,% Vagvolgyi:2003:GTT,% Vagvolgyi:2003:IFG% }. \NAMECITE{Congruential}{% Vagvolgyi:2000:CCG% }. \NAMECITE{conjecture}{% Cai:2000:RHC,% Chen:2001:DCP,% Croot:2004:ACC,% Elmasry:2004:SAT,% Epifanio:2003:CBW,% Holub:2005:PED,% Leve:2005:CAF,% Sakuma:2000:FCC,% Matiyasevich:2001:SAR% }. \NAMECITE{conjectures}{% Cattaneo:2004:SSC,% Drmota:2004:RCB% }. \NAMECITE{Conjugacy}{% Blanchet-Sadri:2002:CPW,% Richomme:2003:CEM,% Carpi:2003:SWR,% Chuan:2004:MCC% }. \NAMECITE{conjunctions}{% Esteban:2004:CRB% }. \NAMECITE{Conjunctive}{% Chekuri:2000:CQC,% Okhotin:2003:CPL,% Okhotin:2003:RPA,% Okhotin:2004:NNL% }. \NAMECITE{connect}{% Farre:2004:BCN% }. \NAMECITE{connected}{% Bockenhauer:2004:HCM,% Dessmark:2000:MPC,% Koch:2001:EAC,% Kong:2003:KTP,% Leonardi:2004:CMC,% Ravelomanana:2004:FSC,% Ruan:2004:GAM,% Yeh:2001:WCD% }. \NAMECITE{Connection}{% Galmiche:2000:CML,% Aracena:2004:LCM,% Dinitz:2000:TDC,% Duntsch:2001:RAA,% Mavronicolas:2002:TRC% }. \NAMECITE{Connections}{% Salomaa:2005:CBS,% Zheng:2003:CAN,% Bruni:2002:NFA% }. \NAMECITE{connectives}{% Demri:2003:PSC,% Duchier:2003:DCB,% Lozes:2005:ESC% }. \NAMECITE{Connectivity}{% Brimkov:2004:CDP,% Cheng:2003:SLC,% Gerard:2002:PGC,% Hartmann:2001:SMP,% Lin:2005:SCP,% Poon:2000:SLB% }. \NAMECITE{connectors}{% Bruni:2002:DCC% }. \NAMECITE{{coNP}}{% Ablayev:2001:BVN% }. \NAMECITE{conquer}{% Chen:2003:DCR,% Wang:2000:TBS% }. \NAMECITE{consecutive}{% Habib:2000:LBP% }. \NAMECITE{consequence}{% Pattinson:2003:CML% }. \NAMECITE{conservative}{% Laurence:2002:ECF,% Moreira:2004:CMO% }. \NAMECITE{conserving}{% Durand:2003:NCC,% Formenti:2003:NCC,% Moreira:2003:UDN% }. \NAMECITE{consistency}{% Balcazar:2002:CDD,% Cohen:2005:PAD% }. \NAMECITE{Constant}{% Joly:2001:CTP,% Robson:2002:NCB,% Chockler:2004:SRL,% Rytter:2003:MSC,% Storch:2004:RRR,% Watrous:2003:PCR% }. \NAMECITE{constant-round}{% Watrous:2003:PCR% }. \NAMECITE{constant-space}{% Rytter:2003:MSC% }. \NAMECITE{constants}{% Bonizzoni:2005:SRR% }. \NAMECITE{constrained}{% Bampis:2002:AAP,% Battista:2002:EPP,% Chen:2003:PWC,% Duggan:2002:OCS,% Fiala:2004:DCL,% Shachnai:2004:TBO% }. \NAMECITE{constraint}{% Birkedal:2001:CBR,% Crescenzi:2002:HDC,% Eveillard:2004:MSC,% Feder:2001:FLC,% Frigioni:2001:DAC,% Geerts:2005:DTQ,% Gupta:2002:TCC,% Jonsson:2000:BCS,% Jonsson:2004:RFV,% Jung:2003:EDP,% Naudts:2002:GPD,% Schachte:2003:PGI,% Schulz:2001:CCS,% Seynhaeve:2001:GSU,% Smith:2001:CAP,% Vandeurzen:2001:ELC,% Weil:2004:CGC,% Ziv:2002:SGM% }. \NAMECITE{constraint-based}{% Birkedal:2001:CBR% }. \NAMECITE{constraints}{% Baillot:2004:TIL,% Beal:2005:CSC,% Caragiannis:2002:ECB,% Comon:2005:TAO,% Deutsch:2005:XQC,% Duchier:2003:DCB,% Janssen:2001:AAC,% Koubarakis:2001:TDL,% Melski:2000:ICS,% Meyer:2001:ACP% }. \NAMECITE{Constructible}{% Hachimori:2000:CCR,% Iwamoto:2002:CFC,% Koucky:2003:LSC% }. \NAMECITE{Constructing}{% Smith:2001:CAP,% Bockenhauer:2004:HCM,% Chen:2002:RAC,% Neraud:2001:CFD% }. \NAMECITE{construction}{% Brodal:2001:CNB,% Champarnaud:2001:SCC,% Demri:2003:PSC,% Ding:2005:CTC,% Galmiche:2000:CML,% Kao:2001:MRE,% Kerth:2001:CSM,% Spreen:1999:FPL,% Spreen:2001:CSF% }. \NAMECITE{Constructions}{% Bonis:2003:CGS,% Blundo:2004:BCU,% Champarnaud:2002:CDP,% Cirstea:2001:SCS,% Dartnell:2003:CCA,% Droubay:2001:EWS,% Felty:2000:CCF,% Frisco:2003:DCU,% Gaborit:2005:LCD,% Ibarra:2003:EST,% Seldin:2000:GSS% }. \NAMECITE{Constructive}{% Cousot:2002:CDH,% Curi:2003:CMP,% Besnard:2000:WNC,% Blanck:2002:DRP,% Bridges:2002:KSC,% Lester:2002:CAF,% Sarkar:2000:DCA,% Vi:2003:CTP% }. \NAMECITE{constructor}{% Bidoit:2003:OLC% }. \NAMECITE{constructor-based}{% Bidoit:2003:OLC% }. \NAMECITE{consumption}{% Kirousis:2000:PCP% }. \NAMECITE{containment}{% Calvanese:2005:DCR,% Chekuri:2000:CQC,% Deutsch:2005:XQC% }. \NAMECITE{contains}{% Aberkane:2005:TMW% }. \NAMECITE{content}{% Sawada:2003:FAG% }. \NAMECITE{contention}{% Busch:2005:CCL% }. \NAMECITE{Context}{% Bordihn:2004:CFP,% Margenstern:2005:CFI,% Albert:2001:NFA,% Andrei:2003:NAR,% Asveld:2000:IPS,% Ceccherini-Silberstein:2003:GSC,% Csuhaj-Varju:2001:CFP,% Csuhaj-Varju:2003:PGS,% DAlessandro:2004:WQO,% Darondeau:2001:PNR,% Elder:2005:CFC,% Ewert:2002:PLR,% Finkel:2001:TPO,% Finkel:2001:WHO,% Finkel:2003:AOC,% Finkel:2003:OCF,% Hashimoto:2001:TCC,% Honkala:2001:PSC,% Hornof:2000:ABT,% Ilie:2000:LWC,% Incitti:2001:GFC,% Kolb:2003:ODA,% Mandache:2000:CPC,% Mayr:2005:WBR,% McQuillan:2005:GCB,% Meduna:2000:GPT,% Meduna:2000:TLH,% Melski:2000:ICS,% Moriya:2005:SAC,% Muchnik:2002:KEC,% Nishida:2000:GPE,% Vaszil:2005:DCS,% Vorobyov:2002:ETC,% vanderWalt:2000:SLR,% vanderWalt:2003:PRC% }. \NAMECITE{Context-free}{% Margenstern:2005:CFI,% Albert:2001:NFA,% Andrei:2003:NAR,% Asveld:2000:IPS,% Bordihn:2004:CFP,% Ceccherini-Silberstein:2003:GSC,% Csuhaj-Varju:2001:CFP,% Csuhaj-Varju:2003:PGS,% DAlessandro:2004:WQO,% Darondeau:2001:PNR,% Elder:2005:CFC,% Finkel:2001:TPO,% Finkel:2001:WHO,% Honkala:2001:PSC,% Ilie:2000:LWC,% Incitti:2001:GFC,% Mandache:2000:CPC,% Mayr:2005:WBR,% McQuillan:2005:GCB,% Moriya:2005:SAC,% Nishida:2000:GPE% }. \NAMECITE{context-free-language}{% Melski:2000:ICS% }. \NAMECITE{Context-freeness}{% Bordihn:2004:CFP% }. \NAMECITE{contiguous}{% Stoye:2002:SFD% }. \NAMECITE{contingency}{% Dyer:2000:PTC,% Matsui:2004:RGC% }. \NAMECITE{Continuation}{% Jagannathan:2000:CBT% }. \NAMECITE{Continuation-based}{% Jagannathan:2000:CBT% }. \NAMECITE{continues}{% Labhalla:2001:EMR% }. \NAMECITE{continuity}{% Prieur:2001:HDC,% Prieur:2002:NHD% }. \NAMECITE{Continuous}{% Campagnolo:2004:CTC,% Karner:2004:CMS,% Adamek:2003:FCC,% Barbanera:2002:FCM,% Becker:2002:SAC,% Berardi:2004:BCW,% Lawson:2004:IAC,% Lawson:2004:PHC,% Maehara:2001:WDP,% Rabinovich:2003:ACT,% Sima:2003:ETC,% Weihrauch:2000:CCL% }. \NAMECITE{Continuous-time}{% Campagnolo:2004:CTC,% Sima:2003:ETC% }. \NAMECITE{continuum}{% Pavlovi:2002:CFC% }. \NAMECITE{contract}{% Shmatikov:2002:FSA% }. \NAMECITE{contractile}{% Sales:2004:DFP% }. \NAMECITE{contracting}{% Radzik:2004:ITB% }. \NAMECITE{contraction}{% Zhu:2002:RTR% }. \NAMECITE{Contractivity}{% Heckmann:2002:CLF% }. \NAMECITE{Contrast}{% Hofmeister:2000:COK% }. \NAMECITE{Contrast-optimal}{% Hofmeister:2000:COK% }. \NAMECITE{Control}{% Case:2002:CSH,% Bernhard:2003:MXF,% Bonsangue:2000:TSS,% Hennessy:2004:TBT,% Itai:2002:PCP,% Li:2004:PEE,% Nicola:2000:TAC,% Ott:2000:SMG% }. \NAMECITE{control-driven}{% Bonsangue:2000:TSS% }. \NAMECITE{controllers}{% Arnold:2003:GSC,% Madhusudan:2002:BTC% }. \NAMECITE{convention}{% Nichitiu:2004:LEP% }. \NAMECITE{Convergence}{% Auger:2005:CRS,% Antos:2002:LBR,% Bienvenue:2003:GCE,% Drmota:2004:RCB,% Heckmann:2003:NTV,% Noutsos:2004:MAP,% Pinter:2002:RCE,% Schmitt:2004:TGA,% Steinhofel:2002:CSA,% Yi:2004:GEC% }. \NAMECITE{Conversation}{% Fu:2004:CPF% }. \NAMECITE{conversion}{% Auletta:2001:SLW,% Crvenkovic:2000:VKA,% Frougny:2003:LDS% }. \NAMECITE{Converting}{% Geffert:2003:CTW% }. \NAMECITE{convex}{% Bronnimann:2004:SEP,% Brunetti:2003:ARC,% Chen:2002:RAC,% Cheong:2003:CFN,% Chretienne:2003:PSC,% Daurat:2005:DQC,% Deutsch:2003:BBD,% Fereti:2004:ECP,% Kuba:2002:RCD,% Maehara:2000:CCP,% Nakamigawa:2000:GDF,% Sugihara:2000:TDC% }. \NAMECITE{Convexity}{% Ekin:2000:CLA,% Quilliot:2001:CGO% }. \NAMECITE{convolution}{% Hubalek:2000:VIP% }. \NAMECITE{{Conway}}{% Karhumaki:2002:CPT% }. \NAMECITE{{Cook}}{% Burgisser:2000:CVV% }. \NAMECITE{cooperating}{% Bordihn:2005:NCC,% Danyi:2001:CHC,% Fernau:2001:HMC,% Fernau:2003:HMC% }. \NAMECITE{cooperative}{% Kraus:2000:ADT% }. \NAMECITE{coordinated}{% Escobar-Molano:2000:CCD% }. \NAMECITE{Coordinating}{% Hedman:2000:CAS% }. \NAMECITE{coordination}{% Bonsangue:2000:TSS,% Jagannathan:2000:CBT,% Pattinson:2005:CAM,% Roman:2005:PEC% }. \NAMECITE{copies}{% Szegedy:2004:CBF% }. \NAMECITE{coping}{% Pelc:2002:SGE% }. \NAMECITE{{Coq}}{% Dehlinger:2004:FGM,% Dehlinger:2004:FTT,% Oostdijk:2002:PCC% }. \NAMECITE{corecursion}{% Moss:2001:PC,% Moss:2003:RCS% }. \NAMECITE{cores}{% Goerdt:2001:RRG% }. \NAMECITE{correctly}{% Croot:2004:ACC% }. \NAMECITE{Correctness}{% Denney:2002:CJC,% Stomp:2002:CSP,% McIver:2001:PCP% }. \NAMECITE{Correlation}{% Wu:2004:CIR,% Zheng:2003:CAN% }. \NAMECITE{Correspondence}{% Abiteboul:2002:CTH,% Halava:2002:BGP,% Kari:2000:UDS,% Gordon:2003:TCA,% Schellekens:2004:CBP% }. \NAMECITE{Correspondences}{% Nadathur:2000:CBC% }. \NAMECITE{corridor}{% Nandy:2001:DMW% }. \NAMECITE{Corrigendum}{% Bernardo:2001:CST,% Spreen:2001:CSF,% Valiant:2003:CSM% }. \NAMECITE{coset}{% Ozeki:2000:CRC% }. \NAMECITE{cost}{% Ambuhl:2001:NLB,% Aumann:2000:CRT,% Busch:2005:CCL,% Chretienne:2003:PSC,% Feigenbaum:2003:HRM,% Leonardi:2004:CMC,% Xue:2001:COP,% Yi:2002:CEE% }. \NAMECITE{cost-effective}{% Yi:2002:CEE% }. \NAMECITE{Costs}{% Case:2001:CGP,% Kuske:2004:BAC,% Laber:2002:SSD% }. \NAMECITE{count}{% Lugiez:2005:MAC% }. \NAMECITE{countable}{% Fiebig:2002:CFC,% Gradel:2002:GFP,% Schuster:2003:UEA% }. \NAMECITE{countably}{% Martin:2003:RSC% }. \NAMECITE{Counter}{% Ibarra:2002:CMV,% Blondel:2002:PPC,% Dang:2005:TWN,% Elder:2005:CFC,% Elston:2004:GWW,% Yamasaki:2002:OWP,% Yamasaki:2005:QVD,% era:2003:CBC% }. \NAMECITE{counterexample}{% Fory:2003:SXC% }. \NAMECITE{counters}{% Brit:2002:PDS,% Busch:2002:TCI,% Ibarra:2004:TWF,% Kutrib:2005:DPH% }. \NAMECITE{Counting}{% Arques:2000:CRM,% Boigelot:2004:CSP,% Boullier:2003:CRC,% Dahllof:2005:CMS,% Diaz:2002:CHC,% Esbelin:2001:CMF,% Harju:2005:CBP,% Humphreys:2004:CLP,% Meer:2000:CPR,% Mosca:2001:CQE,% Wolfe:2004:CNG,% Arvind:2000:CCG,% Dalmau:2004:CCH,% Dyer:2000:PTC,% Geffert:2000:VIC,% Hemaspaandra:2004:LBH,% Libkin:2002:LBI,% Liskiewicz:2003:CCS,% Simon:2000:BCA% }. \NAMECITE{covariances}{% Louchard:2003:GCM% }. \NAMECITE{Covarieties}{% Gumm:2001:CCC% }. \NAMECITE{cover}{% Bar-Ilan:2001:GSC,% Campeanu:2001:MCA,% Chen:2005:AMV,% Bazgan:2005:DAM% }. \NAMECITE{cover-automata}{% Campeanu:2001:MCA% }. \NAMECITE{coverage}{% Lim:2005:CPM% }. \NAMECITE{Covering}{% Chekhova:2000:CNR,% Demange:2005:LVC,% Hartmann:2001:SMP,% He:2005:OSO,% Jansen:2003:AFP,% Li:2001:ITC,% Ozeki:2000:CRC,% Ozeki:2001:CRP% }. \NAMECITE{covers}{% Fiebig:2001:MCS,% Nielsen:2001:PCO% }. \NAMECITE{{CPS}}{% Boudol:2000:SCN,% Danvy:2003:FOO,% Laird:2005:GSL% }. \NAMECITE{{CREW}}{% Xue:2001:COP% }. \NAMECITE{Crick}{% Honkala:2001:WCD,% Honkala:2003:DRW,% Salomaa:2002:UTW,% Salomaa:2003:WCD,% Sosik:2002:UCW,% Sosik:2003:WCD% }. \NAMECITE{criteria}{% Domosi:2003:FSF,% Hirowatari:2001:CIC,% Nock:2004:DPI% }. \NAMECITE{criterium}{% Araujo:2005:SWC% }. \NAMECITE{critical}{% Vandeth:2000:SWW% }. \NAMECITE{Cross}{% Leonardi:2004:CMC,% Katsura:2003:UPM% }. \NAMECITE{Cross-monotonic}{% Leonardi:2004:CMC% }. \NAMECITE{crossing}{% Nagamochi:2005:OSC,% Shahrokhi:2000:NLB% }. \NAMECITE{crossings}{% Courcelle:2000:MSOb% }. \NAMECITE{Cryptographic}{% Fischlin:2001:CLP,% Amadio:2002:SRP,% Blanchet:2005:VCP,% Comon:2005:TAO,% Fuster-Sabater:2001:EAG,% Iwata:2003:NCP% }. \NAMECITE{Cryptographically}{% Maitra:2002:CSB% }. \NAMECITE{cryptography}{% Ateniese:2001:ECV,% Bonis:2004:RSS,% Hofmeister:2000:COK% }. \NAMECITE{cryptosystems}{% Koskinen:2001:NIK% }. \NAMECITE{{CSP}}{% Wolter:2002:CPA% }. \NAMECITE{{CTL}}{% Kesten:2005:CAC% }. \NAMECITE{Cube}{% Miyazawa:2003:CP,% Imreh:2000:ECP% }. \NAMECITE{cube-product}{% Imreh:2000:ECP% }. \NAMECITE{cubes}{% Woods:2004:SSC% }. \NAMECITE{cubic}{% Alimonti:2000:SAC,% Diaz:2003:BMM% }. \NAMECITE{Cumulative}{% Bruyere:2003:CD% }. \NAMECITE{curve}{% Angel:2004:APC% }. \NAMECITE{curves}{% Garefalakis:2004:GWP,% Perez-Diaz:2004:PAA,% Rojas:2000:ULI,% Silverman:2000:DIP% }. \NAMECITE{custom}{% Etiemble:2002:CAH% }. \NAMECITE{customizable}{% Walter:2002:CFE% }. \NAMECITE{Cut}{% McDowell:2000:CEL,% Bjornsson:2001:MCP,% Cerrito:2004:PMC,% Moshier:2004:RBC,% Okada:2002:USP,% Arai:2000:TCF% }. \NAMECITE{Cut-elimination}{% McDowell:2000:CEL,% Okada:2002:USP% }. \NAMECITE{{Cut}-free}{% Arai:2000:TCF% }. \NAMECITE{cuts}{% Junghanns:2001:SIS% }. \NAMECITE{cutsets}{% Le:2003:SCL% }. \NAMECITE{cutting}{% Shen:2004:EGS% }. \NAMECITE{cycle}{% Maehara:2000:CCP,% Rondogiannis:2001:SNT% }. \NAMECITE{cycle-sum}{% Rondogiannis:2001:SNT% }. \NAMECITE{cycles}{% Aracena:2004:LCM,% Flammini:2005:RWA,% Karolyi:2001:GGR,% Kempe:2004:ERI,% Koucky:2003:LSC% }. \NAMECITE{cyclic}{% Ehrenfeucht:2002:GAT,% Fraenkel:2001:ICI,% Matamala:2004:DCA,% Muradian:2003:BMP,% Weil:2004:CGC% }. \NAMECITE{cyclicity}{% Holub:2001:LGC% }. \NAMECITE{Cylindric}{% Duntsch:2001:CSD% }. \NAMECITE{D}{% Bazgan:2005:CSD,% Krznaric:2002:OAC,% Bousquet-Melou:2003:WCQ% }. \NAMECITE{{D}-finite}{% Bousquet-Melou:2003:WCQ% }. \NAMECITE{{D0L}}{% Frid:2003:ACS,% Honkala:2000:DPS,% Honkala:2001:WCD,% Honkala:2003:DRW,% Honkala:2005:LEP,% Salomaa:2002:UTW,% Salomaa:2003:WCD,% Sosik:2002:UCW,% Sosik:2003:WCD% }. \NAMECITE{{DAC}}{% Afrati:2002:ED% }. \NAMECITE{Dagstuhl}{% Demaine:2004:ABO% }. \NAMECITE{d'arbres}{% Dauchet:2002:RNL% }. \NAMECITE{dark}{% Edmonds:2000:SD% }. \NAMECITE{dart}{% Sales:2004:DFP% }. \NAMECITE{dart-free}{% Sales:2004:DFP% }. \NAMECITE{Data}{% DeAgostino:2000:EPC,% Delgado-Friedrichs:2003:DSA,% Fagin:2005:DES,% Kudoh:2003:DAD,% Abiteboul:2002:CTH,% Adamek:2002:ADT,% Bach:2000:TDS,% Blanqui:2002:IDT,% Brit:2002:PDS,% Busi:2003:EDC,% Case:2000:VBL,% Charikar:2004:FFI,% DeAgostino:1994:PCP,% Edmonds:2003:MES,% Eiter:2002:CDD,% Ekin:2000:CLA,% Groote:2001:PCU,% Hains:2001:CDS,% Holzer:2002:MHF,% Ibarra:2002:ADT,% Jin:2001:TFP,% Lawvere:2004:LRA,% Na:2003:TST,% Naumann:2002:SDR,% Ono:2002:LAD,% Panangaden:2000:GIP,% Rao:2000:SCP,% Rohrmair:2005:UDI,% Schellhorn:2005:ARG,% Schwabe:2004:EDM,% Shekhar:2001:OPD,% Shinohara:2000:IIU,% Yokomori:2003:PTI% }. \NAMECITE{data-dependent}{% Holzer:2002:MHF% }. \NAMECITE{data-independence}{% Rohrmair:2005:UDI% }. \NAMECITE{data-independent}{% Holzer:2002:MHF% }. \NAMECITE{database}{% Bailey:2004:DTP,% Shekhar:2001:OPD,% Spruit:2001:RDU% }. \NAMECITE{databases}{% Arenas:2003:SAI,% Duntsch:2001:CSD,% Geerts:2005:DTQ,% Vandeurzen:2001:ELC% }. \NAMECITE{datalog}{% Afrati:2003:LDP,% Guessarian:2003:TLV,% Flum:2000:GTD% }. \NAMECITE{dataspace}{% Hooman:2005:SMT% }. \NAMECITE{dataspaces}{% Busi:2003:EDC% }. \NAMECITE{datatypes}{% Abel:2005:ICS% }. \NAMECITE{dates}{% Yuan:2004:USM% }. \NAMECITE{{David}}{% Sgall:2001:SDG% }. \NAMECITE{{DAWG}s}{% Sgarbas:2003:OID% }. \NAMECITE{dcpos}{% Heckmann:2003:NTV% }. \NAMECITE{deadlines}{% Kim:2004:SBD,% Koo:2003:LST% }. \NAMECITE{deadlocking}{% Srba:2001:BPA% }. \NAMECITE{decentralized}{% Joung:2000:TDA% }. \NAMECITE{Decidability}{% Cegielski:2001:DTN,% David:2003:DRP,% Degtyarev:2000:DCS,% Honkala:2003:DRW,% Mayr:2001:DMC,% Salomaa:2002:DES,% Stirling:2001:DDE,% Teytaud:2001:DHP,% Valencia:2005:DIS,% Bailey:2004:DTP,% Broda:2004:DFB,% Daley:2003:CDP,% Durand:2003:NCC,% Geerts:2005:DTQ,% Guelev:2005:CDD,% Lago:2004:PSD,% Margenstern:2000:FBD,% Moreira:2003:UDN,% Pattinson:2003:CML,% Senizergues:2001:BDR,% Senizergues:2002:BSD% }. \NAMECITE{Decidable}{% Beauquier:2002:DVR,% Calvanese:2005:DCR,% Caporaso:2001:PDC,% Caucal:2002:ITG,% Dang:2003:GDT,% Halava:2001:MPD,% Karhumaki:2005:CDC,% Kucera:2002:WBB,% Kunc:2004:UTC,% Laurence:2002:ECF,% Loader:2001:FPD,% Peltier:2004:FOT% }. \NAMECITE{decide}{% Prieur:2001:HDC,% Prieur:2002:NHD% }. \NAMECITE{Deciding}{% Blondel:2001:DSM,% Gaal:2004:DSF,% Jancar:2001:DBL,% Klimann:2004:DUS,% Beal:2003:STE,% Ponty:2000:ENF% }. \NAMECITE{Decimation}{% Barbe:2001:DIS,% Barbe:2002:SDI% }. \NAMECITE{Decimation-invariant}{% Barbe:2001:DIS% }. \NAMECITE{deciphering}{% Neraud:2001:CFD% }. \NAMECITE{Decision}{% Ayari:2003:DPI,% Eiter:2002:DLR,% Lange:2003:DLR,% Matiyasevich:2005:DPS,% Mehta:2002:DTA,% Buhrman:2002:CMD,% Chateau:2004:CDU,% Chevalier:2005:NDP,% Guijarro:2001:MTD,% Kudoh:2003:DAD,% Malajovich:2002:NLB,% Sakamoto:2000:IDP,% Takimoto:2001:PNW,% Takimoto:2002:PNW,% Takimoto:2003:TDT% }. \NAMECITE{deck}{% Stiglic:2001:CDC% }. \NAMECITE{declarative}{% Finkelstein:2003:NFD,% Finkelstein:2004:ENF,% Lago:2001:DFO% }. \NAMECITE{declustered}{% Schwabe:2004:EDM% }. \NAMECITE{declustering}{% Sinha:2003:AOD% }. \NAMECITE{decodable}{% Kontorovich:2004:UDG% }. \NAMECITE{decoding}{% Lin:2000:SEH,% Zhang:2003:CCF% }. \NAMECITE{decomposability}{% Kucera:2000:EDS% }. \NAMECITE{Decomposable}{% Fernandez-Baca:2003:DMP,% Neraud:2002:LCS,% Ono:2002:LAD% }. \NAMECITE{Decomposition}{% Esik:2000:PKR,% Luttik:2005:DOA,% Malvestuto:2000:DHP,% Ehrenfeucht:2002:GAT,% Kiwi:2001:MMB,% Liu:2003:RCD,% Moran:2000:SEN% }. \NAMECITE{Decompositions}{% deFigueiredo:2003:DEC,% Bergeron:2004:CDB% }. \NAMECITE{decorated}{% Chen:2001:ACT% }. \NAMECITE{decrements}{% Busch:2002:TCI% }. \NAMECITE{Dedication}{% Brooks:2002:D% }. \NAMECITE{{D}{\'e}di{\'e}}{% Brlek:2003:VRS% }. \NAMECITE{deduction}{% Konikowska:2002:RSD,% Uustalu:2002:LGF,% Zimmermann:2002:PRN% }. \NAMECITE{Deductive}{% Bjorner:2001:DVR% }. \NAMECITE{default}{% Baumgartner:2002:PDL,% Sakama:2005:ODT% }. \NAMECITE{defaults}{% Zhang:2004:RPD% }. \NAMECITE{defeasible}{% Chesnevar:2002:RDN% }. \NAMECITE{defect}{% Bruyere:2003:CD,% Harju:2004:MAD,% Karhumaki:2002:MFW,% Karhumaki:2003:DTB% }. \NAMECITE{definability}{% Bucciarelli:2002:RDB,% Hachaichi:2004:ADC,% Korec:2001:LAS% }. \NAMECITE{definable}{% Arvind:2000:CCG% }. \NAMECITE{defined}{% Barbe:2004:PMH,% Boliac:2003:IDF,% Daley:2004:FLD,% Kelarev:2003:CAD% }. \NAMECITE{defining}{% Cirstea:2004:CAD% }. \NAMECITE{d{\'e}finis}{% Germain:2000:LRD% }. \NAMECITE{definite}{% Blum:2000:SDR% }. \NAMECITE{definition}{% Borger:2005:HLM,% Santocanale:2003:EDL,% Wells:2004:HD% }. \NAMECITE{definitions}{% Costagliola:2005:ASI,% McDowell:2000:CEL% }. \NAMECITE{Deformation}{% Pardo:2004:DTS,% Maehara:2001:WDP% }. \NAMECITE{degree}{% Kral:2003:MHB% }. \NAMECITE{degrees}{% Apolloni:2001:GDF,% Grigoriev:2001:LLB,% Nagamochi:2005:OSC,% Sutner:2003:CAI% }. \NAMECITE{{Delaunay}}{% Li:2003:GWS% }. \NAMECITE{Delay}{% Brzozowski:2000:DIT,% Guesnet:2002:MCF,% Hildebrandt:2003:TCM,% Neraud:2001:CFD% }. \NAMECITE{Delay-insensitivity}{% Brzozowski:2000:DIT% }. \NAMECITE{delays}{% Yi:2004:GEC,% Zhang:2003:CCF% }. \NAMECITE{deleted}{% Pedicini:2005:GES% }. \NAMECITE{Deleting}{% Hofbauer:2004:DSR% }. \NAMECITE{Deletion}{% Domaratzki:2004:DAT,% Domaratzki:2004:RRE,% Goerdt:2003:AED,% Ito:2000:SSD,% Kari:2005:ASD,% Margenstern:2005:CFI% }. \NAMECITE{deletions}{% Marron:2004:GDU% }. \NAMECITE{demonic}{% McIver:2001:PCP% }. \NAMECITE{d{\'e}nombrable}{% Bourgade:2002:CSL% }. \NAMECITE{denotational}{% Baillot:2004:SCS,% Hennessy:2002:FAD,% Ingolfsdottir:2001:FAD,% Kolb:2003:ODA,% Thomsen:2001:FAD,% vanBreugel:2001:IMS% }. \NAMECITE{denoting}{% Hashiguchi:2004:ERB% }. \NAMECITE{Dense}{% Ravindran:2000:DED,% Jenner:2001:FAS,% Nandy:2001:DMW% }. \NAMECITE{Density}{% Hanrot:2002:DRF,% Nesetril:2002:DD% }. \NAMECITE{Dependable}{% Motet:2002:DCO,% Walter:2002:CFE% }. \NAMECITE{dependence}{% Muller-Olm:2004:PID% }. \NAMECITE{dependencies}{% Codish:2000:TDL,% Duntsch:2001:CSD,% Levene:2001:GNI% }. \NAMECITE{dependency}{% Arts:2000:TTR% }. \NAMECITE{Dependent}{% Krivine:2003:DCS,% Aspinall:2001:SDT,% Balcazar:2002:CDD,% Barthe:2001:WNI,% Holzer:2002:MHF,% Jelenkovic:2004:LRU,% Munoz:2001:PTS,% Watjen:2003:FDT% }. \NAMECITE{dependent-type}{% Munoz:2001:PTS% }. \NAMECITE{depth}{% Gao:2001:SAD,% Maciel:2000:PSD,% Matz:2002:DDM% }. \NAMECITE{deque}{% Elmasry:2004:SAT% }. \NAMECITE{derivated}{% Araujo:2005:WDS% }. \NAMECITE{Derivation}{% Lepper:2001:DLO% }. \NAMECITE{derivational}{% Kobayashi:2001:TDC% }. \NAMECITE{derivations}{% Mints:2003:TPE,% Pacini:2000:LCS,% Soloviev:2003:CEG,% Yamasaki:2001:SCP% }. \NAMECITE{Derivatives}{% Champarnaud:2004:DRE,% Lombardy:2005:DRE,% Blaser:2002:UCC,% Champarnaud:2002:CDP% }. \NAMECITE{describing}{% Knuutila:2001:RDA% }. \NAMECITE{Description}{% Cori:2003:DTT,% Glasser:2005:FDA,% Toman:2005:RAS% }. \NAMECITE{descriptional}{% Holzer:2005:DCF,% Kutrib:2005:DPH,% Vaszil:2005:DCS% }. \NAMECITE{descriptions}{% Cherubini:2002:ALD,% vanZijl:2004:BIN% }. \NAMECITE{Descriptive}{% Durand:2002:DCC,% Hachaichi:2003:DCA% }. \NAMECITE{design}{% Becchetti:2002:DEA,% Borger:2005:ASM,% Brenneman:2002:SDB,% Cousot:2002:CDH,% Gorrieri:2005:TFS,% Huang:2004:SBP,% Mohri:2000:DPW,% Sarkar:2000:DCA% }. \NAMECITE{Designing}{% Cardinal:2005:DSK,% Huang:2005:PPS% }. \NAMECITE{designs}{% Moura:2003:RIS% }. \NAMECITE{destinies}{% Chateau:2004:CDU% }. \NAMECITE{Detecting}{% Oriat:2000:DEM,% Terhal:2002:DQE,% Chattaraj:2005:IST,% Konstantinidis:2002:EDP% }. \NAMECITE{detection}{% Furedi:2004:MLT,% Groult:2004:SDE,% Rohrmair:2005:UDI,% Stoye:2002:SFD% }. \NAMECITE{determinacy}{% Bjorklund:2004:MDP% }. \NAMECITE{Determination}{% Daurat:2005:DQC% }. \NAMECITE{determined}{% Hitzler:2003:GMU,% Noy:2003:GDP% }. \NAMECITE{Determining}{% Trow:2001:DPS,% Gardner:2000:CCD,% Hashiguchi:2002:ADS% }. \NAMECITE{determinism}{% Grigorieff:2002:KCN,% Kowalski:2005:TCR% }. \NAMECITE{Deterministic}{% Herley:2002:DPB,% Klein:2002:DTM,% Brueggemann:2004:IDL,% Dantsin:2002:DKA,% Francez:2003:ACD,% Grigorieff:2002:MDR,% Hierons:2004:TCD,% Holzer:2004:DFA,% Iwama:2003:FNW,% Jung:2003:EDP,% Kalyanasundaram:2000:ODA,% Kameyama:2002:SNN,% Maletti:2005:HAD,% Niwinski:2003:GPD,% Sgarbas:2003:OID,% Tajima:2004:PTL,% Terrier:2003:TDC,% Teytaud:2001:DHP,% Trahtman:2000:AFO,% Yamasaki:2005:QVD,% deBoer:2002:HLD% }. \NAMECITE{deterministically}{% Recalde:2001:STM% }. \NAMECITE{Determinization}{% Beal:2002:DTF,% Allauzen:2004:OPD% }. \NAMECITE{developable}{% Maehara:2000:CCP% }. \NAMECITE{development}{% Culberson:2001:FDG% }. \NAMECITE{devices}{% Dassow:2002:OLG% }. \NAMECITE{{DFA}}{% Kappes:2005:SRL,% Ravikumar:2004:WMD% }. \NAMECITE{{DFAs}}{% Champarnaud:2005:RGD,% Iwama:2000:TBN% }. \NAMECITE{diagnosis}{% Caruso:2002:FDG% }. \NAMECITE{diagonal}{% Lungo:2002:RPM,% Nakamigawa:2000:GDF% }. \NAMECITE{diagram}{% Devillers:2002:RVD% }. \NAMECITE{diagrams}{% Indermitte:2001:VDP,% Maletti:2005:HAD,% Oriat:2000:DEM,% Sugihara:2000:TDC,% deAlfaro:2002:HD% }. \NAMECITE{dial}{% Feuerstein:2001:LSS% }. \NAMECITE{dial-a-ride}{% Feuerstein:2001:LSS% }. \NAMECITE{diameter}{% Dinitz:2000:TDC,% Finocchiaro:2002:CDP,% Kojima:2000:WDM% }. \NAMECITE{Dichotomies}{% Feder:2004:DCH% }. \NAMECITE{dictionaries}{% Daciuk:2004:FAC% }. \NAMECITE{dictionary}{% Clement:2005:PFD% }. \NAMECITE{difference}{% Beal:2001:TDL,% Fleischner:2002:PTR,% Gao:2001:SAD% }. \NAMECITE{differences}{% Bertoni:2001:ADB% }. \NAMECITE{different}{% Bravetti:2002:DTG,% Kalnishkan:2002:GLR,% Kappes:2005:SRL,% Laber:2002:SSD% }. \NAMECITE{differentiable}{% Brlek:2003:NDP% }. \NAMECITE{differential}{% Achlioptas:2001:LBR,% Bazgan:2005:CSD,% Bazgan:2005:DAM,% Ehrhard:2003:DLC,% Rutten:2003:BDE% }. \NAMECITE{difficult}{% Droste:2002:ORS% }. \NAMECITE{difficulties}{% Bienvenue:2003:GCE% }. \NAMECITE{Diffusion}{% Malkhi:2003:DFR% }. \NAMECITE{digit}{% Barbe:2002:SDI,% Frougny:2003:LDS% }. \NAMECITE{digital}{% Fourey:2002:INT,% Gerard:2002:PGC,% Hubalek:2000:VIP,% Malgouyres:2000:HTD,% Malgouyres:2002:CCR,% Slapal:2003:COD,% Webster:2003:CCO% }. \NAMECITE{digits}{% Pedicini:2005:GES% }. \NAMECITE{digraph}{% Gaillard:2002:SMR% }. \NAMECITE{digraphs}{% Cheng:2003:SLC,% Fertin:2000:SMB,% Franciosa:2001:SDB,% Kari:2003:SFA% }. \NAMECITE{dilation}{% Kralovic:2000:CSP% }. \NAMECITE{dim}{% Sinha:2003:AOD% }. \NAMECITE{dimension}{% Akhavi:2003:OLA,% Balcazar:2002:CDD,% Dai:2004:FSD,% Gurvits:2001:NSS,% Habib:2004:CAD,% Hitchcock:2002:MEH,% Hitchcock:2003:FDL% }. \NAMECITE{dimensional}{% Amir:2004:TDP,% Anselmo:2005:NOR,% Apostolico:2000:FAT,% Arikati:2001:AAM,% Arnold:2002:PAE,% Arnoux:2004:TDI,% Berthe:2002:BPM,% Berthe:2004:LMD,% Boykett:2004:EEL,% Calamoneri:2001:OTD,% Choffrut:2005:CTD,% Chou:2005:CCD,% Czeizler:2004:SIN,% Delorme:2004:RTR,% Finocchiaro:2002:CDP,% Fujita:2002:TDL,% Gajardo:2004:DCA,% Ganjali:2004:CNS,% Grossman:2004:POD,% Hwang:2002:SPR,% Imai:2000:CUT,% Iwama:2001:ERR,% Kim:2003:GSAa,% Kim:2003:GSAb,% Kobayashi:2001:TOS,% Lee:2003:SOD,% Li:2003:GWS,% Liskiewicz:2003:CCS,% Louchard:2003:GCM,% Malgouyres:2000:HTD,% Moreira:2004:CMO,% Osterloh:2005:OOR,% Ruzicka:2000:CMD,% Sander:2002:RCF,% Sugihara:2000:TDC,% Terrier:2003:TDC,% Terrier:2004:TDC,% Wang:2000:TDW,% Wood:2003:OTD,% Yeh:2001:FDC% }. \NAMECITE{dimensions}{% Fujimura:2002:TMP,% Krznaric:2002:OAC,% Nielsen:2000:FSB% }. \NAMECITE{{Diophantine}}{% Durand:2002:CRH,% Ibarra:2004:TWF,% Xie:2004:LRP% }. \NAMECITE{Direct}{% Duchamp:2001:DDL,% Frisco:2003:DCU,% Helmbold:2002:DIA% }. \NAMECITE{Directed}{% Bermond:2002:DVP,% Banderier:2002:BAC,% Deutsch:2003:BBD,% Grant:2000:DEA,% Kelarev:2003:CAD,% Miyamoto:2004:TDA,% Townsend:2004:PLP% }. \NAMECITE{direction}{% Battista:2002:EPP,% Chlebus:2000:APA,% Flocchini:2002:SDD,% Flocchini:2003:CAN% }. \NAMECITE{directions}{% Humphreys:2004:CLP% }. \NAMECITE{discipline}{% Vitanyi:2000:DEP% }. \NAMECITE{disconnected}{% Kong:2003:KTP% }. \NAMECITE{Discovering}{% Takeda:2003:DCE,% Takeda:2003:DIP% }. \NAMECITE{discovery}{% Hajek:2003:FLD,% Mauri:2005:APM,% Ohwada:2003:IIV,% Tohyama:2000:CPD% }. \NAMECITE{discrepancy}{% Sadakane:2005:CAL% }. \NAMECITE{discret}{% Col:2001:AQA% }. \NAMECITE{Discrete}{% Bravetti:2002:DTG,% Demongeot:2004:DAP,% Arnoux:2004:TDI,% Barneva:2000:TDT,% Brimkov:2004:CDP,% Chrobak:2001:RPS,% Dang:2003:GDT,% Dang:2003:PLV,% Galton:2003:GTV,% Garefalakis:2004:GWP,% Gritzmann:2002:AID,% Gunawardena:2003:MPA,% Ibarra:2002:ADT,% Kuba:2002:RCD,% Kwiatkowska:2002:AVR,% Madhusudan:2002:BTC,% Magnoni:2003:PLP,% Mityagin:2004:CFL% }. \NAMECITE{discretization}{% Tajine:2002:TPH% }. \NAMECITE{discriminating}{% Farre:2004:BCN% }. \NAMECITE{discriminating-reverse}{% Farre:2004:BCN% }. \NAMECITE{discrimination}{% Dezani-Ciancaglini:2003:ILC% }. \NAMECITE{disjoint}{% Bockenhauer:2001:CTW,% Pudlak:2003:RSD,% Ravindran:2000:DED,% Tinelli:2002:UND% }. \NAMECITE{disjunction}{% Uehara:2000:IPD% }. \NAMECITE{disjunctions}{% Eiter:2002:CDD,% Helmbold:2002:DIA,% Koubarakis:2001:TDL% }. \NAMECITE{Disjunctive}{% Zimmermann:2003:DOM,% Brass:2001:ESD% }. \NAMECITE{disk}{% Cohen:2003:OPO,% Fiala:2004:DCL% }. \NAMECITE{dispenser}{% Balogh:2003:PCU% }. \NAMECITE{display}{% Escobar-Molano:2000:CCD% }. \NAMECITE{Disproving}{% Chen:2001:DCP% }. \NAMECITE{disruptions}{% Akutsu:2003:IGN% }. \NAMECITE{Distance}{% Furedi:2004:DGN,% Bille:2005:STE,% Chauve:2004:MIO,% Chou:2005:CCD,% Crescenzi:2002:HDC,% Damiand:2001:SPG,% Fiala:2004:DCL,% Hashiguchi:2000:NUB,% Kolpakov:2003:FAR,% Leung:2004:LPD,% Manthey:2005:ICH,% Mili:2000:SDB,% Vyugin:2002:IDC,% Yeh:2001:WCD% }. \NAMECITE{distance-hereditary}{% Yeh:2001:WCD% }. \NAMECITE{Distances}{% Choffrut:2002:DBL,% Marron:2004:GDU% }. \NAMECITE{Distributed}{% Clementi:2003:DBR,% Riely:2001:DPL,% Bernardinello:2002:AMO,% Blundo:2004:BCU,% Bordihn:2005:NCC,% Cicerone:2003:FDA,% Cohen:2005:PAD,% Danyi:2001:CHC,% Fernau:2001:HMC,% Fernau:2003:HMC,% Flocchini:2002:SDD,% Frankel:2002:ASD,% Garay:2000:SDS,% Glasser:2005:FDA,% Grabner:2003:CGD,% Guerraoui:2001:GAM,% Hennessy:2004:TBT,% Hooman:2005:SMT,% Kraus:2000:ADT,% Louchard:2003:ARS,% McIver:2002:QPL,% Shekhar:2001:OPD,% Walter:2002:CFE% }. \NAMECITE{Distribution}{% Grabner:2004:DRL,% Aspvall:2001:AGB,% Balcazar:2002:CDD,% Blundo:2004:BCU,% Knessl:2002:HBS,% Li:2004:ARL,% Peter:2003:ADE,% Silverman:2000:DIP% }. \NAMECITE{distribution-dependent}{% Balcazar:2002:CDD% }. \NAMECITE{distributional}{% Pavan:2000:CDP% }. \NAMECITE{distributions}{% Fill:2004:LDA,% Kiwi:2003:ATW,% Kwiatkowska:2002:AVR,% Magnoni:2003:PLP,% Naudts:2002:GPD,% Ozeki:2000:CRC% }. \NAMECITE{Distributivity}{% Gumm:2003:DCC% }. \NAMECITE{disturbed}{% Arnold:2002:PAE% }. \NAMECITE{Divergence}{% Boreale:2001:DTR% }. \NAMECITE{Divide}{% Chen:2003:DCR,% Wang:2000:TBS% }. \NAMECITE{Divide-and-conquer}{% Chen:2003:DCR,% Wang:2000:TBS% }. \NAMECITE{dividing}{% Berrizbeitia:2003:PTN% }. \NAMECITE{Divisibility}{% Adian:2005:DPO% }. \NAMECITE{division}{% Hachimori:2000:CCR,% Matula:2002:PTP,% Paun:2004:PMD% }. \NAMECITE{divisor}{% Cegielski:2003:AIN,% Moschovakis:2003:PRA% }. \NAMECITE{{DNA}}{% Amos:2002:TTD,% Anderson:2002:SPD,% Carbone:2003:FLS,% Daley:2005:TGD,% Gaborit:2005:LCD,% Hagiya:2002:CAS,% Kari:2000:UDS,% Kari:2005:PBF,% Mihalache:2001:LTA,% Paun:2000:DCB,% Popov:2003:APP,% Rozenberg:2003:DCB% }. \NAMECITE{{DNF}}{% Apolloni:2000:SSP,% Savicky:2000:DTL,% Takimoto:2000:LEE% }. \NAMECITE{do}{% Horodecki:2003:RTB,% Noutsos:2004:MAP,% Fernandez:2005:DAP% }. \NAMECITE{{Do-All}}{% Fernandez:2005:DAP% }. \NAMECITE{Does}{% Vyugin:2002:NDS,% Gasarch:2003:WDR,% Maehara:2001:WDP% }. \NAMECITE{{Dolev}}{% Herzog:2005:CID,% Zunino:2005:WPE% }. \NAMECITE{Domain}{% Baldan:2004:DES,% Blanck:2000:DRT,% Blanck:2002:DRP,% Nygaard:2004:DTC,% vanBreugel:2005:DTT,% Alessi:2002:CCD,% Alessi:2004:ITD,% Desreux:2003:AGE,% Gastin:2002:RTD,% Kiwi:2001:MMB,% Magnoni:2003:PLP,% Nock:2004:DPI,% Okamoto:2003:EDC,% Power:2002:FOD,% Salomaa:2003:CSF,% Tsuiki:2003:DTS% }. \NAMECITE{domain-models}{% Alessi:2002:CCD% }. \NAMECITE{domain-partitioning}{% Nock:2004:DPI% }. \NAMECITE{domain-theoretic}{% Tsuiki:2003:DTS% }. \NAMECITE{domains}{% Chou:2005:CCD,% Desreux:2004:DTR,% Lawson:2003:REI,% Schellekens:2003:CPM% }. \NAMECITE{Dominance}{% Duchier:2003:DCB% }. \NAMECITE{dominating}{% Eisenbrand:2004:CFP,% Ruan:2004:GAM,% Yeh:2001:WCD% }. \NAMECITE{domination}{% Boliac:2003:IDF,% Gravier:2003:MDG,% Kang:2003:LBM,% Kang:2004:PDI,% Lu:2003:EMS,% Yeh:2001:WCD% }. \NAMECITE{Domineering}{% Breuker:2000:SD% }. \NAMECITE{Domino}{% Desreux:2004:DTR,% Frosini:2004:NCT,% Picouleau:2001:RDT,% Propp:2003:GDS,% Remila:2004:LSS,% Thiant:2003:AFD% }. \NAMECITE{domino-shuffling}{% Propp:2003:GDS% }. \NAMECITE{Dot}{% Borchert:2001:DO,% Matz:2002:DDM,% Maciel:2000:PSD% }. \NAMECITE{Dot-depth}{% Matz:2002:DDM,% Maciel:2000:PSD% }. \NAMECITE{Double}{% Kim:2001:DGO,% Aguilo:2004:SAA,% Hwang:2001:CSD,% Vickers:2004:UCD% }. \NAMECITE{double-loop}{% Aguilo:2004:SAA,% Hwang:2001:CSD% }. \NAMECITE{doubling}{% Ziadi:2000:SDT% }. \NAMECITE{doubly}{% Burago:2004:ASP% }. \NAMECITE{down}{% Fulop:2003:SPT,% Martens:2005:CTT,% Takimoto:2003:TDT% }. \NAMECITE{{DPDA}}{% Stirling:2001:DDE% }. \NAMECITE{drawability}{% Lenhart:2002:DPM% }. \NAMECITE{drawing}{% Lin:2003:TAR,% Wood:2003:OTD% }. \NAMECITE{drawings}{% Courcelle:2000:MSOb% }. \NAMECITE{drift}{% Case:2001:PLM,% Feige:2002:DSS% }. \NAMECITE{driven}{% Bonsangue:2000:TSS,% Ramesh:2001:ADE% }. \NAMECITE{dropping}{% Danvy:2000:LDT% }. \NAMECITE{dual}{% Duchamp:2001:DDL,% Ozeki:2000:CRC,% Ozeki:2001:CRP% }. \NAMECITE{duality}{% Bidoit:2003:OLC,% Nesetril:2002:DD% }. \NAMECITE{duals}{% Burdick:2002:NID% }. \NAMECITE{due}{% Jin:2001:TFP% }. \NAMECITE{duotaire}{% Grossman:2004:POD% }. \NAMECITE{duration}{% Guelev:2005:CDD% }. \NAMECITE{durational}{% Corradini:2001:SDA,% Corradini:2001:TUT% }. \NAMECITE{{Duval}}{% Holub:2005:PED% }. \NAMECITE{dyadic}{% Cantone:2003:CDF% }. \NAMECITE{Dy{C}}{% Grant:2000:DEA% }. \NAMECITE{Dynamic}{% Bruni:2002:DCC,% Chung:2001:DLP,% Frigioni:2001:DAC,% Liu:2000:DSP,% Matamala:2004:DCA,% Poon:2003:DOR,% Chin:2004:ADR,% Cicerone:2002:SDL,% Cicerone:2003:FDA,% Franciosa:2001:SDB,% Grant:2000:DEA,% Hesse:2003:DCT,% Itai:2002:PCP,% Kao:2001:MRE,% Takimoto:2001:PNW,% Yi:2004:AKA,% deBoer:2002:HLD% }. \NAMECITE{Dynamical}{% Vallee:2003:DAC,% Barrett:2003:RPS,% Blondel:2001:DSM,% Fitzkee:2003:WMT,% Foy:2004:DSW,% Lenz:2003:HSS% }. \NAMECITE{Dynamically}{% Nandy:2001:DMW,% Bruni:2005:OCD% }. \NAMECITE{Dynamics}{% Gajardo:2004:DCA,% Cattaneo:2000:ITC,% Dartnell:2003:CCA,% Delvenne:2004:QPC,% Formenti:2003:NCC% }. \NAMECITE{{DynTC}}{% Hesse:2003:DCT% }. \NAMECITE{{E.}}{% Demongeot:2004:DAP% }. \NAMECITE{easier}{% Baumgartner:2002:PDL% }. \NAMECITE{easy}{% Demaine:2003:UEC,% Sadowski:2002:OPP% }. \NAMECITE{{EATCS}}{% Rozenberg:2002:IEM% }. \NAMECITE{eco}{% Watjen:2003:FDT,% Duchi:2004:OGE% }. \NAMECITE{eco-grammar}{% Watjen:2003:FDT% }. \NAMECITE{{Edalat}}{% Lawson:2003:REI% }. \NAMECITE{Edge}{% Bezrukov:2003:EIP,% Caragiannis:2002:ECB,% Peng:2000:ENS,% Calamoneri:2003:NRE,% Courcelle:2000:MSOb,% Courcelle:2003:MSO,% Gibbons:2004:RSE,% Goerdt:2001:GCT,% Goerdt:2001:RRG,% Goerdt:2003:AED,% Kral:2003:MHB,% Malvestuto:2000:DHP,% Ravindran:2000:DED,% deFigueiredo:2003:DEC% }. \NAMECITE{edge-bandwidth}{% Calamoneri:2003:NRE% }. \NAMECITE{edge-coloring}{% Kral:2003:MHB% }. \NAMECITE{edge-colouring}{% Gibbons:2004:RSE% }. \NAMECITE{edge-disjoint}{% Ravindran:2000:DED% }. \NAMECITE{Edge-isoperimetric}{% Bezrukov:2003:EIP% }. \NAMECITE{edges}{% Battista:2002:EPP,% Bodini:2004:TTC,% Poulalhon:2003:BTP% }. \NAMECITE{edit}{% Bille:2005:STE,% Dulucq:2003:RSS% }. \NAMECITE{editor}{% Aceto:2005:GEF% }. \NAMECITE{Editorial}{% Anonymous:2000:Ea,% Anonymous:2000:Eb,% Anonymous:2000:Ec,% Anonymous:2000:Ed,% Anonymous:2000:Ee,% Anonymous:2000:Ef,% Anonymous:2000:Eg,% Anonymous:2000:Eh,% Anonymous:2002:EBa,% Anonymous:2002:EBb,% Anonymous:2002:EBc,% Anonymous:2002:EBd,% Anonymous:2002:EBe,% Anonymous:2002:EBf,% Anonymous:2003:EBa,% Anonymous:2003:EBb,% Anonymous:2003:EBc,% Anonymous:2003:EBd,% Anonymous:2003:EBe,% Anonymous:2003:EBf,% Anonymous:2003:EBg,% Anonymous:2003:EBh,% Anonymous:2003:EBi,% Anonymous:2003:EBj,% Anonymous:2003:EBk,% Anonymous:2003:EBl,% Anonymous:2003:EBm,% Anonymous:2003:EBn,% Anonymous:2003:EBo,% Anonymous:2003:EBp,% Anonymous:2003:EBq,% Anonymous:2004:EBVa,% Anonymous:2004:EBVb,% Anonymous:2004:EBf,% Anonymous:2004:EBg,% Anonymous:2004:EBh,% Anonymous:2004:EBi,% Anonymous:2004:EBj,% Anonymous:2004:EBk,% Anonymous:2004:EBl,% Anonymous:2004:EBm,% Anonymous:2004:EBn,% Anonymous:2004:EBo,% Anonymous:2004:EBp,% Anonymous:2004:EBq,% Anonymous:2004:EBr,% Anonymous:2005:EAF,% Anonymous:2005:EBVa,% Anonymous:2005:EBVb,% Anonymous:2005:EBVc,% Anonymous:2005:EBVd,% Anonymous:2005:EBa,% Anonymous:2005:EBb,% Anonymous:2005:EBc,% Anonymous:2005:EBd,% Anonymous:2005:EBe,% Anonymous:2005:EBf,% Anonymous:2005:EBg,% Dubois:2001:E,% Gorrieri:2002:E,% Ibarra:2004:E,% Marion:2004:E,% Nijholt:2003:E,% Sangiorgi:2002:E,% VanHentenryck:2002:E,% Anonymous:2003:EBr,% Anonymous:2004:EBa,% Anonymous:2004:EBb,% Anonymous:2004:EBc,% Anonymous:2004:EBd,% Anonymous:2004:EBe% }. \NAMECITE{{Edmonds}}{% Georgiadis:2003:AOP% }. \NAMECITE{{EDT0L}}{% Salomaa:2002:DES% }. \NAMECITE{{EF}}{% Mayr:2001:DMC% }. \NAMECITE{effect}{% Karhumaki:2002:MFW% }. \NAMECITE{Effective}{% Hemmerling:2002:EMS,% Krupski:2002:ESA,% Kucera:2000:EDS,% Winands:2004:ETL,% Yi:2002:CEE% }. \NAMECITE{Effectively}{% Cenzer:2002:ECS% }. \NAMECITE{Effects}{% Okamoto:2003:EDC,% Pardo:2001:FRP% }. \NAMECITE{Efficiency}{% Dimitri:2004:EEE,% Vogler:2002:EAS,% Wiedermann:2004:CST% }. \NAMECITE{Efficient}{% Bermond:2000:ECC,% Bonis:2001:EAC,% Boykett:2004:EEL,% Cervesato:2000:ERM,% Chen:2000:EAA,% Czumaj:2001:EWS,% Harbane:2001:ERA,% Iwama:2001:ERR,% Lu:2003:EMS,% Salomaa:2000:EIR,% Schwabe:2004:EDM,% Akhavi:2002:RLT,% Akutsu:2003:SGA,% Beal:2003:STE,% Becchetti:2002:DEA,% Bronnimann:2004:SEP,% Cantone:2002:QEM,% Chen:2004:SEA,% Coja-Oghlan:2004:TCA,% Dovier:2004:EAC,% Fuster-Sabater:2001:EAG,% Gasieniec:2005:SES,% Geffert:2000:AEP,% Jung:2003:EDP,% Li:2004:PEE,% Lin:2000:SEH,% Moran:2000:SEN,% Muthukrishnan:2004:EAS,% Nandy:2003:ENN,% Ponty:2000:ENF,% Ramesh:2001:ADE% }. \NAMECITE{efficiently}{% Campos:2001:VLR,% Erlebach:2001:LOV% }. \NAMECITE{eigenproblem}{% Bai:2004:IEC% }. \NAMECITE{eigenvalue}{% Mosca:2001:CQE,% vanderWoude:2003:CSE% }. \NAMECITE{eight}{% Eloranta:2003:BEV% }. \NAMECITE{eight-vertex}{% Eloranta:2003:BEV% }. \NAMECITE{{ELAN}}{% Borovansky:2002:ERL% }. \NAMECITE{election}{% Nichitiu:2004:LEP% }. \NAMECITE{Electronic}{% Hevia:2004:EJV,% Adi:2003:NLE,% Dimitri:2004:EEE,% Fu:2004:CPF% }. \NAMECITE{element}{% Cegielski:2003:AIN% }. \NAMECITE{elementary}{% Bartha:2003:SEC,% Brown:2002:ASS,% Cattaneo:2000:ITC,% Lago:2004:PSD,% Lange:2003:AEF,% Sakamoto:2003:LEF% }. \NAMECITE{elements}{% Creignou:2003:GSP,% Peter:2003:ADE% }. \NAMECITE{Eliminating}{% Ibarra:2003:EST% }. \NAMECITE{Elimination}{% Lozes:2005:ESC,% Cerrito:2004:PMC,% Chandran:2003:GCP,% McDowell:2000:CEL,% Okada:2002:USP% }. \NAMECITE{eliminative}{% Duchier:2003:DCB% }. \NAMECITE{{Elliot}}{% Pasechnik:2001:CHB% }. \NAMECITE{{Elliot-MacMahon}}{% Pasechnik:2001:CHB% }. \NAMECITE{elliptic}{% Garefalakis:2004:GWP% }. \NAMECITE{embedded}{% Fournier:2003:QRP% }. \NAMECITE{Embedding}{% Battista:2002:EPP,% Hsieh:2005:ELF,% Ravindran:2000:DED,% Tsuiki:2002:RNC% }. \NAMECITE{embeddings}{% Kontorovich:2004:UDG,% Park:2000:RCT,% Tsai:2004:LAR% }. \NAMECITE{Emerging}{% Taylor:2003:EBB,% Wang:2005:CFE% }. \NAMECITE{EMPA}{% Bernardo:2001:CST,% Bernardo:1998:TET% }. \NAMECITE{empirical}{% Frank:2001:TEI% }. \NAMECITE{empty}{% Domosi:2003:FSF,% Edmonds:2003:MES,% Holzer:2003:AEA% }. \NAMECITE{{EMSO}}{% Shahbazyan:2004:ELA% }. \NAMECITE{{EMSO}-logic}{% Shahbazyan:2004:ELA% }. \NAMECITE{enclosure}{% Hertling:2002:LBR% }. \NAMECITE{Encoding}{% Krantz:2001:EHC,% McDowell:2003:ETS,% Yang:2004:ETM,% Palamidessi:2005:RES% }. \NAMECITE{encryption}{% Zunino:2005:WPE% }. \NAMECITE{end}{% Dimitracopoulos:2001:EEM% }. \NAMECITE{Endgame}{% Slany:2002:EPS% }. \NAMECITE{energy}{% Li:2004:PEE% }. \NAMECITE{enforces}{% Blanchet:2005:VCP% }. \NAMECITE{enforcing}{% Ehrenfeucht:2003:FES% }. \NAMECITE{engine}{% Hagiya:2002:CAS% }. \NAMECITE{engineering}{% Wirsing:2002:FAO% }. \NAMECITE{engines}{% Lempel:2004:CCQ% }. \NAMECITE{enhanced}{% Curti:2004:MBP,% Felice:2005:EPF% }. \NAMECITE{Enhancements}{% Katritzke:2004:EPT% }. \NAMECITE{Enhancing}{% Shen:2004:EGS% }. \NAMECITE{Ensuring}{% Abdulla:2001:ECS% }. \NAMECITE{Entailment}{% Vickers:2004:ESS,% Rao:2001:PTL% }. \NAMECITE{entangled}{% Horodecki:2003:RTB% }. \NAMECITE{entanglement}{% Biham:2004:QCE,% Terhal:2002:DQE% }. \NAMECITE{entities}{% Friburger:2004:FST% }. \NAMECITE{entropy}{% Carbone:2003:FLS,% Ceccherini-Silberstein:2003:ERL,% Muchnik:2002:KEC% }. \NAMECITE{enumerable}{% Calude:2001:RER,% Csuhaj-Varju:2003:PGS,% Domaratzki:2004:RRE,% Downey:2002:PCE,% Jain:2001:LRE,% Michaux:2000:ITB,% Okawa:2001:HCR% }. \NAMECITE{Enumerating}{% Koch:2001:EAC,% Boigelot:2004:CSP,% Kuo:2004:AGC% }. \NAMECITE{enumeration}{% Apolloni:2000:SSP,% Fereti:2004:ECP,% Mohamed:2003:NTM% }. \NAMECITE{environment}{% Malkhi:2003:DFR% }. \NAMECITE{Episturmian}{% Justin:2002:EWE,% Richomme:2003:CEM,% Droubay:2001:EWS% }. \NAMECITE{epsilon}{% Mints:2003:TPE% }. \NAMECITE{equality}{% Toman:2005:RAS% }. \NAMECITE{equation}{% Bompadre:2004:PES,% Cuninghame-Green:2003:EXB,% Harju:2005:EIF,% Kirrinnis:2001:FAS,% Makanin:2000:PSP,% Muhlenbein:2002:ECW,% Ndoundam:2003:ETL,% Weihrauch:2005:CSK,% Xie:2004:LRP% }. \NAMECITE{Equational}{% Aceto:2003:ETT,% Gumm:2001:EIC,% Rosu:2001:EAC,% Viry:2002:ERR,% Aceto:2003:MPA,% Aceto:2005:CHM,% Bouhoula:2000:SPM,% Bucalo:2003:ENL,% Cirstea:2002:CEA,% Dolinka:2003:MFY,% Moss:2003:RCS,% Nicola:2003:NRE,% Santocanale:2003:EDL,% Vorobyov:2002:ETC% }. \NAMECITE{Equations}{% Gutierrez:2003:EFS,% Achlioptas:2001:LBR,% Boigelot:2004:CSP,% Crvenkovi:2002:ACR,% Danvy:2000:LDT,% Engebretsen:2004:IRE,% Harju:2003:IET,% Ibarra:2004:TWF,% Mantaci:2001:CET,% Power:2002:FOD,% Rutten:2003:BDE,% Ying:2001:REH% }. \NAMECITE{{\'e}quilibr{\'e}es}{% Hubert:2000:SE% }. \NAMECITE{equilibrium}{% Dimitri:2004:EEE,% Huang:2005:AWE% }. \NAMECITE{Equilogical}{% Bauer:2004:ES% }. \NAMECITE{Equivalence}{% Hashiguchi:2004:ERB,% Laurence:2002:ECF,% Bergstra:2003:BTO,% Brass:2001:ESD,% Calcagno:2003:PLE,% Cardone:2002:CCP,% DasGupta:2001:PTA,% Dovier:2004:EAC,% Fernandez:2003:OEI,% Fischlin:2001:CLP,% Galpin:2003:FSE,% Honkala:2000:SSH,% Honkala:2005:LEP,% Imreh:2000:ECP,% Oriat:2000:DEM,% Sabelfeld:2000:TEL,% Salomaa:2002:DES,% Senizergues:2000:CFS,% Soloviev:2003:CEG,% Stirling:2001:DDE% }. \NAMECITE{equivalences}{% Chen:2001:ACT,% Ilie:2003:RNI,% Jancar:2001:DBL,% Jancar:2001:NRC% }. \NAMECITE{equivalent}{% Iwama:2000:TBN% }. \NAMECITE{erasing}{% Jain:2000:LLF% }. \NAMECITE{Ergodicity}{% Cattaneo:2000:ETR% }. \NAMECITE{{Eric}}{% Nivat:2004:AEG% }. \NAMECITE{Errata}{% Chrobak:2003:ESA% }. \NAMECITE{Erratum}{% DeAgostino:2000:EPC,% Finkelstein:2004:ENF,% Hemaspaandra:2000:ESC,% Trahtman:2001:ESE% }. \NAMECITE{Error}{% Konstantinidis:2002:EDP,% Lorenz:2004:EAM,% Dukes:2004:CEB,% Nishimura:2005:UQC,% Pinter:2002:RCE,% Walter:2002:CFE% }. \NAMECITE{Error-detecting}{% Konstantinidis:2002:EDP% }. \NAMECITE{error-free}{% Nishimura:2005:UQC% }. \NAMECITE{errors}{% Kao:2001:MRE,% Pelc:2002:SGE,% Tsur:2005:SHE% }. \NAMECITE{espace}{% Labhalla:2001:EMR% }. \NAMECITE{Espaces}{% Labhalla:2001:EMR% }. \NAMECITE{essence}{% Flagg:2002:EIC% }. \NAMECITE{{Esterel}}{% Tini:2001:ASE% }. \NAMECITE{estimates}{% Pinter:2002:RCE% }. \NAMECITE{estimation}{% Mosca:2001:CQE,% Nock:2003:CCA,% Trahtman:2000:OEO,% Trahtman:2001:ESE,% Yi:2002:CEE% }. \NAMECITE{estimations}{% Trahtman:2000:AFO% }. \NAMECITE{estimator}{% Bernholt:2004:CCM% }. \NAMECITE{{ET0L}}{% Meduna:2003:FEG,% Nishida:2000:GPE% }. \NAMECITE{{Euclidean}}{% Ellis:2003:ES,% Finocchiaro:2002:CDP,% Vallee:2003:DAC% }. \NAMECITE{{Eulerian}}{% Kari:2003:SFA% }. \NAMECITE{{European}}{% Doerr:2004:ETG% }. \NAMECITE{evaluating}{% VandenBussche:2001:SNR% }. \NAMECITE{evaluation}{% Aldaz:2001:NMO,% Bostan:2004:CME,% Courcelle:2002:EFO,% Geerts:2005:DTQ,% Hermanns:2002:PAP,% Li:2004:PEE,% Ramalingam:2002:SER% }. \NAMECITE{evaluations}{% Lee:2001:AEC% }. \NAMECITE{evaluator}{% Heldal:2000:EPE% }. \NAMECITE{Even}{% Fernau:2002:ELS% }. \NAMECITE{event}{% Baldan:2004:DES,% Gerla:2000:CSA,% Gunawardena:2003:MPA,% Khasidashvili:2002:RCF,% Madhusudan:2002:BTC,% Shahbazyan:2004:ELA,% vanGlabbeek:2004:WBF% }. \NAMECITE{eventualities}{% McIver:2003:ACE% }. \NAMECITE{every}{% Aberkane:2005:TMW,% Cegielski:2003:AIN,% Desreux:2003:AGE,% Savicky:2000:DTL% }. \NAMECITE{everywhere}{% Finkel:2001:WST% }. \NAMECITE{evidence}{% Berry:2000:IET% }. \NAMECITE{Evolution}{% Cavaliere:2004:EON,% Arnold:2002:PAE,% Bienvenue:2003:GCE,% Dassow:2002:OLG,% Malyshev:2002:QEW% }. \NAMECITE{Evolutionary}{% Muhlenbein:2002:ECW,% Berry:2000:IET,% Beyer:2002:HAE,% Castellanos:2005:SCH,% Droste:2002:AEA,% Vitanyi:2000:DEP% }. \NAMECITE{evolutive}{% Groult:2004:SDE% }. \NAMECITE{ex}{% Apsitis:2001:CPE% }. \NAMECITE{ex-identification}{% Apsitis:2001:CPE% }. \NAMECITE{Exact}{% Ambainis:2003:ERA,% Arvind:2000:ELT,% Normann:2002:ERN,% Xu:2005:EMR,% Dahllof:2004:AFV,% Drori:2002:FES,% Dulucq:2003:RSS,% Lester:2002:CAF,% Lester:2002:UPV,% Lu:2001:ECS,% Navarro:2004:ACE,% Byskov:2005:NAE% }. \NAMECITE{exactly}{% Desreux:2003:AGE% }. \NAMECITE{example}{% Becher:2002:ECA,% Sussman:2002:BPE% }. \NAMECITE{examples}{% Hayashi:2002:TAP,% Hermida:2004:PIA,% Jain:2001:LRE% }. \NAMECITE{exceptions}{% Yi:2002:CEE% }. \NAMECITE{exchange}{% Fagin:2005:DES,% Lopez:2001:SIE% }. \NAMECITE{exclusion}{% Abraham:2001:SSE,% Manabe:2004:AME% }. \NAMECITE{exclusive}{% Gastin:2002:RTD,% Takimoto:2000:LEE% }. \NAMECITE{exclusive-or}{% Takimoto:2000:LEE% }. \NAMECITE{excursion}{% Louchard:2003:GCM% }. \NAMECITE{exercise}{% Cousineau:2002:TPE% }. \NAMECITE{Exhausting}{% Murawski:2003:ESJ% }. \NAMECITE{exhaustive}{% Boykett:2004:EEL,% Snatzke:2004:NRE% }. \NAMECITE{exist}{% Horodecki:2003:RTB% }. \NAMECITE{existence}{% Hemaspaandra:2000:CEO,% Schuster:2003:UEA,% vanderWoude:2003:CSE% }. \NAMECITE{existential}{% Robilliard:2000:UEP% }. \NAMECITE{expansion}{% Kfoury:2004:PTI,% Seldin:2000:GSS,% Goerdt:2001:RRG% }. \NAMECITE{expansions}{% Pedicini:2005:GES,% Takimoto:2000:LEE% }. \NAMECITE{expected}{% McIver:2002:QPL% }. \NAMECITE{Experience}{% Burgin:2004:EGL% }. \NAMECITE{expert}{% Chen:2004:BEV% }. \NAMECITE{expiration}{% Kimbrel:2001:OPF% }. \NAMECITE{Expired}{% Busi:2003:EDC% }. \NAMECITE{Explaining}{% Schlechta:2001:EUM% }. \NAMECITE{Explicit}{% Pichler:2002:EVI,% Quaglia:2001:ESP,% Ruohonen:2005:ETS,% Bonelli:2005:NHO,% Kesner:2000:CEN,% Munoz:2001:PTS,% Taha:2000:MMS% }. \NAMECITE{exploration}{% Dessmark:2004:OGE,% Roman:2005:PEC% }. \NAMECITE{explore}{% Kitagawa:2003:SPA% }. \NAMECITE{exponent}{% Gharavi:2005:UBL