%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sat Jul 22 16:57:01 MDT 2017 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$\bmod m$}{% Grolmusz:1995:WMI% }. \NAMECITE{$k$}{% Kann:1997:HAM% }. \NAMECITE{-Cut}{% Kann:1997:HAM% }. \NAMECITE{Abstract}{% Kosa:1999:TBS% }. \NAMECITE{Accuracy}{% Schmid:2000:OAC% }. \NAMECITE{Algorithms}{% Afek:1998:SSU,% Mahajan:1997:DCA,% Ogihara:1996:SHS% }. \NAMECITE{Approximating}{% Kann:1997:HAM% }. \NAMECITE{Arbitrary}{% Kosa:1999:TBS% }. \NAMECITE{Arithmetic}{% Thierauf:1998:IPR% }. \NAMECITE{{ATM}}{% Gerstel:1996:OVP% }. \NAMECITE{Atomicity}{% Hoover:1996:USS% }. \NAMECITE{Automorphisms}{% Beals:1999:FNG% }. \NAMECITE{Balancing}{% Aiello:2000:SID% }. \NAMECITE{Bibliography}{% Herman:1998:WPC% }. \NAMECITE{{Boolean}}{% Grolmusz:1995:WMI% }. \NAMECITE{Bounds}{% Erickson:1999:BLS,% Kosa:1999:TBS% }. \NAMECITE{Branching}{% Thierauf:1998:IPR% }. \NAMECITE{Channel}{% Middendorf:1996:MCR% }. \NAMECITE{Characterizing}{% Agrawal:2000:CSD% }. \NAMECITE{Checkable}{% Condon:1995:PCD% }. \NAMECITE{Checking}{% Arvind:2002:QCP% }. \NAMECITE{Circuits}{% Allender:1999:PRL,% Arvind:2002:QCP,% Thierauf:1998:IPR% }. \NAMECITE{Classes}{% Agrawal:2000:CSD% }. \NAMECITE{Clock}{% Schmid:2000:OAC% }. \NAMECITE{Closed}{% Nisan:1995:SIC% }. \NAMECITE{Coding}{% Paturi:1999:SCL% }. \NAMECITE{Coloring}{% Rothe:2000:HVC% }. \NAMECITE{Combinatorics}{% Mahajan:1997:DCA% }. \NAMECITE{Complement}{% Nisan:1995:SIC% }. \NAMECITE{Complements}{% Fenner:1999:CMF% }. \NAMECITE{complete}{% Middendorf:1996:MCR% }. \NAMECITE{Completeness}{% Rothe:2000:HVC% }. \NAMECITE{Complexity}{% Arvind:2002:QCP,% Feigenbaum:1999:CPG,% Karg:1999:CGT,% Mahajan:1997:DCA% }. \NAMECITE{Comprehensive}{% Herman:1998:WPC% }. \NAMECITE{Concurrent}{% Vardi:1996:RPV% }. \NAMECITE{Concurrent-Program}{% Vardi:1996:RPV% }. \NAMECITE{Consistency}{% Kosa:1999:TBS% }. \NAMECITE{Constant}{% Arvind:2002:QCP% }. \NAMECITE{Constant-Depth}{% Arvind:2002:QCP% }. \NAMECITE{Constraint}{% Collin:1999:SSD% }. \NAMECITE{Context}{% Buntrock:1996:WGC% }. \NAMECITE{Context-Sensitive}{% Buntrock:1996:WGC% }. \NAMECITE{Correction}{% Varghese:1997:SST% }. \NAMECITE{Cut}{% Kann:1997:HAM% }. \NAMECITE{Data}{% Kosa:1999:TBS% }. \NAMECITE{Debate}{% Condon:1995:PCD% }. \NAMECITE{Decrement}{% Aiello:2000:SID% }. \NAMECITE{Definition}{% Beauquier:2002:SSL% }. \NAMECITE{Depth}{% Agrawal:2000:CSD,% Arvind:2002:QCP% }. \NAMECITE{Determinant}{% Mahajan:1997:DCA% }. \NAMECITE{Distributed}{% Collin:1999:SSD,% Dolev:1997:SPD,% Kulkarni:1998:MDR% }. \NAMECITE{Dual}{% Kann:1997:HAM% }. \NAMECITE{Dynamic}{% Dolev:1997:SPD% }. \NAMECITE{Efficient}{% Ogihara:1996:SHS% }. \NAMECITE{Exclusion}{% Beauquier:2002:SSL% }. \NAMECITE{Fair}{% Kupferman:1998:VFT% }. \NAMECITE{Finding}{% Beals:1999:FNG% }. \NAMECITE{Functions}{% Condon:1995:PCD,% Fenner:1999:CMF,% Grolmusz:1995:WMI% }. \NAMECITE{Generating}{% Karg:1999:CGT% }. \NAMECITE{Grammars}{% Buntrock:1996:WGC% }. \NAMECITE{Graph}{% Beals:1999:FNG,% Rothe:2000:HVC% }. \NAMECITE{Graphs}{% Feigenbaum:1999:CPG% }. \NAMECITE{Growing}{% Buntrock:1996:WGC% }. \NAMECITE{Hard}{% Condon:1995:PCD,% Ogihara:1996:SHS% }. \NAMECITE{Hardness}{% Kann:1997:HAM% }. \NAMECITE{Heuristics}{% Rothe:2000:HVC% }. \NAMECITE{Higher}{% Agrawal:2000:CSD% }. \NAMECITE{{Hopfield}}{% Jagota:1999:HNN% }. \NAMECITE{Hybrid}{% Kosa:1999:TBS% }. \NAMECITE{Increment}{% Aiello:2000:SID% }. \NAMECITE{Instances}{% Karg:1999:CGT% }. \NAMECITE{Isomorphism}{% Thierauf:1998:IPR% }. \NAMECITE{Isomorphisms}{% Wang:1999:RRI% }. \NAMECITE{Large}{% Allender:1999:PRL% }. \NAMECITE{Layout}{% Gerstel:1996:OVP% }. \NAMECITE{Lemma}{% Paturi:1999:SCL% }. \NAMECITE{Limited}{% Feige:1997:LVP% }. \NAMECITE{Linear}{% Erickson:1999:BLS% }. \NAMECITE{Local}{% Beauquier:2002:SSL% }. \NAMECITE{{Logspace}}{% Nisan:1995:SIC% }. \NAMECITE{{Manhattan}}{% Middendorf:1996:MCR% }. \NAMECITE{Max}{% Kann:1997:HAM% }. \NAMECITE{Measures}{% Klarlund:1995:RM,% Vardi:1996:RPV% }. \NAMECITE{Multitolerance}{% Kulkarni:1998:MDR% }. \NAMECITE{Multivalued}{% Fenner:1999:CMF% }. \NAMECITE{Mutual}{% Beauquier:2002:SSL% }. \NAMECITE{Network}{% Afek:1998:SSU% }. \NAMECITE{Networks}{% Aiello:2000:SID,% Gerstel:1996:OVP,% Hoover:1996:USS,% Jagota:1999:HNN% }. \NAMECITE{Neural}{% Jagota:1999:HNN% }. \NAMECITE{Nonapproximability}{% Condon:1995:PCD% }. \NAMECITE{Nondeterminism}{% Feige:1997:LVP% }. \NAMECITE{{NP}}{% Middendorf:1996:MCR% }. \NAMECITE{{NP}-complete}{% Middendorf:1996:MCR% }. \NAMECITE{Number}{% Beals:1999:FNG% }. \NAMECITE{{OBDD}s}{% Feigenbaum:1999:CPG% }. \NAMECITE{Once}{% Thierauf:1998:IPR% }. \NAMECITE{Operations}{% Aiello:2000:SID% }. \NAMECITE{Operators}{% Agrawal:2000:CSD% }. \NAMECITE{Optimal}{% Gerstel:1996:OVP% }. \NAMECITE{Orientation}{% Hoover:1996:USS% }. \NAMECITE{Orthogonal}{% Schmid:2000:OAC% }. \NAMECITE{{P}}{% Ogihara:1996:SHS% }. \NAMECITE{Paper}{% Herman:1998:WPC% }. \NAMECITE{Path}{% Gerstel:1996:OVP% }. \NAMECITE{Permanent}{% Allender:1999:PRL% }. \NAMECITE{Polynomial}{% Feige:1997:LVP% }. \NAMECITE{Power}{% Afek:1998:SSU% }. \NAMECITE{Predicates}{% Vardi:1996:RPV% }. \NAMECITE{Probabilistically}{% Condon:1995:PCD% }. \NAMECITE{Problem}{% Thierauf:1998:IPR% }. \NAMECITE{Problems}{% Erickson:1999:BLS,% Feigenbaum:1999:CPG% }. \NAMECITE{Program}{% Arvind:2002:QCP,% Vardi:1996:RPV% }. \NAMECITE{Programs}{% Thierauf:1998:IPR% }. \NAMECITE{Progress}{% Vardi:1996:RPV% }. \NAMECITE{Protocols}{% Dolev:1997:SPD% }. \NAMECITE{{PSPACE}}{% Condon:1995:PCD% }. \NAMECITE{{PSPACE}-Hard}{% Condon:1995:PCD% }. \NAMECITE{Query}{% Arvind:2002:QCP% }. \NAMECITE{{Rabin}}{% Klarlund:1995:RM% }. \NAMECITE{Randomized}{% Wang:1999:RRI% }. \NAMECITE{Rank}{% Vardi:1996:RPV% }. \NAMECITE{Read}{% Hoover:1996:USS,% Thierauf:1998:IPR% }. \NAMECITE{Read-Once}{% Thierauf:1998:IPR% }. \NAMECITE{Read/Write}{% Hoover:1996:USS% }. \NAMECITE{Reductions}{% Wang:1999:RRI% }. \NAMECITE{Refinement}{% Beauquier:2002:SSL% }. \NAMECITE{Representation}{% Grolmusz:1995:WMI% }. \NAMECITE{Represented}{% Feigenbaum:1999:CPG% }. \NAMECITE{Requires}{% Allender:1999:PRL% }. \NAMECITE{Reset}{% Kulkarni:1998:MDR% }. \NAMECITE{Restricted}{% Middendorf:1996:MCR% }. \NAMECITE{Routing}{% Gerstel:1996:OVP,% Middendorf:1996:MCR% }. \NAMECITE{Satisfaction}{% Collin:1999:SSD% }. \NAMECITE{Satisfiability}{% Erickson:1999:BLS,% Paturi:1999:SCL% }. \NAMECITE{Self}{% Afek:1998:SSU,% Beauquier:2002:SSL,% Collin:1999:SSD,% Herman:1998:WPC,% Hoover:1996:USS,% Jagota:1999:HNN,% Varghese:1997:SST% }. \NAMECITE{Self-Stabilization}{% Herman:1998:WPC,% Jagota:1999:HNN,% Varghese:1997:SST% }. \NAMECITE{Self-Stabilizing}{% Afek:1998:SSU,% Beauquier:2002:SSL,% Collin:1999:SSD,% Hoover:1996:USS% }. \NAMECITE{Sensitive}{% Buntrock:1996:WGC% }. \NAMECITE{Sets}{% Ogihara:1996:SHS% }. \NAMECITE{Settings}{% Middendorf:1996:MCR% }. \NAMECITE{Shared}{% Gerstel:1996:OVP% }. \NAMECITE{Small}{% Agrawal:2000:CSD% }. \NAMECITE{Space}{% Agrawal:2000:CSD,% Ogihara:1996:SHS% }. \NAMECITE{Space-Efficient}{% Ogihara:1996:SHS% }. \NAMECITE{Sparse}{% Ogihara:1996:SHS% }. \NAMECITE{Stabilization}{% Herman:1998:WPC,% Jagota:1999:HNN,% Varghese:1997:SST% }. \NAMECITE{Stabilizing}{% Afek:1998:SSU,% Beauquier:2002:SSL,% Collin:1999:SSD,% Hoover:1996:USS% }. \NAMECITE{Strong}{% Kosa:1999:TBS% }. \NAMECITE{Superstabilizing}{% Dolev:1997:SPD% }. \NAMECITE{Supply}{% Afek:1998:SSU% }. \NAMECITE{Supporting}{% Aiello:2000:SID% }. \NAMECITE{Switches}{% Gerstel:1996:OVP% }. \NAMECITE{Symmetric}{% Nisan:1995:SIC% }. \NAMECITE{Synchronization}{% Schmid:2000:OAC% }. \NAMECITE{Systems}{% Condon:1995:PCD,% Dolev:1997:SPD,% Kupferman:1998:VFT% }. \NAMECITE{Table}{% Gerstel:1996:OVP% }. \NAMECITE{Test}{% Karg:1999:CGT% }. \NAMECITE{Threshold}{% Allender:1999:PRL% }. \NAMECITE{Time}{% Kosa:1999:TBS% }. \NAMECITE{Transition}{% Kupferman:1998:VFT% }. \NAMECITE{Tree}{% Varghese:1997:SST% }. \NAMECITE{Truly}{% Middendorf:1996:MCR% }. \NAMECITE{Type}{% Agrawal:2000:CSD% }. \NAMECITE{Types}{% Kosa:1999:TBS% }. \NAMECITE{Unicyclic}{% Hoover:1996:USS% }. \NAMECITE{Unidirectional}{% Afek:1998:SSU% }. \NAMECITE{Uniform}{% Allender:1999:PRL,% Hoover:1996:USS% }. \NAMECITE{Verification}{% Kupferman:1998:VFT,% Vardi:1996:RPV% }. \NAMECITE{Versus}{% Rothe:2000:HVC,% Feige:1997:LVP% }. \NAMECITE{Virtual}{% Gerstel:1996:OVP% }. \NAMECITE{vs}{% Vardi:1996:RPV% }. \NAMECITE{Weak}{% Grolmusz:1995:WMI% }. \NAMECITE{Weakly}{% Buntrock:1996:WGC% }. \NAMECITE{Working}{% Herman:1998:WPC% }. \NAMECITE{Write}{% Hoover:1996:USS% }. \NAMECITE{Yield}{% Ogihara:1996:SHS% }.